Twierdzenia Cantora

Georg Cantor (1845-1918) stworzył teorię mnogości - dział, który stał się wspólnym językiem całej matematyki. Jego nazwisko noszą twierdzenia z różnych działów: teorii mnogości, topologii i analizy matematycznej. Poniżej wszystkie cztery, z wyjaśnieniem, po co są i co się psuje, gdy opuścić założenia.

1. Twierdzenie o mocy zbioru potęgowego

Moc rodziny wszystkich podzbiorów danego zbioru jest większa od mocy tego zbioru:

$|X| < |\mathcal{P}(X)|.$

Dla zbiorów skończonych to zwykły rachunek: zbiór $n$-elementowy ma $2^n$ podzbiorów, a $2^n > n$. Siła twierdzenia ujawnia się dla zbiorów nieskończonych - okazuje się, że nie istnieje największa nieskończoność. Biorąc kolejne zbiory potęgowe, dostajemy rosnącą wieżę mocy:

$|\mathbb{N}| < |\mathcal{P}(\mathbb{N})| < |\mathcal{P}(\mathcal{P}(\mathbb{N}))| < \ldots$

Z tego twierdzenia wynika też nieprzeliczalność liczb rzeczywistych: zbiór $\mathbb{R}$ ma moc $2^{\aleph_0}$, czyli tyle samo co $\mathcal{P}(\mathbb{N})$.

Pełny dowód (metodą przekątniową), konsekwencje i hipotezę continuum omawiamy osobno: Twierdzenie Cantora i metoda przekątniowa.

2. Twierdzenie Cantora-Heinego o jednostajnej ciągłości

Funkcja ciągła na przedziale domkniętym i ograniczonym jest na nim jednostajnie ciągła (przedział można zastąpić dowolnym zbiorem zwartym).

Różnica między ciągłością a ciągłością jednostajną jest subtelna, ale kluczowa:

• ciągłość: dla każdego punktu i każdego $\varepsilon$ istnieje $\delta$ - przy czym $\delta$ wolno dobierać osobno dla każdego punktu;
• ciągłość jednostajna: dla każdego $\varepsilon$ istnieje jedno wspólne $\delta$, działające we wszystkich punktach naraz.

Co się psuje bez domkniętości. Funkcja $f(x) = \tfrac{1}{x}$ jest ciągła na przedziale $(0, 1]$, ale nie jednostajnie: im bliżej zera, tym gwałtowniej rośnie, więc żadne wspólne $\delta$ nie wystarczy.

Co się psuje bez ograniczoności. Funkcja $f(x) = x^2$ jest ciągła na całej prostej, lecz nie jednostajnie - dla dużych $x$ nawet malutka zmiana argumentu daje ogromną zmianę wartości.

Twierdzenie jest niezbędne w dowodach z analizy: to dzięki niemu funkcja ciągła na przedziale domkniętym jest całkowalna w sensie Riemanna, a przybliżenia numeryczne mają kontrolowany błąd.

3. Zasada zstępujących przedziałów

Dowolny zstępujący ciąg niepustych przedziałów domkniętych i ograniczonych ma niepuste przecięcie: jeśli

$[a_1, b_1] \supseteq [a_2, b_2] \supseteq [a_3, b_3] \supseteq \ldots,$

to istnieje punkt należący do wszystkich tych przedziałów naraz.

To jedno z równoważnych sformułowań zupełności zbioru liczb rzeczywistych - własności, która odróżnia $\mathbb{R}$ od $\mathbb{Q}$.

Bez domkniętości twierdzenie jest fałszywe. Przedziały otwarte $\left(0, \tfrac{1}{n}\right)$ tworzą ciąg zstępujący, a ich przecięcie jest puste - żadna liczba dodatnia nie jest mniejsza od wszystkich $\tfrac{1}{n}$.

Bez ograniczoności również. Przedziały $[n, +\infty)$ są domknięte i zstępujące, a ich przecięcie też jest puste.

Bez zupełności także. Weźmy przedziały o końcach wymiernych, zacieśniające się wokół $\sqrt{2}$. W zbiorze liczb wymiernych ich przecięcie jest puste - bo $\sqrt{2}$ tam nie ma. Właśnie ta „dziura” pokazuje, dlaczego liczby rzeczywiste musiały zostać zbudowane.

4. Twierdzenie o zbiorach domkniętych w przestrzeni zupełnej

W przestrzeni metrycznej zupełnej przecięcie zstępującego ciągu niepustych zbiorów domkniętych jest zbiorem jednoelementowym, jeśli ciąg ich średnic dąży do zera.

To uogólnienie punktu 3 na dowolne przestrzenie metryczne. Warunek o średnicach jest tu istotny - gwarantuje, że w przecięciu zostaje dokładnie jeden punkt, a nie cały zbiór.

Twierdzenie bywa nazywane zasadą zstępujących zbiorów Cantora i jest podstawowym narzędziem w dowodach istnienia - z niego wyprowadza się m.in. twierdzenie Banacha o punkcie stałym, na którym opiera się teoria równań różniczkowych i wiele algorytmów numerycznych (metoda iteracji prostej, metoda Newtona).

Bonus: zbiór Cantora

Nazwiska Cantora nosi też jeden z najsłynniejszych obiektów matematyki. Konstrukcja jest banalnie prosta:

1. bierzemy odcinek $[0, 1]$;
2. usuwamy środkową trzecią część, czyli $\left(\tfrac{1}{3}, \tfrac{2}{3}\right)$;
3. z każdego z pozostałych odcinków znów usuwamy środkową trzecią;
4. powtarzamy w nieskończoność.

To, co zostaje, to zbiór Cantora. Ma trzy własności, które trudno pogodzić intuicyjnie:

• jego długość (miara) wynosi zero - usunęliśmy odcinki o łącznej długości $\tfrac{1}{3} + \tfrac{2}{9} + \tfrac{4}{27} + \ldots = 1$;
• ma moc continuum - jest go „tyle samo, co wszystkich liczb rzeczywistych”;
• jest samopodobny - każdy fragment wygląda jak całość; to jeden z pierwszych opisanych fraktali, o wymiarze $\tfrac{\log 2}{\log 3} \approx 0{,}63$.

Zbiór Cantora jest standardowym kontrprzykładem w analizie: pokazuje, że „mało” w sensie miary nie znaczy „mało” w sensie mocy.

Kto i kiedy

Cantor opublikował dowód nieprzeliczalności liczb rzeczywistych w 1874 roku, a metodę przekątniową w 1891. Jego teoria wywołała ostry sprzeciw - Leopold Kronecker, jego dawny nauczyciel, nazywał ją „matematyczną szarlatanerią” i blokował mu publikacje oraz posadę w Berlinie. Cantor zmagał się z depresją i ostatnie lata życia spędził w sanatoriach.

Ocena odwróciła się jeszcze za jego życia. David Hilbert podsumował to zdaniem: „Nikt nas nie wypędzi z raju, który stworzył nam Cantor”. Dziś teoria mnogości jest fundamentem, na którym buduje się resztę matematyki.

Najczęstsze pytania

Które z tych twierdzeń jest „tym najważniejszym”? Najbardziej znane jest twierdzenie o mocy zbioru potęgowego - to ono pokazało, że nieskończoności są różnej wielkości. W codziennej praktyce analityka najczęściej używa się jednak twierdzenia Cantora-Heinego.

Czym różni się ciągłość od ciągłości jednostajnej? Tym, czy $\delta$ wolno dobierać osobno w każdym punkcie. Na przedziale domkniętym i ograniczonym różnica znika - i to właśnie mówi twierdzenie Cantora-Heinego.

Dlaczego przedziały muszą być domknięte? Bo dla otwartych twierdzenie jest fałszywe: przecięcie przedziałów $\left(0, \tfrac{1}{n}\right)$ jest puste, choć każdy z nich jest niepusty.

Czy zbiór Cantora ma jakieś zastosowania? Poza rolą kontrprzykładu - tak: pojawia się w teorii układów dynamicznych, w kodowaniu (kod trójkowy bez cyfry $1$) i jako model zbiorów fraktalnych w fizyce i informatyce.

Gdzie znajdę dowód pierwszego twierdzenia? Na osobnej stronie: Twierdzenie Cantora i metoda przekątniowa - z dowodem przekątniowym i dowodem ogólnym dla zbioru potęgowego.

Podsumowanie

• Nazwisko Cantora noszą cztery różne twierdzenia - z teorii mnogości, analizy i topologii.
• O mocy zbioru potęgowego: podzbiorów jest zawsze więcej niż elementów, więc nie ma największej nieskończoności.
• Cantora-Heinego: na przedziale domkniętym i ograniczonym ciągłość staje się jednostajna; bez tych założeń jest fałszywe ($\tfrac{1}{x}$ na $(0,1]$, $x^2$ na $\mathbb{R}$).
• Zasada zstępujących przedziałów to jedno ze sformułowań zupełności liczb rzeczywistych.
• Zbiór Cantora ma miarę zero i moc continuum jednocześnie - klasyczny fraktal i kontrprzykład.