Perdonate il mio momento di disorientamento, ma come faccio a dimostrare che $g\circ I_{A}=g$ ove $g$ è una funzione tale he $g : A to B$ e $I_{A}$ è l'identità sul dominio $A$?
A me viene questo sgorbio: $h(x)=(g \circ I_A) (x)= g(I_A (x))=g(x)$
Però mi suona strano, mi sembra che sia sbagliato...no, anzi, sono convinto che sia sbagliato....poi mi pare incompleto: come dimostro che il dominio di $h$ è lo stesso di $g$ e come dimostro che il codominio di $h$ è lo stesso di $g$...boh!!!
Poi un'altra cosa: sul Prodi (è da la sopra che viene sta cosa: Prodi fa: "è evidente che $g \circ I_A = g$"...) il prof. in questione dice che la notazione completa di una funzione sarebbe ${x to f(x) : A to B}$...mi chiedo: che insieme è? che elementi ha?
Aaaaaaaa....io lo dico che la vecchiaia comincia a farsi sentire: già sono rincoglionito di mio, adesso peggioro....chiedo scusa per l'incompetenza