Associatività tra funzioni

valy1
come posso dimostrare l'associativita di funzioni composte?

Risposte
miuemia
ma le funzioni composte sono a loro volta funzioni e per queste vale l'associatività...spero siano funzioni normali tipo che ne so comntinue su un intervallo dei reali.
;-)

valy1
si si sono normali.. pero se ho x((f°g)°h)=x(f°g)° x(h) giusto' e qui come faccio a continuare?

miuemia
non capisco quella x...potresti scrivere meglio epr favore? :-)

valy1
allora abbiamo la funzione f°g: x -> g(xf).. è la funzione definita in questo modo

miuemia
ma cosa è xf????

adaBTTLS1
ci provo.
$h : A -> B," "g : B -> C," "f : C -> D$
il codominio di h è il dominio di g, ed il codominio di g è il dominio di f.
queste condizioni sono indispensabili perché si parla di composizione g°h e di composizione f°g.
in realtà B è anche il dominio di (f°g), e C è anche il codominio di (g°h).
prendiamo i generici elementi a,b,c,d dei rispettivi insiemi:
(f°(g°h))(a)=f((g°h)(a))=f(c)=d, se h(a)=b e g(b)=c
((f°g)°h)(a)=(f°g)(h(a))=(f°g)(b)=d, se g(b)=c e f(c)=d

spero di aver reso l'idea. ciao.

valy1
sono un po confusa però sicuramente non riesco a capire bene perche noi siamo abituati a considerare xf al posto di f(x) .. e quindi x(f°g) = g(xf) ...

adaBTTLS1
allora prova a ricostruire. certamente né con x né con a si ha una "limpida" dimostrazione.

la parte centrale è sui domini e codomini che si susseguono. ti conviene farti un disegno, e poi usa x,y,z,t all'interno dei quattro insiemi.

l'idea era semplicemente di dire che f°g (ad esempio), essendo tale che prima opera g e poi opera f, è definita nel dominio di g ed ha codominio coincidente con il codominio di f. usa i simboli che vuoi.
l'associatività serve, come al solito, ad estendere l'operazione binaria (composizione) a più di due funzioni, per cui possiamo scrivere f°g°h senza parentesi, senza equivoci, perché intendiamo x(f°g°h)=f(g(h(x))), nel senso che operano tre funzioni, nell'ordine h,g,f.

se pensi che sia utile, riscrivi tutto con altre notazioni, ma credo che il disegno ti aiuti di più. ciao.

valy1
si ora la dimostrazionje mi è chiara grazie..solo che mi è sorto un dubbio.. e se volessi dimostrare la distribuitivota rispetto alla somma?

adaBTTLS1
della composizione?
non è mica vera?
basta prendere $log(x^2+x)$ non è mica uguale a $log(x^2)+log(x)$ ?

G.D.5
Per quanto conceerne la questione di $f(x)$ e $xf$ è un puro problema di convenzioni grafiche: Hernstein docet.
Per l'ultima domanda: esiste la somma delle funzioni? Non ne ho mai sentito parlare.

"WiZaRd":
esiste la somma delle funzioni? Non ne ho mai sentito parlare.

Certo che esiste, la si definisce semplicemente ponendo $(f+g)(x)=f(x)+g(x)$. Se si vede ad una funzione $X to Y$ come un elemento di $Y^X=prod_{x in X}Y$, la somma tra funzioni non e' altro che la somma per componenti (questo per dire che non c'e' niente di nuovo :)).
(naturalmente la somma tra funzioni esiste corrispondentemente ad una somma fissata nel codominio)

valy1
ha ragione martino..

"valy":
ha ragione martino..

In che senso ho ragione? Ho solo riportato una definizione. Quanto al tuo dubbio, la composizione non e' distributiva sulla somma (vedi controesempio di adaBTTLS).

G.D.5
"Martino":
[quote="WiZaRd"]esiste la somma delle funzioni? Non ne ho mai sentito parlare.

Certo che esiste, la si definisce semplicemente ponendo $(f+g)(x)=f(x)+g(x)$. Se si vede ad una funzione $X to Y$ come un elemento di $Y^X=prod_{x in X}Y$, la somma tra funzioni non e' altro che la somma per componenti (questo per dire che non c'e' niente di nuovo :)).
(naturalmente la somma tra funzioni esiste corrispondentemente ad una somma fissata nel codominio)[/quote]

Povero me ignorante :oops:

Rispondi
Per rispondere a questa discussione devi prima effettuare il login.