Espacio completo


Espacio completo

Espacio completo

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 que no hay nada "pegado" a X y que no esté en X. Así, por ejemplo, la recta real es un espacio completo, pero si le saco un punto, deja de serlo. Del mismo modo, todo intervalo cerrado en los reales es completo, pero todo intervalo acotado y abierto o semi-abierto no lo es. Por ejemplo, el intervalo (0,1) no es completo, pues la sucesión a_n=\frac{1}{n} es claramente de Cauchy, pero no converge, pues su límite es cero, punto que "no existe", pues no está en el conjunto.

La importancia de los espacios completos es que es mucho más fácil demostrar que una sucesión es de Cauchy a que converge, dado que para demostrar que una sucesión es de Cauchy no se necesita conocer el valor al que converge. Una vez demostrada que la sucesión es de Cauchy por la completitud del espacio, se llega a que la sucesión converge. Se ha podido construir en ellos métodos poderosos para demostrar la existencia de soluciones de ecuaciones (v.) numéricas, diferenciales o integrales en determinadas condiciones.

Si un espacio normado es completo con la distancia inducida por su norma, se llama espacio de Banach. Si además la norma está inducida por un producto escalar, se dice que se trata de un espacio de Hilbert.

Ejemplos

  • El conjunto de los números racionales, \mathbb{Q}, con el valor absoluto como distancia (d(x,y) = abs(x-y))) no es completo dado que existen sucesiones de números racionales que convergen a números irracionales. Debido a la convergencia (en los números reales), dichas sucesiones son de Cauchy, pero el valor límite no es racional por lo que no convergen en los números racionales.
  • El conjunto de los números reales, \mathbb{R}, es completo con la métrica valor absoluto.

Algunos resultados

  • En un espacio métrico toda sucesión convergente es de Cauchy.
  • Sea (X,d) un espacio métrico completo y sea Y un subconjunto no vacío de X. Entonces (Y,d) es completo si y sólo si Y es un conjunto cerrado en (X,d).
  • 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.
  • Todo espacio vectorial normado de dimensión finita es completo.
  • Todo espacio métrico puede ser completado, esto es, existe otro espacio métrico (Y,d') completo, y una isometría i \colon X \to Y, tal que i(X) es un conjunto denso en Y. Así, por ejemplo, la completación del intervalo (0,1) resulta ser el intervalo [0,1], y la completación de los racionales son los reales.
  • Teorema del punto fijo de Banach o Teorema de la Aplicación contractiva. Sea X un espacio métrico completo, y sea: f : X en X una aplicación contractiva. Entonces, existe un único punto p de X tal que f(p) = p.
Obtenido de "Espacio completo"

Wikimedia foundation. 2010.

Mira otros diccionarios:

  • 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 de Banach — Saltar a navegación, búsqueda En matemáticas, los espacios de Banach, llamados así en honor de Stefan Banach, son uno de los objetos de estudio más importantes en análisis funcional. Los espacios de Banach son típicamente espacios de funciones de …   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 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

  • completo — completo, ta adjetivo 1 entero*, íntegro, cabal, acabado, perfecto, lleno, cumplido, exacto. Íntegro equivale a entero; cabal reúne los matices de completo y entero. Cuando se trata de un trabajo u obra terminados, decimos que están completos,… …   Diccionario de sinónimos y antónimos

  • Completo — puede referirse a: Algo íntegro, lleno, pleno, cumplido, acabado, perfecto. Espacio completo, en matemáticas. Completo, sándwich típico chileno, similar al hot dog. Véase también Completas, la última oración de la liturgia de las Horas… …   Wikipedia Español

  • Espacio — (Del lat. spatium, campo para correr.) ► sustantivo masculino 1 Extensión o superficie en que está contenida la materia. 2 Parte de esta extensión que ocupa un cuerpo: ■ necesito un piso más grande y con más espacio. SINÓNIMO sitio 3 Distancia… …   Enciclopedia Universal

  • completo — (Del lat. completus, lleno.) ► adjetivo 1 Que tiene todos los elementos o partes que normalmente lo componen: ■ me han regalado una cubertería completa. SINÓNIMO entero íntegro ANTÓNIMO incompleto 2 Que está lleno: ■ la sala está completa …   Enciclopedia Universal

  • Espacio métrico — Saltar a navegación, búsqueda 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… …   Wikipedia Español

  • Espacio de Hilbert — Saltar a navegación, búsqueda En matemáticas, el concepto de espacio de Hilbert es una generalización del concepto de espacio euclídeo. Esta generalización permite que nociones y técnicas algebraicas y geométricas aplicables a espacios de… …   Wikipedia Español