Diferencia entre revisiones de «Espacio métrico completo»
Contenido eliminado Contenido añadido
Sin resumen de edición |
Sin resumen de edición |
||
Línea 1:
En [[análisis matemático]] un [[espacio métrico]] <math>(X,d)</math> se dice que es '''completo''' si toda [[sucesión de Cauchy]] [[convergencia|converge]], es decir, existe un elemento del espacio que es el [[Límite de una sucesión|límite]] de la sucesión.
La idea intuitiva de este concepto es que no hay nada "pegado" a <math>X</math> y que no esté en <math>(X,d)</math>. 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 <math>(0,1)</math> no es completo, pues la sucesión <math>a_n=\frac{1}{n}</math> 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.
Línea 8:
Si además la norma está inducida por un [[producto escalar]], se dice que se trata de un [[espacio de Hilbert]].
==Definición==
Un [[espacio métrico]] <math>X</math> se dice que es '''completo''' si toda [[sucesión de Cauchy]] [[convergencia|converge]]
== Ejemplos ==
| |||