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

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

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

Вот другой пример на ту же тему.

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

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

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

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