Enrique Rodriguez - Камень, ножницы, теорема. Фон Нейман. Теория игр.

«Множество суть одновременное рассмотрение различных элементов».

Это очень интересное определение, так как в нем множество представляется как направление мысли, и это означает, что речь идет действительно о базовом понятии. Представим, что мы пришли на прием, где никого не знаем, и начинаем скучать. Чтобы убить время, мы посмотрим на обувь, которую носят гости, и попробуем ее классифицировать по очень простому принципу «нравится — не нравится». Тем самым мы установим некое соотношение в точно определенном множестве: вся обувь на приеме. Перемена направления мысли состоит именно в том, чтобы рассмотреть одновременно ряд объектов, ограничить наше внимание только ими, сконцентрироваться только на них. Именно так мы и получили «множество обуви».

Существует два особых и теоретически неизбежных множества — пустое и универсальное. Пустое множество обозначается знаком 0 и определяется как множество, не имеющее ни одного элемента. С философской точки зрения это очень противоречивое понятие, и в свое время у него было много противников. Ведь раз множество не содержит ни одного элемента, значит оно состоит из ничего, а поскольку «ничто» не существует, то не существует и пустого множества. Универсальное множество, напротив, имеет слишком много элементов, то есть оно просто-напросто слишком большое. В большинстве научных работ его обозначают буквой U. Определение универсального множества не такое четкое, как пустого. Считается, что оно включает в себя все множества, которые мы только можем рассмотреть. Поскольку в пустом множестве ничего нет, в U возникает соблазн включить все. Это означало бы, что U — множество всех возможных множеств, что не совсем правильно — не с метафизической точки зрения, на которую математики не обратили бы внимания, а с точки зрения внутренней логики самого понятия множества. Поэтому для универсального множества ставят условные ограничения. В приведенном выше примере, когда скучающий гость рассматривает обувь всех приглашенных на прием, мы можем считать универсальным множеством U «всю обувь, которая есть на приеме». Но для нас также удобно расширить это множество до всей обуви, произведенной в стране, если, например, мы рассматриваем определенные марки. Или мы легко могли бы принять за универсальное множество «всю обувь мира». Главное — множество должно быть достаточно большим, чтобы нам было удобно оперировать членами внутри него. Разумеется, если мы будем следовать такому алгоритму, то в наших универсальных множествах в итоге всегда будет бесконечное количество элементов. Неудивительно, что история теории множеств тесно связана с понятием бесконечности, в частности с понятием актуальной бесконечности и необходимостью создавать математические объекты с бесконечным количеством элементов.

Несмотря на то что первые понятия множеств были выведены еще Бернардом Больцано (1781-1848), создателем этой теории является Георг Кантор (1845-1918). Можно сказать, что она родилась в 1874 году в работе Кантора, опубликованной в престижном «Журнале Крелля» под названием Über eine Eigenschaft des Ibegriffes aller reellen algebraischen Zahlen («Об одном свойстве совокупности всех действительных алгебраических чисел»).

Впервые аксиомы для теории множеств вывел немецкий математик и логик Готлоб Фреге (1848-1925), который хотел придать ей логическую структуру. Эта серия аксиом должна была не только обеспечить правильность операций с множествами, но и неким образом, явно или нет, выявить само определение множества. Так или иначе, эта система аксиом просуществовала очень недолго, так как в теории был открыт коварный парадокс.

В 1903 году Бертран Рассел доказал, что в теории множеств Кантора таится противоречие, и поставил под вопрос само определение множества. Кантор понял это, когда столкнулся с тем, что множество всех множеств не может существовать, так как множество никогда не может являться частью самого себя. Предположим, что существует два типа множеств, — те, что принадлежат сами себе, и те, которые не принадлежат. Назовем, например, множество всех существующих столов М. Пусть m — произвольный стол. Следовательно, m принадлежит М:

m ϵ М

Разумеется, множество всех столов не является столом. Следовательно, мы можем утверждать, что

М┐ϵ М.

(здесь ┐ϵ заменяет отсутствующий символ "перечеркнутое ϵ ")

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