Espacio métrico

${displaystyle M_{2}$

${displaystyle f(M_{1})}$

Nociones de equivalencia de espacio métrico

Dados dos espacios métricos ${displaystyle (M_{1},d_{1})}$ y ${displaystyle (M_{2},d_{2}}$:

• Se llaman homeomorfo (topológicamente isomorfo) si hay un homeomorfismo entre ellos (es decir, una bijección continua con un inverso continuo). Si ${displaystyle M_{1}=M_{2}$ y el mapa de identidad es un homeomorfismo, entonces ${displaystyle D_{1}$ y ${displaystyle D_{2}$ se dice que topológicamente equivalente.
• Se llaman uniforme (uniformemente isomorfo) si hay un isomorfismo uniforme entre ellos (es decir, una bijección uniformemente continua con un inverso uniformemente continuo).
• Se llaman bilipschitz homeomorfo si hay una bilipschitz bijection entre ellos (es decir, una bijeción de Lipschitz con un inverso de Lipschitz).
• Se llaman isométrica si hay una isometría (bijetiva) entre ellos. En este caso, los dos espacios métricos son esencialmente idénticos.
• Se llaman quasi-isometric si hay una cuasi-isometry entre ellos.

Espacios métricos con estructura adicional

Espacios vectoriales normados

Un espacio vectorial normal es un espacio vectorial equipado con un norma, que es una función que mide la longitud de los vectores. La norma de un vector v es generalmente denotado por ${displaystyle lVert vr Vert$. Cualquier espacio vectorial normal se puede equipar con una métrica en la que la distancia entre dos vectores x y Sí. es dado por

$${displaystyle d(x,y)=lVert x-yr Vert.$$

${displaystyle lVert {cdot}r Vert$

• traducción invariante: ${displaystyle d(x,y)=d(x+a,y+a)}$ para todos x, Sí., y a dentro X; y
• absolutamente homogénea: ${displaystyle d(alpha x,alpha y)= soportealpha detainedd(x,y)}$ para todos x y Sí. dentro X y número real α;

entonces es la métrica inducida por la norma

$${displaystyle lVert xrVert =d(x,0).}$$

Entre los ejemplos de métricas inducidas por una norma son las métricas d₁, d₂, y d_JUEGO on ${displaystyle mathbb {R} {2}}$, que son inducidos por la norma de Manhattan, la norma Euclidea y la norma máxima, respectivamente. Más generalmente, la incrustación de Kuratowski permite ver cualquier espacio métrico como un subespacio de un espacio vectorial normalizado.

Los espacios vectoriales normados de dimensión infinita, en particular los espacios de funciones, se estudian en el análisis funcional. La completitud es particularmente importante en este contexto: un espacio vectorial normado completo se conoce como espacio de Banach. Una propiedad inusual de los espacios vectoriales normados es que las transformaciones lineales entre ellos son continuas si y solo si son de Lipschitz. Tales transformaciones se conocen como operadores acotados.

Espacio de longitud

Una posible aproximación para la longitud del arco de una curva. Observe que la aproximación nunca es más larga que la longitud del arco, justificando la definición de longitud del arco como supremum.

Una curva en un espacio métrico ()M, d) es una función continua ${displaystyle gamma:[0,T]to M.$. La longitud γ se mide por

$${displaystyle L(gamma)=sup - ¿Por qué?$$

A espacio métrico geodésico es un espacio métrico que admite una geodésica entre cualquiera de sus dos puntos. Los espacios ${displaystyle (mathbb {R} {2},d_{1})}$ y ${displaystyle (mathbb {R} {2},d_{2}}$ ambos son espacios métricos geodésicos. In ${displaystyle (mathbb {R} {2},d_{2}}$, la geodésica es única, pero en ${displaystyle (mathbb {R} {2},d_{1})}$, a menudo hay infinitamente mucha geodésica entre dos puntos, como se muestra en la figura en la parte superior del artículo.

El espacio M es un espacio de longitud (o la métrica d es intrínseco) si la distancia entre dos puntos x y y es el mínimo de las longitudes de los caminos entre ellos. A diferencia de un espacio métrico geodésico, no es necesario alcanzar el mínimo. Un ejemplo de un espacio de longitud que no es geodésico es el plano euclidiano menos el origen: los puntos (1, 0) y (-1, 0) se pueden unir por caminos de longitud arbitrariamente cercana a 2, pero no por un camino de longitud 2. Un ejemplo de un espacio métrico que no es un espacio de longitud está dado por la métrica de línea recta en la esfera: la línea recta entre dos puntos a través del centro de la tierra es más corta que cualquier camino a lo largo de la superficie.

Dado cualquier espacio métrico ()M, d), uno puede definir una nueva función de distancia intrínseca d_intrínseco on M estableciendo la distancia entre puntos x y Sí. ser infimum del d- longitudes de caminos entre ellos. Por ejemplo, si d es la distancia recta en la esfera, entonces d_intrínseco es la distancia de gran círculo. Sin embargo, en algunos casos d_intrínseco puede tener valores infinitos. Por ejemplo, si M es el copo de nieve Koch con la métrica subespacial d inducido del ${displaystyle mathbb {R} {2}}$, entonces la distancia intrínseca resultante es infinita para cualquier par de puntos distintos.

Variedades de Riemann

Un manifold Riemanniano es un espacio equipado con un tensor métrico Riemanniano, que determina longitudes de vectores tangentes en cada punto. Esto se puede pensar en definir una noción de distancia infinitamente. En particular, un camino diferente ${displaystyle gamma:[0,T]to M.$ en un manifold Riemanniano M tiene longitud definida como la parte integral de la longitud del vector tangente al camino:

$${displaystyle L(gamma)=int ¿Qué?$$

La métrica de Riemann está determinada únicamente por la función de distancia; esto significa que, en principio, toda la información sobre una variedad de Riemann se puede recuperar a partir de su función de distancia. Una dirección en la geometría métrica es encontrar formulaciones puramente métricas ("sintéticas") de las propiedades de las variedades de Riemann. Por ejemplo, una variedad de Riemann es un espacio CAT(k) (una condición sintética que depende puramente de la métrica) si y solo si su curvatura seccional está limitada arriba por k. Por lo tanto, los espacios CAT(k) generalizan los límites de la curvatura superior a los espacios métricos generales.

Espacios de medidas métricas

El análisis real hace uso tanto de la métrica en ${displaystyle mathbb {R} {} {}} {fn}}$ y la medida Lebesgue. Por lo tanto, las generalizaciones de muchas ideas de análisis residen naturalmente en espacios de medida métrica: espacios que tienen una medida y una métrica que son compatibles entre sí. Formally, a Medición métrica del espacio es un espacio métrico equipado con una medida regular Borel tal que cada bola tiene una medida positiva. Por ejemplo, espacios euclidianos de dimensión n, y más generalmente n-dimensional Manifolds riemannianos, naturalmente tienen la estructura de un espacio de medida métrica, equipado con la medida Lebesgue. Ciertos espacios métricos fractales como el gaseoso Sierpiński pueden equiparse con la medida Hausdorff α-dimensional donde α es la dimensión Hausdorff. En general, sin embargo, un espacio métrico puede no tener una opción "obvia" de medida.

Una aplicación de los espacios de medidas métricas es generalizar la noción de curvatura de Ricci más allá de las variedades de Riemann. Así como CAT(k) y los espacios de Alexandrov generalizan límites de curvatura escalar, los espacios RCD son una clase de espacios de medidas métricas que generalizan límites inferiores en la curvatura de Ricci.

Más ejemplos y aplicaciones

Grafos y espacios métricos finitos

A el espacio métrico es discreto si su topología inducida es la topología discreta. Aunque muchos conceptos, como completitud y compacidad, no son interesantes para tales espacios, sin embargo, son objeto de estudio en varias ramas de las matemáticas. En particular, espacios métricos finitos (los que tienen un número finito de puntos) se estudian en combinatoria e informática teórica. Las incrustaciones en otros espacios métricos están particularmente bien estudiadas. Por ejemplo, no todos los espacios métricos finitos se pueden incrustar isométricamente en un espacio euclidiano o en un espacio de Hilbert. Por otro lado, en el peor de los casos, la distorsión requerida (constante de bilipschitz) es solo logarítmica en el número de puntos.

Para cualquier gráfico conectado no dirigido G, el conjunto V de los vértices de G se puede convertir en un espacio métrico definiendo la distancia entre los vértices < span class="texhtml mvar" style="font-style:italic;">x y y para ser la longitud del camino de borde más corto que los conecta. Esto también se denomina distancia del camino más corto o distancia geodésica. En la teoría de grupos geométricos, esta construcción se aplica al gráfico de Cayley de un grupo generado finitamente (típicamente infinito), lo que da como resultado la palabra métrica. Salvo un homeomorfismo de bilipschitz, la palabra métrica depende solo del grupo y no del conjunto generador finito elegido.

Distancias entre objetos matemáticos

En las matemáticas modernas, a menudo se estudian espacios cuyos puntos son en sí mismos objetos matemáticos. Una función de distancia en dicho espacio generalmente tiene como objetivo medir la diferencia entre dos objetos. Aquí hay unos ejemplos:

• Funciones a un espacio métrico. Si X es cualquier conjunto y M es un espacio métrico, entonces el conjunto de todas las funciones atadas ${displaystyle fcolon Xto M}$ (es decir, aquellas funciones cuya imagen es un subconjunto atado de ${displaystyle M}$) se puede convertir en un espacio métrico definiendo la distancia entre dos funciones vinculadas f y g para ser
  $${displaystyle d(f,g)=sup _{xin X}d(f(x),g(x)). }$$

  
  Esta métrica se llama la métrica uniforme o supremum. Si M está completo, entonces este espacio de función también está completo; además, si X es también un espacio topológico, entonces el subespacio que consiste de todas las funciones continuas atadas de X a M también está completo. Cuando X es un subespacio ${displaystyle mathbb {R} {} {}} {fn}}$, este espacio de función se conoce como un espacio clásico de Wiener.
• Montar métricas y editar distancias. Hay muchas maneras de medir distancias entre cadenas de caracteres, que pueden representar frases en lingüística computacional o palabras clave en teoría de codificación. Editar distancias intentar medir el número de cambios necesarios para llegar de una cuerda a otra. Por ejemplo, la distancia Hamming mide el número mínimo de sustituciones necesarias, mientras que la distancia Levenshtein mide el número mínimo de supresiones, inserciones y sustituciones; ambas se pueden considerar como distancias en un gráfico apropiado.
• La distancia de edición de gráficos es una medida de disimilaridad entre dos gráficos, definido como el número mínimo de operaciones de edición de gráficos necesarias para transformar un gráfico en otro.
• Las métricas de Wasserstein miden la distancia entre dos medidas en el mismo espacio métrico. La distancia de Wasserstein entre dos medidas es, aproximadamente, el costo de transportar uno al otro.
• El conjunto de todos m por n matrices sobre algún campo es un espacio métrico con respecto a la distancia de rango ${displaystyle d(A,B)=mathrm {rank} (B-A)}$.
• La métrica Helly en la teoría del juego mide la diferencia entre estrategias en un juego.

Distancia entre Hausdorff y Gromov-Hausdorff

La idea de espacios de objetos matemáticos también se puede aplicar a subconjuntos de un espacio métrico, así como a los propios espacios métricos. La distancia de Hausdorff y Gromov-Hausdorff definen métricas en el conjunto de subconjuntos compactos de un espacio métrico y el conjunto de espacios métricos compactos, respectivamente.

Suponga que (M, d) es un espacio métrico y deje que S sea un subconjunto de M. La distancia desde S hasta un punto x de M es, informalmente, la distancia desde x al punto más cercano de S. Sin embargo, dado que puede no haber un solo punto más cercano, se define a través de un ínfimo:

$${displaystyle d(x,S)=inf{d(x,s):sin S}.$$

${displaystyle d(x,S)=0}$

$${displaystyle d(x,S)leq d(x,y)+d(y,S),}$$

${displaystyle D_{S}:Mto mathbb {R}$

${displaystyle d_{S}(x)=d(x,S)}$

Dados dos subconjuntos S y T de M, su distancia de Hausdorff es

$${displaystyle [S,T]=max{d(s,T):sin S},sup{d(t,S):tin.$$

${displaystyle [S,T]$

${displaystyle D_{H}(S,T)}$

La métrica de Gromov-Hausdorff define una distancia entre (clases de isometría de) espacios métricos compactos. La distancia Gromov–Hausdorff entre espacios compactos X y Y es el mínimo de la distancia de Hausdorff sobre todos los espacios métricos Z que contienen X y Y como subespacios. Si bien rara vez es útil saber el valor exacto de la distancia Gromov-Hausdorff, la topología resultante ha encontrado muchas aplicaciones.

Ejemplos varios

• Dado un espacio métrico ()X, d) y una función de cóncava creciente ${displaystyle fcolon [0,infty]to [0,infty]$ tales que f()t) = 0 si t = 0, entonces ${displaystyle d_{f}(x,y)=f(d(x,y)}$ es también una métrica X. Si f()t) t^α para algún número real α, tal métrica se conoce como copo de nieve de d.
• El lazo apretado de un espacio métrico es otro espacio métrico que se puede considerar como una versión abstracta del casco convexo.
• La métrica británica Rail (también llamada la métrica de oficina de correos) o la métrica SNCF en un espacio vectorial normalizado es dada por ${displaystyle d(x,y)=lVert xr Vert +l Vert yr Vert$ para puntos distintos ${displaystyle x}$ y ${displaystyle y}$, y ${displaystyle d(x,x)=0}$. Más generalmente ${displaystyle lVert cdot rVert }$ puede ser reemplazado por una función ${displaystyle f}$ tomándose un conjunto arbitrario ${displaystyle S.$ to non-negative reals and taking the value ${displaystyle 0}$ a la vez: entonces la métrica se define en ${displaystyle S.$ por ${displaystyle d(x,y)=f(x)+f(y)}$ para puntos distintos ${displaystyle x}$ y ${displaystyle y}$, y ${displaystyle d(x,x)=0}$. El nombre alude a la tendencia de los viajes ferroviarios a pasar por Londres (o París) independientemente de su destino final.
• La métrica Robinson-Foulds utilizada para calcular las distancias entre los árboles fitogenéticos en la fitogenética

Construcciones

Espacios métricos de productos

Si ${displaystyle (M_{1},d_{1}),ldots(M_{n},d_{n})}$ son espacios métricos, y N es la norma euclidiana en ${displaystyle mathbb {R} {} {}} {fn}}$, entonces ${displaystyle {bigl (}M_{1}times cdots times M_{n},d_{times } {bigr)}$ es un espacio métrico, donde la métrica del producto se define por

$${fnMicrosoft Sans Serif} {fn} {fn} {fnfn} {fn} {fn}} {fn}} {fn}}=N{bigl} {fn}} {n} {n}} {n}}nnnn}} {nn}}nnnnn}}}nnn}nnnnnnn}}nnnnnnnKnnnKnnnKnKnKnKnKnKn}}}}}nKn}}n}n}n}n}nnKnKn}n}n}n}n}n}nKn}nKnKnKnKn}nKn$$

Del mismo modo, se puede obtener una métrica sobre el producto topológico de muchos espacios métricos contables usando la métrica

$${displaystyle d(x,y)=sum _{i=1}{infty }{frac {1}{2^{i}}}{frac}} {frac} {d_{i}(x_{i},y_{i}}{1+d_{i}(x_{i},y_{i}}}}}}$$

El producto topológico de incontables espacios métricos no necesita ser mezquinable. Por ejemplo, un producto incontable de copias de ${displaystyle mathbb {R}$ no es de primera cuenta y por lo tanto no es metro.

Cociente de espacios métricos

Si M es un espacio métrico con métrica d, y ${displaystyle sim }$ es una relación de equivalencia M, entonces podemos dotar el conjunto de cociente ${displaystyle M/!sim}$ con un pseudométrico. La distancia entre dos clases de equivalencia ${displaystyle [x]}$ y ${displaystyle [y]}$ se define como

$${displaystyle d'([x],[y])=inf{d(p_{1},q_{1})+d(p_{2},q_{2})+dotsb ¿Qué?$$

${displaystyle (p_{1},p_{2},dotsp_{n}$

${displaystyle (q_{1},q_{2},dotsq_{n}}$

${displaystyle p_{1}sim x}$

${displaystyle q_{n}sim y}$

${displaystyle q_{i}sim p_{i+1},i=1,2,dotsn-1}$

${displaystyle d'([x],[y]=0}$

${displaystyle [x]=[y]}$

${displaystyle d'}$

La métrica cociente ${displaystyle d'}$ se caracteriza por la propiedad universal siguiente. Si ${displaystyle f,colon (M,d)to (X,delta)}$ es un mapa métrico (es decir, 1-Lipschitz) entre los espacios métricos satisfactorios f()x) f()Sí.) siempre ${displaystyle xsim y}$, entonces la función inducida ${displaystyle {f}f},colon {M/sim}to X}$, dado por ${displaystyle {overline {f}(x)=f(x)}$, es un mapa métrico ${displaystyle {overline {f},colon (M/simd)to (X,delta). }$

La métrica cociente no siempre induce la topología cociente. Por ejemplo, el cociente topológico del espacio métrico ${displaystyle mathbb {N} times [0,1]}$ identificando todos los puntos del formulario ${displaystyle (n,0)}$ no es metroble ya que no es de primera cuenta, pero la métrica de cociente es una métrica bien definida en el mismo conjunto que induce una topología más gruesa. Además, diferentes métricas en el espacio topológico original (una unión disyuntiva de muchos intervalos) conducen a diferentes topologías en el cociente.

Un espacio topológico es secuencial si y solo si es un cociente (topológico) de un espacio métrico.

Generalizaciones de espacios métricos

Hay varias nociones de espacios que tienen menos estructura que un espacio métrico, pero más que un espacio topológico.

• Los espacios uniformes son espacios en los que no se definen las distancias, pero la continuidad uniforme es.
• Los espacios de aproximación son espacios en los que se definen distancias de punto a punto, en lugar de distancias de punto a punto. Tienen propiedades particularmente buenas desde el punto de vista de la teoría de la categoría.
• Los espacios continuos son una generalización de espacios métricos y poses que se pueden utilizar para unificar las nociones de espacios métricos y dominios.

También hay numerosas formas de relajar los axiomas de una métrica, dando lugar a varias nociones de espacios métricos generalizados. Estas generalizaciones también se pueden combinar. La terminología utilizada para describirlos no está completamente estandarizada. En particular, en el análisis funcional, las pseudométricas a menudo provienen de seminormas en espacios vectoriales, por lo que es natural llamarlas "semimétricas". Esto entra en conflicto con el uso del término en topología.

Métricas ampliadas

Algunos autores definen métricas para permitir la función de distancia d para alcanzar el valor ∞, es decir, las distancias son números no negativos en la línea de números reales extendidos. Tal función también se llama métrica ampliada o "∞-metric". Cada métrica extendida puede ser reemplazada por una métrica finita que es topológicamente equivalente. Esto se puede hacer utilizando una función monotonalmente creciente subadditiva que es cero a cero, por ejemplo. ${displaystyle d'(x,y)=d(x,y)/(1+d(x,y)}$ o ${displaystyle d'''(x,y)=min(1,d(x,y)}$.

Métricas valoradas en estructuras distintas a los números reales

El requisito de que la métrica tome valores ${displaystyle [0,infty]}$ se puede relajar para considerar métricas con valores en otras estructuras, incluyendo:

• Campos ordenados, dando la noción de una métrica generalizada.
• Más conjuntos generales dirigidos. En ausencia de una operación adicional, la desigualdad triángulo no tiene sentido y es reemplazada por una desigualdad ultramétrica. Esto conduce a la noción de un ultramétrica generalizada.

Estas generalizaciones todavía inducen una estructura uniforme en el espacio.

Pseudometría

A pseudométrico on ${displaystyle X}$ es una función ${displaystyle d:Xtimes Xto mathbb {R}$ que satisface los axiomas para una métrica, excepto que en lugar de la segunda (identidad de indiscernibles) ${displaystyle d(x,x)=0}$ para todos ${displaystyle x}$ es necesario. En otras palabras, los axiomas para un pseudométrico son:

1. ${displaystyle d(x,y)geq 0}$
2. ${displaystyle d(x,x)=0}$
3. ${displaystyle d(x,y)=d(y,x)}$
4. ${displaystyle d(x,z)leq d(x,y)+d(y,z)}$.

En algunos contextos, las pseudométricas se denominan semimétricas debido a su relación con las seminormas.

Cuasimétricos

Ocasionalmente, una cuasimétrica se define como una función que satisface todos los axiomas de una métrica con la posible excepción de la simetría. El nombre de esta generalización no está completamente estandarizado.

1. ${displaystyle d(x,y)geq 0}$
2. ${displaystyle d(x,y)=0iff x=y}$
3. ${displaystyle d(x,z)leq d(x,y)+d(y,z)}$

Las cuasimétricas son comunes en la vida real. Por ejemplo, dado un conjunto X de pueblos de montaña, los tiempos típicos de caminata entre elementos de estilo X forman un cuasimétrico porque viajar cuesta arriba toma más tiempo que viajar cuesta abajo. Otro ejemplo es la duración de los viajes en automóvil en una ciudad con calles de sentido único: aquí, el camino más corto desde el punto A hasta el punto B recorre un conjunto de calles diferente al camino más corto desde B a A y pueden tener una longitud diferente.

Se puede definir una cuasimétrica sobre los reales estableciendo

$${displaystyle d(x,y)={begin{cases}x-y simultáneamente {text{if }xgeq y,1 âtext{otherwise.}end{cases}}}$$

${displaystyle 1+{sqrt {y-x}}$

Dado un cuasimétrico en X, uno puede definir un R- Bola alrededor x para ser el conjunto ${displaystyle {yin X sometidad(x,y)leq R.$. Como en el caso de una métrica, tales bolas forman una base para una topología sobre X, pero esta topología no necesita ser metrizable. Por ejemplo, la topología inducida por el cuasimétrico en los reinos descritos anteriormente es la (reversada) Línea Sorgenfrey.

Metamétricas o métricas parciales

En una metamétrica, se cumplen todos los axiomas de una métrica excepto que la distancia entre puntos idénticos no es necesariamente cero. En otras palabras, los axiomas para una metamétrica son:

1. ${displaystyle d(x,y)geq 0}$
2. ${displaystyle d(x,y)=0implies x=y}$
3. ${displaystyle d(x,y)=d(y,x)}$
4. ${displaystyle d(x,z)leq d(x,y)+d(y,z). }$

Las metametrías aparecen en el estudio de los espacios métricos hiperbólicos Gromov y sus límites. El metamétrica visual en tal espacio satisfice ${displaystyle d(x,x)=0}$ para puntos ${displaystyle x}$ en el límite, pero de otra manera ${displaystyle d(x,x)}$ es aproximadamente la distancia ${displaystyle x}$ al límite. La metametría fue definida por Jussi Väisälä. En otro trabajo, una función que satisfaga estos axiomas se llama a métrica parcial o a métrica dislocada.

Semimétrica

A semimétrica on ${displaystyle X}$ es una función ${displaystyle d:Xtimes Xto mathbb {R}$ que satisface los tres primeros axiomas, pero no necesariamente la desigualdad del triángulo:

1. ${displaystyle d(x,y)geq 0}$
2. ${displaystyle d(x,y)=0iff x=y}$
3. ${displaystyle d(x,y)=d(y,x)}$

Algunos autores trabajan con una forma más débil de la desigualdad triangular, como:

${displaystyle d(x,z)leq rho ,(d(x,y)+d(y,z)}$	Inequidad triángulo relajo
${displaystyle d(x,z)leq rho ,max{d(x,y),d(y,z)}}$	desigualdad inframétrica

La desigualdad inframétrica ρ implica la desigualdad triangular relajada ρ (asumiendo el primer axioma), y la desigualdad triangular relajada ρ implica la desigualdad inframétrica 2ρ. Los semimétricos que satisfacen estas condiciones equivalentes a veces se denominan cuasimétricos, casimétricos o inframétricos.

Las desigualdades inframétricas ρ se introdujeron para modelar tiempos de retraso de ida y vuelta en Internet. La desigualdad triangular implica la desigualdad 2-inframétrica, y la desigualdad ultramétrica es exactamente la desigualdad 1-inframétrica.

Premétricas

Relajando los últimos tres axiomas conduce a la noción de una premétrica, es decir, una función que satisface las siguientes condiciones:

1. ${displaystyle d(x,y)geq 0}$
2. ${displaystyle d(x,x)=0}$

Este no es un término estándar. A veces se usa para referirse a otras generalizaciones de métricas como pseudosemimetrics o pseudometrics; en las traducciones de libros rusos a veces aparece como "prametric". Una premétrica que satisface la simetría, es decir, una pseudosemimétrica, también se denomina distancia.

Cualquier premétrico da lugar a una topología como sigue. Para un real positivo ${displaystyle r}$, el ${displaystyle r}$- Bola centrado en un punto ${displaystyle p}$ se define como

${displaystyle B_{r}(p)={x soportad(x,p) mader}$

Un conjunto se llama abierto si para cualquier punto ${displaystyle p}$ en el set hay un ${displaystyle r}$- Bola centrado en ${displaystyle p}$ que está contenida en el conjunto. Cada espacio premétrico es un espacio topológico, y de hecho un espacio secuencial. En general, ${displaystyle r}$-Bolas ellos mismos no necesitan ser conjuntos abiertos con respecto a esta topología. En cuanto a la métrica, la distancia entre dos conjuntos ${displaystyle A}$ y ${displaystyle B}$, se define como

${displaystyle d(A,B)={underset {xin A,yin B}{inf }d(x,y).}$

Esto define un premétrico en el conjunto de potencia de un espacio premétrico. Si empezamos con un espacio (pseudosemi-)métrico, obtenemos un pseudosemimétrico, es decir, un premétrico simétrico. Cualquier premétrico da lugar a un operador de precloración ${displaystyle cl}$ como sigue:

${displaystyle cl(A)={x soportad(x,A)=0}$

Pseudocuasimetría

Los prefijos pseudo-, quasi - y semi - también se pueden combinar, por ejemplo, a pseudoquasimétrica (A veces se llama hemimetric) relaja tanto el axioma de indiscernibilidad como el axioma de simetría y es simplemente un premétrico que satisface la desigualdad del triángulo. Para espacios pseudoquasimétricos el abierto ${displaystyle r}$-Bolas forma una base de conjuntos abiertos. Un ejemplo muy básico de un espacio pseudoquasimétrico es el conjunto ${displaystyle {0,1}}$ con el premétrico dado por ${displaystyle d(0,1)=1}$ y ${displaystyle d(1,0)=0.}$ El espacio topológico asociado es el espacio Sierpiński.

William Lawvere estudió los conjuntos equipados con un pseudocuasimétrico extendido como "espacios métricos generalizados". Desde un punto de vista categórico, los espacios pseudométricos extendidos y los espacios pseudocuasimétricos extendidos, junto con sus correspondientes aplicaciones no expansivas, son las categorías de espacio métrico que mejor se comportan. Uno puede tomar productos y coproductos arbitrarios y formar objetos cocientes dentro de la categoría dada. Si uno suelta "extendido", solo puede tomar productos y coproductos finitos. Si se elimina "pseudo", no se pueden tomar cocientes.

Lawvere también dio una definición alternativa de espacios tales como categorías enriquecidas. El set ordenado ${displaystyle (mathbb {R}geq)}$ se puede ver como una categoría con un morfismo ${displaystyle ato b}$ si ${displaystyle ageq b}$ y ninguna otra cosa. Uso + como el producto tensor y 0 como la identidad convierte esta categoría en una categoría monoidal ${displaystyle R^{}$. Cada espacio (extended pseudoquasi-)métrico ${displaystyle (M,d)}$ ahora se puede ver como una categoría ${displaystyle M^{*}$ enriquecido ${displaystyle R^{}$:

• Los objetos de la categoría son los puntos M.
• Por cada par de puntos x y Sí. tales que ${displaystyle d(x,y)$, hay un solo morfismo que se asigna el objeto ${displaystyle d(x,y)}$ de ${displaystyle R^{}$.
• La desigualdad del triángulo y el hecho de que ${displaystyle d(x,x)=0}$ para todos los puntos x deriva de las propiedades de composición e identidad en una categoría enriquecida.
• Desde ${displaystyle R^{}$ es una pose, todos los diagramas que se requieren para una categoría enriquecida conmutan automáticamente.

Métricas en conjuntos múltiples

La noción de una métrica se puede generalizar desde una distancia entre dos elementos a un número asignado a un multiconjunto de elementos. Un multiset es una generalización de la noción de un conjunto en el que un elemento puede ocurrir más de una vez. Define el sindicato multiset ${displaystyle U=XY.$ como sigue: si un elemento x ocurre m tiempos en X y n tiempos en Y entonces ocurre m + n tiempos en U. Una función d sobre el conjunto de multiconjuntos finitos no vacíos de elementos de un conjunto M es una métrica si

1. ${displaystyle d(X)=0}$ si todos los elementos X son iguales ${displaystyle d(X)}$ (definición positiva)
2. ${displaystyle d(X)}$ depende sólo del multiset (no ordenado) X (simetría)
3. ${displaystyle d(XY)leq d(XZ)+d(ZY)}$ (la desigualdad triángula)

Al considerar los casos de los axiomas 1 y 2 en los que el multiconjunto X tiene dos elementos y el caso del axioma 3 en que los multiconjuntos X, Y y Z tienen un elemento cada uno, se recuperan los axiomas habituales para una métrica. Es decir, cada métrica de conjuntos múltiples produce una métrica ordinaria cuando se restringe a conjuntos de dos elementos.

Un ejemplo simple es el conjunto de todos los multisets finitos no vacíos ${displaystyle X}$ de enteros con ${displaystyle d(X)=max(X)-min(X)}$. Ejemplos más complejos son la distancia de información en varios conjuntos; y la distancia normalizada de compresión (NCD) en varios conjuntos.