Бесконечное множество

Завершая разговор о множествах, нужно рассмотреть бесконечное множество. Дало в том, что понятие "бесконечность" действует на математиков, как удав на кролика. Трепетный ужас перед бесконечностью лишает математиков здравого смысла. Вот пример:

Бесконечное множество

Первоисточник находится здесь. Альфа обозначает действительное число. Знак равенства в приведенных выражениях свидетельствует о том, что если к бесконечности прибавить число или бесконечность, ничего не изменится, в результате получится такая же бесконечность. Если в качестве примера взять бесконечное множество натуральных чисел, то рассмотренные примеры можно представить в таком виде:

Множество натуральных чисел

Для наглядного доказательства своей правоты математики придумали много разных методов. Лично я смотрю на все эти методы, как на пляски шаманов с бубнами. По существу, все они сводятся к тому, что либо часть номеров не занята и в них заселяются новые гости, либо к тому, что часть посетителей вышвыривают в коридор, чтобы освободить место для гостей (очень даже по-человечески). Свой взгляд на подобные решения я изложил здесь в форме фантастического рассказа о Блондинке. На чем основываются мои рассуждения? Переселение бесконечного количества посетителей требует бесконечно много времени. После того, как мы освободили первую комнату для гостя, один из посетителей всегда будет идти по коридору из своего номера в соседний до скончания века. Конечно, фактор времени можно тупо игнорировать, но это уже будет из разряда "дуракам закон не писан". Всё зависит от того, чем мы занимаемся: подгоняем реальность под математические теории или наоборот.

Что же такое "бесконечная гостиница"? Бесконечная гостиница - это гостиница, в которой всегда есть любое количество свободных мест, независимо от того, сколько номеров занято. Если все номера в бесконечном коридоре "для посетителей" заняты, есть другой бесконечный коридор с номерами "для гостей". Таких коридоров будет бесконечное множество. При этом у "бесконечной гостиницы" бесконечное количество этажей в бесконечном количестве корпусов на бесконечном количестве планет в бесконечном количестве вселенных, созданных бесконечным количеством Богов. Математики же не способны отстраниться от банальных бытовых проблем: Бог-Аллах-Будда - всегда только один, гостиница - она одна, коридор - только один. Вот математики и пытаются подтасовывать порядковые номера гостиничных номеров, убеждая нас в том, что можно "впихнуть невпихуемое".

Логику своих рассуждений я вам продемонстрирую на примере бесконечного множества натуральных чисел. Для начала нужно ответить на очень простой вопрос: сколько множеств натуральных чисел существует - одно или много? Правильного ответа на это вопрос не существует, поскольку числа придумали мы сами, в Природе чисел не существует. Да, Природа отлично умеет считать, но для этого она использует другие математические инструменты, не привычные для нас. Как Природа считает, я вам расскажу в другой раз. Поскольку числа придумали мы, то мы сами будем решать, сколько множеств натуральных чисел существует. Рассмотрим оба варианта, как и подобает настоящим ученым.

Вариант первый. "Пусть нам дано" одно-единственное множество натуральных чисел, которое безмятежно лежит на полочке. Берем с полочки это множество. Всё, других натуральных чисел на полочке не осталось и взять их негде. Мы не можем к этому множеству прибавить единицу, поскольку она у нас уже есть. А если очень хочется? Без проблем. Мы можем взять единицу из уже взятого нами множества и вернуть её на полочку. После этого мы можем взять с полочки единицу и прибавить её к тому, что у нас осталось. В результате мы снова получим бесконечное множество натуральных чисел. Записать все наши манипуляции можно так:

Единственное множество натуральных чисел

Я записал действия в алгебраической системе обозначений и в системе обозначений, принятой в теории множеств, с детальным перечислением элементов множества. Нижний индекс указывает на то, что множество натуральных чисел у нас одно и единственное. Получается, что множество натуральных чисел останется неизменным только в том случае, если из него вычесть единицу и прибавить эту же единицу.

Вариант второй. У нас на полочке лежит много разных бесконечных множеств натуральных чисел. Подчеркиваю - РАЗНЫХ, не смотря на то, что они практически не отличимы. Берем одно из этих множеств. Потом из другого множества натуральных чисел берем единицу и прибавляем к уже взятому нами множеству. Мы можем даже сложить два множества натуральных чисел. Вот что у нас получится:

Много множеств натуральных чисел

Нижние индексы "один" и "два" указывают на то, что эти элементы принадлежали разным множествам. Да, если к бесконечному множеству прибавить единицу, в результате получится тоже бесконечное множество, но оно не будет таким же, как первоначальное множество. Если к одному бесконечному множеству прибавить другое бесконечное множество, в результате получится новое бесконечное множество, состоящее из элементов первых двух множеств.

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

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

Современная математика

Дописывал постскриптум к статье о загадке вавилонской таблички и увидел в Википедии этот замечательный текст:

Вавилонская математика

Читаем: "... богатая теоретическая основа математики Вавилона не имела целостного характера и сводилась к набору разрозненных приемов, лишенных общей системы и доказательной базы."

Вау! Какие мы умные и как хорошо можем видеть недостатки других. А слабо нам посмотреть на современную математику в таком же разрезе? Слегка перефразируя приведенный текст, лично у меня получилось следующее:

Богатая теоретическая основа современной математики не имеет целостного характера и сводится к набору разрозненных разделов, лишенных общей системы и доказательной базы.

За подтверждением своих слов я далеко ходить не буду - теория множеств имеет язык и условные обозначения, отличные от языка и условных обозначений многих других разделов математики. Одни и те же названия в разных разделах математики могут иметь разный смысл. Наиболее очевидным ляпам современной математики я хочу посвятить целый цикл публикаций. До скорой встречи.

Больше о новых взглядах на математику и её проблемы смотрите на странице "Новая математика"

Множество и подмножество

Как разделить множество на подмножества? Для этого необходимо ввести новую единицу измерения, присутствующую у части элементов выбранного множества. Рассмотрим пример.

Пусть у нас есть множество А, состоящее из четырех человек. Сформировано это множество по признаку "люди" Обозначим элементы этого множества через букву а, нижний индекс с цифрой будет указывать на порядковый номер каждого человека в этом множестве. Введем новую единицу измерения "половой признак" и обозначим её буквой b. Поскольку половые признаки присущи всем людям, умножаем каждый элемент множества А на половой признак b. Обратите внимание, что теперь наше множество "люди" превратилось в множество "люди с половыми признаками". После этого мы можем разделить половые признаки на мужские bm и женские bw половые признаки. Вот теперь мы можем применить математический фильтр: выбираем один из этих половых признаков, безразлично какой - мужской или женский. Если он присутствует у человека, тогда умножаем его на единицу, если такого признака нет - умножаем его на ноль. А дальше применяем обычную школьную математику. Смотрите, что получилось.

Множество и подмножество

После умножения, сокращений и перегруппировок, мы получили два подмножества: подмножество мужчин Bm и подмножество женщин Bw. Приблизительно так же рассуждают математики, когда применяют теорию множеств на практике. Но в детали они нас не посвящают, а выдают готовый результат - "множество людей состоит из подмножества мужчин и подмножества женщин". Естественно, у вас может возникнуть вопрос, насколько правильно применена математика в изложенных выше преобразованиях? Смею вас заверить, по сути преобразований сделано всё правильно, достаточно знать математическое обоснование арифметики, булевой алгебры и других разделов математики. Что это такое? Как-нибудь в другой раз я вам об этом расскажу.

Что касается надмножеств, то объединить два множества в одно надмножество можно, подобрав единицу измерения, присутствующую у элементов этих двух множеств.

Как видите, единицы измерения и обычная математика превращают теорию множеств в пережиток прошлого. Признаком того, что с теорией множеств не всё в порядке, является то, что для теории множеств математики придумали собственный язык и собственные обозначения. Математики поступили так, как когда-то поступали шаманы. Только шаманы знают, как "правильно" применять их "знания". Этим "знаниям" они обучают нас.

В заключение, я хочу показать вам, как математики манипулируют с бесконечными множествами.