Liczb parzystych jest dokładnie tyle samo co wszystkich liczb naturalnych
Liczby parzyste są tylko częścią liczb naturalnych, ale w sensie kardynalności oba zbiory mają ten sam rozmiar. Każdej liczbie naturalnej n można przypisać dokładnie jedną liczbę parzystą 2n, a każda dodatnia liczba parzysta pojawia się w takim przyporządkowaniu. Powstaje bijekcja, mimo że po stronie parzystych „brakuje” wszystkich nieparzystych. To jedna z podstawowych różnic między zbiorami skończonymi i nieskończonymi. Nie oznacza to jednak, że parzyste stanowią 100% liczb naturalnych: ich naturalna gęstość wynosi 1/2. Kardynalność i udział w rosnących przedziałach mierzą po prostu dwie różne rzeczy.
Część tak duża jak całość
Weźmy dodatnie liczby naturalne 1, 2, 3, 4, … oraz dodatnie liczby parzyste 2, 4, 6, 8, …. Drugi zbiór jest właściwym podzbiorem pierwszego: zawiera tylko część jego elementów. W świecie skończonym taki podzbiór zawsze ma mniej elementów niż cały zbiór. Tutaj możemy jednak ustawić pary 1↔2, 2↔4, 3↔6, 4↔8 i ogólnie n↔2n. Każda liczba naturalna dostaje jednego partnera i każda dodatnia liczba parzysta ma dokładnie jednego partnera. To właśnie bijekcja, a więc w teorii mnogości oba zbiory mają tę samą moc.
Dlaczego nie jest to sprzeczność
Sprzeczność pojawiłaby się tylko wtedy, gdybyśmy jednocześnie używali jednej definicji „rozmiaru” i otrzymywali dwa różne wyniki. Tutaj porównujemy jednak różne pojęcia. Kardynalność pyta, czy elementy można sparować jeden do jednego. Na to pytanie odpowiedź brzmi: tak, liczby naturalne i parzyste są równoliczne. Z kolei pytanie „jaki odsetek liczb od 1 do N jest parzysty?” prowadzi do wartości zbliżającej się do 1/2. To naturalna gęstość. Zbiór może więc mieć tę samą moc co większy zbiór i jednocześnie zajmować w nim tylko określony procent w sensie asymptotycznym.
Co naprawdę wyróżnia nieskończoność
Właściwość zilustrowana przez liczby parzyste może wręcz służyć jako charakterystyka nieskończoności w klasycznej teorii zbiorów: zbiór jest nieskończony, jeśli może być równoliczny z pewnym swoim właściwym podzbiorem. Dla zbioru pięciu elementów nie da się sparować wszystkich pięciu obiektów z czterema bez powtórzenia po jednej stronie. Dla liczb naturalnych przesunięcia, rozciągnięcia indeksów i inne bijekcje potrafią natomiast „ominąć” nieskończenie wiele elementów i wciąż wykorzystać wszystkie liczby po obu stronach.
Gęstość nie jest kardynalnością
Rozróżnienie jest ważne także poza prostym przykładem parzystych. Kwadratów 1, 4, 9, 16, … jest przeliczalnie nieskończenie wiele, więc mają tę samą kardynalność co wszystkie liczby naturalne. Ich naturalna gęstość wynosi jednak zero, bo do N występuje ich tylko około √N. Kardynalność nie mierzy więc „jak często” elementy pojawiają się w uporządkowanym zbiorze ani jak dużo miejsca zajmują. Mówi wyłącznie o możliwości utworzenia bijekcji.
Dlaczego intuicja skończona zawodzi
Na co dzień poznajemy liczby przez skończone kolekcje: trzy jabłka, dziesięć monet, sto miejsc. W każdym takim przypadku usunięcie elementów zmniejsza liczność. Nic dziwnego, że oczekujemy tego samego od zbiorów nieskończonych. Cantorowska definicja kardynalności pokazuje jednak, że nie można bez zmian przenieść wszystkich własności skończonego liczenia na nieskończoność. Liczby parzyste są najprostszym przykładem, bo bijekcję widać natychmiast i nie trzeba używać zaawansowanej teorii.
Ta sama moc nie znaczy „ten sam zbiór”
Równoliczność nie utożsamia zbiorów. Liczby naturalne i parzyste nie są tym samym zbiorem: 1 należy do pierwszego, ale nie do drugiego. Mają jednak tę samą kardynalność, tak jak dwa różne zbiory po pięć elementów mają po pięć elementów. W przypadku nieskończoności różnica polega na tym, że nawet właściwy podzbiór może zachować pełną kardynalność całości. To zjawisko stanie się jeszcze bardziej niezwykłe, gdy porównamy liczby naturalne z liczbami rzeczywistymi — tam bijekcji już nie da się zbudować.
Arytmetyka alef-zero nie zachowuje się jak zwykłe liczenie
Kardynalność liczb naturalnych oznacza się symbolem ℵ₀. Podział N na liczby parzyste i nieparzyste daje dwie rozłączne kopie zbioru o mocy ℵ₀, a po ich połączeniu wciąż otrzymujemy zbiór o mocy ℵ₀. W arytmetyce kardynałów zapisuje się to jako ℵ₀+ℵ₀=ℵ₀; podobnie skończona liczba kopii N nadal ma moc ℵ₀. Nie jest to sprzeczność z arytmetyką zwykłych liczb, ponieważ kardynały nieskończone opisują możliwość bijekcji, a nie proces dokładania obiektów do skończonego pudełka. To właśnie dlatego operacje intuicyjnie zwiększające liczbę elementów mogą nie zwiększać kardynalności. Można tę samą ideę powtarzać: wielokrotności 3, 10 czy dowolnej dodatniej liczby całkowitej również można sparować z N przez n↦kn. Każdy z tych zbiorów pomija nieskończenie wiele liczb naturalnych, a mimo to zachowuje kardynalność ℵ₀. Pokazuje to, że dla zbiorów przeliczalnych „jak duży procent pozycji zajmują elementy” i „ile jest elementów w sensie kardynalnym” są naprawdę odrębnymi pytaniami.