ноль можно делить на число или нельзя
На ноль делить нельзя? Или можно?
Почему нельзя делить на ноль? Кто запретил? Школа упрямо запрещает нам делить на 0, но стоит переступить порог университета — индульгенция получена. То, что в школе считалось запретом, теперь возможно.
Можно поделить на ноль и получить бесконечность. Высшая математика… Ну почти. Можно объяснить и попроще. Так почему нельзя делить на ноль, а умножать можно?
История и философия ноля
На самом деле история с делением на ноль не давала покоя его изобретателям (а ноль изобрели в Индии). Но индийцы — философы привыкшие к абстрактным задачам. Что значит разделить на ничто? Для европейцев того времени такого вопроса вообще не существовало, так как ни о нуле ни об отрицательных числах (которые левее нуля на шкале) они знать не знали.
В Индии отнять от меньшего большее и получить отрицательное число не составляло проблем. Ведь что значит 3-5=-2 в обычной жизни? Это значит, что кто-то остался должен кому-то 2. Отрицательные числа назывались долгами.
Теперь давайте так же просто разберемся с вопросом деления на нуль. В далеком 598 году нашей эры (только вдумайтесь как давно, более 1400 лет назад!) в Индии родился математик Брахмагупта, который тоже задавался вопросом деления на ноль.
Он предположил, что если взять лимон и начать делить его на части, рано или поздно мы придем к тому, что дольки будут очень маленькими. В воображении мы можем дойти до того, что дольки станут равны нулю.
Итак, вопрос, если разделить лимон не на 2, 4 или 10 частей, а на стремящееся к бесконечности количество частей — какого размера получаться дольки? Получится бесконечное число «нулевых долек». Все довольно просто, нарежем лимон очень мелко, получим лужицу с бесконечным количеством частей — лимонный сок.
Достаточно задать самому себе вопрос:
Если деление на бесконечность дает ноль, то деление на ноль должно давать бесконечность.
Что будет если поделить на ноль?
Но если взяться за математику, то получается как-то нелогично:
а*0=0? А если b*0=0? Значит: а*0=b*0
То есть любое число равно любому числу. Первая неправильность деления на ноль, идем дальше. В математике, деление считается обратным действием умножения. Это значит, что если мы делим 4 на 2, мы должны найти число, которое при умножении на 2 даст 4.
Делим 4 на ноль — нужно найти число, которое при умножении на ноль даст 4. То есть х*0=4? Но х*0=0! Опять незадача. Получается мы спрашиваем: «Сколько нолей нужно взять, чтобы получилось 4?» Бесконечность? Бесконечное количество нолей все равно даст в сумме ноль.
А деление 0 на 0 вообще дает неопределенность, ведь 0*х=0, где х вообще все что угодно. То есть — бесчисленное множество решений. Так что же получится в итоге?
Простое объяснение из жизни
Вот вам задачка из физики и реальной жизни. Допустим, мы хотим вычислит за сколько времени сможем пройти 10 километров. Значит Скорость * время = расстояние (S=Vt). Чтобы узнать время, расстояние делим на скорость (t=S/V). А что будет, если скорость у нас 0? t=10/0. Будет бесконечность!
Стоим на месте, скорость равна нулю, и с такой скоростью мы будем вечно добираться до отметки в 10 км. Значит время будет… t=∞. Вот и получилась у нас бесконечность!
И в этом примере делить на ноль можно, жизненный опыт позволяет. Жаль, что учителя в школе не могут объяснять такие вещи так же просто.
Еще одно объяснение
Давайте определимся, что такое деление? Например, 8/4 – означает вопрос «сколько четверок, может поместится в восьмерке?» Ответ: «две четверки», то есть математически 8/4=2.
А если задать себе вопрос 5/0=? Сколько нолей поместится внутри пятерки? Да сколько угодно. Бесконечное количество. Делим на ноль и получаем… снова бесконечность.
Но если вместо абстрактных цифр взять материальные вещи, например, яблоко. 6/3 — «если разложить 6 яблок по 3 в ящики, то сколько нужно ящиков?» Ответ: «2 ящика». Идем дальше 4/0 — «если разложить 4 яблока по ноль(!) штук в ящики, то сколько…» Получится, что ящики то не нужны, мы ничего никуда не кладем!
Совсем простое объяснение
Совсем просто, «на пальцах»
10/2=5 10/4=2,5 10/8=1,25 ….Чем больше число в знаменателе, тем меньше результат
10/2=5 10/1=10 10/0,5=20 ….Чем меньше число в знаменателе, тем больше результат, а если взять очень маленькое число? Например, 0,0000001 получится 1 00 000 000. И если пойти дальше в своих размышлениях и уменьшить знаменатель до нуля? В итоге получим что настолько огромное, что будет называться «бесконечность».
Так можно ли делить на ноль?
Все зависит от того, зачем вам это нужно и в рамках каких правил вы решили «разделять». Если это алгебра, то все просто — «на ноль делить нельзя» потому, что нет такого понятия как «бесконечность» (это вообще-то и не число вовсе), и неясно что должно получится в итоге.
Деление на ноль и высшая математика
Можно ли делить на ноль в высшей математике — да пожалуйста. Ведь нуль может быть представлен цифрой ноль (цифра означает число со значением «0», то есть вообще ничего), а может и неким бесконечно малым (то есть стремится к нулю, почти ничего, но все таки — не ничто). Тогда ничего не мешает спокойно делить на «бесконечно малое».
Нелогичность и абстрактность операций с нулем не позволяется в узких рамках алгебры, точнее — это неопределенная операция. Для нее нужен аппарат посерьезнее — высшая математика. Так что, в некотором роде, делить на ноль нельзя, но если очень захочется, то делить на ноль можно… Но нужно быть готовым понимать такие вещи как дельта-функция Дирака и прочие трудно осознаваемые вещи.
Делите на здоровье, если не боитесь бесконечности в результате.
Почему нельзя делить на ноль: простые объяснения
Вопросы школьников: Freepick
Почему нельзя делить на ноль? Кто и почему запрещает нам эту математическую операцию? Сразу отметим, что деление на ноль в рамках школьной программы определяется как операция, которую запрещено совершать, а вот высшая математика смотрит на этот вопрос иначе. Тем не менее школьники обязательно зададут вопрос, почему на ноль делить нельзя. Прочтите статью и будьте готовы простыми словами объяснить сложное явление.
Что будет, если разделить на ноль: индийский ответ
Ноль был придуман в Индии, равно как и отрицательные числа. Европейцам такие понятия даже в голову не приходили. А вот индийские философы любили задуматься о бесконечном «ничто» или о математическом выражении долгов. Так и возникла дилемма: делить на ноль или нет. Есть простые объяснения этого вопроса.
Почему нельзя делить на ноль: ответы: Nur.kz
Около 1400 лет назад в Индии жил и работал некто Брахмагупта, который не только сформулировал этот вопрос, но и нашел оригинальное объяснение. Логика ученого была такова:
Если при делении лимона получается не две части, а число, которое стремится к бесконечности, то каков будет размер каждой дольки? Наверное, столкнемся с бесконечным числом «нулевых долек». В реальной жизни результат такой нарезки — лужица лимонного сока с бессчетным количеством ломтиков.
То есть если число делить на бесконечность, то получится ноль и наоборот.
На ноль делить нельзя: нелогично
Рассмотрим простой пример:
Таким образом, любое число оказывается равным любому числу, а это невозможно.
Делением называют действие, обратное по отношению к умножению. Это означает, что при делении 6 на 3 необходимо отыскать число, которое в случае умножения на 3 даст 6.
Следуя этой логике, при делении 6 на 0, нужно выбрать число, умножение на 0 которого даст 6. То есть а × 0 = 6? Но а × 0 = 0! Снова неувязка. Сколько нам необходимо нолей, чтобы вышло 6? Неужели бесконечно много? Но и сложение такого количества нолей даст только ноль.
Отсюда и еще один вывод о том, что если ноль делить на ноль, выйдет неопределенный итог. В уравнении 0 × а = 0 в качестве составляющей «а» может оказаться все что угодно. В бесчисленном множестве решений смысла нет.
Можно ли делить ноль: жизненное объяснение
Представьте, что необходимо подсчитать время, за которое пройдете 10 километров. Известно уравнение, в котором для поиска длины пути скорость умножают на время. Чтобы найти время в нашем случае, будем путь делить на показатель скорости. Но что если наша скорость нулевая?
Мы не двигаемся, поэтому идти заветных 10 км нам предстоит вечность. Время при таких условиях попросту перейдет в бесконечную величину, которую подсчитать не выйдет.
Делить на ноль можно, но бессмысленно
Алгебра и деление на ноль: Freepick
Что собой представляет деление в алгебре:
Давайте проделаем ту же операцию с вещами. Например: если разложить 10 яблок по 2 штуки в коробки, то сколько необходимо коробок? Ответ — 5 коробок. Но в случае, если раскладывать 10 яблок по ноль единиц в коробки, то сколько коробок понадобится? Получается, что в коробках необходимости попросту нет, потому что класть в них нечего.
Деление на ноль: самое простое объяснение
Посчитаем: 12 : 2 = 6, 12 : 4 = 3. Чем больше число знаменателя, тем меньше получается результат. Наоборот это правило тоже работает: для маленьких чисел результат больше: 12 : 1,5 = 8, 12 : 1 = 12.
Что получится с очень малыми числами? Например, с 0,0000001 выйдет 100000000. При уменьшении знаменателя до нуля число должно получиться огромнейшее, а точнее — бесконечность.
Таким образом, на ноль делить нельзя из-за отсутствия материального выражения бесконечности. Итог такого действия смысла не имеет. Что касается высшей математики, то, кроме ноля, она оперирует также понятием о бесконечно малом и расширяет привычные горизонты вычислений.
Итак, почему нельзя делить на ноль? В рамках алгебры такая операция не определенная, не логичная и абстрактная. Если хотите детальнее разобраться в этом вопросе, то придется прибегнуть к высшей математике. Чтобы разобраться с позиции этой дисциплины с указанным алгебраическим правилом, нужно познакомиться с дельта-функцией Дирака и прочими сложными понятиями.
А как думаете вы, почему нельзя делить на ноль?
Узнавайте обо всем первыми
Подпишитесь и узнавайте о свежих новостях Казахстана, фото, видео и других эксклюзивах.
Делить на ноль — это норма. Часть 1
Говорят, можно поделить на ноль если определить результат деления на ноль. Просто нужно расширить алгебру. По странному стечению обстоятельств найти хоть какой-то, а лучше понятный и простой, пример такого расширения не удается. Чтобы исправить интернет нужна либо демонстрация одного из способов такого расширения, либо описание почему это не возможно.
Disclaimer
Цель данной статьи — объяснить «человеческим языком», как работают фундаментальные основы математики, структурировать знания и восстановить упущенные причинно-следственные связи между разделами математики. Все рассуждения являются философскими, в части суждений расходятся с общепринятыми (следовательно, не претендует на математическую строгость). Статья рассчитана на уровень читателя «сдал вышку много лет назад».
Понимание принципов арифметики, элементарной, общей и линейной алгебры, математического и нестандартного анализа, теории множеств, общей топологии, проективной и аффинной геометрии — желательно, но не обязательно.
В ходе экспериментов ни одна бесконечность не пострадала.
Пролог
Выход «за рамки» — это естественный процесс поиска новых знаний. Но не всякий поиск приносит новое знание и следовательно пользу.
1. Вобще-то уже все поделили до нас!
1.1 Аффинное расширение числовой прямой
Слева и справа от нуля функция уходит в разные стороны «небытия». В самом нуле вообще “омут” и ничего не видно.
Вместо того, чтобы бросаться в «омут» с головой, посмотрим что туда втекает и что оттуда вытекает. Для этого воспользуемся пределом — основным инструментом математического анализа. Основная “фишка” в том, что предел позволяет идти к заданной точке так близко, как это возможно, но не “наступить на нее”. Такая себе “оградка” перед “омутом”.
Оригинал
Хорошо, «оградку» поставили. Уже не так страшно. У нас есть два пути к «омуту». Зайдем слева — крутой спуск, справа — крутой подъем. Сколько к “оградке” не иди, ближе она не становится. Пересечь нижнее и верхнее «небытие» никак не выходит. Возникают подозрения, может мы идем по кругу? Хотя нет, числа-то меняются, значит не по кругу. Пороемся в сундучке с инструментами математического анализа еще. Кроме пределов с «оградкой» в комплекте идет положительная и отрицательная бесконечности. Величины совершенно абстрактные (не являются числами), хорошо формализованы и готовы к употреблению! Это нам подходит. Дополним наше «бытие» (множество вещественных чисел) двумя бесконечностями со знаком.
Именно это расширение позволяет брать предел при аргументе стремящемся к бесконечности и получить бесконечность в качестве результата взятия предела.
Есть два раздела математики которые описывают одно и тоже используя разную терминологию.
С геометрической точки зрения выполнено аффинное расширение числовой прямой. То есть привычная последовательность вещественных чисел “сжата” так, чтобы можно было оперировать границами этой последовательности. В качестве границ (условных) введены две абстрактные бесконечно большие величины. Расширение аффинное, но это не значит что оно пришло из Греции, это значит что сохраняется относительное положение точек (в нашем случае чисел) на прямой. Отсюда и следует, что сохраняются отношения “больше” и ”меньше” как для чисел между собой, так и в сравнении с границами.
С точки зрения общей топологии выполнена двухточечная компактификация числовой прямой путем добавления двух идеализированных точек (бесконечностей с противоположным знаком).
1.2 Проективное расширение числовой прямой
Прогуливаясь по графику , у нас есть только два пути к нулю (слева и справа). В конце каждого пути стоит небольшая «оградка». По странному стечению обстоятельств одна и та же «оградка» оказалась и на дне и на вершине «бытия». Если мы хотим чтобы пути сошлись, то за «оградкой» нам нужен телепорт из одного конца «бытия» в другой. Мы уже такие телепорты видали. Не проблема.
Попробуем состыковать обе границы «бытия» так, как это делали наши предки. Перейдем на одно измерение выше. Отобразим одномерную линию на двумерной плоскости.
После стыковки наличие двух знаковых бесконечностей теряет смысл. Вместо них можно ввести одну общую точку пересечения, беззнаковую бесконечность.
Эта стыковка очень похожа на линию перемены даты находящуюся (в основном), между часовыми поясами UTC+12 и UTC-12 в Тихом океане. Именно там находится телепорт из сегодня во вчера и из сегодня в завтра. У нас же телепорт из сверхмалых в сверхбольшие.
По факту это самостоятельное расширение, проведенное над исходным множеством вещественных чисел. Данное расширение не основывается на рассмотренном ранее аффинном расширении.
С геометрической точки зрения выполнено проективное расширение числовой прямой (есть информация на wolfram.com). То есть введена идеализированная точка которая соединяет оба конца вещественной прямой. Так как расширение не аффинное, сравнение вещественных чисел с бесконечностью не определено.
С точки зрения общей топологии выполнена одноточечная компактификация числовой прямой путем добавления идеализированной точки (бесконечности без знака).
Аналогичным расширением над полем комплексных чисел является широко известная в математических кругах Сфера Римана.
Хорошо, избавились от знака минус. Однако в нуле у нас разрыв второго рода и устранимой точкой разрыва его нельзя считать по определению. Нарушается требование «конечности» предела. Соответственно мы не можем судить о равенстве предела справа и слева.
Но так как приближение к бесконечности выполняется по одинаковым правилам, мы можем утверждать что пределы слева и справа совпадают. Соответственно мы можем принять наш разрыв за точку устранимого разрыва в бесконечности.
Посмотрим внимательнее, как мы оперируем бесконечно большими и малыми величинами. При операциях мы часто пренебрегаем малыми низшего порядка попросту отбрасывая их при записи результата.
Аналогичная ситуация при нахождении производных
Отбрасывая «мелочевку» мы теряем информацию! Это хорошо видно на примере взятия пределов. Рассмотрим две функции, которые стремятся к положительной бесконечности при стремлении аргумента к нулю справа.
Однако одинаковая запись результата взятия предела не свидетельствует о их равенстве. Данные бесконечности разного порядка и это подтверждается отсутствием конечного предела в отношении одной функции к другой.
В нестандартном анализе такие упрощения не допустимы. Поле вещественных чисел расширяется путем введения гиперреальных чисел. Бесконечно малые представлены в виде привычного значения — ноль, но в довесок хранится вся выкинутая “мелочевка”. Для бесконечно больших потенциальная бесконечность (две или одна — неважно), разбивается на множество актуальных бесконечностей. С одной стороны мы усложняем (теряем возможность поглощения/пренебрежения). С другой стороны мы приобретаем возможность сравнения бесконечно малых и бесконечно больших величин. А это значит что мы можем рассматривать бесконечности как числа.
Для дальнейших рассуждений понятие актуальной бесконечности нам больше не потребуется. Мы возвращаемся в привычный мир где будем оперировать понятием бесконечность, подразумевая потенциальную бесконечность.
Хорошо, пределы совпадают. Теперь, похоже, все готово для устранения разрыва между ними.
В математической модели, использующей проективное расширение числовой прямой, деление на ноль определено.
Создается впечатление что наша задача решена. Однако не будем спешить, посмотрим к каким последствиям это привело. В дополнение к делению в системе определены следующие операции (напомним, что бесконечность беззнаковая).
Как следствие, часть тождеств перестает вести себя так как мы привыкли. Однако, они не исчезли бесследно. Дистрибутивный закон работает только справа налево (т.е. в случае, когда правая часть равенства определена). Это один из ярких примеров негативных последствий. Другие же тождества сохранилась в более-менее устойчивой форме.
1.2 Колесо
На введении беззнаковой бесконечности все не остановилось. Для того чтобы выбраться из неопределенностей нужно второе дыхание.
Итак, у нас есть множество вещественных чисел и две неопределенности 1/0 и 0/0. Для устранения первой мы выполнили проективное расширение числовой прямой (то есть ввели беззнаковую бесконечность). Попробуем разобраться со второй неопределенностью вида 0/0. Сделаем аналогично. Дополним множество чисел новым элементом, представляющим вторую неопределенность.
Определение операции деления основано на умножении. Это нам не подходит. Отвяжем операции друг от друга, но сохраним привычное поведение для вещественных чисел. Определим унарную операцию деления, обозначаемую знаком «/».
С точки зрения общей алгебры мы оперировали полем. А в поле, как известно, определены всего две операции (сложение и умножение). Понятие деления выводится через обратные, а если еще глубже, то единичные элементы. Внесенные изменения превращают нашу алгебраическую систему в моноид как по операции сложения (с нулем в качестве нейтрального элемента), так и по операции умножения (с единицей в качестве нейтрального элемента).
В трудах первооткрывателей не всегда используются символы ∞ и ⊥. Вместо этого можно встретить запись в виде /0 и 0/0.
Мир уже не так прекрасен, не правда ли? Все же не стоит спешить. Проверим, справятся ли новые тождества дистрибутивного закона с нашим расширенным множеством .
На этот раз результат намного лучше.
Стоит отметить, существуют и другие алгебраические системы с делением. Например, «луга» (common meadows). Они чуть проще, так как не расширяют пространство, вводя новые элементы. Цель достигается как в колесах, трансформацией операций сложения и умножения, а так же отказом от бинарного деления.
Возможность «передвигать неизвестные» для математики норма. Но все эти обертки не дают ответа на главный вопрос, что же там внутри?
Делить на ноль — это норма. Часть 2
В прошлой части мы расширяли алгебру и смогли делить на ноль арифметически. В качестве бонуса, способ оказался не единственным. Однако, все эти алгебры не дали ответа на вопрос: “Что там внутри или почему нам это не показывают?”
Пока древние вязали узелки, такой вопрос возникнуть не мог. Сейчас, куда не глянь, “бла-бла, для а≠0”. Значит ответ затаился где-то между узелками и настоящим. В математике все строго и последовательно, а значит и ответ не мог потеряться.
Мы попробуем приблизиться к ответу настолько близко насколько это возможно. Эта часть практически полностью посвящена философии арифметики. Скорее всего часть материала будет для Вас тривиальной. Однако у нас тут не повтор школьного курса арифметики.
Материал построен так, чтобы выделить структуру арифметики. Мы будем вгрызаться в нее с разных сторон и отрывать слои. Цель — понять, что на чем лежит.
2. Истина где-то рядом
2.1 Зачем вообще напрягаться?
Чтобы снова броситься в дебри, хотелось бы понять, почему этот вопрос периодически возникает и ради чего стоит искать ответ.
Давайте вспомним школьные годы, то время, когда нам впервые сказали: “На ноль делить нельзя, — вот так вот категорично. — Нельзя и все!”. А ведь до того в математике все было логично и последовательно. Складывали арбузы и вычитали дыни, яблоки перекатывали. Откуда не возьмись, на самом старте изучения математики, появился первый запретный плод.
Но система образования не щадит никого (пруф). Нет другого выхода, кроме как идти дальше и осваивать новые знания. В голове происходит “скачок знаний”, как будто тысячелетие эволюции математики было пропущено. И это только начало.
«… не нужно проявлять лишней поспешности, нужно дать время ученику освоиться с тем внутренним переворотом, который в нем совершается в результате акта познания”, — Ф. Клейн, “Элементарная математика с точки зрения высшей”
В старших классах, откуда ни возьмись, появляются формулы окружности и треугольников, дискриминант, тригонометрические тождества и т.п. Что их объединяет? Все они пришли сверху, совершенно неизвестно откуда. Их нужно просто использовать, в худшем случае зазубрить.
Оказавшись в ВУЗе, большинство, вместо возвращения к пропущенному материалу, изучает «вышку» с уклоном в специальность. Объем формул, пришедших свыше, уже совершенно не смущает.
Да, систему образования понять можно. Специалисту платят за результат, а не за то что он знает откуда экспонента в его расчетах.
В итоге мы не приходим к выводам, так как это делают математики. В момент “скачка знаний”, то есть когда мы отбрасываем часть логических цепочек, вершится таинство. Мы принимаем на веру то что нам говорят. Учебник превращается в священное писание!
Запрет деления на ноль — это первый и самый навязчивый запрет математики. Поэтому он запоминается на всю жизнь. Это так же педагогическая проблема, которая оставляет отпечаток на всю математику, как на “тайну покрытую мраком”. Это сложная проблема, по сравнению с ней найти большинство пропущенных логических цепочек не составляет труда.
Превратить священное писание назад в учебник можно. Причина запрета должна стать строго определенной. Задача педагогов преподнести ее ясно. Наука не должна сеять сомнения.
2.2 Что такое деление?
Деле́ние (операция деления) — одно из четырёх простейших арифметических действий, обратное умножению. Деление — это такая операция, которая считает сколько раз одно содержится в другом.
Похоже, самое полезное, что мы здесь нашли — это связь между операциями. Можно сказать что деление — вино третьего отжима, умножение и вычитание — второго, а сложение — первого. Возможно, именно по этой причине деление стало давать сбой при работе с нулем.
2.3 Порождающие операции
Итак, только операция сложения содержит правило о том, как по двум исходным аргументам (слагаемым) определить результат операции (сумму). Все остальные арифметические операции используют данное правило (соответствие чисел), но вдобавок накладывают свои “дополнительные условия”.
Определение результата операции, в общем случае, задача не тривиальная.
Все прямые операции обладают одним свойством. Они являются замкнутыми. То есть тип результата полностью определяется типами входных чисел (невозможно получить из произведения двух целых чисел дробный результат).
Обратные операции являются замкнутыми только частично (значение корня из целого числа может оказаться целым числом, а может и не оказаться). В тех случаях, где подобрать результат не удается операция оказывается не определена. Данную проблему издавна решают простым способом: рассматривают получившуюся запись операции и числа как новый тип чисел: .
Таким образом, можно сказать что обратные операции и “порождают” новые типы чисел.
Деление одна из порождающих операций. Возможно, в процессе рождения что-то пошло не так и новорожденный получил травму. Для того чтобы ответить на это вопрос нужно понять откуда взялось деление и откуда взялся ноль.
2.4 Эволюция арифметики
Попробуем структурировать наше представление об арифметических операциях и порождаемых ими типах чисел. Для наглядности представим один из вариантов, как может идти эволюция арифметики.
2.4.1 Область определения
Мы в пещере. С умением считать никто не родился. Однако в процессе “созерцания” появилось понимание, что такое понятие “количество”. То есть мы знаем что два мамонта и два яблока имеют нечто общее и можем это выразить, загибая пальцы. Соответственно ничего, кроме натуральных чисел на этом этапе мы не знаем.
Множество натуральных чисел помечено звездочкой “*” для однозначности. Здесь и далее подчеркивается отсутствие понятия “ноль”.
Есть несколько формальных определений последовательности натуральных чисел. Мы возьмем за основу аксиомы Пеано. Примечательно что эти определения не были описаны древними. Они появились только в 19 веке, а после прошли процедуру уточнения (в первоначальном варианте их было девять, в современном виде уже пять).
Рассмотрим формальные определения и их суть в рамках нашей задачи (традиционное словесное описание можно найти на Википедии):
Например. Для чисел 2 и 3, верно что между ними есть один средний элемент 2.5, для 3 и 4 это 3.5 и т.д. Делаем вывод, между любыми соседними натуральными числами есть средний элемент и он единственный.
Какой вывод можно сделать из этих аксиом? Вводится запрет на закольцованность в любом виде (глобальную или локальную). Запрет на закольцованность всегда требует наличие следующего элемента. Так появляется математическое понятие “бесконечность” основанное на понятии «количество”. Понятие “бесконечность” не может существовать без понятия „количество”.
Довольно часто за “стартовый элемент” в аксиомах Пиано берут ноль. Почему так делать нельзя, будет раскрыто при описании операции “вычитание” (уже совсем скоро).
Функция следования не использует операцию сложения в прямом смысле этого слова. Это фундаментальная функция, которая используется как для построения множества натуральных чисел, так и для формального определения операции сложения.
То есть и числа и арифметические операции определены при помощи функции следования.
Функция следования входит в класс примитивно рекурсивных функций, рассматриваемых в теории алгоритмов. Как известно, понятие рекурсия не содержит требования ее конечности (достижимости терминальных ветвей), а значит она так же неявно определяет понятие “бесконечность”.
2.4.2 Сложение
Первая операция, возникшая в ходе нашей эволюции. Как целые пальцы не загибай, результат будет целым. Разве что у вождя сумма пальцев может быть чуть больше чем у всех остальных. Если пальцев не хватает, всегда можно позвать научного ассистента по пещере и расширить разрядную сетку.
2.4.2 Вычитание
В четверг охотники подстрелили 12 мамонтов. За пятницу съели 5 штук. Сколько мамонтов осталось?
Задача хорошо решается путем введения разгибания пальцев. Но подход работает не всегда. Например, чтобы оценить запасы на выходные охотник загибает семь пальцев за остаток, разгибает пять пальцев за субботу (норма расхода в день) и “пытается” разжать за воскресенье.
В этот момент между “try” и “catch” возникает ArithmeticException. Результат оказывается не определен. Наша операция определена только для случая, когда уменьшаемое больше вычитаемого.
Однако определение вычитания не накладывает никаких ограничений. Чтобы избавиться от требования “a > b” введем “правило перестановки”. То есть позволим менять местами уменьшаемое и вычитаемое. Но чтобы тождество оставалось верным результат нужно пометить каким-то маркером, например знаком “минус”. Всякие маркеры для математики — дело обычное (например, признак отсутствия нуля у ).
За счет вспомогательной операции “перестановки” мы подошли к первой абстракции — “отрицательные числа”. Пометка в виде знака “минус” у натурального числа есть ничто иное как признак отложенного вычитания (но это только пока).
У нас остался всего один не определенный случай, когда уменьшаемое и вычитаемое равны. Если мы захотим определить его, то нам придется ответить на вопрос что такое понятие “ничто”. Хотя к чему все эти сложности, обозначим “ничто” символом “0” (позже вникнем по полной).
Осталось зафиксировать наше решение в виде “правил сложения/вычитания нуля”. Они следуют из определения нуля после пары нехитрых перестановок:
Посмотрим, насколько хорошо работают введенные правила. Решая уравнения, мы по двум известным числам всегда можем найти неизвестное третье. Совершенно неважно в какой части уравнения оно стоит, решение всегда однозначно.
Отрицательные числа появились в результате перестановки, ноль же заполнил “ничто”. Отрицательные числа и ноль рождены разными способами. Далее мы будем рассматривать две ветви эволюции: отдельно всех чисел без нуля и отдельно ноль.
2.4.3 Умножение
Умножение по определению является сокращенной записью сложения. Умножая натуральные числа, результат может быть только натуральным. На этом этапе эволюции для нас польза от определения заканчивается.
Для отрицательных чисел в определении нет ни слова о том как их перемножать. Эти правила сформировались постепенно в ходе решения прикладных задач. В современной трактовке они известны как дополнение к умножению в виде “правил знаков”. Они определены настолько хорошо, что применяя их к целым не нулевым числам, операция остается замкнутой.
В случае нуля ситуация отличается кардинально. Вводится еще одно правило “правило умножения нуля“ (умножение любого числа на ноль дает ноль). Но новым это правило только кажется. Ввести какое либо иное правило мы не можем. Определение умножения жестко связывает нас со сложением. Раскрывая умножение через сложение, мы используем “правила сложения/вычитания нуля”, соответственно ничего кроме нуля мы получить не можем.
2.4.4 Деление
Деление — операция обратная умножению. В уравнениях с положительными и отрицательными числами появляется возможность подстановки не кратных чисел.
Как следствие операция порождает “рациональные числа”.
Чтобы вписать их в арифметику, в комплекте идут “правила действий с обыкновенными дробями”. К счастью, эти правила гармонично сосуществуют с введенными нами ранее “правилами знаков”. В итоге в уравнениях сохраняется возможность определить по двум известным числам неизвестное при любой расстановке.
В случае нуля его можно умножать на рациональные числа. На этом всё, гармония закончилась! Только для двух из трех видов уравнений с произвольными числами решение может быть найдено.
Во-первых, появилась возможность составить уравнение с настолько не удобными числами, что мы не сможем подобрать ни одного решения. Решение “не возможно”.
Во-вторых, появилась возможность составить уравнение в котором есть бесконечное множество решений. Выбрать какое-то одно из них так же невозможно. Решение “не однозначно”.
Несложно догадаться, корень проблемы деления на ноль лежит в “невозможности” и “неоднозначности” умножения нуля. Умножение, в свою очередь, ретранслирует “правила сложения/вычитания нуля”. По сути можно задать уравнения, обладающие такими же свойствами, используя только сложение.
В обоих уравнениях нужно определить количество нулей, которые нужно сложить чтобы получить произвольное число или ноль.
Деление не привнесло чего-то качественно нового. Произошла трансформация “невозможности” и “неоднозначности” сложения в конкретные сущности, в неопределенности вида 1/0 и 0/0 соответственно.
Получается что деление, как первый подозреваемый, не виновато в том что на ноль делить нельзя.
Пока не существует понятия “ноль” все операции, включая возведение в степень и взятие корня (логарифмирование), хорошо замкнуты (уже правда на комплексных числах) и арифметика работает великолепно. Но есть одно “но”, при такой конфигурации арифметики операция вычитания, оказывается определена не полностью.
После введения нуля сложение и вычитание неплохо работает. Для остальных операций он скорее повод для установки костылей (), нежели равноправное число.
2.5 Что такое ноль?
Отсутствие породившей операции качественно отличает ноль от всех остальных чисел.
Для того, чтобы была ясна связь не рассмотренных нами типов чисел с операциями, продолжим, максимально кратко, тему эволюции. Мы остановились на делении. Комплексные числа и часть иррациональных порождаются операцией взятия корня (логарифмированием) над отрицательным числом. Прочие иррациональные (число Пи и число Эйлера) появляются за счет введения бесконечных сумм и бесконечных умножений. Мнимые единицы кватернионов даны по определению и не выведены арифметически. Соответственно, инородны в рамках эволюции чисел.
На последнем пункте стоит остановиться поподробнее. Попробуем представить не абсолютный ноль.
Допустим, у нас есть мамонт. Для его перевозки нужна тара. Если положить мамонта в тару, а потом вытащить, то в таре окажется “ничто” (прям как на картинке со спичкой выше). Однако тара для двух мамонтов несколько отличается от тары для одного. В случае кражи есть основание выставлять обвинение в соответствии с размером оставшейся тары. А значит, существуют ситуации когда одно “ничто” другому “ничто” рознь.
Может ли “ничто” быть разным или “ничто” есть единая и абсолютная сущность? Это вопрос на который невозможно дать ответ. Аналогичен и бессмысленен спор на тему есть ли Бог, а и есть то единый он или их много. Ответа на этом свете мы не узнаем.
Таким образом, на самом дне арифметики, там где не существует ни натуральных чисел, ни сложения (а значит и прочих операций), существует ноль.
Хорошо, ответа на вопрос сколько должно быть нулей арифметика дать не может. Мы пользуемся одним нулем. В колесах, рассмотренных в первой части, использовалась арифметика с бесконечным количеством нулей. А может ли быть конечное число нулей, но больше одного.
Может и такие арифметики успешно используются. Один из ярких примеров арифметика со “знаковым нулем”, реализованная в JavaScript.
Введение знакового нуля является еще одним вариантом расширения числовой прямой. В общей топологии существует очень близкое (но не тождественное) пространство “линия с двумя началами” (не хаусдорфово).
Однако и эта арифметика грешит неопределенностями.
Можно сделать вывод, что неопределенности в арифметике будут сохраняться до тех пор, пока количество нулей конечно.
По большому счету неважно как мы будем относиться к нулю. Нужен ли нам единый и абсолютный ноль, а может парочка или вообще бесконечное количество, арифметика всегда сможет под нас подстроиться.
2.6 Бесконечность наше всё
Напоследок, хотелось бы представить хотя бы один вариант числовой оси содержащей бесконечное количество нулей (данный пример описывает концепцию и не претендует на математическую строгость).
Для вычитания, когда уменьшаемое и вычитаемое равны, вместо ввода нуля определим операцию “сокращения”. То есть разрешаем вычеркивать эквивалентные выражения с противоположным знаком. Но если мы сократили все, то результат уже не пригоден к дальнейшему использованию.
Отсчет в числовой оси начнем с единицы (от первого числа зародившего понятие “количество”). Для генерации остальных чисел воспользуемся бесконечной последовательностью, определенной функцией следования (она же использована в аксиомах Пеано). Это будет наш эталонный генератор бесконечной последовательности.
Чтобы получить очень маленькое число при помощи функции следования нужно затратить столько же сил сколько и на генерацию очень большого. Используем функции f(x)=1/x и f(x)=x. Приводить в десятичный вид рациональную дробь задача не стоит, соответственно вычислительная сложность функций одинакова.
Так как ни “абсолютный ноль“ (отмечен символом ноль), ни »потенциальная бесконечность» (отмечена символом беззнаковой бесконечности) недостижимы, ось растет из единицы бесконечно в обоих направлениях (масштаб неравномерный).
При определении вычитания определено “правило перестановки”. Мы же, в свою очередь, делаем копию нашей прямой и отображаем ее зеркально. Числа-близнецы и недостижимые для них пределы помечаем знаком “минус”. Положительная прямая, не соединена с отрицательной. Переход из одной прямой в другую выполняется только за счет “правила перестановки”.
Для наглядности изобразим полученную числовую прямую в виде круга. Так же, как мы делали при проективном расширении. Однако, предельные значения не смыкаем (компактификацию не выполняем). Данная трансформация смысловой нагрузки не несет и выполнена только для улучшения восприятия.
Теперь мы готовы к самому главному. Выполним переход от единой потенциальной бесконечности к бесконечному множеству актуальных бесконечностей (аналогичный подход используется в нестандартном анализе).
Будем относится к бесконечно большим величинам как к полноправным числам. За эталонную актуальную бесконечность возьмем “скорость” с которой функция следования достигает любого произвольного числа. Обозначим это число . Не стоит его путать с потенциальной бесконечностью
, она все так же недостижима.
Для получения различных актуальных бесконечностей будем использовать понятие предела функции при стремлении к числу . Мы не будем отбрасывать бесконечно малые (низшего порядка) и не будем поглощать константы бесконечно большими величинами, как это принято в классическом анализе. Мы будем сохранять всю информацию, составляющую число. Соответственно, у нас появляется возможность сравнения бесконечно больших чисел.
Возводя число в отрицательные степени, мы получаем бесконечно малые числа. По сути это и есть наше бесконечное множество нулей, которые можно сравнить между собой и использовать в арифметике (в отличие от бесконечно малой величины в классическом анализе).
С точки зрения общей алгебры, наша алгебраическая система, не является полем, так как отсутствует ноль (нейтральный элемент). Нестандартный анализ оперирует аналогичными актуальными бесконечностями, они называются гиперреальными числами. Ноль (нейтральный элемент) является одним из гиперреальных чисел. Соответственно алгебраическая система нестандартного анализа оперирует полем.
Наша эталонная бесконечность представляет собой одно из чисел нестандартного анализа. Однако, вместо упрощенного понятия “скорость”, в нестандартном анализе числами являются классы эквивалентности бесконечных последовательностей. Так как в нашем концепте все алгебраические операции можно выразить через функцию следования, значит любую актуальную бесконечность, образованную арифметически, можно выразить через
.
По факту пределы практически перестают упрощаться, в том виде к которому мы привыкли. Сейчас мы просто производим замену переменной на . Правило Лопиталя так же не применимо. В первой части было показано как в классике, при определении производной, отбрасывается бесконечно малая величина. Однако стоит отметить, понятие предела в нестандартном анализе все же существует, но определено несколько шире.
Если возникнет практическая необходимость, можно определить операцию вычитания и для равных чисел (вместо “сокращения” определенного нами выше). Например, это может быть число низшего порядка, нежели исходные числа (аналог уравнения из колеса). Арифметика окажется замкнутой. Но нужно отдавать себе отчет, что сумма двух двоек тут же окажется равной четырем с хвостиком. Это чем-то похоже на сложение скоростей в теории относительности. Еще один пример, термодинамика и понятие абсолютного нуля температуры. Остановив молекулы, атомы продолжают движение. Остановив атомы, кварки все еще двигаются и т.д. Погружение бесконечно.
Эпилог
Мы находимся между прошлым и будущим, между микро и макро миром. Во всех областях рано или поздно мы находим предел за который мы не сможем зайти и это нормально.
В математике все не так. Нам говорят что ноль — это число. Затем ставят его в один ряд со всеми остальными числами. Затем нам говорят, длина пути от минус единицы до единицы равна двум. И в этот момент наше сознание окончательно растворяет ноль среди остальных чисел.
Мы не можем делить на ноль, потому что забыли что однажды смешали понятие “ничто” и понятие “количество”.