Георг Кантор не просто змінив математику. Він зламав її.
Народившись у Санкт-Петербурзі в 1845 році, цей німецький математик глянув на числа і побачив те, що упускали інші. До нього нескінченність була розмитим поняттям. Великим числом, яке продовжується вічно. Але Кантор побачив у ній місце. Краєвид з різними регіонами, різними розмірами та різними правилами.
Він став засновником “теорії множин”, розглядаючи системи чисел як цілісні об’єкти. Він дивився як окремі раціональні числа. Він дивився на всю групу цілком. На все безліч чисел. Це зрушення у перспективі призвело до відкриття, яке досі здається багатьом людям невірним.
Не всі нескінченності рівні.
Підрахунок непідрахункового
Насамперед Кантор довів, що деякі нескінченні множини можна підрахувати. Візьмемо раціональні числа. Це дроби. Будь-яке число, яке можна записати як одне ціле число, поділене на інше. Здається, дробів набагато більше, ніж натуральних чисел (1, 2, 3 …).
Кантор показав взаємно однозначну відповідність. Він зіставив кожне раціональне число із унікальним натуральним числом. Нічого не лишилося без пари. Нічого не повторилося.
Безліч раціональних чисел лічимо.
Це означало, що нескінченність дробів має той самий «розмір», як і нескінченність цілих чисел. Математики називають це лічильною нескінченністю. Вона керована. Її можна перерахувати. Її можна пронумерувати.
Але потім було справжнє потрясіння.
Кантор звернув свою увагу на ірраціональні числа. Числа на кшталт числа Пі чи квадратного кореня із двох. Ці десяткові дроби продовжуються вічно без повторення. Вони заповнюють прогалини між дробами. Кантор довів, що така відповідність тут неможлива.
Ви не можете порівняти їх із натуральними числами. Їх просто надто багато.
Це безліч нечисленно. Воно більше. Це більша нескінченність.
Ступені нескінченності
Це відкриття змусило Кантора класифікувати те, що назвав трансфінітними числами. Це ступеня нескінченності.
Якщо уявити нескінченність як висоту, Кантор показав, що це не одна висока вершина. Це гірський хребет. Деякі вершини вищі за інші. Нескінченність дійсних чисел вища, ніж нескінченність натуральних чисел.
Він не просто здогадався про це. Він використав сувору логіку. Він безпосередньо порівнював розміри множин. Якщо ви можете порівняти кожен елемент множини А з елементом множини Б без залишку, вони мають однаковий розмір. Якщо не можете, значить одне більше іншого.
Саме тому важливо розуміти діагональний аргумент Кантора. Це є доказом того, що дійсні числа нечисленні. Воно показує конкретний спосіб знайти число, якого немає в жодному списку, який ви намагаєтесь скласти.
Чому це важливо для вивчення математики
Більшість людей перестають чути про Кантора у старшій школі. Або взагалі ніколи не чують про нього. Вони вивчають математику як набір статичних правил. Додавання. Віднімання. множення. Розподіл.
Кантор вчить нас, що математика є динамічною. Вона про стосунки між групами. А не лише про окремі цифри.
Вивчаючи основи теорії множин, ви вчитеся мислити структурами. Як ці частини поєднуються одна з одною? Чи можуть вони відображатись один на одного? Що залишається зайвим?
Це не абстрактна теорія. Так комп’ютерна наука опрацьовує дані. Так працює логіка. Так ми розуміємо межі.
