Школьная алгебра и деление на ноль
В курсе школьной арифметики все математические операции проводятся с вещественными числами. Множество этих чисел (или непрерывное упорядоченное поле) имеет ряд свойств (аксиом): коммутативность и ассоциативность умножения и сложения, существование нуля, единицы, противоположного и обратного элементов. Также аксиомы порядка и непрерывности, применяемые для сравнительного анализа, позволяют определить все свойства вещественных чисел.
Поскольку деление является операцией, обратной умножению, при делении на ноль вещественных чисел неизбежно возникновение двух неразрешимых проблем. Во-первых, проверка результата деления на ноль при помощи умножения не имеет числового выражения. Каким бы числом не было частное, если его умножить на ноль, делимое получить невозможно. Во-вторых, в примере 0:0 ответом может служить абсолютно любое число, которое при перемножении с делителем всегда обращается в ноль.
Деление на ноль в высшей математике
Перечисленные трудности деления на ноль привели к наложению табу на эту операцию, по крайней мере, в рамках школьного курса. Однако в высшей математике находят возможности обойти этот запрет.
Например, за счет построения другой алгебраической структуры, отличной от знакомой всем числовой прямой. Примером такой структуры является колесо. Здесь существуют свои законы и правила. В частности, деление не привязано к умножению и превращается из бинарной операции (с двумя аргументами) в унарную (с одним аргументом), обозначается символом /х.
Расширение поля вещественных чисел происходит за счет введения гиперреальных чисел, которое охватывает бесконечно большие и бесконечно малые величины. Такой подход позволяет рассматривать термин «бесконечность» как некое число. Причем это число при расширении числовой прямой теряет свой знак, превращаясь в идеализированную точку, соединяющую два конца этой прямой. Такой подход можно сравнить с линией смены дат, когда при переходе между двумя часовыми поясами UTC+12 и UTC-12 можно оказаться в следующем дне или же в предыдущем. При этом становится верным утверждение х/0=∞ для любых х≠0.
Чтобы устранить неопределенность 0/0, для колеса вводится новый элемент ⏊=0/0. При этом в данной алгебраической структуре есть свои нюансы: 0·х≠0; х-х≠0 в общем случае. Также х·/х≠1, поскольку деление и умножение больше не считаются обратными операциями. Но данные особенности колеса хорошо объясняются с помощью тождеств дистрибутивного закона, действующего в такой алгебраической структуре несколько иначе. Более подробные разъяснения можно найти в специализированной литературе.
Алгебра, к которой все привыкли, является, по сути, частным случаем более сложных систем, например, того же колеса. Как видим, делить на ноль в высшей математике можно. Для этого требуется выйти за границы привычных представлений о числах, алгебраических операциях и законах, которым они подчиняются. Хотя это вполне естественный процесс, сопровождающий любой поиск новых знаний.