Абсолютная величина в математике¶

Абсолютная величина (модуль) — математическое понятие, определяющее расстояние от числа до нуля на числовой прямой. Для действительного числа \(a\) абсолютная величина обозначается \(|a|\) и равна самому числу, если оно неотрицательно, и противоположному числу, если оно отрицательно. Абсолютная величина всегда неотрицательна и характеризует «размер» числа без учёта его знака.

¶Определение и основные свойства

Для действительного числа \(a\) абсолютная величина задаётся кусочным правилом: \[ |a| = \begin{cases} a, & a \ge 0, \\ -a, & a < 0. \end{cases} \] Из определения следуют базовые свойства:

• \(|a| \ge 0\), причём \(|a| = 0\) только при \(a = 0\);
• \(|a| = |-a|\) — симметричность;
• \(|ab| = |a| \cdot |b|\) — мультипликативность;
• \(\left|\frac{a}{b}\right| = \frac{|a|}{|b|}\) при \(b \ne 0\);
• \(|a + b| \le |a| + |b|\) — неравенство треугольника;
• \(|a - b| \ge \bigl||a| - |b|\bigr|\) — обратное неравенство треугольника.

Геометрически \(|a - b|\) интерпретируется как расстояние между точками \(a\) и \(b\) на координатной прямой. Это свойство делает модуль естественной мерой близости чисел и лежит в основе определения предела, непрерывности и метрических пространств.

¶Обобщения понятия

¶Комплексные числа

Для комплексного числа \(z = x + iy\) модуль определяется как \(|z| = \sqrt{x^2 + y^2}\) и равен расстоянию от точки \((x, y)\) до начала координат на комплексной плоскости. Модуль комплексного числа связан с сопряжённым числом соотношением \(|z|^2 = z \cdot \overline{z}\). Свойства мультипликативности и неравенства треугольника сохраняются, что позволяет использовать модуль при работе с геометрическими представлениями комплексных чисел и в тригонометрической форме записи.

¶Векторы и нормы

Для векторов в евклидовом пространстве аналогом абсолютной величины выступает длина вектора, вычисляемая по теореме Пифагора. В более общем смысле понятие обобщается до нормы — функции, задающей длину элемента в линейном пространстве. Норма должна удовлетворять аксиомам положительной определённости, однородности и неравенству треугольника. В конечномерных пространствах часто используются \(l_p\)-нормы, среди которых евклидова норма (\(p = 2\)) и манхэттенская норма (\(p = 1\)).

¶Другие алгебраические структуры

В теории чисел и алгебре модуль обобщается на кольца и поля. Например, p-адическая норма на множестве рациональных чисел определяется через степень делимости числа на простое \(p\). Такие нормы удовлетворяют усиленному неравенству треугольника и играют ключевую роль в p-адическом анализе. В теории меры абсолютная величина функции заменяется интегралом от модуля, а в функциональном анализе — нормами в пространствах \(L^p\).

¶Уравнения и неравенства с модулем

Решение уравнений с модулем основано на раскрытии знака модуля по определению. Простейшее уравнение \(|x| = c\) при \(c \ge 0\) имеет два корня \(x = \pm c\), при \(c < 0\) — не имеет решений. Уравнения вида \(|x - a| = b\) сводятся к совокупности двух линейных уравнений. Для неравенств \(|x| < c\) и \(|x| > c\) решениями служат интервалы \((-c, c)\) и объединение лучей \((-\infty, -c) \cup (c, \infty)\) соответственно.

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

¶Применение в анализе и геометрии

Абсолютная величина — фундаментальный инструмент математического анализа. Определение предела функции \(\lim_{x \to a} f(x) = L\) формулируется через условие \(|f(x) - L| < \varepsilon\) при \(|x - a| < \delta\). Непрерывность функции в точке также определяется через малость приращения аргумента и функции. Производная и интеграл опираются на предельные переходы, где модуль используется для оценки погрешностей и остаточных членов.

В геометрии модуль задаёт расстояния между точками, длины отрезков и кривых. Уравнение окружности с центром в начале координат записывается как \(|z| = R\) в комплексной форме. Модуль разности координат применяется в формулах площади и объёма при интегрировании.

¶Роль в программировании и прикладных задачах

Во всех языках программирования существует встроенная функция вычисления модуля (например, abs в Python, Math.abs в JavaScript, fabs в C). Она используется для обработки чисел со знаком: приведение к положительному значению, вычисление расстояний, проверка попадания в диапазон, определение переполнения. В компьютерной графике модуль применяется для расчёта длин векторов и нормалей. В статистике абсолютное отклонение служит альтернативой среднеквадратичному отклонению и менее чувствительно к выбросам. В оптимизации целевые функции с модулем (например, \(\sum |x_i|\)) возникают при решении задач сглаживания и восстановления сигналов.

¶Интересные факты

Термин «модуль» ввёл в употребление в 1806 году французский математик Жан-Робер Арган при работе над геометрической интерпретацией комплексных чисел. До этого понятие использовалось в работах Леонарда Эйлера и Карла Фридриха Гаусса, но без устоявшегося обозначения. Обозначение \(|x|\) впервые применил Карл Вейерштрасс в 1841 году. В русскоязычной традиции наряду с термином «модуль» для действительных чисел часто используется слово «абсолютная величина», тогда как для комплексных чисел и векторов предпочтителен «модуль». В некоторых областях физики модуль называют «амплитудой» — например, модуль комплексного сопротивления в электротехнике.

¶Источники

• Кудрявцев Л. Д. «Курс математического анализа», том 1.
• Фихтенгольц Г. М. «Основы математического анализа», том 1.
• Привалов И. И. «Введение в теорию функций комплексного переменного».
• Колмогоров А. Н., Фомин С. В. «Элементы теории функций и функционального анализа».
• Зорич В. А. «Математический анализ», часть 1.