Cantorin lause

Tähän artikkeliin tai osioon ei ole merkitty lähteitä, joten tiedot kannattaa tarkistaa muista tietolähteistä. Voit auttaa Wikipediaa lisäämällä artikkeliin tarkistettavissa olevia lähteitä ja merkitsemällä ne ohjeen mukaan.

Cantorin lause on joukko-opin lause, joka sanoo että joukon mahtavuus ei ole sama kuin potenssijoukkonsa. Tällä tiedolla voidaan helposti osoittaa lisätulos, jonka mukaan potenssijoukko on aina alkuperäistä joukkoa mahtavampi. On nopeasti havaittavissa, että lause pätee äärellisille joukoille, mutta lause on todistettu oikeaksi myös äärettömien joukkojen kohdalla.

Kaksi joukkoa ovat yhtä mahtavat jos ja vain jos niiden välille voidaan muodostaa bijektio, ts mikäli näiden kahden eri joukon alkiot saadaan jollakin tavalla järjestettyä pareiksi kattaen molemmista joukoista kaikki alkiot. Cantorin lauseen todistamiseksi riittää siis osoittaa, että millekään joukolle A ei ole olemassa surjektiivista funktiota A:sta sen potenssijoukkoon, eli täytyy löytää ainakin yksi A:n osajoukko B, jolla ei ole alkukuvaa A:ssa. Se löytyy seuraavasti:

${\displaystyle B=\left\{\,x\in A:x\not \in f(x)\,\right\}.}$

Tämähän tarkoittaa määritelmänsä nojalla, että jokaiselle ${\displaystyle A}$:n alkiolle ${\displaystyle x}$ pätee ${\displaystyle x\in B}$ jos ja vain jos ${\displaystyle x\notin f(x)}$. Millekään ${\displaystyle x}$:lle ei päde ${\displaystyle f(x)=B}$, eli toisin sanoen ${\displaystyle B}$ ei kuulu ${\displaystyle f}$:n arvojoukkoon. Näin ollen potenssijoukon mahtavuus on suurempi.

Tulos voidaan tarkastaa vastaoletuksella: ${\displaystyle f:A\to {\mathcal {P}}(A)}$ on bijektio, joten se on surjektio. Tällöin on olemassa ${\displaystyle a\in A}$ siten, että ${\displaystyle f(a)=B}$. Nyt ${\displaystyle a\in B\iff a\notin f(a)\iff a\notin B}$, missä ensimmäinen ekvivalenssi saadaan ${\displaystyle B}$:n määritelmästä ja toinen ekvivalenssi oletuksesta ${\displaystyle f(a)=B}$. Ollaan päädytty ristiriitaan, joten ei ole olemassa ${\displaystyle a\in A}$ siten, että ${\displaystyle f(a)=B}$. Näin ollen ei ole olemassa surjektiota ${\displaystyle f:A\to {\mathcal {P}}(A)}$, joten joukot ${\displaystyle A}$ ja ${\displaystyle {\mathcal {P}}(A)}$ eivät ole yhtä mahtavia.

Georg Cantor todisti lauseen vuonna 1891 julkaisussa Über eine elementare Frage der Mannigfaltigkeitslehre. Samassa julkaisussa hän todisti reaalilukujen numeroitumattomuuden.

• Lipschutz, Seymour: Set Theory and Related Topics. McGraw-Hill, 1964. ISBN 0-07-037986-6