Equipotenza

Messaggioda matematicoestinto » 28/10/2006, 11:10

La prof ci ha lasciato di provare che l'intervallo $[0,1]$ è equipotente a $RR$. Ci ha consiglaito di usare la funzione $f(x)=((2^x)/(2^x+1)$ per fare vedere che esiste uan funzione biunivoca fra $RR$ e l'intervallo.

Ma quello che non capisco è perchè questa funzione risulti surgettiva?!?!?!

Potete illuminarmi, per favore

A presto
"E sempre l'ignoranza fa paura ed il silenzio è uguale a morte"
Avatar utente
matematicoestinto
Average Member
Average Member
 
Messaggio: 405 di 775
Iscritto il: 03/04/2006, 17:43
Località: Sicilia

Messaggioda Valerio Capraro » 28/10/2006, 11:18

quella funzione è monotona e mappa uno ad uno tutti i reali in $(0,1)$, dunque $RR$ è equipotente a $(0,1)$... aggiungi due punti ad un insieme infinito e non cambia niente
Valerio Capraro
Advanced Member
Advanced Member
 
Messaggio: 1599 di 2911
Iscritto il: 03/02/2004, 23:58
Località: Southampton (UK)

Messaggioda matematicoestinto » 28/10/2006, 11:21

Che è monotona l'avevo capito... io non capisco come mai la funzione:

$f(x) [0,1]-> RR$ sia biunivoca

Preso ad esempio il valore del codominio y=100 il corrispondente valore del dominio non dovrebbe essere nell'intervallo [0,1]? Facendo il grafico non mi pare risulti questo....
"E sempre l'ignoranza fa paura ed il silenzio è uguale a morte"
Avatar utente
matematicoestinto
Average Member
Average Member
 
Messaggio: 406 di 775
Iscritto il: 03/04/2006, 17:43
Località: Sicilia

Messaggioda matematicoestinto » 28/10/2006, 11:25

Potresti dimostrarmi che è surgettiva per favore?
"E sempre l'ignoranza fa paura ed il silenzio è uguale a morte"
Avatar utente
matematicoestinto
Average Member
Average Member
 
Messaggio: 407 di 775
Iscritto il: 03/04/2006, 17:43
Località: Sicilia

Messaggioda leev » 28/10/2006, 11:43

La funzione è piuttosto
$f(x)=2^x/(1-2^x)$
se consideri la funzione che va dall'intervallo a $RR$;
Ultima modifica di leev il 28/10/2006, 11:47, modificato 1 volta in totale.
LeeV
Avatar utente
leev
Average Member
Average Member
 
Messaggio: 257 di 598
Iscritto il: 25/12/2004, 20:24

Messaggioda giuseppe87x » 28/10/2006, 11:44

Basta osservare che l'insieme immagine della tua funzione, che è definita da $f(x):RR->[0,1]$ è uguale al suo codominio.
giuseppe87x
Advanced Member
Advanced Member
 
Messaggio: 1625 di 2038
Iscritto il: 03/06/2005, 16:07

Messaggioda matematicoestinto » 28/10/2006, 14:10

giuseppe87x ha scritto:Basta osservare che l'insieme immagine della tua funzione, che è definita da $f(x):RR->[0,1]$ è uguale al suo codominio.


Non vorrei sembrare insistente , ma come lo metto per iscritto?
"E sempre l'ignoranza fa paura ed il silenzio è uguale a morte"
Avatar utente
matematicoestinto
Average Member
Average Member
 
Messaggio: 409 di 775
Iscritto il: 03/04/2006, 17:43
Località: Sicilia

Messaggioda giuseppe87x » 28/10/2006, 16:21

Calcola l'inversa e fai vedere che il suo dominio (ovvero $im(f)$ per la definizione di funzione inversa) coincide con $[0,1]$
giuseppe87x
Advanced Member
Advanced Member
 
Messaggio: 1626 di 2038
Iscritto il: 03/06/2005, 16:07


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

Chi c’è in linea

Visitano il forum: Nessuno e 1 ospite