Абсолютное значение числа¶
Абсолютное значение — величина, численно равная модулю числа, то есть расстояние от точки, изображающей число на числовой прямой, до начала координат (нуля). Абсолютное значение неотрицательно и не уменьшается при удалении от нуля в любую сторону. В математике обозначается вертикальными чертами: |a|.
¶Определение
Для действительного числа a абсолютное значение определяется кусочно:
- |a| = a, если a ≥ 0;
- |a| = −a, если a < 0.
Например, |5| = 5, |−7| = 7, |0| = 0. Геометрически |a| — это длина отрезка между точкой a и нулём на числовой прямой, поэтому величина всегда неотрицательна.
¶Свойства
Абсолютное значение обладает рядом важных свойств:
- Неотрицательность: |a| ≥ 0 для любого действительного числа a.
- Нулевое значение: |a| = 0 тогда и только тогда, когда a = 0.
- Чётность функции: |−a| = |a| — абсолютное значение чётная функция.
- Произведение: |a · b| = |a| · |b|.
- Частное: |a / b| = |a| / |b| при b ≠ 0.
- Неравенство треугольника: |a + b| ≤ |a| + |b|; более точно — |a + b| ≥ ||a| − |b||.
- Сравнение: |a| < b (при b > 0) равносильно неравенству −b < a < b.
Последнее свойство широко применяется при решении неравенств с модулем: |x − 3| < 5 эквивалентно −2 < x < 8.
¶Связь с расстоянием
Абсолютное значение разности двух чисел |a − b| равно расстоянию между точками a и b на числовой прямой. На этой геометрической интерпретации строится определение предела по Коши: последовательность {xₙ} стремится к пределу a, если |xₙ − a| может стать сколь угодно малым при достаточно больших n.
¶Обобщения
¶Комплексные числа
Для комплексного числа z = x + iy абсолютное значение (модуль) определяется как |z| = √(x² + y²) — расстояние от точки (x, y) на комплексной плоскости до начала координат. Свойство |z₁ · z₂| = |z₁| · |z₂| сохраняется, а неравенство треугольника |z₁ + z₂| ≤ |z₁| + |z₂| выполняется для любых комплексных чисел.
¶Векторы
Для вектора a = (a₁, a₂, a₃) модуль (длина) вычисляется как |a| = √(a₁² + a₂² + a₃²). Это обобщение евклидовой нормы, согласующееся с определением модуля действительного числа как расстояния до нуля.
¶Абстрактные нормы
В линейной алгебре абсолютное значение обобщается до понятия нормы — функции, удовлетворяющей аксиомам положительной определённости, однородности и неравенства треугольника. Примеры: чебышёвская норма (максимум модулей компонент), Lᵖ-нормы, норма Фробениуса для матриц.
¶Применение
Абсолютное значение используется во многих разделах математики и смежных дисциплин:
- Анализ: определение непрерывности и предела через ε-δ критерий;
- Алгебра: решение модульных уравнений и неравенств;
- Теория чисел: функция |a| лежит в основе определения делимости и кольца целых чисел;
- Физика и инженерия: вычисление амплитуды колебаний, модуля векторов скоростей и сил;
- Программирование: встроенные функции abs() и fabs() в языках C, C++, Java, Python и других.
В информатике часто требуется найти абсолютную разность |a − b| двух чисел, не используя условие — эта задача решается формулой (a − b)² под квадратным корнем или через побитовые операции.
¶История
Символ |a| для обозначения абсолютного значения ввёл немецкий математик Карл Вейерштрасс в XIX веке. Ранее для этой цели использовались другие обозначения, например, Mod a или a с чертой сверху.
¶Источники
- Кудрявцев Л. Д. Курс математического анализа
- Ильин В. А., Позняк Э. Г. Основы математического анализа
- Прасолов В. В. Задачи и теоремы линейной алгебры
- Гмурман В. Е. Руководство по решению задач по математическому анализу