Cantorren Argudio Diagonala

[thumb|[Georg Cantor, matematikaria. 1845-1918]]
**Cantorren Argudio Diagonala**, **diagonalaren metodoa** bezala ezagutzen dena baita ere, **Georg Cantor**rek gutxi gorabehera 1891. urtean frogatutako argudio edo frogapena izan zen. Argudio honen bitartez Cantorrek zenbaki errealen multzoa \R ez zela zenbakigarria frogatu zuen.

Zenbaki errealak zenbatzeko edo zerrendatzeko ezintasunaren frogapen hau ez zen lehenengoa izan, baina sinpleena eta dotoreena izan zen. Geroago, frogapen honek beste zenbait frogapen inspiratu zituen.

## Froga 
\R zenbakigarria ez dela frogatzeko nahikoa da frogatzen baldin badugu [0,1] ez dela zenbakigarria. Horretarako, lehenago frogatuko dugu [0,1] multzoaren eta \R-ren kardinalak berdinak direla, horrela \R ez dela zenbakigarria frogatzeko.

#### \R eta [0,1]-ren kardinalak berdinak dira 
Hau frogatzeko, \R eta [0,1]-ren arteko funtzio bijektibo bat bilatuko dugu, funtzio hau beste bi funtzioa¡ren osaketa izango da:

* Lehenengo  f(x)=\pi (x-\textstyle{\frac{1}{2}}) funtzioa da, honek bijekzio bat ezartzen du [0,1]-ren eta  (\textstyle{\frac{-\pi}{2}},\textstyle{\frac{\pi}{2}})-ren artean eta funtzio hau bijektiboa dela frogatzea oso erraza da.
* Bigarren funtzioa f(x)=tg(x) da. Funtzio hau bijekzio bat da  (\textstyle{\frac{-\pi}{2}},\textstyle{\frac{\pi}{2}})-ren eta \R-ren artean.

Osaketa eginez bijekzio bat aurkitu dugu \R eta [0,1]-ren artean, beraz bi multzoek kardinal bera dute. 

==== \R ez da zenbakigarria, |\N|                                                                                                                                    (\N=zenbaki arruntak) ====
Orain gure helburua \R-ren infinitua \N-rena baino handiagoa dela frogatzea da, horretarako ikusiko dugu azken honen kardinala \R-rena baino txikiagoa dela. 

#### Frogapena 
|[0,1]|=|\R| dela ikusi dugu, beraz, frogatzen baldin badugu |\N| dela, |\N| izango da. Horretarako, absurdura eramanez eta suposatuz \N eta [0,1] multzoen artean korrespondentzia bat dagoela, aurkituko dugu [0,1] multzoaren elementu bat \N-rekiko korrespondentziarik ez duenik. Hau da, ikusiko dugu bi multzoen artean ez dagoela bana-banakako korrespondentzia bat.

Bi multzoen arteko bana-banakako korrespondentzia bat [0,1] multzoko elementuak zerrendatzea izango litzateke. Egin dezagun zerrenda hori [0,1] multzoko elementuei a_1,a_2, \ldots, a_n, \ldots, deituz. Zenbaki arrunt bakoitzari [0,1] multzoko zenbaki bat esleituko diogu.

Orain [0,1] multzoko zenbaki bat aurkituko dugu \N-ko zenbakirik esleituta ez duena. Horretarako zenbaki berri bat (b) sortuko dugu, [0,1] multzoan egongo dena, beraz, gure zenbakia 0 batekin hasiko da eta haren dezimalak jadanik gure [0,1] multzoko zenbakietatik lortuko ditugu. Gure zenbaki berriaren lehenengo dezimala 1 zenbaki arruntari esleitu zaion zenbaki errealaren lehen dezimala +1  izango da. Gure zenbaki berriaren bigarren dezimala bigarren zenbaki errealaren bigarren dezimalaren zenbakia +1 izango da. Dezimala 9 baldin bada gure zenbaki berriarena 0 izango da.

b = 0,28490... izango da

Horrela, lortu duguna izan da b \in [0,1] sortzea eta zenbaki honek ez du korrespondentziarik zenbaki arruntekin, zenbaki berri hau [0,1] multzoko beste zenbakien desberdina delako, behintzat zenbaki bat desberdina du, zehazki aldatu dugun dezimal bakoitzarena. Beraz, aurkitu dugunez \N-rekin korrespondentziarik ez duen [0,1] multzoko zenbaki bat, hurrengoa dakigu:

|\N|  beraz, \longrightarrow
  |\N| dela frogatu dugu  

\Box

## Erreferentziak 
## Kanpo estekak 
* Gaussianos webgunea, La diagonalización de Cantor