Если вы думали, что теория множеств — это скучный набор цифр и непонятных символов, то приготовьтесь: сейчас мы отправимся в путешествие по истории этого загадочного математического зверя, где вместо скучных формул вас ждут забавные истории и пара анекдотов. Ведь, как известно, математика без юмора — это как чай без сахара: вроде и полезно, но радости мало.
Начнем с того, что понятие множества — или, если хотите, набора, коллекции или даже семейства — знакомо нам с тех времен, когда люди еще не умели писать и считать деньги на счёт в банке. Представьте себе первобытного человека, который пытается сосчитать своих оленей.
Он не знал слова «множество», но точно понимал: у меня есть кучка оленей здесь и кучка там. И вот он складывает эти кучки вместе — то есть делает самое древнее из всех математических действий: сложение.
Кстати, сложение — это как семейный ужин: ты приносишь картошку с грядки, сосед – курицу из курятника, а вместе получается прекрасное блюдо под названием «обед». Вот так идея множества проявилась в нашей жизни задолго до появления школьных учебников.
А теперь представьте древнегреческих философов — они тоже любили поговорить о наборах и группах. Но вместо того чтобы собирать марки или играть в покер, они размышляли над тем, что такое число вообще.
Например, Пифагор мог сказать: «Числа вокруг нас! Они как гости на вечеринке: одни простые и скромные (простые числа), другие более шумные (натуральные), а некоторые вообще загадочные (иррациональные).» И хотя они не называли это теорией множеств вслух (ведь слово-то появится гораздо позже), идея совокупности чисел уже витала в воздухе.
Знаете ли вы про дерево Порфирия? Нет-нет, это не какой-то волшебный дуб из сказок Толкиена.
Это графическая схема для деления понятий на части — своего рода дедуктивное дерево решений. Представьте себе такую ситуацию: вы пытаетесь объяснить другу разницу между фруктами и овощами.
Вы начинаете с вопроса: «Это сладкое?» Если да — значит фрукт; если нет — овощ. Вот вам и дерево! А Порфирий был первым айтишником древности – он строил логические схемы задолго до появления компьютеров.
И вот мы подходим к самой веселой части – бесконечности!
Ой-ёй-ёй… Эта штука заставляла ломать голову даже самых умных людей на протяжении веков. Помните Зенона Элейского?
Этот парень придумал апории – такие философские головоломки про движение и пространство. Например: чтобы дойти до двери комнаты, нужно сначала пройти половину расстояния до неё; но прежде чем пройти эту половину, нужно пройти половину половины… И так далее до бесконечности!
В итоге кажется будто ты никогда не дойдешь до двери – классика жанра для тех вечеров после долгого рабочего дня.
На самом деле этот вопрос о бесконечности разделился на два лагеря: одни считали её актуальной (то есть реально существующей), другие – потенциальной (когда можно только приближаться к ней). Это как с холодильником ночью – всегда кажется полным бесконечных запасов еды (актуальная бесконечность), но когда открываешь дверцу – там всё-таки заканчивается колбаса (потенциальная).
Именно эти философские дебаты подтолкнули ученых 19 века серьезно заняться теорией множеств как самостоятельной областью математики.
До этого момента множество было скорее скрытым героем математических операций – оно пряталось за сложением-приумножением и выглядело как невидимая рука судьбы в мире чисел.