Апология математики (сборник статей)

Надо признать, впрочем, что ответ «Да, существует» на вопрос о ближайшей точке даётся хотя и весьма часто, но всё же реже, чем приведённые выше ответы о сущности аксиомы о параллельных и открытии Лобачевского.

Результатом диалога о ближайшей точке должно стать отнюдь не только уяснение гуманитарием того, что для данной точки не существует ближайшей к ней точки справа; несуществование такой точки – это, в конце концов, всего лишь математический факт. Не менее, а скорее даже более важным является уяснение математиком тех деталей психологии гуманитария, которая заставляет его считать, что такая точка существует.

Дело в том, что представление о 'ближайшем' формируется у гуманитария (как и у всякого человека) не на основе изучения такого сложного образования, как континуум точек на прямой, а на основе наблюдений материальных предметов окружающего мира. Наблюдение же, скажем, окон дома или кресел в театральном зале не оставляет сомнений в наличии ближайшего справа окна или кресла. (Предвидя ехидное возражение мелочного педанта, прибавим: если только исходное окно или кресло не является крайним.)

Из сказанного можно сделать такое заключение: наш пример с ближайшей точкой есть конкретное проявление некой общей трудности, имеющей философский характер. Трудность состоит в следующем. Математика изучает идеальные сущности (каковыми являются, в частности, точки), но обращается с ними, как если бы они были реальными предметами физического мира (например, применяет к точкам понятие 'ближайший'). Но в таком случае математик обязан отдавать себе отчёт в том, что подобный квазиматериальный подход к абстракциям, если не сделать специальных оговорок, влечёт за собой перенесение на эти абстракции шлейфа представлений, которые абстракциям не свойственны, а заимствуются из обращения с физическими предметами.

Что до упомянутых «специальных оговорок», они делаются явно, а подсознательно впитываются математиками в процессе их обучения. В случае точек на прямой указанный шлейф включает в себя представление о точках на прямой как о мельчайших бусинах, нанизанных на натянутую нить. Разумеется, в рамках такого представления естественно предполагать наличие ближайшей точки и даже быть уверенным в её наличии.

Порядок точек на прямой является в математической терминологии плотным порядком; термин «плотный» означает, что для любых двух участвующих в этом упорядочении объектов, каковыми в данном случае служат точки прямой, найдётся объект (в данном случае точка) между ними. В окружающем нас материальном мире плотных порядков не встречается.

Вот другой пример на ту же тему. Одной из математических абстракций является пустое множество. Само понятие 'множество', подобно понятию 'натуральное число', представляет собой одно из первичных, неопределяемых математических понятий, познаваемых из примеров. Синонимом математического термина «множество» является слово «совокупность»; объекты, входящие в какую-либо совокупность, она же множество, называются её (соответственно его) элементами.

Слово «множество» может навести на мысль, что в множестве должно быть много элементов, тем более что главное, общеупотребительное значение этого слова действительно выражает данную мысль, как, например, во фразе «Можно указать множество причин…». Эта ложная мысль разрушается уже заявлением, что «множество» (в математическом смысле) и «совокупность» суть синонимы: ведь количество элементов в совокупности может быть и малым. Заметим, кстати, что переводы термина «множество» на французский (ensemble) и на английский язык (set) не содержат идеи 'много'.

Зададимся теперь вопросом, может ли совокупность состоять из одного элемента. Математик ответит категорическим «да». Для гуманитария же минимально возможное количество элементов совокупности – это два. Но математики свободно оперируют и пустым множеством, вовсе не содержащим элементов. На занятиях по математике гуманитарии быстро усваивают это понятие (в частности, соглашаются, что пустое множество единственно: пустое множество крокодилов и пустое множество планет – это одно и то же множество).

Для математика наименьшим числом, служащим ответом на вопрос «Сколько?», является ноль, для нематематика – один. Скажем, если в зоопарке всего лишь один слон, то число один будет естественным ответом на вопрос «Сколько слонов в этом зоопарке?». Хотя нематематик признает число ноль верным ответом на вопрос «Сколько в этом бассейне крокодилов?» и даже, возможно, сам даст подобный ответ, но всё же он, скорее, ответит: «Да нет тут никаких крокодилов!» И уж точно не задаст вопрос «Сколько?», не спросив предварительно: «Есть ли в этом бассейне крокодилы?» – и только после положительного ответа спросит, сколько их.