Espacio mtrico

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 distancia asociada (tambin llamada una mtrica) reales). Decir 1. 2. 3. si 4. 5. es una distancia sobre es decir que para todo , las siguientes condiciones o propiedades de una distancia: (positividad) (reflexividad) (identidad de los indiscernibles) (simetra) (desigualdad triangular). (a cuyos elementos se les denomina puntos) con una funcin (donde , en es el conjunto de los nmeros , esta funcin debe satisfacer

Algunas definiciones asociadas a un espacio mtrico

Sea un espacio mtrico, y sean y y de radio un punto de , al subconjunto de . , al subconjunto de : : y un nmero real positivo o , , cero, respectivamente: Se llama bola (abierta) centrada en

denotado usualmente como , o como Se llama bola cerrada centrada en y de radio

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 usualmente como y de radio , al subconjunto de .. : , denotado , o como

Espacio mtrico

Topologa de un espacio mtrico

La distancia del espacio mtrico induce en . Esto es a todos los subconjuntos positivo totalmente incluida en para los cuales cualquier punto en en . es el centro de alguna bola de radio , o lo que es lo mismo: U no tiene puntos en la frontera; no tiene frontera. una topologa, y por tanto el espacio es, a su vez, un espacio que cumplen topolgico al tomar como subconjuntos abiertos para la topologa a todos los subconjuntos

Dicha topologa se 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

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

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 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.

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

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

Fuentes y contribuyentes del artculo

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

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