Деле́ние (операция деления) — действие, обратное умножению. Деление обозначается двоеточием : {\displaystyle :} , обелюсом ÷ ÷ --> {\displaystyle \div } , косой чертой / {\displaystyle /} или записывается в виде дроби.
Для натуральных чисел деление обозначает нахождение, какое число (частное) надо взять столько-то (делитель) раз, чтобы получилось данное (делимое).
Другими словами, это нахождение максимально возможного количества повторений вычитания делителя из делимого; либо нахождение такой наибольшей величины, которая может быть отнята от делимого столько раз, сколько указано в делителе.
Рассмотрим, например деление 14 {\displaystyle 14} на 3 {\displaystyle 3} :
Сколько раз 3 {\displaystyle 3} содержится в 14 {\displaystyle 14} ?
Повторяя операцию вычитания 3 {\displaystyle 3} из 14 {\displaystyle 14} , мы находим, что 3 {\displaystyle 3} содержится в 14 {\displaystyle 14} четыре раза, и ещё «остаётся» число 2 {\displaystyle 2} .
В этом случае число 14 {\displaystyle 14} называется делимым, число 3 {\displaystyle 3} — делителем, число 4 {\displaystyle 4} — (неполным) частным и число 2 {\displaystyle 2} — остатком (от деления).
Полным частным, отношением или соотношением чисел a {\displaystyle a} и b {\displaystyle b} называется такое число c {\displaystyle c} , что a = b ⋅ ⋅ --> c {\displaystyle a=b\cdot c} . В случае, когда a = 14 {\displaystyle a=14} и b = 3 {\displaystyle b=3} , их полное частное может быть записано в виде дроби 14 3 {\displaystyle {\frac {14}{3}}} или десятичной дроби 4 , ( 6 ) {\displaystyle 4,(6)} .
Полное и неполное частные чисел a {\displaystyle a} и b {\displaystyle b} совпадают тогда и только тогда, когда a {\displaystyle a} делится нацело (делится) на b {\displaystyle b} . Соответствующее свойство данной пары чисел называется делимостью.
Деление записывается с использованием одного из «знаков деления» — « ÷ ÷ --> , / , : {\displaystyle \div ,~/,~:} » между аргументами, такая форма записи называется инфиксной нотацией. В данном контексте знак деления является бинарным оператором. Знак деления не имеет специального названия, как например знак сложения, который называется «плюс».
В русскоязычных учебниках математики в основном используется знак в виде двоеточия (:). Косая черта (/) используется в компьютерной нотации. Результат записывается с использованием знака равенства « = {\displaystyle =} », например:
Операция деления на числовых множествах N , Z , Q , R , C {\displaystyle \mathbb {N} ,\mathbb {Z} ,\mathbb {Q} ,\mathbb {R} ,\mathbb {C} } имеет следующие основные свойства:
Результат деления не всегда является определённым для множеств натуральных чисел N {\displaystyle \mathbb {N} } и целых чисел Z {\displaystyle \mathbb {Z} } , чтобы получить натуральное или целое число в результате деления, делимое должно быть кратно делителю. Невозможно в рамках этих чисел получить дробный результат. В этом случае говорится о делении с остатком. То есть деление на этих множествах есть частичная бинарная операция.
Операция деления, определённая на множествах (в полях) рациональных Q {\displaystyle \mathbb {Q} } , вещественных R {\displaystyle \mathbb {R} } и комплексных чисел C {\displaystyle \mathbb {C} } , даёт число (частное), принадлежащее этому же множеству, следовательно, множества Q − − --> 0 , R − − --> 0 , C − − --> 0 {\displaystyle \mathbb {Q_{-0}} ,\mathbb {R_{-0}} ,\mathbb {C_{-0}} } замкнуты относительно операции деления (в точке 0 имеется разрыв второго рода — следовательно кольца рациональных, вещественных и комплексных чисел разомкнуты относительно операции деления).
В математических выражениях операция деления имеет более высокий приоритет по отношению к операциям сложения и вычитания, то есть она выполняется перед ними.
Деление является гипероператором вычитания и сводится к последовательному вычитанию. :
a : b = h y p e r - 2 --> ( a , b ) = hyper --> ( a , − − --> 2 , b ) = a ( − − --> 2 ) b = c . {\displaystyle a:b=\operatorname {hyper-2} (a,b)=\operatorname {hyper} (a,-2,b)=a^{(-2)}b=c.}
a ( − − --> 2 ) b = a : b = a − − --> b − − --> b − − --> ⋯ ⋯ --> − − --> b ⏟ ⏟ --> c . {\displaystyle a{^{(-2)}}b=a:b=a\underbrace {-b-b-\dots -b} _{c}.}
где: − − --> b − − --> b − − --> ⋯ ⋯ --> − − --> b {\displaystyle -b-b-\dots -b} — последовательность операций вычитания, выполненная c {\displaystyle c} раз.
При практическом решении задачи деления двух чисел необходимо свести её к последовательности более простых операций: вычитание, сравнение, перенос и др. Для этого разработаны различные методы деления, например для чисел, дробей, векторов и др. В русскоязычных учебниках математики в настоящее время используется алгоритм деления столбиком. При этом следует рассматривать деление как процедуру (в отличие от операции).
Схема, иллюстрирующую места для записи делимого, делителя, частного, остатка и промежуточных вычислений при делении столбиком:
Из приведенной схемы видно, что искомое частное (или неполное частное при делении с остатком) будет записано ниже делителя под горизонтальной чертой. А промежуточные вычисления будут вестись ниже делимого и нужно заранее позаботиться о наличии места на странице. При этом следует руководствоваться правилом: чем больше разница в количестве знаков в записях делимого и делителя, тем больше потребуется места.
Как видим, процедура достаточно сложная, состоит из относительно большого числа шагов и при делении больших чисел может занять продолжительное время. Данная процедура применима к делению натуральных и целых (с учётом знака) чисел. Для других чисел используются более сложные алгоритмы.
Арифметические действия над числами в любой позиционной системе счисления производятся по тем же правилам, что и в десятичной системе, так как все они основываются на правилах выполнения действий над соответствующими многочленами[2]. При этом нужно пользоваться таблицей вычитания соответствующей данному основанию P {\displaystyle P} системы счисления.
Пример деления натуральных чисел в двоичной, десятичной и шестнадцатеричной системах счисления:
110010│101 │ 0 — 0 50800│25 │ 0 — 0 CD530│A8 │ 0 — 0 101 │1010 │ -101 — 1 50 │2032 │ -25 — 1 A8 │138E │ -A8 — 1 10 08 │ -50 — 2 255 │ -150 — 2 0 0 │ -75 — 3 1F8 │ -1F8 — 3 101 80 │ -100 — 4 5D3 │ -2A0 — 4 101 75 │ ... — ... 540 │ -348 — 5 00 50 930 │ -3F0 — 6 0 50 930 │ -498 — 7 0. 0. 0. │ -540 — 8 │ -5E8 — 9 │ -690 — A │ -738 — B │ -7E0 — C │ -888 — D │ -930 — E
Воспользуемся определением натуральных чисел N {\displaystyle \mathbb {N} } как классов эквивалентности конечных множеств. Обозначим классы эквивалентности конечных множеств C , A , B , R {\displaystyle C,A,B,R} порождённых биекциями, с помощью скобок: [ C ] , [ A ] , [ B ] , [ R ] {\displaystyle [C],[A],[B],[R]} . Тогда математическая операция «деление» определяется следующими образами:
где: A / B {\displaystyle A/B} это — разбиение конечного множества на равночисленные попарно не пересекающиеся подмножества, такие что:
B α α --> = B β β --> , {\displaystyle B_{\alpha }=B_{\beta },} ⋃ ⋃ --> α α --> ∈ ∈ --> C B α α --> + R = A , {\displaystyle \quad \bigcup \limits _{\alpha \in C}B_{\alpha }+R=A,} ⋂ ⋂ --> α α --> , β β --> ∈ ∈ --> C ( B α α --> , B β β --> , R ) = { ∅ ∅ --> } , {\displaystyle \quad \bigcap _{\alpha ,\beta \in C}(B_{\alpha },B_{\beta },R)=\{\emptyset \},} для любых коэффициентов α α --> , β β --> ∈ ∈ --> C {\displaystyle \alpha ,\beta \in C} , таких что α α --> ≠ β β --> ; {\displaystyle \alpha \not =\beta ;}
R {\displaystyle R} — остаток (множество оставшихся элементов), { ∅ ∅ --> } ⩽ ⩽ --> R < B {\displaystyle \{\emptyset \}\leqslant R<B} ,
→ → --> {\displaystyle \rightarrow } — нульарная операция «выделение элемента».
В случае, если одно натуральное число не делится на другое без остатка, говорится о делении с остатком. На остаток накладываются следующее ограничение (чтобы он был корректно, то есть однозначно, определён): 0 ⩽ ⩽ --> r < | b | {\displaystyle 0\leqslant r<|b|} , a = b ⋅ ⋅ --> c + r {\displaystyle a=b\cdot c+r} ,
где: a {\displaystyle a} — делимое, b {\displaystyle b} — делитель, c {\displaystyle c} — частное, r {\displaystyle r} — остаток.
Данная операция на классах введена корректно, то есть не зависит от выбора элементов классов, и совпадает с индуктивным определением.
Арифметическая операция «деление» частична для множества натуральных чисел N {\displaystyle \mathbb {N} } , (для полукольца натуральных чисел).
Деление произвольных целых чисел несущественно отличается от деления натуральных чисел — достаточно поделить их модули и учесть правило знаков.
Однако деление целых чисел с остатком определяется неоднозначно. В одном случае, (так же как и без остатка) рассматривают сначала модули и в результате остаток приобретает тот же знак, что делитель или делимое (например, − − --> 7 / ( − − --> 3 ) = 2 {\displaystyle -7/(-3)=2} с остатком (-1)); в другом случае понятие остатка напрямую обобщается и ограничения заимствуются из натуральных чисел:
Для устранения неоднозначности принято соглашение: остаток от деления всегда неотрицателен.
Замыкание множества целых чисел по операции деления приводит к расширению его до множества рациональных чисел. Это приводит к тому, что результатом деления одного целого числа на другое всегда является рациональное число. Более того, полученные числа (рациональные) уже полностью поддерживают операцию деления (замкнуты относительно неё).
Правило деления обыкновенных дробей: a b : c d = a ⋅ ⋅ --> d b ⋅ ⋅ --> c = a d b c {\displaystyle {\frac {a}{b}}:{\frac {c}{d}}={\frac {a\cdot d}{b\cdot c}}={\frac {ad}{bc}}}
Множество вещественных чисел — непрерывное упорядоченное поле, обозначается R {\displaystyle \mathbb {R} } . Множество вещественных чисел не является счётным, его мощность называется мощностью континуума. Арифметические операции над вещественными числами представимых бесконечными десятичными дробями определяются как непрерывное продолжение[3] соответствующих операций над рациональными числами.
Если даны два вещественных числа, представимые бесконечными десятичными дробями:
определённые соответственно фундаментальными последовательностями рациональных чисел (удовлетворяющие условию Коши), обозначенные как: α α --> = [ a n ] {\displaystyle \alpha =[a_{n}]} и β β --> = [ b n ] {\displaystyle \beta =[b_{n}]} , то их частным называют число γ γ --> = [ c n ] {\displaystyle \gamma =[c_{n}]} , определённое частным последовательностей { a n } {\displaystyle \{a_{n}\}} и { b n } {\displaystyle \{b_{n}\}} :
вещественное число γ γ --> = α α --> : β β --> {\displaystyle \gamma =\alpha :\beta } , удовлетворяет следующему условию:
Таким образом частное двух вещественных чисел α α --> {\displaystyle \alpha } и β β --> {\displaystyle \beta } является такое вещественное число γ γ --> {\displaystyle \gamma } которое содержится между всеми частными вида a ′ : b ′ {\displaystyle a':b'} с одной стороны и всеми частными вида a ″ : b ″ {\displaystyle a'':b''} с другой стороны[4]. Дедекиндово сечение позволяет однозначно определить результат деления.
На практике для того, чтобы разделить два числа α α --> {\displaystyle \alpha } и β β --> {\displaystyle \beta } , необходимо заменить их с требуемой точностью приближёнными рациональными числами a {\displaystyle a} и b {\displaystyle b} . За приближенное значение частного чисел α α --> : β β --> {\displaystyle \alpha :\beta } берут частное указанных рациональных чисел a : b {\displaystyle a:b} . При этом не важно, с какой стороны (по недостатку или по избытку) взятые рациональные числа приближают α α --> {\displaystyle \alpha } и β β --> {\displaystyle \beta } . Деление производится по алгоритму деления столбиком.
Абсолютная погрешность частного приближённых чисел: Δ Δ --> ( a b ) = | b | ⋅ ⋅ --> Δ Δ --> a + | a | ⋅ ⋅ --> Δ Δ --> b b 2 {\displaystyle \Delta \left({\frac {a}{b}}\right)={\frac {|b|\cdot \Delta a+|a|\cdot \Delta b}{b^{2}}}} , абсолютная погрешность числа принимается равной половине последней единицы разряда этого числа.
Относительная погрешность частного равна сумме относительных погрешностей аргументов: δ δ --> ( a b ) = δ δ --> a + δ δ --> b {\displaystyle \delta \left({\frac {a}{b}}\right)=\delta a+\delta b} . Полученный результат округляют до первой верной значащей цифры, значащая цифра приближенного числа является верной, если абсолютная погрешность числа не превосходит половины единицы разряда, соответствующего этой цифре.
Пример деления γ γ --> = π π --> : e {\displaystyle \gamma =\pi :e} , с точностью до 3-го знака после запятой:
На множестве пар вещественных чисел R 2 {\displaystyle \mathbb {R} ^{2}} область значений функции деления c = a : b {\displaystyle c=a:b~} графически имеет вид гиперболического параболоида — поверхности второго порядка[5].
Так как N ⊂ ⊂ --> Z ⊂ ⊂ --> Q ⊂ ⊂ --> R {\displaystyle \mathbb {N} \subset \mathbb {Z} \subset \mathbb {Q} \subset \mathbb {R} } , то и для этих множеств область значений функции деления будет принадлежать этой поверхности.
Множество комплексных чисел с арифметическими операциями является полем и обычно обозначается символом C {\displaystyle \mathbb {C} } .
Частным двух комплексных чисел в алгебраической форме записи, называется комплексное число, равное:
где: z , z 1 , z 2 {\displaystyle z,z_{1},z_{2}} — комплексные числа, a , b , c , d , e , f ∈ ∈ --> R {\displaystyle a,b,c,d,e,f\in \mathbb {R} } , i {\displaystyle i} — мнимая единица; z 2 ≠ ≠ --> 0 , b + e i ≠ ≠ --> 0 {\displaystyle z_{2}\neq 0,~~~b+ei\neq 0} .
На практике частное комплексных чисел находят умножением делимого и делителя на число, комплексно-сопряженное делителю:
z = c + f i = z 1 z 2 = a + d i b + e i = ( a + d i ) ( b − − --> e i ) ( b + e i ) ( b − − --> e i ) = a b + d e b 2 + e 2 + d b − − --> a e b 2 + e 2 i , {\displaystyle z=c+fi={\frac {z_{1}}{z_{2}}}={\frac {a+di}{b+ei}}={\frac {(a+di)(b-ei)}{(b+ei)(b-ei)}}={\frac {ab+de}{b^{2}+e^{2}}}+{\frac {db-ae}{b^{2}+e^{2}}}i,} z 2 ≠ ≠ --> 0 , b + e i ≠ ≠ --> 0 ; {\displaystyle ~~z_{2}\neq 0,~~~b+ei\neq 0;}
делитель становится действительным числом, а в числителе умножаются два комплексных числа, затем полученная дробь почленно делится. Результат определён для всех b + e i ≠ ≠ --> 0 = 0 + 0 i {\displaystyle b+ei\neq 0=0+0i}
Для того, чтобы разделить два комплексных числа в тригонометрической форме записи, нужно разделить модуль делимого на модуль делителя, а из аргумента делимого вычесть аргумент делителя:
z = c + f i = z 1 z 2 = a + d i b + e i = r 1 ( cos --> φ φ --> 1 + i sin --> φ φ --> 1 ) r 2 ( cos --> φ φ --> 2 + i sin --> φ φ --> 2 ) = r 1 r 2 ( cos --> ( φ φ --> 1 − − --> φ φ --> 2 ) + i sin --> ( φ φ --> 1 − − --> φ φ --> 2 ) , {\displaystyle z=c+fi={\frac {z_{1}}{z_{2}}}={\frac {a+di}{b+ei}}={\frac {r_{1}(\cos \varphi _{1}+i\sin \varphi _{1})}{r_{2}(\cos \varphi _{2}+i\sin \varphi _{2})}}={\frac {r_{1}}{r_{2}}}(\cos(\varphi _{1}-\varphi _{2})+i\sin(\varphi _{1}-\varphi _{2}),}
где: r n = | z n | = | x + y i | = x 2 + y 2 ; φ φ --> n = Arg --> ( z n ) = arctg --> ( x y ) {\displaystyle r_{n}=|z_{n}|=|x+yi|={\sqrt {x^{2}+y^{2}}};~~~\varphi _{n}=\operatorname {Arg} (z_{n})=\operatorname {arctg} {\biggl (}{\frac {x}{y}}{\biggr )}} — модуль и аргумент комплексного числа; z 2 ≠ ≠ --> 0 , r 2 ≠ ≠ --> 0 {\displaystyle z_{2}\neq 0,~~~r_{2}\neq 0} .
То есть модуль частного двух комплексных чисел равен частному модулей, а аргумент — разности аргументов делимого и делителя.
Деление комплексного числа z 1 = a + d i = r 1 e i φ φ --> 1 {\displaystyle z_{1}=a+di=r_{1}e^{i\varphi _{1}}} в показательной форме, на комплексное число z 2 = b + e i = r 2 e i φ φ --> 2 {\displaystyle z_{2}=b+ei=r_{2}e^{i\varphi _{2}}} сводится к повороту вектора, соответствующего числу z 1 {\displaystyle z_{1}} , на угол Arg --> ( z 2 ) {\displaystyle \operatorname {Arg} (z_{2})} и изменению его длины на | z 2 | {\displaystyle |z_{2}|} раз. Для частного комплексных чисел в показательной форме верно равенство:
z = c + f i = z 1 z 2 = a + d i b + e i = r 1 e i φ φ --> 1 r 2 e i φ φ --> 2 = r 1 r 2 e i ( φ φ --> 1 − − --> φ φ --> 2 ) ; {\displaystyle z=c+fi={\frac {z_{1}}{z_{2}}}={\frac {a+di}{b+ei}}={\frac {r_{1}e^{i\varphi _{1}}}{r_{2}e^{i\varphi _{2}}}}={\frac {r_{1}}{r_{2}}}e^{i(\varphi _{1}-\varphi _{2})};}
где: e = 2,718 281828 … … --> {\displaystyle e=2{,}718281828\dots } — число e; z 2 ≠ ≠ --> 0 , r 2 ≠ ≠ --> 0 {\displaystyle z_{2}\neq 0,~~~r_{2}\neq 0} .
В экспоненциальной записи числа записываются в виде a = ± ± --> x ⋅ ⋅ --> P ± ± --> n {\displaystyle a=\pm x\cdot P^{\pm n}} , где x {\displaystyle x} — мантисса, P n {\displaystyle P^{n}} — характеристика числа, P {\displaystyle P} — основание системы счисления, n ∈ ∈ --> Z {\displaystyle n\in \mathbb {Z} } . Для деления двух чисел, которые записаны в экспоненциальной форме необходимо разделить мантиссы и характеристики: ( a ⋅ ⋅ --> P n ) : ( b ⋅ ⋅ --> P k ) = ( a : b ) ⋅ ⋅ --> ( P n : P k ) = a b ⋅ ⋅ --> P n − − --> k . {\displaystyle (a\cdot P^{n}):(b\cdot P^{k})=(a:b)\cdot (P^{n}:P^{k})={\frac {a}{b}}\cdot P^{n-k}.}
Например:
Единица измерения физической величины имеет определённое наименование (размерность): для длины (L) — метр (м), для времени (T) — секунда (с), для массы (M) — грамм (г) и так далее. Поэтому, результат измерения той или иной величины представляет собой не просто число, а число с наименованием[6]. Наименование представляет собой самостоятельный объект, который равноправно участвует в операции деления. При производстве операции деления над физическими величинами, делятся как сами числовые составляющие, так и их наименования.
Помимо размерных физических величин существуют безразмерные (количественные) величины, которые формально являются элементами числовой оси, то есть числами, не имеющие привязки к определённым физическим явлениям (измеряются «штуками», «разами» и тому подобное). При делении чисел представляющих собой физические величины на безразмерную величину, делимое число изменяется по величине и сохраняет единицу измерения. Например если взять 15 гвоздей и разложить в 3 коробки, то в результате деления получим 5 гвоздей в каждой коробке:
Деление разнородных физических величин надо рассматривать как нахождение новой физической величины, принципиально отличающейся от величин, которые мы делим. Если физически возможно создание такого частного, например, при нахождении работы, скорости или других величин, то эта величина образует множество, отличное от начальных. В этом случае композиции этих величин присваивается новое обозначение (новый термин), например: плотность, ускорение, мощность и прочее[7].
Например, если разделить длину L = 8 м {\displaystyle L=8~{\text{м}}~} на время T = 2 с , {\displaystyle T=2~{\text{с}},~} соответствующие одному физическому процессу, то получится именованное число (физическая величина) соответствующее этому же физическому процессу, которая называется «скорость» и измеряется в «метрах в секунду»: V = 4 м/с . {\displaystyle V=4~{\text{м/с}}.}
При описании математическими средствами физических процессов немаловажную роль играет понятие однородности, которое означает например, что «1 кг муки» и «1 кг меди» принадлежат разным множествам {мука} и {медь} соответственно и не могут быть непосредственно разделены. Также понятие однородности предполагает, что делимые величины принадлежат одному физическому процессу. Недопустимо делить, например скорость лошади на время собаки.
В отличие от простейших арифметических случаев, на произвольных множествах и структурах деление может быть не только не определено, но и обладать множественностью результата.
Обычно в алгебре деление вводится через понятие единичного и обратного элементов. Если единичный элемент вводится однозначным образом (обычно аксиоматически или по определению), то обратный элемент часто может быть как левым ( x − − --> 1 ∗ ∗ --> x = e {\displaystyle x^{-1}*x=e} ), так и правым ( x ∗ ∗ --> x − − --> 1 = e {\displaystyle x*x^{-1}=e} ). Эти два обратных элемента могут по отдельности существовать или не существовать, равняться или не равняться друг другу.
К примеру, отношение матриц определяется через обратную матрицу, при этом даже для квадратных матриц может быть:
Отношение тензоров в общем случае не определено.
В общих чертах оно повторяет идеи деления натуральных чисел, ибо натуральное число есть не что иное, как значения многочлена, у которого коэффициенты — цифры, а вместо переменной стоит основание системы счисления:
Поэтому аналогично определяются: частное, делитель, делимое и остаток (с той лишь разницей, что ограничение накладывается на степень остатка). Поэтому к делению многочленов также применимо деление столбиком.
Отличие же заключается в том, что при делении многочленов основной упор делается на степени делимого и делителя, а не на коэффициенты. Поэтому обычно считается, что частное и делитель (а следовательно и остаток) определены с точностью до постоянного множителя.
По определению числовых множеств N , Z , Q , R , C {\displaystyle \mathbb {N} ,\mathbb {Z} ,\mathbb {Q} ,\mathbb {R} ,\mathbb {C} } деление на число 0 не определено. Частное от деления какого-либо отличного от нуля числа на ноль не существует, так как в этом случае никакое число не может удовлетворять определению частного[8]. Для определения данной ситуации полагают, что результат этой операции считается «бесконечно большим» или «равным бесконечности» (положительной или отрицательной, в зависимости от знака операндов).
С геометрической точки зрения выполняется аффинное расширение числовой прямой. То есть привычная последовательность вещественных чисел «сжимается» так, чтобы можно было оперировать границами этой последовательности. В качестве границ (условных) введены две абстрактные бесконечно большие величины + ∞ ∞ --> , − − --> ∞ ∞ --> {\displaystyle +\infty ,-\infty } .
С точки зрения общей топологии выполняется двухточечная компактификация числовой прямой путем добавления двух идеализированных точек (бесконечностей с противоположным знаком). Пишут:
Если произвести проективное расширение множества вещественных чисел введением идеализированной точки ∞ ∞ --> {\displaystyle \infty ~} , которая соединяет оба конца вещественной прямой, тогда с точки зрения общей топологии будет выполнена одноточечная компактификация числовой прямой путем добавления бесконечности без знака. Дополним полученное множество чисел новым элементом ⊥ ⊥ -->= 0 / 0 {\displaystyle \perp =0/0} , в результате получится R ⊥ ⊥ --> ∞ ∞ --> = R ∪ ∪ --> { ∞ ∞ --> , ⊥ ⊥ --> } {\displaystyle \mathbb {R} _{\perp }^{\infty }=\mathbb {R} \cup \{\infty ,\perp \}} , на данной основе строится алгебраическая структура W = ⟨ ⟨ --> R ⊥ ⊥ --> ∞ ∞ --> , 0 , 1 , + , ⋅ ⋅ --> , / ⟩ ⟩ --> {\displaystyle {\mathfrak {W}}=\langle \mathbb {R} _{\perp }^{\infty },0,1,+,\cdot ,/\rangle ~} называемая «Колесом» (Wheel)[9]. Термин был взят из-за схожести с топологической картинкой проективного расширения числовой прямой и точки 0/0. Внесенные изменения превращают эту алгебраическую систему в моноид как по операции сложения (с нулем в качестве нейтрального элемента), так и по операции умножения (с единицей в качестве нейтрального элемента). Это тип алгебры, где деление всегда определено. В частности, деление на ноль имеет смысл.
Существуют и другие алгебраические системы с делением на ноль. Например, «общие луга» (common meadows)[10]. Они чуть проще, так как не расширяют пространство, вводя новые элементы. Цель достигается как в колесах, трансформацией операций сложения и умножения, а также отказом от бинарного деления.
Lokasi Pengunjung: 3.22.61.128