En análisis matemático un espacio métrico ( X , d ) {displaystyle (X,d)} se dice que es completo si toda sucesión de Cauchy contenida en X {displaystyle X} converge a un elemento de X {displaystyle X} , 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 X {displaystyle X} y que no esté en ( X , d ) {displaystyle (X,d)} .

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

]

• El conjunto de los números reales,

  R {displaystyle mathbb {R} }

  valor absoluto.

• Sin embargo,

  R ∖ { 0 } {displaystyle mathbb {R} setminus {0}}

  

  a n = n − 1 {displaystyle a_{n}=n^{-1}}

  

• Extendiendo el ejemplo anterior, los intervalos acotados y abiertos o semi-abiertos de

  R {displaystyle mathbb {R} }

  

• No obstante, todo intervalo cerrado de los reales es completo. En general, todo conjunto cerrado y acotado en

  R n {displaystyle mathbb {R} ^{n}}

  

  n ∈ N {displaystyle nin mathbb {N} }

  

• Otro espacio no completo es el espacio formado por el conjunto de los números racionales (

  Q {displaystyle mathbb {Q} }

  números irracionales. Por ser sucesiones convergentes (al menos, dentro de

  R {displaystyle mathbb {R} }

  

Algunos resultados

[

editar

]

• 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

  ( Y , d ′ ) {displaystyle (Y,d’)}

  isometría

  i : X → Y {displaystyle icolon Xto Y}

  

  i ( X ) {displaystyle i(X)}

  conjunto denso en

  Y {displaystyle Y}

  

  ( 0 , 1 ) {displaystyle (0,1)}

  

  Q {displaystyle mathbb {Q} }

  

  [ 0 , 1 ] {displaystyle [0,1]}

  

  R {displaystyle mathbb {R} }

  

• Teorema de las esferas encajadas:

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.

• Teorema del punto fijo de Banach (o de la aplicación contractiva):

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

Stefan Banach

Fuente bibliográfica

[

editar

]

Véase también

[

editar

]

• Espacio de Banach, que es un espacio normado y completo con la distancia inducida por su norma.
• Espacio de Hilbert, que es un espacio de Banach cuya norma está inducida por un producto escalar.