Decomposizione canonica di una funzione

[EdoardoD1]

Credo di aver capito di cosa si tratta ma ho bisogno di conferme (o smentite!)

In pratica ogni funzione [tex]f: A \rightarrow B[/tex] è scomponibile in 3 funzioni di cui:
- una suriettiva (in particolare, una proiezione su classi di equivalenza) [tex]\phi: A \rightarrow A/r[/tex] dove r è la relazione di equivalenza per gli elementi che hanno la stessa immagine
- una biettiva [tex]\tilde{f} : A/r \rightarrow Im f[/tex]
- una iniettiva (in particolare un'immersione) [tex]i:Im f \rightarrow B[/tex]

E' giusto o ho capito male? Grazie!

[blackbishop13]

direi che sì il tuo ragionamento fila, e ciò che dici è corretto.

P.S.
Benvenuto nel forum!