Espacio mtrico

1
Espacio mtrico
En matemtica, un espacio mtrico es un conjunto junto con una funcin distancia (porque cumple con unas
propiedades concretas atribuidas a las distancias) definida sobre l, de modo que cualquier par de puntos (o
elementos) del conjunto estn a una cierta distancia asignada por dicha funcin.
En particular, cualquier espacio mtrico ser, adems, un espacio topolgico porque cualquier funcin de distancia
definida sobre un conjunto dado induce una topologa sobre dicho conjunto. Se trata de la topologa inducida por las
bolas abiertas asociadas a la funcin distancia del espacio mtrico.
Definiciones
Definicin de espacio mtrico
Formalmente, un espacio mtrico es un conjunto (a cuyos elementos se les denomina puntos) con una funcin
distancia asociada (tambin llamada una mtrica) (donde es el conjunto de los nmeros
reales). Decir es una distancia sobre es decir que para todo , , en , esta funcin debe satisfacer
las siguientes condiciones o propiedades de una distancia:
1. (positividad)
2. (reflexividad)
3. (identidad de los indiscernibles)
4. (simetra)
5. (desigualdad triangular).
Algunas definiciones asociadas a un espacio mtrico
Sea un espacio mtrico, y sean y un punto de y un nmero real positivo o
cero, respectivamente:
Se llama bola (abierta) centrada en y de radio , al subconjunto de : ,
denotado usualmente como , o como .
Se llama bola cerrada centrada en y de radio , al subconjunto de : ,
denotado usualmente como o como o tambin como .
En anlisis funcional la terminologa puede llevar un poco a confusin, pues a la bola abierta de radio y centro
se la suele denotar por o por , mientras -y aqu viene la posible confusin- a la bola cerrada
de centro y radio se la denota por o por .
Algunos autores utilizan la expresin disco en lugar de bola, as es que se puede hablar en trminos de disco
abierto y disco cerrado. En particular, esta terminologa se utiliza en Variable Compleja, y cuando se considera
la distancia eucldea sobre el conjunto .
Se llama esfera centrada en y de radio , al subconjunto de : , denotado
usualmente como , o como .
Espacio mtrico
2
Topologa de un espacio mtrico
La distancia del espacio mtrico induce en una topologa, y por tanto el espacio es, a su vez, un espacio
topolgico al tomar como subconjuntos abiertos para la topologa a todos los subconjuntos que cumplen
.
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.
Dicha topologa se denomina topologa inducida por en .
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 mtrico de un espacio mtrico es subespacio topolgico del espacio topolgico
, donde es la topologa en inducida por . Es decir, hereda de la topologa inducida por
.
Un entorno de un punto de un espacio mtrico no es ms que un subconjunto de forma que
exista un tal que la bola abierta . El conjunto es
base de la topologa inducida por , y tambin es base de entornos de dicha topologa. Como es denso en ,
resulta entonces que tambin es base de entornos de la topologa inducida
por . En consecuencia, todo espacio mtrico cumple el Primer Axioma de Numerabilidad.
Todo espacio mtrico es espacio de Hausdorff. Adems, al igual que ocurre en espacios pseudomtricos, para los
espacios mtricos son equivalentes las siguientes propiedades: ser espacio de Lindelf, cumplir el Primer Axioma de
Numerabilidad y ser separable.
Sistemas axiomticos alternativos
La propiedad 1 ( ) se sigue de la 4 y la 5. Algunos autores usan la recta real extendida y admiten que
la distancia tome el valor . Cualquier mtrica tal puede ser reescalada a una mtrica finita (usando
o ) y los dos conceptos de espacio mtrico
son equivalentes en lo que a topologa se refiere. Una mtrica es llamada ultramtrica si satisface la siguiente
versin, ms fuerte, de la desigualdad triangular:
.
Si se elimina la propiedad 3, se obtiene un espacio pseudomtrico. Sacando, en cambio, la propiedad 4, se obtiene un
espacio quasimtrico. No obstante, perdindose simetra 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 como quasi-pseudo-ultramtrico).
Ejemplos
Sea X un conjunto cualquiera no vaco y definamos d
Entonces d es una mtrica en X, llamada mtrica discreta y (X,d) es espacio mtrico; (X, d) se llama espacio
discreto; ver Anlisis real de Haaser y Sullivan.
Los nmeros reales con la funcin distancia d(x, y) = |y - x| dada por el valor absoluto, y ms generalmente
n-espacio eucldeo con la distancia euclidiana, son espacios mtricos completos. El sistema de los nmeros
complejos C es un espacio mtrico . C como espacio mtrico es igual a RxR.
Espacio mtrico
3
Ms generalmente aun, cualquier espacio vectorial normado es un espacio mtrico definiendo d(x, y) = ||y - x||. Si
tal espacio es completo, lo llamamos espacio de Banach.
Si X es un conjunto y M es un espacio mtrico, 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 mtrico
definiendo d(f, g) = sup
x en X
d(f(x), g(x)) para cualesquiera funciones acotadas f y g. Si M es completo, entonces
este espacio es completo tambin.
Si X es un espacio topolgico y M es un espacio mtrico, entonces el conjunto de todas las funciones continuas
acotadas de X a M forma un espacio mtrico si definimos la mtrica como antes: d(f, g) = sup
x en X
d(f(x), g(x))
para cualesquiera funciones continuas acotadas f y g. Si M es completo, entonces este espacio es completo
tambin.
Si M es un espacio mtrico, podemos convertir al conjunto K(M) de todos los subconjuntos compactos de M en un
espacio mtrico definiendo distancia 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 mtrica, dos elementos estn 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 anlisis lgico
El concepto mtrico fundamental es el de funcin corta, los morfismos de la categora mtrica (los isomorfismos,
i.e. aplicaciones bi-cortas, son las isometras), pero su expresin 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
dbil all, orden fuerte (y x ssi ... ) es difcil, pero posible, si se acepta una solucin de |x - 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 funcin corta, sin ninguna referencia a un
orden en los reales positivos.
3) La siguiente equivalencia de la desigualdad triangular
| d(x, y) - d(x, z) | d(y, z)
expresa (sin ninguna referencia a una operacin en los reales positivos, |x - y| es la distancia all) el hecho que d(x,
-) es funcin corta (luego uniforme, luego continua). d: x - > d(x,-) es una isometra.
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
simetra (hacer z = x y usar | x - d(y, y)| = x).
Espacios metrizables
Un espacio topolgico se dice que es metrizable cuando existe una distancia cuya topologa inducida sea
precisamente la topologa .
Un problema fundamental en Topologa es determinar si un espacio topolgico dado es o no metrizable. Existen
diversos resultados al respecto.
Teorema de metrizacin de Urysohn
Todo espacio topolgico regular que cumpla el Segundo Axioma de Numerabilidad es metrizable.
Espacio mtrico
4
Teorema de metrizacin de Nagata-Smirnov (condicin suficiente)
Todo espacio regular con una base numerable localmente finita es metrizable.
Teorema de metrizacin de Nagata-Smirnov (condicin necesaria)
Todo espacio metrizable tiene una base numerable localmente finita.
Teorema de metrizacin de Stone
Todo espacio metrizable es paracompacto.
Teorema de metrizacin de Smirnov
Un espacio topolgico es metrizable si y solo si es paracompacto y localmente metrizable.
Teorema de metrizacin de espacios completamente separables
Un espacio topolgico completamente separable es metrizable si y solo si es regular.
Referencias
Athanase Papadopoulos, Metric Spaces, Convexity and Nonpositive Curvature, European Mathematical Society,
2004, SBN 978-3-03719-010-4
Fuentes y contribuyentes del artculo
5
Fuentes y contribuyentes del artculo
Espacio mtrico Fuente: http://es.wikipedia.org/w/index.php?oldid=73125243 Contribuyentes: Acratta, Allforrous, Aparejador, Brobdingnag, Camiloalcubo2, Davius, Diegusjaimes, GermanX,
Greek, Gustronico, HUB, Humbefa, Ingenioso Hidalgo, Jorge c2010, Joseaperez, Juan Mayordomo, JuanManwell, Lauranrg, Moriel, Periku, Rigenea, Roman.astaroth, Rovnet, Sabbut, Tano4595,
Tonyslash60, Wewe, Xsm34, 84 ediciones annimas
Licencia
Creative Commons Attribution-Share Alike 3.0
//creativecommons.org/licenses/by-sa/3.0/