Professional Documents
Culture Documents
En matemática, un espacio métrico es un conjunto que lleva asociada una función distancia, es decir, que esta función está definida
sobre dicho conjunto, cumpliendo propiedades atribuidas a la distancia, de modo que para cualquier par de puntos del conjunto, estos
están a una cierta distancia asignada por dicha función.
En particular, cualquier espacio métrico será, además, un espacio topológico porque cualquier función de distancia definida sobre un
conjunto dado induce una topología sobre dicho conjunto. Se trata de la topología inducida por las bolas abiertas asociadas a la
función distancia del espacio métrico.
Índice
Definiciones
Definición de espacio métrico
Algunas definiciones asociadas a un espacio métrico
Topología de un espacio métrico
Sistemas axiomáticos alternativos
Ejemplos
Un análisis lógico
Espacios metrizables
Teorema de metrización de Urysohn
Teorema de metrización de Nagata-Smirnov(condición suficiente)
Teorema de metrización de Nagata-Smirnov(condición necesaria)
Teorema de metrización de Stone
Teorema de metrización de Smirnov
Teorema de metrización de espacios completamente separables
Véase también
Referencias
Definiciones
1.
2. (simetría)
3. (desigualdad triangular).
(positividad)
Algunas definiciones asociadas a un espacio métrico
Sea un espacio métrico, y sean y un punto de y un número real positivo o cero, respectivamente:
Esto es a todos los subconjuntos para los cuales cualquier punto en es el centro de alguna bola de radio positivo totalmente
incluida en , o lo que es lo mismo: U no tiene puntos en la frontera; no tiene frontera.
Podemos entonces interpretar intuitivamente que un conjunto abierto es entonces una parte que tiene un cierto "espesor" alrededor de
cada uno de sus puntos.
Un subespacio métrico de un espacio métrico es subespacio topológico del espacio topológico , donde es
la topología en inducida por . Es decir, hereda de la topología inducida por .
Un entorno de un punto de un espacio métrico no es más que un subconjunto de forma que exista un tal que
la bola abierta . El conjunto es base de la topología inducida por , y también es
base de entornos de dicha topología. Como es denso en , resulta entonces que también es
base de entornos de la topología inducida por . En consecuencia, todo espacio métrico cumple elPrimer Axioma de Numerabilidad.
Todo espacio métrico es espacio de Hausdorff. Además, al igual que ocurre en espacios pseudométricos, para los espacios métricos
son equivalentes las siguientes propiedades: serespacio de Lindelöf, cumplir el Primer Axioma de Numerabilidady ser separable.
Si se elimina la propiedad 3, se obtiene un espacio pseudométrico. Sacando, en cambio, la propiedad 4, se obtiene un espacio
quasimétrico. No obstante, perdiéndose simetría en este caso, se cambia, usualmente, la propiedad 3 tal que ambas y
son necesarias para que e se identifiquen. Todas las combinaciones de lo anterior son posibles y referidas por sus
nomenclaturas respectivas (por ejemplo comoquasi-pseudo-ultramétrico).
Ejemplos
Sea X un conjunto cualquiera no vacío y definamosd
Entonces d es una métrica en X, llamada métrica discreta y (X,d) es espacio métrico; (X, d) se llama espacio discreto; ver Análisis
real de Haaser y Sullivan.
Los números reales con la función distancia d(x, y) = |y - x| dada por el valor absoluto, y más generalmente n-
espacio euclídeo con la distancia euclidiana, son espacios métricos completos. El sistema de los números
complejos C es un espacio métrico . C como espacio métrico es igual a RxR.
Más generalmente aún, cualquierespacio vectorial normadoes un espacio métrico definiendod(x, y) = ||y - x||. Si tal
espacio es completo, lo llamamosespacio de Banach.
Si X es un conjunto y M es un espacio métrico, entonces el conjunto de todas las funciones acotadas f : X -> M (i.e.
aquellas funciones cuya imagen es un subconjunto acotado de M) puede ser convertido en un espacio métrico
definiendo d(f, g) = supx en X d(f(x), g(x)) para cualesquiera funciones acotadas f y g. Si M es completo, entonces
este espacio es completo también.
Si X es un espacio topológico y M es un espacio métrico, entonces el conjunto de todas las funciones continuas
acotadas de X a M forma un espacio métrico si definimos la métrica como antes: d(f, g) = supx en X d(f(x), g(x)) para
cualesquiera funciones continuas acotadasf y g. Si M es completo, entonces este espacio es completo también.
Si M es un espacio métrico, podemos convertir al conjunto K(M) de todos los subconjuntos compactos de M en un
espacio métrico definiendodistancia de Hausdorff d(X, Y) = inf{r: para cada x en X existe un y en Y con d(x, y) < r y
para cada y en Y existe un x en X con d(x, y) < r). En este métrica, dos elementos están cerca uno de otro si cada
elemento de un conjunto está cerca de un cierto elemento del otro conjunto. Se puede demostrar que K(M) es
completo si M es completo.
Un análisis lógico
El concepto métrico fundamental es el defunción corta, los morfismos de la categoría métrica (los isomorfismos, i.e.
aplicaciones bi-cortas, son las isometrías), pero su expresión usual usa el orden y la suma en los reales positivos
luego,
1) Es obvio que : | x - |x - y | | = y es lo mismo que x = 0 o y ≤ x, luego distancia en los reales positivos da orden
débil allí, orden fuerte (y ≤ x ssi ... ) es difícil, pero posible, si se acepta una solución dex| - y | = y i.e. y = x / 2.
2) | d(y, z) - |d(y, z) - d´(f(y), f(z)) | | = d´(f(y), f(z)) expresa que f es una función corta, sin ninguna referencia a un
orden en los reales positivos.
3) La siguiente equivalencia de ladesigualdad triangular
expresa (sin ninguna referencia a una operación en los reales positivos, |x - y| es la distancia allí) el hecho que d(x, -) es función
corta (luego uniforme, luego continua). d:x - > d(x,-) es una isometría.
Reuniendo ambas : | d(y, z) - |d(y, z) - | d(x, y) - d(x, z) | | | = | d(x, y) - d(x, z) | expresa desigualdad triangular
directamente.
un leve cambio : | d(y, z) - |d(z, y) - | d(x, y) - d(x, z) | | | = | d(x, y) - d(x, z) | expresa desigualdad triangular y
simetría (hacer z = x y usar | x - d(y, y)| = x).
Espacios metrizables
Un espacio topológico se dice que es metrizable cuando existe una distancia cuya topología inducida sea precisamente la
topología .
Un problema fundamental en Topología es determinar si un espacio topológico dado es o no metrizable. Existen diversos resultados
al respecto.
Teorema de metrización de Urysohn
Todo espacio topológico regularque cumpla el segundo axioma de numerabilidades metrizable.
Véase también
topología
desigualdad triangular
Lipschitz continua
isometría, contracción y función corta
Recta real extendida
Medida de Lebesgue
Función distancia con signo
Intervalo
Referencias
Athanase Papadopoulos, Metric Spaces, Convexity and Nonpositive Curvature, European Mathematical Society,
2004, SBN 978-3-03719-010-4
Obtenido de «https://es.wikipedia.org/w/index.php?title=Espacio_métrico&oldid=114075423
»
Esta página se editó por última vez el 19 feb 2019 a las 23:50.
El texto está disponible bajo laLicencia Creative Commons Atribución Compartir Igual 3.0 ; pueden aplicarse cláusulas
adicionales. Al usar este sitio, usted acepta nuestrostérminos de uso y nuestra política de privacidad.
Wikipedia® es una marca registrada de laFundación Wikimedia, Inc., una organización sin ánimo de lucro.