[Из песочницы] Делить на ноль — это норма. Часть 1

Говорят, можно поделить на ноль если определить результат деления на ноль. Просто нужно расширить алгебру. По странному стечению обстоятельств найти хоть какой-то, а лучше понятный и простой, пример такого расширения не удается. Чтобы исправить интернет нужна либо демонстрация одного из способов такого расширения, либо описание почему это не возможно.744c816f90024c38a79b11d4cd30fae7.pngСтатья написана в продолжение тренда: Disclaimer Цель данной статьи — объяснить «человеческим языком» как работают фундаментальные основы математики, структурировать знания и восстановить упущенные причинно-следственные связи между разделами математики. Все рассуждения являются филосовскими, в части суждений расходятся с общепринятыми (следовательно, не претендует на математическую строгость). Статья рассчитана на уровень читателя «сдал вышку много лет назад».Понимание принципов арифметики, элементарной, общей и линейной алгебры, математического и нестандартного анализа, теории множеств, общей топологии, проективной и аффинной геометрии — желательно, но не обязательно.

В ходе экспериментов ни одна бесконечность не пострадала.

Пролог Выход «за рамки» — это естественный процесс поиска новых знаний. Но не всякий поиск приносит новое знание и следовательно пользу.1. Вобще-то уже все поделили до нас! 1.1 Афинное расширение числовой прямой Начнем с того, с чего начинают, наверное, все искатели приключений при делении на ноль. Вспомним график функции c588941d69554bb2b1790119229d6c4f.png.8e7f220795e54151be6c8666dc37d3c5.png Слева и справа от нуля функция уходит в разные стороны «небытия». В самом нуле вообще «омут» и ничего не видно.Вместо того, чтобы бросаться в «омут» с головой, посмотрим что туда втекает и что оттуда вытекает. Для этого воспользуемся пределом — основным инструментом математического анализа. Основная «фишка» в том, что предел позволяет идти к заданной точке так близко, как это возможно, но не «наступить на нее». Такая себе «оградка» перед «омутом».

d79f7e770f4a45a78c7ac91240673641.pngОригинал

Хорошо, «оградку» поставили. Уже не так страшно. У нас есть два пути к «омуту». Зайдем слева — крутой спуск, справа — крутой подъем. Сколько к «оградке» не иди, ближе она не становится. Пересечь нижнее и верхнее «небытие» никак не выходит. Возникают подозрения, может мы идем по кругу? Хотя нет, числа-то меняются, значит не по кругу. Пороемся в сундучке с инструментами математического анализа еще. Кроме пределов с «оградкой» в комплекте идет положительная и отрицательная бесконечности. Величины совершенно абстрактные (не являются числами), хорошо формализованы и готовы к употреблению! Это нам подходит. Дополним наше «бытие» (множество вещественных чисел) двумя бесконечностями со знаком.

171f930a8aa9419fa7ef1a1fd655574c.png Математическим языком: Именно это расширение позволяет брать предел при аргументе стремящемся к бесконечности и получить бесконечность в качестве результата взятия предела.

Есть два раздела математики которые описывают одно и тоже используя разную терминологию.

С геометрической точки зрения выполнено аффинное расширение числовой прямой. То есть привычная последовательность вещественных чисел «сжата» так, чтобы можно было оперировать границами этой последовательности. В качестве границ (условных) введены две абстрактные бесконечно большие величны. Расширение аффинное, но это не значит что оно пришло из Греции, это значит что сохраняется относительное положение точек (в нашем случае чисел) на прямой. Отсюда и следует, что сохраняются отношения «больше» и «меньше» как для чисел между собой, так и в сравнении с границами.



С точки зрения общей топологии выполнена двухточечная компактификация числовой прямой путем добавления двух идеализированных точек (бесконечностей с противоположным знаком).

1.2 Проективное расширение числовой прямой Прогуливаясь по графику c588941d69554bb2b1790119229d6c4f.png, у нас есть только два пути к нулю (слева и справа). В конце каждого пути стоит небольшая «оградка». По странному стечению обстоятельств одна и та же «оградка» оказалась и на дне и на вершине «бытия». Если мы хотим чтобы пути сошлись, то за «оградкой» нам нужен телепорт из одного конца «бытия» в другой. Мы уже такие телепорты видали. Не проблема.4e572c8a7a284ea9a0433c0150467f6e.png Попробуем состыковать обе границы «бытия» так, как это делали наши предки. Перейдем на одно измерение выше. Отобразим одномерную линию на двумерной плоскости.f83cf3f8f6c647598cedee524cd9d59e.png После стыковки наличие двух знаковых бесконечностей теряет смысл. Вместо них можно ввести одну общую точку пересечения, беззнаковую бесконечность.1aa519c127fc4f33a7e143a4dce443b4.png 
Эта стыковка очень похожа на линию перемены даты находящуюся (в основном), между часовыми поясами UTC+12 и UTC-12 в Тихом океане. Именно там находится телепорт из сегодня во вчера и из сегодня в завтра. У нас же телепорт из сверхмалых в сверхбольшие.Математическим языком:

По факту это самостоятельное расширение, проведенное над исходным множеством вещественных чисел. Данное расширение не основывается на рассмотренном ранее аффинном расширении.

С геометрической точки зрения выполнено проективное расширение числовой прямой (есть информация на wolfram.com). То есть введена идеализированная точка которая соединяет оба конца вещественной прямой. Так как расширение не аффинное, сравнение вещественных чисел с бесконечностью не определено.

С точки зрения общей топологии выполнена одноточечная компактификация числовой прямой путем добавления идеализированной точки (бесконечности без знака).

Аналогичным расширением над полем комплексных чисел является широко известная в математических кругах Сфера Римана.

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

Математическим языком:

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

034a90e45f1c4f4f9c7b03815789614d.png Аналогичная ситуация при нахождении производных6a66bdaa15b64b81a82899c6fc7f27fb.png Отбрасывая «мелочевку» мы теряем информацию! Это хорошо видно на примере взятия пределов. Рассмотрим две функции, которые стремятся к положительной бесконечности при стремлении аргумента к нулю справа.b7a2eb6cb93d4c6f8ebb6827e4c69745.png Однако одинаковая запись результата взятия предела не свидетельствует о их равенстве. Данные бесконечности разного порядка и это подтверждается отсутствием конечного предела в отношении одной функции к другой.a829d3b6069e4db0b3973cb50d178db4.png В нестандартном анализе такие упрощения не допустимы. Поле вещественных чисел расширяется путем введения гиперреальных чисел. Бесконечно малые представлены в виде привычного значения — ноль, но в довесок хранится вся выкинутая «мелочевка». Для бесконечно больших потенциальная бесконечность (две или одна — неважно), разбивается на множество актуальных бесконечностей. С одной стороны мы усложняем (теряем возможность поглащения/пренебрежения). С другой стороны мы приобретаем возможность сравнения бесконечно малых и бесконечно больших величин. А это значит что мы можем рассматривать бесконечности как числа.


Для функции c588941d69554bb2b1790119229d6c4f.png актуальные бесконечности слева и справа от нуля равны (по модулю, т.е. не учитывая знак), так как:

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

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

Хорошо, пределы совпадают, теперь похоже, все готово для устранения разрыва между ними.a561c6dad50e4a45a94287c9b04a5501.png В математической модели, использующей проективное расширение числовой прямой, деление на ноль определено.87d275245a7d45f9b5c9fee60bdb7b4f.png Создается впечатление что наша задача решена. Однако не будем спешить, посмотрим к каким последствиям это привело. В дополнение к делению в системе определены следующие операции (напомним, что бесконечность беззнаковая).8e1ef0de9b2e4903a27252a7a69c36ce.png Практически все они с дополнительными условиями, это настораживает. Но не будем спешить, лучше посмотрим на список неопределенных операций: dda41adbe78444b8b61e3bb0d9afa561.png Посмотрим как будет вести себя дистрибутивный закон. Подставим в него определенные значения и выполним требуемые операции.f8f1045c739d454b93885e66d997574b.png Как следствие, часть тождеств перестает вести себя так как мы привыкли. Однако, они не исчезли бесследно. Дистрибутивный закон работает только справа на лево (т.е. в случае, когда правая часть равенства определена). Это один из ярких примеров негативных последствий. Другие же тождества сохранилась в более-менее устойчивой форме.Подитожим:

Изменилось привычное поведение тождеств. Чтобы ими оперировать нужно не забывать про новые дополнительные условия. Искажено привычное поведение нуля. Мы привыкли рассуждать, если ноль раз взять что-либо, то будет ноль. Однако в данной алгебраической системе произведение нуля на бесконечность не определено. Соответственно алгебраическое выражение с переменными, в котором встречается например такая запись 5be395449c164b67999115c354a48a98.png, не может быть упрощено в одностороннем порядке. Исчезает возможность привычного сравнения. Сравнение на больше-меньше определено только на части пространства. Например, сравнение вещественных чисел с бесконечностью не определено. Полученная алгебраическая структура не поле в терминах общей алгебры. Нарушается дистрибутивный закон (показано выше). Так же не существует обратного элемента для бесконечности (произведение этого элемента и бесконечности должно дать единицу). Последние можно рассматривать как следствие неопределенности деления бесконечности на бесконечность. Но все же следует понимать что это грубое упрощение. Строгое определение обратного элемента не связано с операцией деления. В сухом остатке. Старые подходы перестали работать. Сложность системы, в виде кучи «если», «для всех, кроме» и т.п., возросла. У нас было только две неопределенности 1/0 и 0/0 (мы не рассматривали степенные операции), стало пять. Раскрытие одной неопределенности породило еще больше неопределенностей.a3606250a1a74d618a8485c21b27f210.png 1.2 Колесо На введении беззнаковой бесконечности все не остановилось. Для того чтобы выбраться из неопределенностей нужно второе дыхание.Для начала попробуем разобраться со второй неопределенностью 0/0. Сделаем по старинке. Дополним проективное расширение числовой прямой новым элементом, представляющим вторую неопределенность.

949e6db56b2646c2bef618d40de7f304.png Определение операции деления основано на умножении. Это нам не подходит. Отвяжем операции друг от друга, но сохраним привычное поведение для вещественных чисел. Определим унарную операцию деления, обозначаемую знаком »/».d6ee5e61590042929d6108ebc86beebf.png Доопределим операции.216dcccca3a54f2aa6be209d3cc5ba60.png Данная структура называется «Колесом» (Wheel). Термин был взят из-за схожести с топологической картинкой проективного расширения числовой прямой и точки 0/0.650496b526d5492d93d72aba00b12cf4.png Вроде все неплохо выглядит, но дьявол кроется в деталях: Умножение ∞ либо ⊥ на ноль не дает ноль. Это приводит к тому что cd62b05e1ef0495ba0a6181e1b3a9945.png в общем случае. Для ∞ и ⊥ отсутствуют обратные элементы по обеим бинарным операциям. Это значит, что 2b115a2c9c6c46229f9570dfe83794ca.png по умножению в общем случае. Как следствие, нет возможности ввести бинарную операцию деления покрывающую все пространство. Симметричная ситуация по сложению, 601fb9de81eb4e8bbcfa2491d5bb7ba3.png в общем случае. Чтобы устаканить все особенности, дополнительно к расширению множества элементов прилагается бонус в виде не одного, а двух тождеств, описывающих дистрибутивный закон.bdd7b435ddcc4788b0896b021ea6d753.png Математическим языком: С точки зрения общей алгебры мы оперировали полем. А в поле, как изветно, определены всего две операции (сложение и умножение). Понятие деления выводится через обратные, а если еще глубже, то единичные элементы. Внесенные изменения превращают нашу алгебраическую систему в моноид как по операции сложения (с нулем в качестве нейтрального элемента), так и по операции умножения (с единицей в качестве нейтрального элемента).

В трудах первооткрывателей не всегда используется символ ⊥. Вместо этого можно встретить запись в виде 0/0.

Мир уже не так прекрасен, не правда ли? Все же не стоит спешить. Проверим, справятся ли новые тождества дистрибутивного закона с нашим расширенным множеством 03fd8c362a654af78b16287247893754.png.7b7145dec0ad4b979b225add0250c090.png На этот раз результат намного лучше.Подитожим:

Все операции хорошо определены и нет возможности «вывалиться за борт». Элементарная алгебра является частным случаем колеса. Если мы отбросим надстройки ∞ и ⊥ (то есть снова сможем утверждать что 8253a959562b40b2aa0935cbd76f8e18.png и 33158e1d75204653be81240451c0771c.png), то все формулы выродятся в привычные. По ощущениям все что было «не определено» (Undefined) при проективном расширении было обозначено символом 0de847336615436e9365a603bdfae812.png. Данный объект так же поглощает все с чем столкнется как и «не определено». Все щели, где появились неопределенности при проективном расширении, были заткнуты данным объектом. В сухом остатке. Алгебра работает отлично. Однако за основу было взято понятие «не определено» которое стали считать чем-то существующим и оперировать им. Однажды кто-нибудь скажет, что все плохо и нужно разбить данное «не определено» еще на несколько «не определено», но помельче. Общая алгебра скажет: «Без проблем, Бро!».Примерно так постулированы дополнительные (j и k) мнимые единицы в кватернионах.Стоит отметить что существуют и другие агебраические системы с делением. Например, «общие луга» (common meadows). Они чуть проще, так как не расширяют пространство, вводя новые элементы. Цель достигается как в колесах, трансформацией операций сложения и умножения, а так же отказом от бинарного деления.

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

80591680717045ae9491ca92df0dc35a.png Полезная литература

© Habrahabr.ru