Русская Википедия:Деление (математика)

Содержание

Текст

Текст

Текст

Текст

Текст

Текст

Текст

Текст

Текст

Файл:Divide20by4.svg

<math>20: 4=5</math>

Деле́ние (операция деления) — действие, обратное умножению. Деление обозначается двоеточием <math>:</math>, обелюсом <math>\div</math>, косой чертой <math>/</math> или записывается в виде дроби.

Для натуральных чисел деление обозначает нахождение, какое число (частное) надо взять столько-то (делитель) раз, чтобы получилось данное (делимое).

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

Рассмотрим, например деление <math>14</math> на <math>3</math>:

Сколько раз <math>3</math> содержится в <math>14</math>?

Повторяя операцию вычитания <math>3</math> из <math>14</math>, мы находим, что <math>3</math> содержится в <math>14</math> четыре раза, и ещё «остаётся» число <math>2</math>.

В этом случае число <math>14</math> называется делимым, число <math>3</math> — делителем, число <math>4</math> — (неполным) частным и число <math>2</math> — остатком (от деления).

Полным частным, отношением или соотношением чисел <math>a</math> и <math>b</math> называется такое число <math>c</math>, что <math>a=b\cdot c</math>. В случае, когда <math>a=14</math> и <math>b=3</math>, их полное частное может быть записано в виде дроби <math>\frac{14}{3}</math> или десятичной дроби <math>4,(6)</math>.

Полное и неполное частные чисел <math>a</math> и <math>b</math> совпадают тогда и только тогда, когда <math>a</math> делится нацело (делится) на <math>b</math>. Соответствующее свойство данной пары чисел называется делимостью.

Формы записи и терминология

Деление записывается с использованием одного из «знаков деления» — «<math>\div,~ /,~ :</math>» между аргументами, такая форма записи называется инфиксной нотацией. В данном контексте знак деления является бинарным оператором. Знак деления не имеет специального названия, как например знак сложения, который называется «плюс».

• Самый старый из используемых символов видимо — косая черта (/). Впервые его использовал английский математик Уильям Отред в своём труде «Clavis Mathematicae» 1631 г.
• Немецкий математик Лейбниц предпочитал знак в виде двоеточия (:) Этот символ он использовал в своём труде Acta eruditorum 1684 г. До Лейбница этот знак был использован англичанином Джонсоном в 1633 году в своей книге, но как знак дроби, а не деления в узком смысле.
• Йоханн Ран ввёл знак обелюс (÷) в качестве знака деления, она появилась в его книге «Teutsche Algebra» 1659 г. Знак Рана часто называют «английским знаком деления».

В русскоязычных учебниках математики в основном используется знак в виде двоеточия (:). Косая черта (/) используется в компьютерной нотации. Результат записывается с использованием знака равенства «<math>=</math>», например:

<math>a : b = c </math>;

<math>6 : 3 = 2 </math> («шесть разделить на три равно два»);

<math>65 : 5 = 13 </math> («шестьдесят пять разделить на пять равно тринадцать»).

Свойства

Операция деления на числовых множествах <math>\mathbb{N}, \mathbb{Z}, \mathbb{Q}, \mathbb{R}, \mathbb{C}</math> имеет следующие основные свойства:

• Деление не перестановочно (не коммутативно) — от перемены мест аргументов частное изменяется:

<math>a:b \ne b:a;</math>

• Деление не ассоциативно — при последовательном выполнении деления трёх или более чисел последовательность выполнения операций имеет значение, результат изменится:

<math>(a:b):c \ne a:(b:c);</math>

• Деление дистрибутивно справа, это — свойство согласованности двух бинарных операций, определённых на одном и том же множестве, также известно, как распределительный закон :

Дистрибутивность: <math>(a+b):x=(a:x)+(b:x), ~ x \ne 0;</math>

• Относительно деления в множестве <math>A</math> существует единственный нейтральный элемент справа (число <math>1</math>), деление на единицу (или нейтральный элемент) даёт число, равное исходному:

Нейтральный элемент справа: <math>x:1=x;</math>

• Относительно деления в множестве <math>A</math> существует единственный обратный элемент, получаемый делением единицы на число, что даёт число, обратное исходному:

Обратный элемент: <math>1:x=\frac{1}{x}=x^{-1}, ~ x \ne 0;</math>

• Относительно деления в множестве <math>A</math> существует единственный нулевой элемент слева — число <math>0</math>, делённое на любое число, даёт нуль:

Нулевой элемент слева: <math>0:x=0, \quad\exists 0\in A, ~ x \ne 0;</math>

• По правилам обычной арифметики деление на ноль <math>0</math> (нулевой элемент) не определено;

Деление на ноль: <math>x:0 =\infty , \quad\exists 0\in A, ~ x \ne 0;</math>

• Деление на противоположный элемент даёт минус единицу:

<math>x:(-x)=-1, \quad \exists! -x\in A, ~ x \ne 0.</math>

Результат деления не всегда является определённым для множеств натуральных чисел <math>\mathbb{N}</math> и целых чисел <math>\mathbb{Z}</math>, чтобы получить натуральное или целое число в результате деления, делимое должно быть кратно делителю. Невозможно в рамках этих чисел получить дробный результат. В этом случае говорится о делении с остатком. То есть деление на этих множествах есть частичная бинарная операция.

Операция деления, определённая на множествах (в полях) рациональных <math> \mathbb{Q} </math>, вещественных <math> \mathbb{R}</math> и комплексных чисел <math> \mathbb{C}</math>, даёт число (частное), принадлежащее этому же множеству, следовательно, множества <math> \mathbb{Q_{-0}}, \mathbb {R_{-0}} ,\mathbb {C_{-0}} </math> замкнуты относительно операции деления (в точке 0 имеется разрыв второго рода — следовательно кольца рациональных, вещественных и комплексных чисел разомкнуты относительно операции деления).

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

Выполнение деления

Файл:Диаграмма19.svg

Пример пошагового деления числа 8 на число 4 на числовой прямой.

Деление является гипероператором вычитания и сводится к последовательному вычитанию. :

<math>a:b = \operatorname{hyper-2} (a, b) = \operatorname{hyper}(a, -2, b) = a ^ {(-2)} b=c.</math>

<math> a {^{(-2)}} b = a : b = a \underbrace{ - b - b - \dots - b}_{c}.</math>

где: <math>- b - b - \dots - b</math> — последовательность операций вычитания, выполненная <math>c</math> раз.

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

Схема, иллюстрирующую места для записи делимого, делителя, частного, остатка и промежуточных вычислений при делении столбиком:

Файл:Деление столбиком.svg

Деление столбиком

Из приведенной схемы видно, что искомое частное (или неполное частное при делении с остатком) будет записано ниже делителя под горизонтальной чертой. А промежуточные вычисления будут вестись ниже делимого и нужно заранее позаботиться о наличии места на странице. При этом следует руководствоваться правилом: чем больше разница в количестве знаков в записях делимого и делителя, тем больше потребуется места.

     Файл:Алгоритм деления.svg

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

Арифметические действия над числами в любой позиционной системе счисления производятся по тем же правилам, что и в десятичной системе, так как все они основываются на правилах выполнения действий над соответствующими многочленамиШаблон:Sfn. При этом нужно пользоваться таблицей вычитания соответствующей данному основанию <math>P</math> системы счисления.

Пример деления натуральных чисел в двоичной, десятичной и шестнадцатеричной системах счисления:

     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

Деление чисел

Натуральные числа

Воспользуемся определением натуральных чисел <math>\mathbb{N}</math> как классов эквивалентности конечных множеств. Обозначим классы эквивалентности конечных множеств <math>C, A, B, R</math> порождённых биекциями, с помощью скобок: <math>[C], [A], [B], [R]</math>. Тогда математическая операция «деление» определяется следующими образами:

1. <math>\quad [C]=[A] : [B] = [\rightarrow (A / B)]\quad \& \quad[R]</math> — деление на равные части (отыскание числа элементов в каждом подмножестве разбиения), частным чисел <math>a</math> и <math>b</math> называется число элементов каждого подмножества разбиения;
2. <math>\quad [C]=[A] : [B] = [A / (\rightarrow B)]\quad \& \quad[R]</math> — деление по содержанию (отыскание числа подмножеств разбиения), частным чисел <math>a</math> и <math>b</math> называется число (количество) подмножеств разбиения;

где: <math>A / B</math> это — разбиение конечного множества на равночисленные попарно не пересекающиеся подмножества, такие что:

<math>B_{\alpha}=B_{\beta},</math><math>\quad \bigcup\limits_{\alpha \in C} B_{\alpha} +R = A,</math> <math>\quad \bigcap_{\alpha, \beta \in C} (B_{\alpha}, B_{\beta}, R) = \{ \emptyset \},</math> для любых коэффициентов <math>\alpha, \beta \in C </math>, таких что <math>\alpha\not=\beta;</math>

<math>R</math> — остаток (множество оставшихся элементов), <math>\{ \emptyset \} \leqslant R<B</math>,

<math>\rightarrow</math> — нульарная операция "выделение элемента".

В случае, если одно натуральное число не делится на другое без остатка, говорится о делении с остатком. На остаток накладываются следующее ограничение (чтобы он был корректно, то есть однозначно, определён): <math>0\leqslant r<|b|</math>, <math>a = b\cdot c + r</math>,

где: <math>a</math> — делимое, <math>b</math> — делитель, <math>c</math> — частное, <math>r</math> — остаток.

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

Арифметическая операция «деление» частична для множества натуральных чисел <math> \mathbb{N} </math>, (для полукольца натуральных чисел).

Файл:Диаграмма13.svg

Примеры деления множества: верхний ряд — деление на равные части, нижний ряд — деление по содержанию.

Деление целых чисел

Деление произвольных целых чисел несущественно отличается от деления натуральных чисел — достаточно поделить их модули и учесть правило знаков.

Однако деление целых чисел с остатком определяется неоднозначно. В одном случае, (так же как и без остатка) рассматривают сначала модули и в результате остаток приобретает тот же знак, что делитель или делимое (например, <math>-7 / (-3) = 2</math> с остатком (-1)); в другом случае понятие остатка напрямую обобщается и ограничения заимствуются из натуральных чисел:

<math>-7 \equiv 2 \pmod 3</math>.

Для устранения неоднозначности принято соглашение: остаток от деления всегда неотрицателен.

Деление рациональных чисел

Замыкание множества целых чисел по операции деления приводит к расширению его до множества рациональных чисел. Это приводит к тому, что результатом деления одного целого числа на другое всегда является рациональное число. Более того, полученные числа (рациональные) уже полностью поддерживают операцию деления (замкнуты относительно неё).

Правило деления обыкновенных дробей: <math>\frac{a}{b}:\frac{c}{d} = \frac{a\cdot d}{b\cdot c} = \frac{ad}{bc}</math>

Деление вещественных чисел

Множество вещественных чисел — непрерывное упорядоченное поле, обозначается <math>\mathbb{R}</math>. Множество вещественных чисел не является счётным, его мощность называется мощностью континуума. Арифметические операции над вещественными числами представимых бесконечными десятичными дробями определяются как непрерывное продолжение соответствующих операций над рациональными числами.

Если даны два вещественных числа, представимые бесконечными десятичными дробями:

<math> \alpha = \pm a_0, a_1 a_2 \ldots a_n \ldots = \{a_n\},</math>

<math> \beta = \pm b_0, b_1 b_2 \ldots b_n \ldots = \{b_n\},</math>

определённые соответственно фундаментальными последовательностями рациональных чисел (удовлетворяющие условию Коши), обозначенные как: <math>\alpha = [a_n]</math> и <math>\beta = [b_n]</math>, то их частным называют число <math>\gamma = [c_n]</math>, определённое частным последовательностей <math>\{a_n\}</math> и <math>\{b_n\}</math>:

<math>\gamma = \alpha : \beta \overset{\text{def}}{=} [a_n] : [b_n] = [a_n /b_n]</math>,

вещественное число <math>\gamma = \alpha : \beta</math>, удовлетворяет следующему условию:

<math>

\forall a', a, b', b \in \mathbb{Q}; EducationBot (обсуждение) 23:38, 14 августа 2023 (+04) (a' \leqslant \alpha \leqslant a) \land (b' \leqslant \beta \leqslant b) \Rightarrow (a' : b' \leqslant \alpha / \beta \leqslant a : b) \Rightarrow (a' : b' \leqslant \gamma \leqslant a : b). </math> Таким образом частное двух вещественных чисел <math>\alpha</math> и <math>\beta</math> является такое вещественное число <math>\gamma</math> которое содержится между всеми частными вида <math>a' : b'</math> с одной стороны и всеми частными вида <math>a : b</math> с другой стороныШаблон:Sfn. Дедекиндово сечение позволяет однозначно определить результат деления.

На практике для того, чтобы разделить два числа <math>\alpha</math> и <math>\beta</math>, необходимо заменить их с требуемой точностью приближёнными рациональными числами <math>a</math> и <math>b</math>. За приближенное значение частного чисел <math>\alpha : \beta</math> берут частное указанных рациональных чисел <math>a : b</math>. При этом не важно, с какой стороны (по недостатку или по избытку) взятые рациональные числа приближают <math>\alpha</math> и <math>\beta</math>. Деление производится по алгоритму деления столбиком.

Абсолютная погрешность частного приближённых чисел: <math>\Delta \left( \frac{a}{b} \right) =\frac{|b| \cdot \Delta a+ |a| \cdot \Delta b}{b^2}</math>, абсолютная погрешность числа принимается равной половине последней единицы разряда этого числа.

Относительная погрешность частного равна сумме относительных погрешностей аргументов: <math>\delta \left( \frac{a}{b} \right) =\delta a+\delta b</math>. Полученный результат округляют до первой верной значащей цифры, значащая цифра приближенного числа является верной, если абсолютная погрешность числа не превосходит половины единицы разряда, соответствующего этой цифре.

Пример деления <math>\gamma=\pi : e</math>, с точностью до 3-го знака после запятой:

• Округляем данные числа до 4-го знака после запятой (для повышения точности вычислений);
• Получаем: <math>\pi\approx 3.1416,\ e \approx 2.7183</math>;
• Делим столбиком: <math>\gamma = \pi : e \approx 3.1416 : 2.7183 \approx 1.1557</math>;
• Округляем до 3-го знака после запятой: <math>\gamma\approx 1.156</math>.

График

На множестве пар вещественных чисел <math>\mathbb{R}^2</math>область значений функции деления <math>c=a : b~</math>графически имеет вид гиперболического параболоида — поверхности второго порядка.

Файл:Деление.jpg

График функции c=a : b

Так как <math>\mathbb{N} \subset \mathbb{Z} \subset \mathbb{Q} \subset \mathbb{R}</math>, то и для этих множеств область значений функции деления будет принадлежать этой поверхности.

Деление комплексных чисел

Файл:Диаграмма14.svg

Комплексное число z на комплексной плоскости.

Множество комплексных чисел с арифметическими операциями является полем и обычно обозначается символом <math>\mathbb{C}</math>.

Алгебраической форма

Частным двух комплексных чисел в алгебраической форме записи, называется комплексное число, равное:

<math>z=c+fi=\frac{z_1}{z_2}=\frac{a+di}{b+ei} = \frac{ab+de}{b^2+e^2}+\frac{db-ae}{b^2+e^2}i, </math>

где: <math>z,z_1,z_2</math> — комплексные числа, <math>a, b, c, d, e, f \in \R</math>, <math>i</math> — мнимая единица; <math>z_2 \ne 0, EducationBot (обсуждение) b + ei \ne 0</math>.

На практике частное комплексных чисел находят умножением делимого и делителя на число, комплексно-сопряженное делителю:

<math>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, </math><math>~~ z_2 \ne 0, EducationBot (обсуждение) b + ei \ne 0;</math>

делитель становится действительным числом, а в числителе умножаются два комплексных числа, затем полученная дробь почленно делится. Результат определён для всех <math>b+ei\neq 0=0+0i</math>

Тригонометрическая форма

Для того, чтобы разделить два комплексных числа в тригонометрической форме записи, нужно разделить модуль делимого на модуль делителя, а из аргумента делимого вычесть аргумент делителя:

<math>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),</math>

Файл:Диаграмма16.svg

Деление комплексных чисел на комплексной плоскости.

где: <math>r_n=|z_n|=|x+yi|=\sqrt{x^2+y^2}; EducationBot (обсуждение) \varphi_n = \operatorname{Arg}(z_n)=\operatorname{arctg} \biggl( \frac{x}{y} \biggr)</math>— модуль и аргумент комплексного числа; <math>z_2 \ne 0, EducationBot (обсуждение) r_2 \ne 0</math>.

То есть модуль частного двух комплексных чисел равен частному модулей, а аргумент — разности аргументов делимого и делителя.

Показательная (экспоненциальная) форма

Деление комплексного числа <math>z_1 = a+di = r_1 e^ {i\varphi _1}</math> в показательной форме, на комплексное число <math>z_2 = b+ei = r_2 e^ {i\varphi _2}</math> сводится к повороту вектора, соответствующего числу <math>z_1</math>, на угол <math>\operatorname{Arg}(z_2)</math> и изменению его длины на <math>|z_2|</math> раз. Для частного комплексных чисел в показательной форме верно равенство:

<math>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)};</math>

где: <math>e=2{,}718281828\dots</math> — число e; <math>z_2 \ne 0, EducationBot (обсуждение) r_2 \ne 0</math>.

Экспоненциальная запись

В экспоненциальной записи числа записываются в виде <math>a= \pm x \cdot P^{ \pm n}</math>, где <math>x</math> — мантисса, <math>P^{n}</math> — характеристика числа, <math>P</math> — основание системы счисления, <math>n \in \Z</math>. Для деления двух чисел, которые записаны в экспоненциальной форме необходимо разделить мантиссы и характеристики: <math> (a \cdot P^{n}) : (b \cdot P^{k}) = (a : b) \cdot (P^{n} : P^{k})= \frac{a}{b} \cdot P^{n-k}.</math>

Например:

<math>(6{,}34 \cdot 10^{4}) :~ (2{,}16 \cdot 10^{-2}) = (6{,}34 :~ 2{,}16) \cdot (10^{4} : 10^{-2}) \approx 2{,}935 \cdot 10^{(4-(-2))} \approx 2{,}94 \cdot 10^{4+2} \approx 2{,}94 \cdot 10^{6}.</math>

Деление физических величин

Единица измерения физической величины имеет определённое наименование (размерность): для длины (L) — метр (м), для времени (T) — секунда (с), для массы (M) — грамм (г) и так далее. Поэтому, результат измерения той или иной величины представляет собой не просто число, а число с наименованием. Наименование представляет собой самостоятельный объект, который равноправно участвует в операции деления. При производстве операции деления над физическими величинами, делятся как сами числовые составляющие, так и их наименования.

Помимо размерных физических величин существуют безразмерные (количественные) величины, которые формально являются элементами числовой оси, то есть числами, не имеющие привязки к определённым физическим явлениям (измеряются «штуками», «разами» и тому подобное). При делении чисел представляющих собой физические величины на безразмерную величину, делимое число изменяется по величине и сохраняет единицу измерения. Например если взять 15 гвоздей и разложить в 3 коробки, то в результате деления получим 5 гвоздей в каждой коробке:

<math> 15~ \text{гв} : 3 = 5~ \text{гв}. </math>

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

Например, если разделить длину <math> L = 8~ \text{м}~ </math>на время <math> T = 2~ \text{с},~ </math>соответствующие одному физическому процессу, то получится именованное число (физическая величина) соответствующее этому же физическому процессу, которая называется «скорость» и измеряется в «метрах в секунду»: <math> V = 4~ \text{м/с}. </math>

<math> V = L : T = 8~ \text{м} : 2~ \text{с} = 4~~ \text{(м : с)} = 4~ \text{м/с}. </math>

При описании математическими средствами физических процессов немаловажную роль играет понятие однородности, которое означает например, что «1 кг муки» и «1 кг меди» принадлежат разным множествам {мука} и {медь} соответственно и не могут быть непосредственно разделены. Также понятие однородности предполагает, что делимые величины принадлежат одному физическому процессу. Недопустимо делить, например скорость лошади на время собаки.

Деление в алгебре

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

Обычно в алгебре деление вводится через понятие единичного и обратного элементов. Если единичный элемент вводится однозначным образом (обычно аксиоматически или по определению), то обратный элемент часто может быть как левым (<math>x^{-1}*x=e</math>), так и правым (<math>x*x^{-1}=e</math>). Эти два обратных элемента могут по отдельности существовать или не существовать, равняться или не равняться друг другу.

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

<math>B^{-1}\cdot A \neq A\cdot B^{-1}</math>.

Отношение тензоров в общем случае не определено.

Деление многочленов

Шаблон:Основная статья В общих чертах оно повторяет идеи деления натуральных чисел, ибо натуральное число есть не что иное, как значения многочлена, у которого коэффициенты — цифры, а вместо переменной стоит основание системы счисления:

<math>5334_8 = 5\cdot 8^3 + 3\cdot 8^2 + 3\cdot 8^1 + 4\cdot 8^0 = \left.(5x^3+3x^2+3x+4)\right|_{x=8}</math>.

Поэтому аналогично определяются: частное, делитель, делимое и остаток (с той лишь разницей, что ограничение накладывается на степень остатка). Поэтому к делению многочленов также применимо деление столбиком.

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

Деление на ноль

По определению числовых множеств <math>\mathbb{N}, \mathbb{Z}, \mathbb{Q}, \mathbb{R}, \mathbb{C}</math> деление на число 0 не определено. Частное от деления какого-либо числа, отличного от нуля, на нуль не существует, так как в этом случае никакое число не может удовлетворять определению частного. Для определения данной ситуации полагают, что результат этой операции считается «бесконечно большим» или «равным бесконечности» (положительной или отрицательной, в зависимости от знака операндов). С геометрической точки зрения выполняется аффинное расширение числовой прямой. То есть привычная последовательность вещественных чисел «сжимается» так, чтобы можно было оперировать границами этой последовательности. В качестве границ (условных) введены две абстрактные бесконечно большие величины <math>+ \infty, - \infty</math>. С точки зрения общей топологии выполняется двухточечная компактификация числовой прямой путем добавления двух идеализированных точек (бесконечностей с противоположным знаком). Пишут:

Файл:Колесо в математике.svg

Топологическая картинка проективного расширения числовой прямой и точки 0/0

<math>a:0=\pm \infty</math>, где <math>a \neq 0.</math>

Если произвести проективное расширение множества вещественных чисел введением идеализированной точки <math>\infty~</math>,которая соединяет оба конца вещественной прямой, тогда с точки зрения общей топологии будет выполнена одноточечная компактификация числовой прямой путем добавления бесконечности без знака. Дополним полученное множество чисел новым элементом <math> \perp = 0/0 </math>, в результате получится <math>\mathbb{R}_{\perp}^\infty =\mathbb{R} \cup \{ \infty,\perp \}</math>, на данной основе строится алгебраическая структура <math>\mathfrak W =\langle \mathbb{R}_{\perp}^\infty, 0, 1, +, \cdot, / \rangle ~</math>называемая «Шаблон:Iw» (Wheel). Термин был взят из-за схожести с топологической картинкой проективного расширения числовой прямой и точки 0/0. Внесенные изменения превращают эту алгебраическую систему в моноид как по операции сложения (с нулем в качестве нейтрального элемента), так и по операции умножения (с единицей в качестве нейтрального элемента). Это тип алгебры, где деление всегда определено. В частности, деление на ноль имеет смысл.

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

См. также

• Признаки делимости
• Наибольший общий делитель
• Наименьшее общее кратное
• Деление многочленов столбиком
• Деление столбиком
• Остаток от деления
• Деление с остатком

Литература

• Шаблон:Книга
• Шаблон:Книга