Está en la página 1de 5

Espacio mtrico

Espacio mtrico
Se ha sugerido que psilon vecindad sea fusionado en este artculo o seccin. (Discusin). Una vez que hayas realizado la fusin de artculos, pide la fusin de historiales en WP:TAB/F.

En matemtica, un espacio mtrico es un tipo particular de espacio topolgico donde una distancia entre puntos est definida. Corresponde al caso muy comn en que se dispone de una nocin de distancia sobre el espacio.

Definiciones
Definicin de espacio mtrico
Formalmente, un espacio mtrico es un conjunto distancia asociada (tambin llamada una mtrica) reales). Para todo 1. 2. 3. si 4. 5. , , en (a cuyos elementos se les denomina puntos) con una funcin (donde es el conjunto de los nmeros

, esta funcin debe satisfacer las siguientes condiciones:

(reflexividad) entonces (identidad de los indiscernibles) (simetra) (desigualdad triangular).

Otras definiciones
Se llama bola (abierta) centrada en y de radio , al conjunto . Se denota usualmente como . Se llama bola cerrada centrada en y de radio , al conjunto . Se denota usualmente como o por . 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 conjunto .

Topologa de un espacio mtrico


La distancia dota a de una topologa, definiendo un subconjunto o parte como abierta cuando: en . . A dicha topologa se la denomina topologa inducida por

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 , donde . Un entorno exista un de un espacio mtrico inducida por es subespacio topolgico del espacio topolgico . Es decir, hereda de la topologa inducida por de forma que es es denso en ,

es la topologa en

de un punto

de un espacio mtrico

no es ms que un subconjunto . El conjunto

tal que la bola abierta

base de la topologa inducida por resulta entonces que

, y tambin es base de entornos de dicha topologa. Como

tambin es base de entornos de la topologa inducida

Espacio mtrico 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 ( la distancia tome el valor ) se sigue de la 4 y la 5. Algunos autores usan la recta real extendida y admiten que . 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
La distancia trivial: d(x,y) = 0 si x = y, caso contrario, 1.

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 eucldea, son espacios mtricos completos. 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) = supx 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) = supx 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.

Espacio mtrico

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.

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 suficiente)


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.

Espacio mtrico

Vase tambin
topologa desigualdad triangular Lipschitz continua isometra, contraccin y funcin corta Categora de los espacios mtricos

Fuentes y contribuyentes del artculo

Fuentes y contribuyentes del artculo


Espacio mtrico Fuente: http://es.wikipedia.org/w/index.php?oldid=40060062 Contribuyentes: Allforrous, Aparejador, Brobdingnag, Camiloalcubo2, Davius, Diegusjaimes, GermanX, Greek, HUB, Ingenioso Hidalgo, Jorge c2010, Joseaperez, Juan Mayordomo, Lauranrg, Moriel, Periku, Roman.astaroth, Rovnet, Sabbut, Tano4595, Wewe, Xsm34, 70 ediciones annimas

Fuentes de imagen, Licencias y contribuyentes


Archivo:Mergefrom.svg Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:Mergefrom.svg Licencia: Public Domain Contribuyentes: David Levy, Easyas12c, Erin Silversmith, Korg, Remember the dot, Wuzur, 2 ediciones annimas

Licencia
Creative Commons Attribution-Share Alike 3.0 Unported http:/ / creativecommons. org/ licenses/ by-sa/ 3. 0/

También podría gustarte