Suriettività e doppia inclusione

[miki2782005]

Mi aiutate a decifrare questi appunti di analisi?


In sostanza devo verificare la suriettività di una funzione attraverso il principio di doppia inclusione tra N e l'insieme immagine. Tuttavia non capisco i passaggi.
Grazie

[megas_archon]

C'è poco da capire, \(f : \mathbb N\to \mathbb N:n\mapsto n+3\) non è suriettiva; è suriettiva invece \(f' : \mathbb Z\to \mathbb Z\) definita allo stesso modo, dato che \(n+3=m\) se e solo se \(n=m-3\).