Метрика Чебышёва

Метрика Чебышёва (также известная как равномерная метрика, метрика бесконечности, sup-метрика) — это метрика на векторном пространстве, определяющая расстояние между двумя точками как максимальную разницу их координат по всем измерениям. В отличие от евклидовой метрики, которая измеряет кратчайшее расстояние по прямой, метрика Чебышёва ориентируется на «наибольшее» отклонение, что делает её особенно полезной в задачах, где важна максимальная погрешность, а не средняя.

Определение

Пусть задано два вектора x = (x₁, x₂, …, xₙ) и y = (y₁, y₂, …, yₙ) в n-мерном вещественном пространстве ℝⁿ. Метрика Чебышёва d∞ определяется как:

d∞(x, y) = maxᵢ |xᵢ — yᵢ|, где i = 1, 2, …, n.

Иными словами, расстояние равно наибольшему из абсолютных значений разностей координат по всем измерениям. Для одномерного случая (n=1) метрика Чебышёва совпадает с обычной метрикой на числовой прямой: d∞(x, y) = |x — y|.

Свойства

Метрика Чебышёва удовлетворяет всем аксиомам метрики:

1. Неотрицательность: d∞(x, y) ≥ 0, причём d∞(x, y) = 0 тогда и только тогда, когда x = y.
2. Симметричность: d∞(x, y) = d∞(y, x).
3. Неравенство треугольника: d∞(x, z) ≤ d∞(x, y) + d∞(y, z).

Дополнительно, метрика Чебышёва является частным случаем метрики Lp (или метрики Минковского) при p → ∞. В метрике Lp расстояние определяется как (∑ᵢ |xᵢ — yᵢ|ᵖ)^(1/p). При стремлении p к бесконечности вклад в сумму вносит только наибольшее слагаемое, что и приводит к определению через максимум.

История

Метрика названа в честь русского математика Пафнутия Львовича Чебышёва (1821—1894). Чебышёв внёс фундаментальный вклад в теорию приближения функций, где ключевую роль играет оценка максимального отклонения аппроксимирующей функции от исходной. В частности, он разработал теорию наилучшего равномерного приближения, где критерием качества служит именно минимаксная норма (норма Чебышёва). Сама метрика как математический объект стала широко использоваться в функциональном анализе и теории метрических пространств в XX веке, хотя её идея восходит к работам Чебышёва 1850-х годов.

Геометрическая интерпретация

В двумерном пространстве (ℝ²) единичный шар в метрике Чебышёва (множество точек, расстояние от которых до начала координат не превышает 1) представляет собой квадрат со сторонами, параллельными осям координат, и длиной стороны 2. В трёхмерном пространстве — это куб. В общем случае, единичный шар в метрике Чебышёва — это n-мерный гиперкуб с центром в начале координат.

Эта геометрия отличается от евклидовой (круг/сфера) и манхэттенской (ромб). Визуально, если в евклидовой метрике «близкими» считаются точки, лежащие в пределах круга, то в метрике Чебышёва — точки, лежащие в пределах квадрата, ориентированного по осям.

Связь с другими метриками

Метрика Чебышёва является предельным случаем метрик Lp и занимает крайнее положение в спектре метрик. Для двух точек в ℝ²:

• Метрика L₁ (Манхэттенская): d₁ = |x₁ — y₁| + |x₂ — y₂|.
• Метрика L₂ (Евклидова): d₂ = √((x₁ — y₁)² + (x₂ — y₂)²).
• Метрика L∞ (Чебышёва): d∞ = max(|x₁ — y₁|, |x₂ — y₂|).

Для любого p ≥ 1 выполняется неравенство: d∞(x, y) ≤ dₚ(x, y) ≤ n^(1/p) · d∞(x, y). Это означает, что метрика Чебышёва даёт наименьшее значение расстояния среди всех метрик Lp для одних и тех же точек, а евклидова — промежуточное.

Применение

Теория приближения функций

Классическая область применения — оценка погрешности приближения. Если функция f(x) аппроксимируется многочленом P(x), то расстояние Чебышёва между ними на отрезке [a, b] определяется как max_{x∈[a,b]} |f(x) — P(x)|. Задача наилучшего равномерного приближения (минимаксная задача) заключается в нахождении такого многочлена, который минимизирует это расстояние. Многочлены Чебышёва играют здесь ключевую роль, так как они минимизируют максимальное отклонение от нуля на отрезке [-1, 1].

Вычислительная математика

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

Теория управления и робототехника

В задачах планирования движения и управления роботами метрика Чебышёва применяется, когда робот может двигаться по осям координат независимо (например, в декартовом пространстве). Расстояние Чебышёва соответствует времени, необходимому для перемещения, если скорости по каждой оси равны и максимальны. Например, движение шахматного короля по доске — это перемещение в метрике Чебышёва, так как он может двигаться на одну клетку по горизонтали, вертикали или диагонали.

Теория кодирования и передача данных

В теории кодов, исправляющих ошибки, метрика Чебышёва (также называемая метрикой Ли) используется для кодов, работающих с q-ичными символами. Расстояние между двумя кодовыми словами определяется как максимальное абсолютное различие по всем позициям. Это важно для систем, где ошибки могут быть не только двоичными (замена 0 на 1), но и амплитудными (изменение значения символа).

Анализ данных и машинное обучение

• Кластеризация: В некоторых алгоритмах кластеризации (например, K-средних) метрика Чебышёва может быть альтернативой евклидовой, если данные имеют «прямоугольную» структуру или если важны выбросы по отдельным признакам.
• Поиск ближайших соседей: В задачах классификации и регрессии метрика Чебышёва используется для определения «близости» объектов, когда все признаки считаются равноценными, но важна максимальная разница по любому из них.

Компьютерная графика и обработка изображений

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

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

• Метрика Чебышёва является одной из немногих метрик, для которых единичный шар является выпуклым многогранником (гиперкубом). Это делает её удобной для задач линейного программирования.
• В шахматах расстояние между двумя полями доски, измеренное в ходах короля, равно метрике Чебышёва. Например, расстояние от поля a1 до поля h8 равно 7 (максимум из 7 по горизонтали и 7 по вертикали).
• В функциональном анализе норма Чебышёва (равномерная норма) используется для пространства непрерывных функций C[a, b], где она определяет топологию равномерной сходимости.

Источники

• Колмогоров А. Н., Фомин С. В. Элементы теории функций и функционального анализа. — М.: Наука, 1976.
• Чебышёв П. Л. Избранные математические труды. — М.: Издательство АН СССР, 1955.
• Дзядык В. К. Введение в теорию равномерного приближения функций полиномами. — М.: Наука, 1977.
• Скворцов В. А. Примеры метрических пространств. — М.: МЦНМО, 2002.