Секреты числа Пи. Почему неразрешима задача о квадратуре круга (Наварро) - страница 20

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

{а, Ь, с} и {Наполеон, , автор этой книги}

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

{а, Ь} и {Наполеон,

не могут соответствовать друг другу, поскольку в правом множестве всегда будет оставаться один элемент, которому не будет соответствовать никакой элемент левого множества. Из этого следует, что определение числа имеет отношение к множествам. Современное рекурсивное определение числа может выглядеть так:

1 = {0}

2 = {0, 1}

3 = {0, 1, 2}

4 = {0, 1, 2, 3}

5 = {0, 1, 2, 3, 4}

…

n = {0, 1, 2, 3, 4…. n — 1}

Говорят, что множество А имеет n элементов, если А соответствует n, иными словами, если между А и n имеется взаимно однозначное соответствие. Так, множество игроков футбольной команды на поле содержит 11 элементов, множество апостолов содержит 12 элементов. Согласно вышеприведенному перечню, множество 11 выглядит так:

11 = {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10}.

Нет никаких сомнений в том, что между этим множеством и любым множеством футболистов на поле можно установить взаимно однозначное соответствие.

Как же мы определим ноль? Когда говорят, что множество содержит 0 элементов? В «наивной» теории множеств множество является совокупностью объектов. Поэтому логично, что среди таких совокупностей встречаются пустые, которые не содержат ничего — как пустые коробки.

Не стоит путать пустое множество и ничто — метафизический объект, больше подходящий для философских споров. Пустое множество — это как раз то, внутри чего находится ничто. Это множество, которое не содержит элементов, но это не «ничто».

Для обозначения подобного множества (оно единственно, так как все пустые множества равны), французский математик Андре Вейль (1906–1998) предложил использовать датскую букву . Вайль был прекрасно знаком с алфавитами скандинавских языков, поскольку во время Второй мировой войны находился в заключении в Финляндии.

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

 = {летающие коровы}.

Обозначим ноль так:

0 =

и будем говорить, что множество содержит 0 элементов, если между ним и множеством 

Для обозначения числа элементов множества А используется следующее выражение: |