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

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

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

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

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

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

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

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

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

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

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

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


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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

среда, 4 июля 2018 г.

Формирование множества

Я вам уже рассказывал, что теория множеств - это теория стада, при помощи которой шаманы пытаются сортировать "морских ежей" реальности. Как же они это делают? Как фактически происходит формирование множества?

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

Покажу процесс на примере. Отбираем "красное твердое в пупырышку" - это наше "целое". При этом мы видим, что эти штучки есть с бантиком, а есть без бантика. После этого мы отбираем часть "целого" и формируем множество "с бантиком". Вот так шаманы добывают себе корм, привязывая свою теорию множеств к реальности.

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

Этот простой пример показывает, что теория множеств совершенно бесполезна, когда речь заходит о реальности. В чем секрет? Мы сформировали множество "красное твердое в пупырышку с бантиком". Формирование происходило по четырем разным единицам измерения: цвет (красное), прочность (твердое), шероховатость (в пупырышку), украшения (с бантиком). Только совокупность единиц измерения позволяет адекватно описывать реальные объекты на языке математики. Вот как это выглядит.

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

При помощи единиц измерения очень легко разбить одно множество на несколько подмножеств или объединить несколько множеств в одно надмножество. Давайте более внимательно рассмотрим алгебру этого процесса.


   

суббота, 30 июня 2018 г.

Элемент множества

Если математики не могут свести понятие "множество" к другим понятиям, значит они ничего не понимают в математике. Отвечаю на вопрос: чем элементы одного множества отличаются от элементов другого множества? Ответ очень простой: числами и единицами измерения.

Это сегодня всё, что мы не возьмем, принадлежит какому-либо множеству (как нас уверяют математики). Кстати, вы в зеркале видели у себя на лбу список тех множеств, к которым принадлежите именно вы? И я такого списка не видел. Скажу больше - ни одна вещь в реальности не имеет бирочки со списком множеств, к которым эта вещь принадлежит. Множества - это всё выдумки шаманов. Как они это делают? Давайте заглянем немного в глубь истории и посмотрим, как выглядели элементы множества до того, как математики-шаманы растащили их по своим множествам.

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

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

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

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

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

Элемент множества. Формула элемента множества. Математика для блондинок.
Элемент множества
Я умышленно не применял условные обозначения, принятые в теории множеств, поскольку мы рассматриваем элемент множества в естественной среде обитания до возникновения теории множеств. Каждая пара буковок в скобках обозначает отдельную величину, состоящую из числа, обозначенного буквой "n" и единицы измерения, обозначенной буквой "a". Индексы возле буковок указывают на то, что числа и единицы измерения - разные. Один элемент множества может состоять из бесконечного числа величин (на сколько у нас и наших потомков хватит фантазии). Каждая скобка геометрически изображается отдельным отрезком. В примере с морским ежом одна скобка - это одна иголка.

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

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

понедельник, 30 апреля 2018 г.

Множество и мультимножество

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

Очень хорошо различия между множеством и мультимножеством описаны в Википедии. Смотрим.

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

Когда-то инженеры, построившие мост, во время испытаний моста находились в лодке под мостом. Если мост обрушивался, бездарный инженер погибал под обломками своего творения. Если мост выдерживал нагрузку, талантливый инженер строил другие мосты.  

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

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

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

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

Вот смотрите. Мы отбираем футбольные стадионы с одинаковой площадью поля. Площадь полей одинакова - значит у нас получилось мультимножество. Но если рассматривать названия этих же стадионов - у нас получается множество, ведь названия разные. Как видите, один и тот же набор элементов одновременно является и множеством, и мультимножеством. Как правильно? А вот здесь математик-шаман-шуллер достает из рукава козырный туз и начинает нам рассказывать либо о множестве, либо о мультимножестве. В любом случае он убедит нас в своей правоте.

Чтобы понять, как современные шаманы оперируют теорией множеств, привязывая её к реальности, достаточно ответить на один вопрос: чем элементы одного множества отличаются от элементов другого множества? Я вам покажу, как это делается без всяких "мыслимое как не единое целое" или "не мыслимое как единое целое".  

Теория множеств

Теория множеств - это каменный век математики. Только шаманы знают, что к какому множеству принадлежит. Давайте посмотрим на теорию множеств со стороны и раскроем некоторые секреты шаманов.

Если верить Википедии, а сомневаться в правильности изложенных там текстов у меня нет оснований, "теория множеств стала основой многих разделов математики". Что же такое множество? Смотрим в той же Википедии.

Множество. Определение множества. Математика для блондинок.
Множество
"Одно из ключевых понятий математики ... не имеет определения". Это как? А точно так же, как в религии - никто не знает, что такое "душа", но все свято верят в её наличие. Не сомневаюсь, что подобным образом древние шаманы рассказывали о духах: дух леса, дух воды... Заметьте, понятие "множество" никак не связано ни с алгеброй, ни с геометрией, ни с физикой.  Подобный подход позволяет вешать на уши любую лапшу, всё равно никто не проверит. "Любой объект обычно считается множеством", а если объекта нет - тогда это "пустое" множество. Логика очень даже понятна и проста до идиотизма - даже если бублика нет, дырка от бублика всё равно остается. Дышите глубже и не поперхнитесь дыркой от бублика.

Для понимания сути теории множеств необходимо рассмотреть ещё одно математическое понятие - функция. Смотрим.

Функция. Определение функции. Математика для блондинок.
Функция
Понятие функции основано на теории множеств. И так, цитируя математиков, получаем: функция - это "интуитивное представление" о "соответствии между элементами двух" штучек, которые "не имеют определения" и представляют из себя "совокупность разных элементов, мыслимую как единое целое". Уффф... Очень научное объяснение. Впрочем, от шаманов другого ожидать не приходится: "интуитивно понятно", "очевидно", "естественным образом" - это их уровень.

Но, давайте посмотрим на теорию множеств сквозь призму функций, а точнее, через "соответствие между элементами двух множеств". Каждому элементу из стада охотников ставится в соответствие один или несколько элементов из стада добычи, каждому элементу из стада добычи ставится в соответствие один или несколько элементов из стада охотников. И только шаманы знают, что к какому стаду принадлежит и как правильно делить добычу. Так что же такое теория множеств? Это теория стада. Кстати,  что получится, если объединить стадо (множество) математиков и стадо (множество) баранов: бараны с математическим образованием или математики с бараньими мозгами? Я не знаю, что говорит теория множеств о результатах подобного объединения, но в реальности у математиков будет отличный пикник с шашлыками.

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