Espacio métrico


Espacio métrico

Espacio métrico

En matemática, un espacio métrico es un tipo particular de espacio topológico donde una distancia entre puntos está definida. Corresponde al caso muy común en que se dispone de una noción de distancia sobre el espacio.

Contenido

Definiciones

Definición de espacio métrico

Formalmente, un espacio métrico es un conjunto M (a cuyos elementos se les denomina puntos) con una función distancia asociada (también llamada una métrica) d:M\times M\rightarrow\mathbb R (donde R es el conjunto de los números reales). Para todo x, y, z en M, esta función debe satisfacer las siguientes condiciones:

  1. d(x, y) ≥ 0
  2. d(x, x) = 0     (reflexividad)
  3. si   d(x, y) = 0   entonces   x = y     (identidad de los indiscernibles)
  4. d(x, y) = d(y, x)     (simetría)
  5. d(x, z) ≤ d(x, y) + d(y, z)     (desigualdad triangular).

Otras definiciones

  • Se llama bola (abierta) centrada en a\in M y de radio r\in\mathbb R^+, al conjunto \{x\in M/d(x,a)<r\}\subset M. Se denota usualmente como B(a,r)\,\!.
  • Se llama bola cerrada centrada en a\in M y de radio r\in\mathbb R^+, al conjunto \{x\in M/d(x,a)\leq r\}\subset M. Se denota usualmente como B_c(a,r)\,\! o por \overline{B}(a,r).
  • En análisis funcional la terminología puede llevar un poco a confusión, pues a la bola abierta de radio r\,\! y centro a\,\! se la suele denotar por U(a,r)\,\! o por U_r(a)\,\!, mientras -y aquí viene la posible confusión- a la bola cerrada de centro a\,\! y radio r\,\! se la denota por B(a,r)\,\! o por B_r(a)\,\!.
  • Algunos autores utilizan la expresión disco en lugar de bola, así es que se puede hablar en términos de disco abierto y disco cerrado. En particular, esta terminología se utiliza en Variable Compleja, y cuando se considera la distancia euclídea sobre el conjunto \mathbb{R}^2.

Topología de un espacio métrico

La distancia dota a M de una topología, definiendo un subconjunto o parte U como abierta cuando: \forall u\in U,\exists\varepsilon>0/B(u,\varepsilon)\subset U. A dicha topología se la denomina topología inducida por d en M.

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 (E,d)\, de un espacio métrico (M,d)\, es subespacio topológico del espacio topológico (M,T)\,, donde T\, es la topología en M\, inducida por d. Es decir, E\, hereda de M\, la topología inducida por d.

Un entorno V de un punto a de un espacio métrico M no es más que un subconjunto V \subset M de forma que exista un r > 0 tal que la bola abierta B(a,r) \subset V. El conjunto \{B(a,r): a \in M, r \in \mathbb{R}, r>0 \} es base de la topología inducida por d, y también es base de entornos de dicha topología. Como \mathbb{Q} es denso en \mathbb{R}, resulta entonces que \{B(a,r): a \in M, r>0, r \in \mathbb{Q}\} también es base de entornos de la topología inducida por d. En consecuencia, todo espacio métrico cumple el Primer 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: ser espacio de Lindelöf, cumplir el Primer Axioma de Numerabilidad y ser separable.

Sistemas axiomáticos alternativos

La propiedad 1 (d(x, y) ≥ 0) se sigue de la 4 y la 5. Algunos autores usan la recta real extendida y admiten que la distancia tome el valor ∞. Cualquier métrica tal puede ser reescalada a una métrica finita (usando d'(x, y) = d(x, y) / (1 + d(x, y)) o d''(x, y) = min(1, d(x, y))) y los dos conceptos de espacio métrico son equivalentes en lo que a topología se refiere. Una métrica es llamada ultramétrica si satisface la siguiente versión, más fuerte, de la desigualdad triangular.

  • \forall x,y,z\in M, d(x,z) \leq   max(d(x,y),d(y, z)).

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 d(x,y)=0 y d(y,x)=0 son necesarias para que x y y se identifiquen. Todas las combinaciones de lo anterior son posibles y referidas por sus nomenclaturas respectivas (por ejemplo como quasi-pseudo-ultramétrico).

Ejemplos

  • La distancia trivial: d(x,y) = 0 si x = y, caso contrario, 1.
d(x,y) = \begin{cases} 0 & \mbox{,si }x=y \\ 1 & \mbox{,si }x \ne y \end{cases}
  • 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 euclídea, son espacios métricos completos.
  • Más generalmente aun, cualquier espacio vectorial normado es un espacio métrico 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 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 acotadas f 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 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 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 de funció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 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 función 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 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 (X,T) se dice que es metrizable cuando existe una distancia d cuya topología inducida sea precisamente la topología T.

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 regular que cumpla el Segundo Axioma de Numerabilidad es metrizable.

Teorema de metrización de Nagata-Smirnov (condición suficiente).

Todo espacio regular con una base numerable localmente finita es metrizable.

Teorema de metrización de Nagata-Smirnov (condición suficiente).

Todo espacio metrizable tiene una base numerable localmente finita.

Teorema de metrización de Stone.

Todo espacio metrizable es paracompacto.

Teorema de metrización de Smirnov.

Un espacio topológico es metrizable si y solo si es paracompacto y localmente metrizable.

Teorema de metrización de espacios completamente separables.

Un espacio topológico completamente separable es metrizable si y solo si es regular.

Véase también

Obtenido de "Espacio m%C3%A9trico"

Wikimedia foundation. 2010.

Mira otros diccionarios:

  • Espacio métrico — Principio ● En matemática, un espacio métrico es un tipo particular de espacio topológico,donde una distancia entre puntos está definida, corresponde al caso muy común en que se dispone de una noción de distancia sobre el espacio. * * * En… …   Enciclopedia Universal

  • Contracción (espacio métrico) — En matemática, una contracción o aplicación contractiva de un espacio métrico es una aplicación matemática f de un espacio métrico (M, d) en sí mismo ( ) con la propiedad de que existe un número real k < 1 tal que para todo x e y en M: El… …   Wikipedia Español

  • Espacio completo — Saltar a navegación, búsqueda En análisis funcional un espacio métrico X se dice que es completo si toda sucesión de Cauchy converge, es decir, existe un elemento del espacio que es el límite de la sucesión. La idea intuitiva de este concepto es… …   Wikipedia Español

  • Espacio — Saltar a navegación, búsqueda Espacio (del latín spatium) se refiere: Especialmente al espacio físico, en el que se ubican los objetos sensibles; y la extensión que contiene toda la materia existente; la distancia entre dos cuerpos; la distancia… …   Wikipedia Español

  • Espacio euclídeo — Saltar a navegación, búsqueda El espacio euclídeo o euclidiano es el espacio matemático n dimensional usual, una generalización de los espacios de 2 (plano euclídeo) y 3 dimensiones estudiados por Euclides. Estructuralmente un espacio euclídeo es …   Wikipedia Español

  • Espacio de Baire — Saltar a navegación, búsqueda En topología y ramas relacionadas de las matemáticas, un espacio de Baire es un espacio topológico que, hablando intuitivamente es muy grande y tiene suficientes puntos para un cierto proceso límite. Fue nombrado así …   Wikipedia Español

  • Espacio vectorial normado — Saltar a navegación, búsqueda En matemática un espacio vectorial se dice que es normado si en él se puede definir una norma vectorial. Podemos señalar los siguientes hechos que ayudan a comprender la importancia del concepto de espacio normado:… …   Wikipedia Español

  • Espacio de Kolmogórov — Saltar a navegación, búsqueda Un espacio topológico se dice que es T0 o espacio de Kolmogórov (o que cumple la propiedad de separación de Kolmogórov) si dados dos puntos distintos cualesquiera x e y del espacio, o bien existe un entorno Ux de x… …   Wikipedia Español

  • Espacio de Fréchet — Saltar a navegación, búsqueda Un espacio de Fréchet es una estructura de espacio vectorial topológico que satisface ciertas propiedades de los espacios de Banach aun en ausencia de norma. Este concepto hace referencia a Maurice Fréchet, un… …   Wikipedia Español

  • Espacio prehilbertiano — Saltar a navegación, búsqueda En matemáticas, un espacio prehilbertiano o espacio prehilbert es un espacio vectorial provisto de un producto escalar. Más concretamente, es un par , donde es un espacio vectorial sobre un cuerpo y …   Wikipedia Español


Compartir el artículo y extractos

Link directo
… Do a right-click on the link above
and select “Copy Link”

We are using cookies for the best presentation of our site. Continuing to use this site, you agree with this.