Абсолютная величина
Абсолютная величина, или модуль, числа x {displaystyle x} (в математике) — неотрицательное число, которое, неформально говоря, обозначает расстояние между 0 и x. Обозначается: | x | . {displaystyle |x|.}
В случае вещественного x {displaystyle x} абсолютная величина есть непрерывная кусочно-линейная функция, определённая следующим образом:
| x | = { x , x > 0 , 0 , x = 0 , − x , x < 0. {displaystyle |x|={egin{cases}x,&x>0, ,&x=0,-x,& x<0.end{cases}}}При отрицательном x число −x как раз и получается положительным. Обобщением этого понятия является модуль, или абсолютная величина, комплексного числа z = x + i y . {displaystyle z=x+iy.} Это число определяется по формуле:
| z | = | x + i y | = x 2 + y 2 . {displaystyle |z|=|x+iy|={sqrt {x^{2}+y^{2}}}.}Основные свойства
С геометрической точки зрения, модуль вещественного или комплексного числа есть расстояние между числом и началом координат. В математике широко используется тот факт, что геометрически величина | x 1 − x 2 | {displaystyle |x_{1}-x_{2}|} означает расстояние между точками x 1 {displaystyle x_{1}} и x 2 {displaystyle x_{2}} и, таким образом, может быть использована как мера близости одной (вещественной или комплексной) величины к другой — например, в определении предела по Коши или медианы.
Вещественные числа
- Область определения: ( − ∞ ; + ∞ ) . {displaystyle (-infty ;+infty ).}
- Область значений: [ 0 ; + ∞ ) . {displaystyle [0;+infty ).}
- Функция чётная.
- Функция дифференцируема всюду, кроме нуля. В точке x = 0 {displaystyle x=0} функция претерпевает излом.
Комплексные числа
- Область определения: вся комплексная плоскость.
- Область значений: [ 0 ; + ∞ ) . {displaystyle [0;+infty ).}
- Модуль как комплексная функция не дифференцируема ни в одной точке, поскольку условия Коши-Римана не выполнены.
Алгебраические свойства
Для любых вещественных чисел a , b {displaystyle a,b} имеют место следующие соотношения:
- | x | = x 2 = x ⋅ sgn x = m a x { x , − x } {displaystyle |x|={sqrt {x^{2}}}=xcdot operatorname {sgn} x={ m {max}},{x,,-x}} (sgn — функция знака);
- a ⩽ | a | ; {displaystyle aleqslant |a|;}
- − | a | ⩽ a ; {displaystyle -|a|leqslant a;}
- квадрат модуля числа равен квадрату этого числа: | a | 2 = a 2 . {displaystyle |a|^{2}=a^{2}.}
Как для вещественных, так и для комплексных a , b {displaystyle a,b} имеют место соотношения:
- модуль любого числа равен либо больше нуля: | a | ⩾ 0 {displaystyle |a|geqslant 0} , причём | a | = 0 {displaystyle |a|=0} тогда и только тогда, когда a = 0 ; {displaystyle a=0;}
- модули противоположных чисел равны: | − a | = | a | ; {displaystyle |{-a}|=|a|;}
- модуль произведения двух (и более) чисел равен произведению их модулей: | a b | = | a | | b | ; {displaystyle |ab|=|a||b|;}
- в частности, постоянный положительный множитель можно выносить за знак модуля: | a b | = a | b | , a > 0 ; {displaystyle |ab|=a|b|,quad a>0;}
- модуль частного от деления двух чисел равен частному от деления модулей этих двух чисел: | a b | = | a | | b | ; {displaystyle left|{frac {a}{b}} ight|={frac {|a|}{|b|}};}
- | a + b | ⩽ | a | + | b | {displaystyle |a+b|leqslant |a|+|b|} (неравенство треугольника);
- | a − b | ⩽ | a | + | b | ; {displaystyle |a-b|leqslant |a|+|b|;}
- | a | − | b | ⩽ | a + b | ; {displaystyle |a|-|b|leqslant |a+b|;}
- | a ± b | ⩾ | | a | − | b | | ; {displaystyle |apm b|geqslant {ig |}|a|-|b|{ig |};}
- | a k | = | a | k , {displaystyle |a^{k}|=|a|^{k},} если a k {displaystyle a^{k}} существует.
История
Считают, что термин предложил использовать Котс, ученик Ньютона. Лейбниц тоже использовал эту функцию, которую называл модулем и обозначал: mol. Общепринятое обозначение абсолютной величины введено в 1841 году Вейерштрассом. Для комплексных чисел это понятие ввели Коши и Арган в начале XIX века.
В языках программирования
Поскольку эта функция вычисляется достаточно просто (а именно с помощью сравнений и присваиваний), то обычно она входит в стандартный список функций во все языки программирования. Например, в Pascal есть функция abs(x), а в C fabs(x) для вещественного типа. В программе Wolfram Mathematica: Abs[x].
Обобщение
Понятие абсолютной величины можно ввести в произвольном упорядоченном кольце или упорядоченном поле, и свойства её будут аналогичны приведённым выше.
Обобщением понятия модуля можно считать норму элемента многомерного векторного пространства, обозначаемую ‖ x ‖ {displaystyle |x|} . Норма вектора в евклидовом пространстве иногда тоже называется модулем. По аналогии с модулем разности чисел, норма разности двух векторов является мерой близости между ними. В отличие от модуля числа, норма вектора может определяться различными способами, однако в случае одномерного пространства норма вектора пропорциональна (часто и равна) модулю его единственной координаты.