Messaggioda fu^2 » 12/10/2008, 23:05

un esempio molto semplice: prendiamo la funzione $f:RR->RR$ definita come $f(x)=e^x$.

si ha che $f'(x)=e^x$ quindi f è crescente nel suo dominio ($RR$).
Inoltre è iniettiva, infatti $e^y=e^x<=>y=x$ per le proprietà delle potenze.

Infine sai che la funzione è limitata inferiormente, cioè che $"inf"(f)=0$ mentre non è limitata superiormente ($"sup"(f)=+oo$).

quindi come immagine questa funzione ha tutto $RR^+$.

Concludiamo dicendo che $f:RR->imf=RR^+$ è biunivoca.
Avatar utente
fu^2
Cannot live without
Cannot live without
 
Messaggio: 2341 di 4213
Iscritto il: 06/09/2006, 22:04

Messaggioda fu^2 » 12/10/2008, 23:09

con simili osservazioni puoi infatti vedere che l'inversa $y=logx$ ha dominio $RR^+$ e codominio $RR$.
Avatar utente
fu^2
Cannot live without
Cannot live without
 
Messaggio: 2342 di 4213
Iscritto il: 06/09/2006, 22:04

Messaggioda G.D. » 13/10/2008, 15:41

Chirarisco quello che intendevo quando parlavo della verifica della iniettività.

Mettiamo che sia $f:RRtoRR, \ x in RR mapsto x+1 \in RR$. Allora se $x_1!=x_2$ è anche $x_1+1!=x_2+1$ (1a legge di monotonia). $f$ è iniettiva.
"Everybody lies"
"La morte sorride a tutti: un uomo non può fare altro che sorriderle di rimando"
"Eliminato l'impossibile, ciò che resta, per improbabile che sia, deve essere la verità"
"No! Provare no! Fare. O non fare. Non c'è provare!"
Avatar utente
G.D.
Cannot live without
Cannot live without
 
Messaggio: 1573 di 6398
Iscritto il: 11/05/2007, 22:00

Precedente

Torna a Algebra, logica, teoria dei numeri e matematica discreta

Chi c’è in linea

Visitano il forum: Nessuno e 1 ospite