Метрическое пространство

Метри́ческим простра́нством называется непустое множество, в котором между любой парой элементов, обладающих определенными свойствами, определено расстояние, называемое ме́трикой.

Определения

Метрическое пространство есть пара , где  — множество, а  — числовая функция, которая определена на декартовом произведении , принимает значения в множестве неотрицательных вещественных чисел, и такова, что

  1. (аксиома тождества).
  2. (аксиома симметрии).
  3. (аксиома треугольника или неравенство треугольника).

При этом

  • множество называется подлежащим множеством метрического пространства.
  • элементы множества называются точками метрического пространства.
  • функция называется метрикой.

Замечания

  • Из аксиом следует неотрицательность функции расстояния, поскольку
    .
  • Если неравенство треугольника представить в виде
    для всех , и ,
тогда из аксиомы тождества и неравенства треугольника следует аксиома симметрии.
  • Эти условия выражают интуитивные понятия о концепции расстояния и поэтому называются аксиомами расстояния.[1] Например, что расстояние между различными точками положительно и расстояние от до то же самое, что и расстояние от до . Неравенство треугольника означает, что расстояние от до через не меньше, чем прямо от до .

Обозначения

Обычно расстояние между точками и в метрическом пространстве обозначается или .

  • В метрической геометрии принято обозначение или , если необходимо подчеркнуть, что речь идёт о . Также употребляются обозначения и (несмотря на то, что выражение для точек и не имеет смысла).
  • В классической геометрии приняты обозначения или (точки обычно обозначают заглавными латинскими буквами).

Связанные определения

  • Биекция между различными метрическими пространствами и , сохраняющая расстояния, называется изометрией;
    • В этом случае пространства и называются изометричными.
  • Если , и при , то говорят, что сходится к : [2].
  • Если подмножество множества , то, рассматривая сужение метрики на множество , можно получить метрическое пространство , которое называется подпространством пространства .
  • Метрическое пространство называется полным, если любая фундаментальная последовательность в нём сходится к некоторому элементу этого пространства.

  • Метрика на называется внутренней, если любые две точки и в можно соединить кривой с длиной, произвольно близкой к .
    • Пространство называется геодезическим если любые две точки и в можно соединить кривой с длиной, равной .
  • Любое метрическое пространство обладает естественной топологией, базой для которой служит множество открытых шаров, то есть множеств следующего типа:
где есть точка в и  — положительное вещественное число, называемое радиусом шара. Иначе говоря, множество является открытым, если вместе с любой своей точкой оно содержит открытый шар с центром в этой точке.
  • Две метрики, определяющие одну и ту же топологию, называются эквивалентными.
  • Топологическое пространство, которое может быть получено таким образом, называется метризируемым.
  • Расстояние от точки до подмножества в определяется по формуле:
.
Тогда , только если принадлежит замыканию .

Примеры

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

Конструкции

  • Декартово произведение метрических пространств может быть наделено структурой метрического пространства многими способами, например:
Эти метрики эквивалентны друг другу.

Свойства

  • Метрическое пространство компактно тогда и только тогда, когда из любой последовательности точек можно выбрать сходящуюся подпоследовательность (секвенциальная компактность).
  • Метрическое пространство может не иметь счётной базы, но всегда удовлетворяет первой аксиоме счётности — имеет счётную базу в каждой точке.
    • Более того, каждый компакт в метрическом пространстве имеет счётную базу окрестностей.
    • Сверх того, в каждом метрическом пространстве существует такая база, что каждая точка пространства принадлежит лишь счётному множеству её элементов — точечно-счётная база (но это свойство слабее метризуемости даже в присутствии паракомпактности и хаусдорфовости).
  • метрические пространства с короткие отображениями образуют категорию, обычно обозначаемую Met.

Вариации и обобщения

  • Для данного множества , функция называется псевдометрикой или полуметрикой на если для любых точек из она удовлетворяет следующим условиям:
    1. ;
    2. (симметрия);
    3. (неравенство треугольника).
То есть, в отличие от метрики, различные точки в могут находиться на нулевом расстоянии. Псевдометрика естественно определяет метрику на факторпространстве , где .
  • Для данного множества функция называется квазиметрикой, если для любых точек , , из она удовлетворяет следующим условиям:
    1. ;
    2. (квазисимметрия);
    3. (обобщённое неравенство треугольника).
  • Метрика на пространстве называется ультраметрикой, если она удовлетворяет сильному неравенству треугольника:
    Для всех , и в .
  • Иногда удобно рассматривать -метрики, то есть метрики со значениями . Для любой -метрики можно построить конечную метрику, которая определяет ту же топологию. Например,
    или
Также, для любой точки такого пространства, множество точек, находящихся от неё на конечном расстоянии, образует обычное метрическое пространство, называемое метрической компонентой . В частности, любое пространство с -метрикой можно рассматривать как набор обычных метрических пространств и определить расстояние между любой парой точек в разных пространствах равным .
  • Иногда квазиметрика определяется как функция, удовлетворяющая всем аксиомам для метрики за возможным исключением симметрии[3][4]. Название этого обобщения не вполне устоялось[5]. В своей книге Смит[4] называет их «полуметриками». Тот же термин используется часто также для двух других обобщений метрик.
    1. (положительность)
    2. (положительная определённость)
    3. d(x, y)=d(y, x) (симметрия вычеркнута)
    4. (неравенство треугольника)
Примеры квазиметрики встречаются в реальной жизни. Например, если дано множество горных сёл, время прогулки между элементами образует квазиметрику, поскольку восхождение вверх занимает больше времени, чем спуск вниз. Другим примером является топология городских кварталов, имеющих улицы с односторонним движением, когда путь из точки в точку состоит из различного набора улиц по сравнению с путём из в .
  • В метаметрике все аксиомы метрики выполняются, за исключением того, что расстояние между идентичными точками не обязательно равно нулю. Другими словами, аксиомами для метаметрики являются:
    1. из следует (но не наоборот.)
    2. .
Метаметрики появляются при изучении гиперболических метрических пространств Громова и их границ. Визуальная метаметрика на таком пространстве удовлетворяет равенству для точек на границе, но в противном случае примерно равно расстоянию от до границы. Метаметрики первым определил Юсси Вяйсяля[6].
  • Ослабление последних трёх аксиом ведёт к понятию преметрики, то есть функции, удовлетворяющей условиям:
Термин не устоялся, иногда он используется для обобщения других метрик, таких как псевдополуметрики[7] или псевдометрики[8]. В русскоязычной литературе (и в переводах с русского) этот термин иногда появляется как «праметрика»[9][10].
Любая преметрика приводит к топологии следующим образом. Для положительного вещественного определяется -шар с центром в точке как
. Множество называется открытым, если для любой точки в множестве существует -шар с центром в , который содержится в множестве. Любое преметрическое пространство является топологическим пространством и, фактически, секвенциальным пространством. В общем случае сами -шары не обязаны быть открытыми множествами согласно этой топологии. Как и для метрик, расстояние между двумя множествами и определяется как
.
Это определяет преметрику на булеане преметрического пространства. Если мы начинаем с (псевдополу-)метрического пространства, мы получим псевдополуметрику, то есть, симметричную преметрику. Любая преметрика приводит к оператору предзамыкания :
.
  • Префиксы псевдо-, квази- и полу- могут комбинироваться, например, псевдоквазиметрика (иногда называемая гемиметрикой) ослабляет как аксиому неразличимости, так и аксиому симметрии, и является просто преметрикой, удовлетворяющей неравенству треугольника. Для псевдоквазиметрических пространств открытые -шары образуют базис открытых множеств. Простейшим примером псевдоквазиметрического пространства служит множество с преметрикой, задаваемой функцией , такой что и . Ассоциированное топологическое пространство является пространством Серпинского.
Множества, оснащённые расширенной псевдоквазиметрикой, изучал Уильям Ловер как «обобщённые метрические пространства»[11][12]. С категорной точки зрения расширенные псевдометрические пространства и расширенные псевдоквазиметрические пространства вместе с их соответствующими нерасширяющимися отображениями лучше всего ведут себя на категориях метрических пространств. Можно взять произвольные произведения и копроизведения и образовать фактор-объект с данной категорией. Если опустить слово «расширенная», можно взять только конечные произведения и копроизведения. Если опустить «псевдо», нельзя будет получить фактор-объекты. Пространства подходов являются обобщением метрических пространств, учитывающим эти хорошие категориальные свойства.

Линейное метрическое пространство

Линейное пространство называется линейным метрическим пространством, если в нём задано расстояние между его элементами и алгебраические операции непрерывны в его метрике, т. е.[2]:

Пример:

  • Линейное пространство всех комплексных последовательностей можно превратить в линейное метрическое пространство при помощи введения расстояния между его элементами с помощью формулы:

История

Морис Фреше впервые ввёл понятие метрического пространства[13] в связи с рассмотрением функциональных пространств.

Примечания

  1. Кудрявцев Л. Д. Математический анализ. II том. — М., Высшая школа, 1970. — с. 296
  2. Крейн С. Г. Функциональный анализ. — М., Наука, 1972. — с. 22-24
  3. Steen, Seebach, 1995.
  4. Smyth, 1987, с. 236–253.
  5. Rolewicz, 1987.
  6. Väisälä, 2005, с. 187–231.
  7. Булдыгин, Козаченко, 1998.
  8. Хелемский, 2004.
  9. Архангельский, Федорчук, 1988, с. 30.
  10. Pereira, Aldrovandi, 1995.
  11. Lawvere, 2002, с. 1–37.
  12. Vickers, 2005, с. 328–356.
  13. Fréchet M. Sur quelques points du calcul fonctionnel. — Rendiconti del Circolo Matematico di Palermo. — 1906. — 22. — pp. 1—74.

Литература

Ссылки

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.