Владимир Успенский - Апология математики, или О математике как части духовной культуры

Только что изложенное свойство бесконечных совокупностей не столь трудно для понимания, как это может показаться. И сейчас мы попытаемся его объяснить. Сама логическая конструкция проста, изящна и поучительна. Мы надеемся, что читатель согласится включить её в свой интеллектуальный багаж, причём в качестве носимой с собой ручной клади, а не тяжеловесного предмета, сдаваемого в багажное отделение.

Для начала перестанем избегать термина множество, как это мы делали до сих пор, стыдливо заменяя его синонимом «совокупность». Множество состоит из элементов, которых не обязательно много. (Это в русском языке слова «множество» и «много» однокоренные, а вот английское «set» и французское «ensemble» не несут на себе вводящего в заблуждение оттенка множественности.) Возможны множества, состоящие из одного только элемента, и даже пустое множество, вовсе не имеющее элементов. Зачем же рассматривать такие патологические образования, как пустое множество, спросит читатель. И мы ему ответим: это удобно. Удобно иметь право говорить, например, о множестве слонов в зоопарке города N, не зная заранее, есть ли в этом зоопарке хотя бы один слон. Какое множество ни взять, среди его частей присутствует и пустое множество: так, среди частей множества всех слонов земного шара присутствует не только множество слонов московского зоопарка, но и множество слонов любого зоопарка, слонов не имеющего. Во избежание недоразумений заметим, что пустое множество одно: пустое множество слонов и пустое множество мух представляют собою одно и то же множество. (Совершенно так же, как стакан газированной воды без вишневого сиропа не отличается от стакана газированной воды без апельсинового сиропа; сравнение понятно для тех читателей старших поколений, которые ещё помнят торговлю газировкой на улицах советских городов.)

Учение о сравнении количеств элементов в любых, а не только конечных, множествах целиком принадлежит великому немецкому математику и философу Георгу Кантору (1843–1918). Назвав Кантора немцем, мы всего лишь следовали укоренившейся традиции. Не вполне ясно, как его следует называть. Его отец родился в Дании, мать — в России. Сам он также родился в России, а именно в Санкт-Петербурге; в этом городе он провел первые одиннадцать лет своей жизни, о которых вспоминал с ностальгией. Вот, скажем, Пьера Ферма, о котором говорилось выше, в главе 2, можно было, не испытывая сомнений, назвать французом: он всегда жил во Франции, ей служил и говорил по-французски; трудно представить, чтобы Ферма ощущал себя кем-то иным, а не французом. Кем ощущал себя Кантор — загадка. Его биографы указывают, что хотя свою взрослую жизнь он и прожил в Германии, уютно ему там не было.

Выдающийся российский математик Павел Сергеевич Александров (1896–1982) писал: «Думаю, что во второй половине XIX века не существовало математика, оказавшего большее влияние на развитие математической науки, чем создатель абстрактной теории множеств Георг Кантор».

Учение о бесконечном оказалось настолько трудным, что привело его автора к тяжёлой нервной болезни. В 1884 году у Кантора начались приступы депрессии, а с 1897 года он уже не публиковал научных работ. С 1899 года Кантор становится пациентом нервных санаториев, а потом и клиник, проводя в них всё больше и больше времени. В одной из таких клиник он и скончался. Любезному читателю это не грозит, поскольку мы ограничимся началами.

Построения Кантора основаны на чрезвычайно простой мысли (которая, как и всякая гениальная мысль, после своего осознания кажется очевидной): понятие количества является вторичным по отношению к понятию равенства количеств. Не д о лжно смущаться тем, что в выражении «равенство количеств» слово «количество» уже присутствует: нас должна интересовать не лингвистическая этимология терминов, а логическая генеалогия понятий. Для установления равноколичественности двух множеств вовсе не нужно пересчитывать их элементы, даже вообще можно не уметь считать. Для примера представим себе двух первобытных людей, один из которых располагает стадом коз, а другой — стадом овец. Они хотят обменяться своими стадами, но при условии, что стада равноколичественны. Счёта они не знают. Но это им и не нужно. Нужно просто связать попарно овец и коз, так чтобы каждая коза была связана ровно с одной овцой, а каждая овца — ровно с одной козой. Успех процедуры и означает равенство количеств.

Пример из первобытной жизни приводит нас к важнейшему понятию эквивалентности множеств . Говорят, что два множества эквивалентны, если можно так сопоставить друг с другом элементы первого множества и элементы второго множества, что каждый элемент первого множества окажется сопоставленным ровно с одним элементом второго множества и каждый элемент второго множества окажется сопоставленным ровно с одним элементом первого множества. Наши скотоводы как раз и установили эквивалентность своих стад. А синьор Сальвиати установил эквивалентность множества всех квадратов и множества всех чисел; эту эквивалентность можно наглядно показать посредством следующей таблицы [1] Таблица с http://magazines.russ.ru/novyi_mi/2007/12/us9.html (прим. корректора) :

Чтобы продемонстрировать эффект Кортасара на простом примере, добавим к множеству квадратов какие-нибудь три числа, квадратами не являюшихся, — ну, скажем, 7, 23 и 111. Следующая таблица показывает эквивалентность множества квадратов и расширенного множества, состоящего из всех квадратов и трёх указанных не-квадратов [2] Таблица с http://magazines.russ.ru/novyi_mi/2007/12/us9.html (прим. корректора) :

Читатель да благоволит изобразить на листе бумаги любые два отрезка и, в качестве несложного упражнения, убедиться, что множество точек, расположенных на первом отрезке, и множество точек, расположенных на втором отрезке, являются эквивалентными.

Но не окажутся ли все вообще бесконечные множества эквивалентны друг другу? Великое открытие Кантора состояло в том, что он обнаружил неэквивалентные бесконечности. Так, одна из его замечательных теорем гласила, что множество всех точек прямой и множество всех натуральных чисел неэквивалентны. Оказалось, что наиболее знакомые нам бесконечные множества подразделяются на два основных рода, так что множества первого рода эквивалентны друг другу и множества второго рода эквивалентны друг другу, а множества разных родов друг другу не эквивалентны. Множества первого рода называются счётными, к ним относятся: натуральный ряд, любая бесконечная часть натурального ряда (например, множество всех квадратов), множество всех дробей, множество всех мыслимых комбинаций (как ведущих к выигрышу, так и проигрышных) пластинок из четырёхчленого набора, заявленного в игре предыдущей главы. Множества второй категории называются континуальными; таковы множество всех точек прямой, всех точек плоскости, всех окружностей, множество всех частей натурального ряда. Бывают и такие бесконечные множества, которые не являются ни счётными, ни континуальными, но в «математическом быту» такие множества почти не встречаются.