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

Эта статья находится на начальном уровне проработки, в одной из её версий выборочно используется текст из источника, распространяемого под свободной лицензией
Материал из энциклопедии Руниверсалис
График вещественной функции
Модуль [math]\displaystyle{ |z| }[/math] и другие характеристики комплексного числа [math]\displaystyle{ z }[/math]

Абсолю́тная величина́, или мо́дуль, числа [math]\displaystyle{ x }[/math]математике) — неотрицательное число, которое, неформально говоря, обозначает расстояние между началом координат и [math]\displaystyle{ x }[/math]. Обозначается: [math]\displaystyle{ |x|. }[/math]

В случае вещественного [math]\displaystyle{ x }[/math] абсолютная величина есть непрерывная кусочно-линейная функция, определённая следующим образом:

[math]\displaystyle{ |x| = \begin{cases} x, & x \gt 0, \\ 0, & x=0, \\ -x, & \ x \lt 0.\end{cases} }[/math]

Обобщением этого понятия является модуль, или абсолютная величина[1], комплексного числа [math]\displaystyle{ z=x+iy. }[/math] Это число определяется по формуле:

[math]\displaystyle{ |z|=|x+iy|=\sqrt{x^2+y^2}. }[/math]

Основные свойства

С геометрической точки зрения, модуль вещественного или комплексного числа есть расстояние между числом и началом координат. В математике широко используется тот факт, что геометрически величина [math]\displaystyle{ |x_1 - x_2| }[/math] означает расстояние между точками [math]\displaystyle{ x_1 }[/math] и [math]\displaystyle{ x_2 }[/math] и, таким образом, может быть использована как мера близости одной (вещественной или комплексной) величины к другой — например, в определении предела по Коши или медианы[2].

Вещественные числа

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

Алгебраические свойства

Для любых вещественных чисел [math]\displaystyle{ a, b }[/math] имеют место следующие соотношения:

  • [math]\displaystyle{ \ |x| = \sqrt {x^2} = x \cdot \sgn x = {\rm max}\,\{x,\,-x \} }[/math] (sgn — функция знака);
  • [math]\displaystyle{ a \leqslant |a|; }[/math]
  • [math]\displaystyle{ -|a| \leqslant a; }[/math]
  • квадрат модуля числа равен квадрату этого числа: [math]\displaystyle{ |a|^2 = a^2. }[/math]

Как для вещественных, так и для комплексных [math]\displaystyle{ a, b }[/math] имеют место соотношения:

  • модуль любого числа равен либо больше нуля: [math]\displaystyle{ |a| \geqslant 0 }[/math], причём [math]\displaystyle{ |a|=0 }[/math] тогда и только тогда, когда [math]\displaystyle{ a=0; }[/math]
  • модули противоположных чисел равны: [math]\displaystyle{ |{-a}| = |a|; }[/math]
  • модуль произведения двух (и более) чисел равен произведению их модулей: [math]\displaystyle{ |ab| = |a||b|; }[/math]
    • в частности, постоянный положительный множитель можно выносить за знак модуля: [math]\displaystyle{ |ab| = a|b|,\quad a\gt 0; }[/math]
  • модуль частного от деления двух чисел равен частному от деления модулей этих двух чисел: [math]\displaystyle{ \left| \frac {a} {b} \right| = \frac {|a|} {|b|}; }[/math]
  • [math]\displaystyle{ |a+b| \leqslant |a|+|b| }[/math] (неравенство треугольника);
  • [math]\displaystyle{ |a-b| \leqslant |a|+|b|; }[/math]
  • [math]\displaystyle{ |a|-|b| \leqslant |a+b|; }[/math]
  • [math]\displaystyle{ |a \pm b| \geqslant \big||a|-|b|\big|; }[/math]
  • [math]\displaystyle{ |a^k| = |a|^k, }[/math] если [math]\displaystyle{ a^k }[/math] существует.

История

Считают, что термин предложил использовать Котс, ученик Ньютона. Лейбниц тоже использовал эту функцию, которую называл модулем и обозначал: mol. Общепринятое обозначение абсолютной величины введено в 1841 году Вейерштрассом. Для комплексных чисел это понятие ввели Коши и Арган в начале XIX века.

В языках программирования

Поскольку эта функция вычисляется достаточно просто (а именно с помощью сравнений и присваиваний), то обычно она входит в стандартный список функций во все языки программирования. Например, в Pascal есть функция abs(x), а в C fabs(x) для вещественного типа. В программе Wolfram Mathematica: Abs[x].

Обобщение

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

Обобщением понятия модуля можно считать норму элемента многомерного векторного пространства, обозначаемую [math]\displaystyle{ \|x\| }[/math]. Норма вектора в евклидовом пространстве иногда тоже называется модулем. По аналогии с модулем разности чисел, норма разности двух векторов является мерой близости между ними. В отличие от модуля числа, норма вектора может определяться различными способами, однако в случае одномерного пространства норма вектора пропорциональна (часто и равна) модулю его единственной координаты.

См. также

Примечания