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

Эта статья находится на начальном уровне проработки, в одной из её версий выборочно используется текст из источника, распространяемого под свободной лицензией
Материал из энциклопедии Руниверсалис

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

Определения

Метрическое пространство есть пара [math]\displaystyle{ (X,\;d) }[/math], где [math]\displaystyle{ X }[/math] — множество, а [math]\displaystyle{ d }[/math] — числовая функция, которая определена на декартовом произведении [math]\displaystyle{ X\times X }[/math], принимает значения в множестве неотрицательных вещественных чисел, и такова, что

  1. [math]\displaystyle{ d(x,y)=0\iff x=y }[/math] (аксиома тождества).
  2. [math]\displaystyle{ d(x,y)=d(y,x) }[/math] (аксиома симметрии).
  3. [math]\displaystyle{ d(x,z)\leqslant d(x,y)+d(y,z) }[/math] (аксиома треугольника или неравенство треугольника).

При этом

  • множество [math]\displaystyle{ X }[/math] называется подлежащим множеством метрического пространства.
  • элементы множества [math]\displaystyle{ X }[/math] называются точками метрического пространства.
  • функция [math]\displaystyle{ d }[/math] называется метрикой.

Замечания

  • Из аксиом следует неотрицательность функции расстояния, поскольку
    [math]\displaystyle{ 0=d(x,x)\leqslant d(x,y)+d(y,x)=2\cdot d(x,y) }[/math].
  • Если неравенство треугольника представить в виде
    [math]\displaystyle{ d(x,y)\leqslant d(x,z)+d(y,z) }[/math] для всех [math]\displaystyle{ x }[/math], [math]\displaystyle{ y }[/math] и [math]\displaystyle{ z }[/math],
тогда из аксиомы тождества и неравенства треугольника следует аксиома симметрии.
  • Эти условия выражают интуитивные понятия о концепции расстояния и поэтому называются аксиомами расстояния.[1] Например, что расстояние между различными точками положительно и расстояние от [math]\displaystyle{ x }[/math] до [math]\displaystyle{ y }[/math] то же самое, что и расстояние от [math]\displaystyle{ y }[/math] до [math]\displaystyle{ x }[/math]. Неравенство треугольника означает, что расстояние от [math]\displaystyle{ x }[/math] до [math]\displaystyle{ z }[/math] через [math]\displaystyle{ y }[/math] не меньше, чем прямо от [math]\displaystyle{ x }[/math] до [math]\displaystyle{ z }[/math].

Обозначения

Обычно расстояние между точками [math]\displaystyle{ x }[/math] и [math]\displaystyle{ y }[/math] в метрическом пространстве [math]\displaystyle{ M }[/math] обозначается [math]\displaystyle{ d(x,y) }[/math] или [math]\displaystyle{ \rho(x,y) }[/math].

  • В метрической геометрии принято обозначение [math]\displaystyle{ |xy| }[/math] или [math]\displaystyle{ |xy|_M }[/math], если необходимо подчеркнуть, что речь идёт о [math]\displaystyle{ M }[/math]. Также употребляются обозначения [math]\displaystyle{ |x-y| }[/math] и [math]\displaystyle{ |x-y|_M }[/math] (несмотря на то, что выражение [math]\displaystyle{ x-y }[/math] для точек [math]\displaystyle{ x }[/math] и [math]\displaystyle{ y }[/math] не имеет смысла).
  • В классической геометрии приняты обозначения [math]\displaystyle{ XY }[/math] или [math]\displaystyle{ |XY| }[/math] (точки обычно обозначают заглавными латинскими буквами).

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

  • Биекция между различными метрическими пространствами [math]\displaystyle{ (X,d_X) }[/math] и [math]\displaystyle{ (Y,d_Y) }[/math], сохраняющая расстояния, называется изометрией;
    • В этом случае пространства [math]\displaystyle{ (X,d_X) }[/math] и [math]\displaystyle{ (Y,d_Y) }[/math] называются изометричными.
  • Если [math]\displaystyle{ x_{n} \in X }[/math], [math]\displaystyle{ x \in X }[/math] и [math]\displaystyle{ d(x_{n}, x) \to 0 }[/math] при [math]\displaystyle{ n \to \infty }[/math], то говорят, что [math]\displaystyle{ x_{n} }[/math] сходится к [math]\displaystyle{ x }[/math]: [math]\displaystyle{ x_{n} \to x }[/math][2].
  • Если [math]\displaystyle{ M }[/math] подмножество множества [math]\displaystyle{ X }[/math], то, рассматривая сужение [math]\displaystyle{ d_M=d_X|_M }[/math] метрики [math]\displaystyle{ d_X }[/math] на множество [math]\displaystyle{ M }[/math], можно получить метрическое пространство [math]\displaystyle{ (M,d_M) }[/math], которое называется подпространством пространства [math]\displaystyle{ (X,d) }[/math].
  • Метрическое пространство называется полным, если любая фундаментальная последовательность в нём сходится к некоторому элементу этого пространства.

  • Метрика [math]\displaystyle{ d }[/math] на [math]\displaystyle{ M }[/math] называется внутренней, если любые две точки [math]\displaystyle{ x }[/math] и [math]\displaystyle{ y }[/math] в [math]\displaystyle{ M }[/math] можно соединить кривой с длиной, произвольно близкой к [math]\displaystyle{ d(x,y) }[/math].
    • Пространство называется геодезическим если любые две точки [math]\displaystyle{ x }[/math] и [math]\displaystyle{ y }[/math] в [math]\displaystyle{ M }[/math] можно соединить кривой с длиной, равной [math]\displaystyle{ d(x,y) }[/math].
  • Любое метрическое пространство обладает естественной топологией, базой для которой служит множество открытых шаров, то есть множеств следующего типа:
[math]\displaystyle{ B(x;r)=\{y\in M\mid d(x,y)\lt r\}, }[/math]
где [math]\displaystyle{ x }[/math] есть точка в [math]\displaystyle{ M }[/math] и [math]\displaystyle{ r }[/math] — положительное вещественное число, называемое радиусом шара. Иначе говоря, множество [math]\displaystyle{ O }[/math] является открытым, если вместе с любой своей точкой оно содержит открытый шар с центром в этой точке.
  • Две метрики, определяющие одну и ту же топологию, называются эквивалентными.
  • Топологическое пространство, которое может быть получено таким образом, называется метризируемым.
  • Расстояние [math]\displaystyle{ d(x,S) }[/math] от точки [math]\displaystyle{ x }[/math] до подмножества [math]\displaystyle{ S }[/math] в [math]\displaystyle{ M }[/math] определяется по формуле:
[math]\displaystyle{ d(x,S)=\inf\{d(x,s)\mid s\in S\} }[/math].
Тогда [math]\displaystyle{ d(x,S)=0 }[/math], только если [math]\displaystyle{ x }[/math] принадлежит замыканию [math]\displaystyle{ S }[/math].

Примеры

  • Дискретная метрика: [math]\displaystyle{ d(x,y)=0 }[/math], если [math]\displaystyle{ x=y }[/math], и [math]\displaystyle{ d(x,y)=1 }[/math] во всех остальных случаях.
  • Вещественные числа с функцией расстояния [math]\displaystyle{ d(x,\;y)=|y-x| }[/math] и евклидово пространство являются полными метрическими пространствами.
  • Расстояние городских кварталов: [math]\displaystyle{ d(\mathbf p,\mathbf q)=\|\mathbf p-\mathbf q\|=\sum_{i=1}^n|p_i-q_i| }[/math], где [math]\displaystyle{ \mathbf{p}=(p_1,p_2,\dots,p_n) }[/math], [math]\displaystyle{ \mathbf q=(q_1,q_2,\dots,q_n) }[/math] — векторы.
  • Пусть [math]\displaystyle{ F(X,Y) }[/math] — пространство непрерывных и ограниченных отображений из топологического пространства [math]\displaystyle{ X }[/math] в метрическое пространство [math]\displaystyle{ Y }[/math]. Расстояние между двумя отображениями [math]\displaystyle{ f_1 }[/math] и [math]\displaystyle{ f_2 }[/math] из этого пространства определяется как
    [math]\displaystyle{ d_F(f_1,f_2)=\sup\{d_Y(f_1(x),f_2(x))\colon x\in X\} }[/math].
Сходимость отображений по этой метрике равнозначна их равномерной сходимости на всём пространстве [math]\displaystyle{ X }[/math].
В частном случае, когда [math]\displaystyle{ X }[/math] — компактное пространство, [math]\displaystyle{ Y }[/math] — числовая прямая, получается пространство [math]\displaystyle{ C(X) }[/math] всех непрерывных функций на пространстве [math]\displaystyle{ X }[/math] с метрикой равномерной сходимости.
  • Пусть [math]\displaystyle{ L([a,b]) }[/math], [math]\displaystyle{ R([a,b]) }[/math], [math]\displaystyle{ C([a,b]) }[/math] — пространства функций на отрезке [math]\displaystyle{ [a,b] }[/math], соответственно интегрируемых по Лебегу, интегрируемых по Риману, и непрерывных. В них расстояние можно определить по формуле:
    [math]\displaystyle{ d(f_1,f_2)=\int\limits_a^b|f_1(x)-f_2(x)|\,dx. }[/math]
Для того, чтобы эта функция стала метрикой, в первых двух пространствах необходимо отождествить функции, отличающиеся на множестве меры 0. В противном случае эта функция будет всего лишь полуметрикой. (В пространстве функций, непрерывных на отрезке, функции, отличающиеся на множестве меры 0, и так совпадают.)
  • В пространстве [math]\displaystyle{ k }[/math] раз непрерывно дифференцируемых функций [math]\displaystyle{ C^k([a,b]) }[/math] метрика вводится по формуле:
    [math]\displaystyle{ d_k(f_1,f_2)=\max\{d_0(f_1,f_2),\;d_0(f'_1,f'_2),\;\ldots,\;d_0(f^{(k)}_1,f^{(k)}_2)\} }[/math],
где [math]\displaystyle{ d_0 }[/math] — метрика равномерной сходимости на [math]\displaystyle{ C([a,b]) }[/math] (см. выше).
[math]\displaystyle{ d(x,y)=\sum_{n=1}^\infty\frac1{2^n}\frac{p_n(x-y)}{1+p_n(x-y)} }[/math]
является метрикой, определяющей ту же топологию. (Можно заменить [math]\displaystyle{ \frac1{2^n} }[/math] на любую суммируемую последовательность [math]\displaystyle{ (a_n) }[/math] строго положительных чисел.)
  • Множество вершин любого связного графа [math]\displaystyle{ G }[/math] можно превратить в метрическое пространство, определив расстояние как минимальное число рёбер в пути, соединяющем вершины. Более общо: если каждому ребру графа приписать положительное число (длину ребра), расстояние между вершинами можно определить как минимальную сумму длин рёбер вдоль любых путей из одной вершины в другую.
  • Расстояние редактирования графа определяет функцию расстояния между графами.
  • Множество компактных подмножеств [math]\displaystyle{ K(M) }[/math] любого метрического пространства [math]\displaystyle{ M }[/math] можно превратить в метрическое пространство, определив расстояние с помощью так называемой метрики Хаусдорфа. В этой метрике два подмножества близки друг к другу, если для любой точки одного множества можно найти близкую точку в другом подмножестве. Вот точное определение:
[math]\displaystyle{ D(X,Y)=\inf\left\{r \; \left| \; \begin{matrix} \forall x\in X\;\exist y\in Y\colon d(x,y)\lt r\\\forall y\in Y\;\exists x\in X\colon d(x,y)\lt r \end{matrix} \right. \right\} }[/math].

Конструкции

  • Декартово произведение метрических пространств может быть наделено структурой метрического пространства многими способами, например:
    1. [math]\displaystyle{ d_{X\times Y}((x_1,y_1),(x_2,y_2))=d_X(x_1,x_2)+d_Y(y_1,y_2); }[/math]
    2. [math]\displaystyle{ d_{X\times Y}((x_1,y_1),(x_2,y_2))=\sqrt{d_X(x_1,x_2)^2+d_Y(y_1,y_2)^2}; }[/math]
    3. [math]\displaystyle{ d_{X\times Y}((x_1,y_1),(x_2,y_2))=\max\{d_X(x_1,x_2),d_Y(y_1,y_2)\}. }[/math]
Эти метрики эквивалентны друг другу.

Свойства

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

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

  • Для данного множества [math]\displaystyle{ M }[/math], функция [math]\displaystyle{ d\colon M\times M\to\R }[/math] называется псевдометрикой или полуметрикой на [math]\displaystyle{ M }[/math] если для любых точек [math]\displaystyle{ x,\;y,\;z }[/math] из [math]\displaystyle{ M }[/math] она удовлетворяет следующим условиям:
    1. [math]\displaystyle{ d(x,x)=0 }[/math];
    2. [math]\displaystyle{ d(x,y)=d(y,x) }[/math] (симметрия);
    3. [math]\displaystyle{ d(x,z)\leqslant d(x,y)+d(y,z) }[/math] (неравенство треугольника).
То есть, в отличие от метрики, различные точки в [math]\displaystyle{ M }[/math] могут находиться на нулевом расстоянии. Псевдометрика естественно определяет метрику на факторпространстве [math]\displaystyle{ M/{\sim} }[/math], где [math]\displaystyle{ x\sim y\iff d(x,y)=0 }[/math].
  • Для данного множества [math]\displaystyle{ M }[/math] функция [math]\displaystyle{ d\colon M\times M\to\R }[/math] называется квазиметрикой, если для любых точек [math]\displaystyle{ x }[/math], [math]\displaystyle{ y }[/math], [math]\displaystyle{ z }[/math] из [math]\displaystyle{ M }[/math] она удовлетворяет следующим условиям:
    1. [math]\displaystyle{ d(x,x)=0 }[/math];
    2. [math]\displaystyle{ d(x,y)\leqslant c\cdot d(y,x) }[/math] (квазисимметрия);
    3. [math]\displaystyle{ d(x,z)\leqslant c\cdot (d(x,y)+d(y,z)) }[/math] (обобщённое неравенство треугольника).
  • Метрика на пространстве называется ультраметрикой, если она удовлетворяет сильному неравенству треугольника:
    Для всех [math]\displaystyle{ x }[/math], [math]\displaystyle{ y }[/math] и [math]\displaystyle{ z }[/math] в [math]\displaystyle{ M }[/math] [math]\displaystyle{ d(x,z)\leqslant\max(d(x,y),d(y,z)) }[/math].
  • Иногда удобно рассматривать [math]\displaystyle{ \infty }[/math]-метрики, то есть метрики со значениями [math]\displaystyle{ [0;\infty] }[/math]. Для любой [math]\displaystyle{ \infty }[/math]-метрики можно построить конечную метрику, которая определяет ту же топологию. Например,
    [math]\displaystyle{ d'(x,y)=\frac{d(x,y)}{1+d(x,y)} }[/math] или [math]\displaystyle{ d''(x,y)=\min{(1,d(x,y))}. }[/math]
Также, для любой точки [math]\displaystyle{ x }[/math] такого пространства, множество точек, находящихся от неё на конечном расстоянии, образует обычное метрическое пространство, называемое метрической компонентой [math]\displaystyle{ x }[/math]. В частности, любое пространство с [math]\displaystyle{ \infty }[/math]-метрикой можно рассматривать как набор обычных метрических пространств и определить расстояние между любой парой точек в разных пространствах равным [math]\displaystyle{ \infty }[/math].
  • Иногда квазиметрика определяется как функция, удовлетворяющая всем аксиомам для метрики за возможным исключением симметрии[3][4]. Название этого обобщения не вполне устоялось[5]. В своей книге Смит[4] называет их «полуметриками». Тот же термин используется часто также для двух других обобщений метрик.
    1. [math]\displaystyle{ d(x,y)\geqslant0 }[/math] (положительность)
    2. [math]\displaystyle{ d(x,y)=0\iff x=y }[/math] (положительная определённость)
    3. d(x, y)=d(y, x) (симметрия вычеркнута)
    4. [math]\displaystyle{ d(x,z)\leqslant d(x,y)+d(y,z) }[/math] (неравенство треугольника)
Примеры квазиметрики встречаются в реальной жизни. Например, если дано множество [math]\displaystyle{ X }[/math] горных сёл, время прогулки между элементами [math]\displaystyle{ X }[/math] образует квазиметрику, поскольку восхождение вверх занимает больше времени, чем спуск вниз. Другим примером является топология городских кварталов, имеющих улицы с односторонним движением, когда путь из точки [math]\displaystyle{ A }[/math] в точку [math]\displaystyle{ B }[/math] состоит из различного набора улиц по сравнению с путём из [math]\displaystyle{ B }[/math] в [math]\displaystyle{ A }[/math].
  • В метаметрике все аксиомы метрики выполняются, за исключением того, что расстояние между идентичными точками не обязательно равно нулю. Другими словами, аксиомами для метаметрики являются:
    1. [math]\displaystyle{ d(x,y)\geqslant0 }[/math]
    2. из [math]\displaystyle{ d(x,y)=0 }[/math] следует [math]\displaystyle{ x=y }[/math] (но не наоборот.)
    3. [math]\displaystyle{ d(x,y)=d(y,x) }[/math]
    4. [math]\displaystyle{ d(x,z)\leqslant d(x,y)+d(y,z) }[/math].
Метаметрики появляются при изучении гиперболических метрических пространств Громова и их границ. Визуальная метаметрика на таком пространстве удовлетворяет равенству [math]\displaystyle{ d(x,x)=0 }[/math] для точек [math]\displaystyle{ x }[/math] на границе, но в противном случае [math]\displaystyle{ d(x,x) }[/math] примерно равно расстоянию от [math]\displaystyle{ x }[/math] до границы. Метаметрики первым определил Юсси Вяйсяля[6].
  • Ослабление последних трёх аксиом ведёт к понятию преметрики, то есть функции, удовлетворяющей условиям:
    1. [math]\displaystyle{ d(x,y)\geqslant0 }[/math]
    2. [math]\displaystyle{ d(x,x)=0 }[/math]
Термин не устоялся, иногда он используется для обобщения других метрик, таких как псевдополуметрики[7] или псевдометрики[8]. В русскоязычной литературе (и в переводах с русского) этот термин иногда появляется как «праметрика»[9][10].
Любая преметрика приводит к топологии следующим образом. Для положительного вещественного [math]\displaystyle{ r }[/math] определяется [math]\displaystyle{ r }[/math]-шар с центром в точке [math]\displaystyle{ p }[/math] как
[math]\displaystyle{ B_r(p)=\{x\mid d(x,p)\lt r\} }[/math]. Множество называется открытым, если для любой точки [math]\displaystyle{ p }[/math] в множестве существует [math]\displaystyle{ r }[/math]-шар с центром в [math]\displaystyle{ p }[/math], который содержится в множестве. Любое преметрическое пространство является топологическим пространством и, фактически, секвенциальным пространством[англ.]. В общем случае сами [math]\displaystyle{ r }[/math]-шары не обязаны быть открытыми множествами согласно этой топологии. Как и для метрик, расстояние между двумя множествами [math]\displaystyle{ A }[/math] и [math]\displaystyle{ B }[/math] определяется как
[math]\displaystyle{ d(A,B)=\inf_{x\in A,\;y\in B}d(x,y) }[/math].
Это определяет преметрику на булеане преметрического пространства. Если мы начинаем с (псевдополу-)метрического пространства, мы получим псевдополуметрику, то есть, симметричную преметрику. Любая преметрика приводит к оператору предзамыкания[англ.] [math]\displaystyle{ \operatorname{cl} }[/math]:
[math]\displaystyle{ \operatorname{cl}(A)=\{x\mid d(x,A)=0\} }[/math].
  • Префиксы псевдо-, квази- и полу- могут комбинироваться, например, псевдоквазиметрика (иногда называемая гемиметрикой) ослабляет как аксиому неразличимости, так и аксиому симметрии, и является просто преметрикой, удовлетворяющей неравенству треугольника. Для псевдоквазиметрических пространств открытые [math]\displaystyle{ r }[/math]-шары образуют базис открытых множеств. Простейшим примером псевдоквазиметрического пространства служит множество [math]\displaystyle{ \{0,1\} }[/math] с преметрикой, задаваемой функцией [math]\displaystyle{ d }[/math], такой что [math]\displaystyle{ d(0,1)=1 }[/math] и [math]\displaystyle{ d(1,0)=0 }[/math]. Ассоциированное топологическое пространство является пространством Серпинского.
Множества, оснащённые расширенной псевдоквазиметрикой, изучал Уильям Ловер как «обобщённые метрические пространства»[11][12]. С категорной точки зрения расширенные псевдометрические пространства и расширенные псевдоквазиметрические пространства вместе с их соответствующими нерасширяющимися отображениями лучше всего ведут себя на категориях метрических пространств. Можно взять произвольные произведения и копроизведения и образовать фактор-объект с данной категорией. Если опустить слово «расширенная», можно взять только конечные произведения и копроизведения. Если опустить «псевдо», нельзя будет получить фактор-объекты. Пространства подходов[англ.] являются обобщением метрических пространств, учитывающим эти хорошие категориальные свойства.
  • Линейное пространство [math]\displaystyle{ V(F) }[/math] называется линейным метрическим пространством, если в нём задано расстояние между его элементами и алгебраические операции непрерывны в его метрике, т. е.[2]:
    1. [math]\displaystyle{ x_{n} \to x, y_{n} \to y \Rightarrow x_{n} + y_{n} \to x + y }[/math]
    2. [math]\displaystyle{ x_{n} \to x, \lambda_{n} \to \lambda \Rightarrow \lambda_{n} x_{n} \to \lambda x }[/math]
    • Пример: Линейное пространство всех комплексных последовательностей можно превратить в линейное метрическое пространство при помощи введения расстояния между его элементами с помощью формулы:
      [math]\displaystyle{ d(x, y) = \sum_{i=1}^{\infty} \frac{1}{2^{i}}\frac{|x_{i} - y_{i}|}{1+ |x_{i} - y_{i}|} }[/math]
  • Гиперметрическое пространство — метрическое пространство в котором выполнены гиперметрические неравенства. То есть,
    [math]\displaystyle{ \sum_{i\lt j}b_i\cdot b_j\cdot |x_i-x_j|\le 0 }[/math]
для любых точек [math]\displaystyle{ x_1,\dots,x_n }[/math] и целых чисел [math]\displaystyle{ b_1,\dots,b_n }[/math] таких, что [math]\displaystyle{ \sum b_i=1 }[/math].[13]
  • Заметим, что при [math]\displaystyle{ b_1=b_2=1 }[/math] и [math]\displaystyle{ b_3=-1 }[/math], гиперметрическое неравенство преврящается в обычное неравенство треугольника
[math]\displaystyle{ |x_1-x_2|-|x_1-x_3|-|x_2-x_3|\le 0. }[/math]

История

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

Примечания

  1. Кудрявцев Л. Д. Математический анализ. II том. — М., Высшая школа, 1970. — с. 296
  2. 2,0 2,1 Крейн С. Г. Функциональный анализ. — М., Наука, 1972. — с. 22-24
  3. Steen, Seebach, 1995.
  4. 4,0 4,1 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. M. M. Deza, M. Laurent, Geometry of cuts and metrics, Algorithms and Combinatorics, 15, Springer-Verlag, Berlin, 1997.
  14. Fréchet M. Sur quelques points du calcul fonctionnel. — Rendiconti del Circolo Matematico di Palermo. — 1906. — 22. — pp. 1—74.

Литература

Ссылки