среда, 7 августа 2019 г.

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

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

Бесконечное множество. Сумма бесконечностей. Бесконечность плюс бесконечность. Математика для блондинок.
Бесконечное множество


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

Множество натуральных чисел. Сумма множеств натуральных чисел. Бесконечность плюс единица. Математика для блондинок.
Множество натуральных чисел

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

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

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

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

Единственное множество натуральных чисел. N+1. Плюс единица. Математика для блондинок.
Единственное множество натуральных чисел


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

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

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

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

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

pozg.ru

воскресенье, 4 августа 2019 г.

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

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

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

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

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

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

суббота, 3 августа 2019 г.

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

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

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

Множество и подмножество. Математика для блондинок.
Множество и подмножество


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

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

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

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

понедельник, 7 января 2019 г.

Ахиллес и черепаха

Ахиллес и черепаха. Апории Зенона. Математика для блондинок.
Ахиллес и черепаха
В пятом веке до нашей эры древнегреческий философ Зенон Элейский сформулировал свои знаменитые апории, самой известной из которых является апория "Ахиллес и черепаха". Вот как она звучит:

Допустим, Ахиллес бежит в десять раз быстрее, чем черепаха, и находится позади неё на расстоянии в тысячу шагов. За то время, за которое Ахиллес пробежит это расстояние, черепаха в ту же сторону проползёт сто шагов. Когда Ахиллес пробежит сто шагов, черепаха проползёт ещё десять шагов, и так далее. Процесс будет продолжаться до бесконечности, Ахиллес так никогда и не догонит черепаху.

Это рассуждение стало логическим шоком для всех последующих поколений. Аристотель, Диоген, Кант, Гегель, Гильберт... Все они так или иначе рассматривали апории Зенона. Шок оказался настолько сильным, что "... дискуссии продолжаются и в настоящее время, прийти к общему мнению о сущности парадоксов научному сообществу пока не удалось ... к исследованию вопроса привлекались математический анализ, теория множеств, новые физические и философские подходы; ни один из них не стал общепризнанным решением вопроса..." [Википедия, "Апории Зенона"]. Все понимают, что их дурят, но никто не понимает, в чем заключается обман.

С точки зрения математики, Зенон в своей апории наглядно продемонстрировал переход от величины к обратной величине. Этот переход подразумевает применение переменных единиц измерения вместо постоянных. Насколько я понимаю, математический аппарат применения переменных единиц измерения либо ещё не разработан, либо его не применяли к апории Зенона. Применение же нашей обычной логики приводит нас в ловушку. Мы, по инерции мышления, применяем постоянные единицы измерения времени к обратной величине. С физической точки зрения это выглядит, как замедление времени до его полной остановки в момент, когда Ахиллес поравняется с черепахой. Если время останавливается, Ахиллес уже не может перегнать черепаху.

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

Как избежать этой логической ловушки? Оставаться в постоянных единицах измерения времени и не переходить к обратным величинам. На языке Зенона это выглядит так:

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

Этот подход адекватно описывает реальность без всяких логических парадоксов. Но это не полное решение проблемы. На Зеноновскую апорию "Ахиллес и черепаха" очень похоже утверждение Эйнштейна о непреодолимости скорости света. Эту проблему нам ещё предстоит изучить, переосмыслить и решить. И решение нужно искать не в бесконечно больших числах, а в единицах измерения.

Другая интересная апория Зенона повествует о летящей стреле:

Летящая стрела неподвижна, так как в каждый момент времени она покоится, а поскольку она покоится в каждый момент времени, то она покоится всегда.

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