Espacio pseudométrico

Generalización de espacios métricos en matemáticas.

En matemáticas , un espacio pseudométrico es una generalización de un espacio métrico en el que la distancia entre dos puntos distintos puede ser cero. Los espacios pseudométricos fueron introducidos por Đuro Kurepa ^{[1] [2]} en 1934. De la misma manera que todo espacio normado es un espacio métrico , todo espacio seminormado es un espacio pseudométrico. Debido a esta analogía, el término espacio semimétrico (que tiene un significado diferente en topología ) se utiliza en ocasiones como sinónimo, especialmente en análisis funcional .

Cuando se genera una topología utilizando una familia de pseudométricas, el espacio se denomina espacio de calibre .

Definición

Un espacio pseudométrico es un conjunto junto con una función de valor real no negativa llamada ${\displaystyle (X,d)}$ ${\displaystyle X}$ ${\displaystyle d:X\times X\longrightarrow \mathbb {R} _{\geq 0},}$pseudométrica , tal que por cada ${\displaystyle x,y,z\in X,}$

1. ${\displaystyle d(x,x)=0.}$
2. Simetría : ${\displaystyle d(x,y)=d(y,x)}$
3. Subaditividad / Desigualdad triangular : ${\displaystyle d(x,z)\leq d(x,y)+d(y,z)}$

A diferencia de un espacio métrico, los puntos en un espacio pseudométrico no necesitan ser distinguibles ; es decir, se pueden tener valores distintos ${\displaystyle d(x,y)=0}$ ${\displaystyle x\neq y.}$

Ejemplos

Cualquier espacio métrico es un espacio pseudométrico. La pseudometría surge de forma natural en el análisis funcional . Considere el espacio de funciones con valores reales junto con un punto especial. Este punto induce una pseudometría en el espacio de funciones, dada por para ${\displaystyle {\mathcal {F}}(X)}$ ${\displaystyle f:X\to \mathbb {R} }$ ${\displaystyle x_{0}\in X.}$ $${\displaystyle d(f,g)=\left|f(x_{0})-g(x_{0})\right|}$$ ${\displaystyle f,g\in {\mathcal {F}}(X)}$

Una seminorma induce la pseudométrica . Esta es una función convexa de una función afín de (en particular, una traducción ) y, por lo tanto, convexa en . (Lo mismo ocurre con .) ${\displaystyle p}$ ${\displaystyle d(x,y)=p(x-y)}$ ${\displaystyle x}$ ${\displaystyle x}$ ${\displaystyle y}$

Por el contrario, una pseudométrica homogénea e invariante en la traducción induce una seminorma.

La pseudometría también surge en la teoría de variedades complejas hiperbólicas : ver métrica de Kobayashi .

Cada espacio de medida puede verse como un espacio pseudométrico completo definiendo para todos dónde el triángulo denota diferencia simétrica . ${\displaystyle (\Omega ,{\mathcal {A}},\mu )}$ $${\displaystyle d(A,B):=\mu (A\vartriangle B)}$$ ${\displaystyle A,B\in {\mathcal {A}},}$

Si es una función y d ₂ es una pseudométrica en X ₂ , entonces da una pseudométrica en X ₁ . Si d ₂ es una métrica y f es inyectiva , entonces d ₁ es una métrica. ${\displaystyle f:X_{1}\to X_{2}}$ ${\displaystyle d_{1}(x,y):=d_{2}(f(x),f(y))}$

Topología

ElLa topología pseudométrica es latopologíagenerada por lasbolas abiertasque forman labasede la topología.^[3]Se dice que un espacio topológico es un $${\displaystyle B_{r}(p)=\{x\in X:d(p,x)<r\},}$$espacio pseudometrizable ^[4]si al espacio se le puede dar una topología pseudométrica tal que la topología pseudométrica coincida con la topología dada en el espacio.

La diferencia entre pseudometría y métrica es completamente topológica. Es decir, una pseudométrica es una métrica si y sólo si la topología que genera es T 0 (es decir, los distintos puntos son topológicamente distinguibles ).

Las definiciones de secuencias de Cauchy y finalización métrica para espacios métricos se trasladan a espacios pseudométricos sin cambios. ^[5]

Identificación métrica

La desaparición de lo pseudométrico induce una relación de equivalencia , llamada identificación métrica , que convierte el espacio pseudométrico en un espacio métrico completo . Esto se hace definiendo si . Sea el espacio cociente de por esta relación de equivalencia y defina. Esto está bien definido porque para cualquiera tenemos eso y así y viceversa. Entonces es una métrica y es un espacio métrico bien definido, llamado espacio métrico inducido por el espacio pseudométrico . ^{[6] [7]} ${\displaystyle x\sim y}$ ${\displaystyle d(x,y)=0}$ ${\displaystyle X^{*}=X/{\sim }}$ ${\displaystyle X}$ $${\displaystyle {\begin{aligned}d^{*}:(X/\sim )&\times (X/\sim )\longrightarrow \mathbb {R} _{\geq 0}\\d^{*}([x],[y])&=d(x,y)\end{aligned}}}$$ ${\displaystyle x'\in [x]}$ ${\displaystyle d(x,x')=0}$ ${\displaystyle d(x',y)\leq d(x,x')+d(x,y)=d(x,y)}$ ${\displaystyle d^{*}}$ ${\displaystyle X^{*}}$ ${\displaystyle (X^{*},d^{*})}$ ${\displaystyle (X,d)}$

La identificación métrica preserva las topologías inducidas. Es decir, un subconjunto está abierto (o cerrado) en si y sólo si está abierto (o cerrado) en y está saturado . La identificación topológica es el cociente de Kolmogorov . ${\displaystyle A\subseteq X}$ ${\displaystyle (X,d)}$ ${\displaystyle \pi (A)=[A]}$ ${\displaystyle \left(X^{*},d^{*}\right)}$ ${\displaystyle A}$

Un ejemplo de esta construcción es la finalización de un espacio métrico mediante sus secuencias de Cauchy .

Ver también

• Métrica generalizada  – Geometría métrica
• Firma métrica  : número de valores propios positivos, negativos y cero de un tensor métrico
• Espacio métrico  : espacio matemático con noción de distancia.
• Espacio vectorial topológico metrizable  : un espacio vectorial topológico cuya topología puede definirse mediante una métrica.

Notas

1. Kurepa, Đuro (1934). "Tableaux ramifiés d'ensembles, espaces pseudodistaciés". CR Acad. Ciencia. París . 198 (1934): 1563-1565.
2. Collatz, Lothar (1966). Análisis Funcional y Matemática Numérica . Nueva York, San Francisco, Londres: Academic Press . pag. 51.
3. "Topología pseudométrica". PlanetMath .
4. Willard, pág. 23
5. Caín, George (verano de 2000). "Capítulo 7: Espacios pseudométricos completos" (PDF) . Archivado (PDF) desde el original el 7 de octubre de 2020 . Consultado el 7 de octubre de 2020 .
6. Howes, Norman R. (1995). Análisis y topología modernos. Nueva York, Nueva York: Springer. pag. 27.ISBN​ 0-387-97986-7. Consultado el 10 de septiembre de 2012 . Sea un espacio pseudométrico y defina una relación de equivalencia en by if . Sea el espacio cociente y la proyección canónica que mapea cada punto de la clase de equivalencia que lo contiene. Defina la métrica en por para cada par . Se muestra fácilmente que de hecho es una métrica y define la topología del cociente . ${\displaystyle (X,d)}$ ${\displaystyle \sim }$ ${\displaystyle X}$ ${\displaystyle x\sim y}$ ${\displaystyle d(x,y)=0}$ ${\displaystyle Y}$ ${\displaystyle X/\sim }$ ${\displaystyle p:X\to Y}$ ${\displaystyle X}$ ${\displaystyle \rho }$ ${\displaystyle Y}$ ${\displaystyle \rho (a,b)=d(p^{-1}(a),p^{-1}(b))}$ ${\displaystyle a,b\in Y}$ ${\displaystyle \rho }$ ${\displaystyle \rho }$ ${\displaystyle Y}$
7. Simón, Barry (2015). Un curso integral en análisis . Providence, Rhode Island: Sociedad Matemática Estadounidense. ISBN 978-1470410995.

Referencias

• Arkhangel'skii, AV ; Pontryagin, LS (1990). Topología General I: Conceptos Básicos y Construcciones Teoría de Dimensiones . Enciclopedia de Ciencias Matemáticas. Saltador . ISBN 3-540-18178-4.
• Steen, Lynn Arturo ; Seebach, Arthur (1995) [1970]. Contraejemplos en topología (nueva ed.). Publicaciones de Dover . ISBN 0-486-68735-X.
• Willard, Stephen (2004) [1970], Topología general ( reimpresión de Dover de 1970 ed.), Addison-Wesley
• Este artículo incorpora material del espacio pseudométrico en PlanetMath , que tiene la licencia Creative Commons Attribution/Share-Alike License .
• "Ejemplo de espacio pseudométrico". PlanetMath .