Александр Соловьев - ДИСКРЕТНАЯ МАТЕМАТИКА БЕЗ ФОРМУЛ

Однако мы не будем считать множеством «множество мыслей в голове». И не из-за их количества, а из-за того, что эти мысли-элементы невозможно четко разделить в общей каше, разложить по полочкам и разметить. Множество мыслей, разложенных по полочкам, в голове просто не поместится из-за устаревшего устройства типовой головы.

Кстати, поскольку «множество» ( set ) в русском языке как бы намекает на «много». А понятие «много» ( many ) у каждого из нас свое, то, во избежания спора между русскоязычными, мы будем слово «множество» использовать для любого количества элементов, как и англоязычный Запад. Даже для одного элемента. Даже в случаях, когда в множестве нет ни одного элемента – такое множество называется пустым! Это, в частности, позволит рассказывать своим друзьям корректный, с точки зрения теории множеств, анекдот про «множество нуждающихся ветеранов Куликовской битвы»…

Кроме понятия множества есть еще лишь одно исходное базовое понятие – и все. Остальное в этой теории производно. Так вот, второе базовое понятие – это ПРИНАДЛЕЖНОСТЬ (или «отношение принадлежности»). То есть «элемент принадлежит множеству». Тут, тем более, нечего определять, имея в виду что слово «принадлежит» в обыденной речи можно заменять, с учетом контекста, многими синонимами, вроде:

– Та березка «находится» в этом лесу,

– Сидоров «числится» в студентах,

– Мистер Х «входит» в число ваших бедных американских родственников.

Примечание. Чтобы избежать синонимов, которые могут нас запутать, можно бы было ввести специальный маленький значок, напоминающий греческую букву эпсилон. Но мы этого делать не будем, поскольку от этого значка до формул уже рукой подать…

Важное предостережение. Вопросы, вроде: «Принадлежит ли студент Сидоров множеству лысеющих людей?» уводят нас в сторону от теории множеств и мы такие вопросы будем просто игнорировать, справедливо считая, что классическая теория множеств лысеющими просто не занимается, коль скоро нет об'ективных оценок лысости. А значит вопрос принадлежности – непринадлежности можно утрясти неформально, например за вознаграждение. Выход здесь очень простой. Сначала определиться четко с лысиной где-то в другом официальном месте, а потом привлекать теорию множеств.

То есть предполагается, что мы всегда четко знаем, что принадлежит данному множеству, а что нет! Остальное считаем несуществующим вообще!!!

Далее, если мы хотим сказать, что все березки (березка, не то что лысеющий человек – она и в Африке березка), находящиеся в данном лесу, принадлежат и всему лесному богатству нашей страны, а все студенты, которые числятся в университете, числятся и студентами России, то для сокращения фраз используются термины ПОДМНОЖЕСТВО или ВКЛЮЧЕНО .

Здесь тоже могут быть очевидные синонимы. Но чтобы в них не запутаться и попросту не перепутать с «принадлежит», нужно помнить одну простую вещь: «принадлежит» относится к случаю, когда " ЭЛЕМЕНТ принадлежит МНОЖЕСТВУ ", а «включено» – когда " МНОЖЕСТВО включено в МНОЖЕСТВО ". Потому-то второй вариант для обозначения «включено» – «подмножество» – то есть какая-то часть множества.

Множество студентов университета «включено» в множество студентов страны. То есть множество студентов университета «есть подмножество» множества студентов страны.

Тем, кто не сломал при этом язык, ясно, что множество студентов страны «включено» во всемирное множество студентов.

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

Это свойство цепочек просто и строго( ! ) доказывается прямо на основании того, как мы определили отношение включения.

У отношения включения есть ряд любопытных свойств. Не нами придуманных. Они могут быть обнаружены любым исследователем, если он «поиграет» с этим отношением.

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