Professional Documents
Culture Documents
Leone
P
dimostra geometricamente che una retta in corrispondenza di un
segmento aperto.
suggerimento
Considera una retta e su di essa individua un segmento AB. Ad una distanza pari alla
met della lunghezza del segmento stesso disegna parallelamente alla retta un segmento
CD di pari lunghezza in modo che A e B siano le proiezioni sulla retta di C e D. Disegna
poi la semicirconferenza con centro nel punto medio di CD, raggio pari a CO e tangente al
segmento AB. Considera un punto qualsiasi sulla retta, congiungilo con O e proietta su
AB il punto dintersezione della congiungente tracciata con la semicirconferenza. Ti
sembra sia una corrispondenza biunivoca?
P( A) > A .
P. Leone
P. Leone
Teorema: Z numerabile
dim
Definiamo una corrispondenza tra Z e N in questo modo:
n
sen N , n pari
.
an =
n +1
se n N , n
dispari
2
Questa funzione una corrispondenza biunivoca.
Una dimostrazione alternativa pu essere questa
Definiamo una corrispondenza cos:
+n 2n, -n 2n-1
essa risulta biunivoca.
Teorema: Q numerabile (Primo metodo diagonale di Cantor).
dim
Consideriamo linsieme di tutte le frazioni e rappresentiamolo attraverso questa
tabella.
Num
0
-1
1
-2
2
Denom
0/1
1
-1/1
1/1
-2/1
2/1
0/2
-1/2
1/2
-2/2
2/2
0/3
-1/3
1/3
-2/3
2/3
0/4
-1/4
1/4
-2/4
2/4
0/5
-1/5
1/5
-2/5
2/5
---
P. Leone
P. Leone
Eliminando da questa successione le frazioni che non irriducibili e tutte quelle il cui
numeratore 0 (salvo la prima) otteniamo una enumerazione del sottoinsieme delle
frazioni irriducibili che equipotente a Q.
Teorema: R non numerabile (Secondo metodo diagonale di Cantor)
Innanzitutto possiamo considerare invece dell'intero insieme R dei numeri reali,
l'intervallo ]0,1[; se questo intervallo non numerabile a maggior ragione non potr
esserlo R.
La dimostrazione procede per assurdo nel modo seguente:
Se ]0,1[ fosse numerabile, esisterebbe una corrispondenza biunivoca tra ]0,1[ e N,
cio tutti gli elementi di ]0,1[ potrebbero essere contati:
x1 = 0, a11 a12 a13
x2 = 0,a21 a22 a23
x3 = 0,a31 a32 a33
..............................
dove aij la j-esima cifra decimale del i-esimo numero reale di A.
Per dimostrare che ]0,1[ non numerabile ci basta fornire un numero y compreso tra
0 e 1 che sia diverso da tutti gli xi. Sia
y = 0, b1 b2 b3
un numero reale cos costruito:
b1 a11;
b2 a22;
............
bk akk.
Il numero reale y appartiene ad ]0,1[ , ma diverso (perch almeno una cifra
diversa) da tutti gli elementi elencati.
Oss.5
La cardinalit di R maggiore di 0 , viene indicata con 1 ed chiamata la
cardinalit del continuo. Si dice anche, in modo equivalente, che R ha la potenza del
continuo.
Cantor costru una catena strettamente crescente ( rispetto ad una opportuna relazione di ordine ) di
cardinali transfiniti
0 < 1 < 2 < 3 < 4 < .
che forniscono una gerarchia per gli insiemi infiniti. Secondo questa impostazione un insieme infinito
non pu avere cardinalit inferiore al numerabile e inoltre R ha la cardinalit di P(N).
P. Leone