Espacio métrico completo

espacio métrico

Definición

editar

En análisis matemático, un espacio métrico   se dice que es completo si toda sucesión de Cauchy contenida en   converge a un elemento de  , es decir, existe un elemento del espacio que es el límite de la sucesión.

La idea intuitiva de este concepto es que no hay nada "pegado" a   y que no esté en  .

La importancia de los espacios completos radica en que, con frecuencia, para demostrar que una sucesión es convergente es mucho más fácil demostrar que la sucesión es de Cauchy, que demostrar directamente que la sucesión es convergente porque para demostrar que una sucesión es de Cauchy no se necesita conocer el valor al que converge.

Una vez probada que la sucesión es de Cauchy, por la completitud del espacio, se colige que la sucesión converge. Se han podido construir en ellos métodos poderosos para demostrar la existencia de soluciones de ecuaciones (v.) numéricas, diferenciales o integrales con determinadas condiciones iniciales.

Ejemplos

editar
  • Sin embargo,   deja de serlo: la sucesión   es de Cauchy pero no converge, pues su límite en los reales, el cero, está excluido del conjunto.
  • Extendiendo el ejemplo anterior, los intervalos acotados y abiertos o semi-abiertos de  , tomados como espacios métricos, con la métrica inducida de los reales, no son completos.
  • No obstante, todo intervalo cerrado de los reales es completo. En general, todo conjunto cerrado y acotado en   para   finito es completo. Esta afirmación no se cumple necesariamente en dimensión infinita.
  • Otro espacio no completo es el espacio formado por el conjunto de los números racionales ( ) con la métrica heredada de los reales (que es la inducida por el valor absoluto). Efectivamente, existen sucesiones de números racionales que convergen a números irracionales. Por ser sucesiones convergentes (al menos, dentro de  ), son de Cauchy. Pero su límite no es racional, es decir, está fuera del espacio considerado.

Algunos resultados

editar
  • Sabemos que si tenemos un espacio vectorial  , y una norma   sobre este, entonces podemos definir una métrica sobre  ,  , teniendo que   es un espacio métrico. Así, cuando este es el caso, podemos caracterizar la noción de completitud de la siguiente manera:   es completo si y solo si toda serie en   absolutamente convergente es convergente.[1]
  • Todo espacio vectorial normado de dimensión finita es completo si está definido sobre un cuerpo completo.
  • Sea (X,d) un espacio métrico completo y sea Y un subconjunto no vacío de X. Entonces (Y,d) es un espacio métrico completo si y solamente si Y es un conjunto cerrado en (X,d).
  • Además, todo espacio métrico puede ser completado, esto es, existe otro espacio métrico   completo, y una isometría  , tal que   es un conjunto denso en  . Así, por ejemplo, el intervalo   y   pueden completarse, respectivamente, en el intervalo   y  .
  • Teorema de las esferas encajadas:

Teorema:[2]

Sea (X,d) un espacio métrico. Es completo si y sólo si cualquier sucesión de esferas encajadas cuyos radios tiendan a cero tiene intersección no vacía.

Sea (X,d) un espacio métrico completo y sea f: XX una aplicación contractiva en X. Entonces existe un único punto fijo de f.


Véase también

editar

Referencias

editar
  1. Sutherland, Wilson A. (1975). Introduction to Metric and Topological Spaces. ISBN 978-0-19-853161-6. 
  2. Zalinescu, C. (2002). Convex analysis in general vector spaces. River Edge, N.J. London: World Scientific. p. 33. ISBN 981-238-067-1. OCLC 285163112. 

Bibliografía

editar