Funzioni suriettive, iniettive e inverse

Licia9
Ragazzi sapete spiegarmi come capire se una funzione è iniettiva, suriettiva e invertibile?

Per esempio F(x)=2-x Z->Z

Non capisco come fare.. 2-x è l'insieme di partenza giusto?

Risposte
misanino
"Licia9":
Ma una funzione per essere invertibile non deve essere biunivoca?


Bisogna puntualizzare.
Infatti si deve dire su quale spazio una funzione è invertibile.
Prendiamo ad esempio la funzione $f:NN rarr NN$ data da $f(x)=x+2$.
Questa funzione è ovviamente iniettiva. Invece non è suriettiva perchè il suo codominio non è tutto $NN$ ma solo il sottoinsieme di $NN$ dato da quei numeri che sono maggiori o uguali a 3.
Quindi la funzione non è invertibile su tutto $NN$, mentre è invertibile sul suo codominio (perchè è iniettiva) cioè sul sottoinsieme di $NN$ dato dai numeri maggiori o uguali a 3

Martino
"misanino":
è invertibile sul suo codominio
Di solito quello che tu chiami codominio viene chiamato immagine.

Per una funzione $f:A to B$, essere biunivoca è equivalente ad essere invertibile.

misanino
"Martino":
[quote="misanino"]è invertibile sul suo codominio
Di solito quello che tu chiami codominio viene chiamato immagine.

Per una funzione $f:A to B$, essere biunivoca è equivalente ad essere invertibile.[/quote]

Essere invertibile su B.
Invece essere invertibile sul proprio codominio (o immagine) è equivalente ad essere iniettiva.
Insomma, direi che occorre specificare.

Come hai detto tu se in un esercizio viene data $f:A to B$ e si chiede se è invertibile, allora deve giustamente essere biunivoca (perchè è sottointeso invertibile su B).

Martino
@misanino: ti scrivo quello che penso. Nel linguaggio matematico comune quando si dice $f:A to B$ si intende che $A$ è il dominio e $B$ è il codominio. L'immagine di $f$ è il sottoinsieme di $B$ definito come segue: $Im(f) = f(A) = {f(a)\ |\ a in A}$. Codominio e immagine non sono la stessa cosa. La funzione $f:A to B$ si dice suriettiva se $f(A)=B$.

Licia9
Ragazzi per la suriettività di questa funzione
sempre da Z->Z

f(x)=x^20

non è iniettiva per lo stesso motivo di x^2

ma per la suriettività

x^20=y

ottengo due radici e quindi non è suriettiva vero?

lo stesso vale per questa?

f(x)=x^31

solo che è iniettiva

misanino
"Martino":
@misanino: ti scrivo quello che penso. Nel linguaggio matematico comune quando si dice $f:A to B$ si intende che $A$ è il dominio e $B$ è il codominio. L'immagine di $f$ è il sottoinsieme di $B$ definito come segue: $Im(f) = f(A) = {f(a)\ |\ a in A}$. Codominio e immagine non sono la stessa cosa. La funzione $f:A to B$ si dice suriettiva se $f(A)=B$.


In effetti ho trovato libri che distinguevano, come hai detto tu, codominio e immagine,
ma ho trovato anche libri che li consideravano identici (cioè definivano il codominio come l'immagine della funzione).
Bene, sono contento che ci siamo intesi.
Grazie della puntualizzazione

Martino
"misanino":
In effetti ho trovato libri che distinguevano, come hai detto tu, codominio e immagine,
ma ho trovato anche libri che li consideravano identici (cioè definivano il codominio come l'immagine della funzione).
In realtà la distinzione tra codominio e immagine è accettata universalmente, ma in ambito analitico si tende a dimenticarla (dicendo "se non è suriettiva restringo il codominio"). Invece in algebra tale distinzione è di fondamentale importanza.

misanino
"Licia9":
Ragazzi per la suriettività di questa funzione
sempre da Z->Z

f(x)=x^20

non è iniettiva per lo stesso motivo di x^2

ma per la suriettività

x^20=y

ottengo due radici e quindi non è suriettiva vero?

lo stesso vale per questa?

f(x)=x^31

solo che è iniettiva


Esatto.
Vedo che cominci ad avere più dimestichezza

misanino
"Martino":
[quote="misanino"]In effetti ho trovato libri che distinguevano, come hai detto tu, codominio e immagine,
ma ho trovato anche libri che li consideravano identici (cioè definivano il codominio come l'immagine della funzione).
In realtà la distinzione tra codominio e immagine è accettata universalmente, ma in ambito analitico si tende a dimenticarla (dicendo "se non è suriettiva restringo il codominio"). Invece in algebra tale distinzione è di fondamentale importanza.[/quote]

Grazie della precisazione :-D

lupoalberto88
Ciao a tutti!!!
ho seguito lo svolgimento degli esercizi precedenti e mi sono chiari.
Svolgendone altri ho trovato delle difficoltà in questi due esercizi:
a) $ f : x in ZZ rarr |x| + 3 in NN $
b) $ f : x in ZZ rarr x - x^2 + 1 in ZZ $
potete darmi una mano?

vi ringrazio anticipatamente
Alberto

Martino
[mod="Martino"]Lupoalberto88, benvenuto nel forum. Sei pregato di aprire un nuovo argomento proponendo lì le tue questioni. Grazie.[/mod]

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