Diferencia entre revisiones de «Espacio métrico completo»
m Bot Añadido: kk:Толық кеңістік |
no es una propiedad "de los espacios completos" sino de los espacios métricos... |
||
Línea 21: | Línea 21: | ||
== Algunos resultados == |
== Algunos resultados == |
||
* En un espacio métrico toda sucesión convergente es de [[sucesión de Cauchy|Cauchy]]. |
|||
* Todo [[espacio vectorial]] [[Operador norma|normado]] de [[Dimensión de un espacio vectorial|dimensión]] finita es completo si está definido sobre un cuerpo completo. |
* Todo [[espacio vectorial]] [[Operador norma|normado]] de [[Dimensión de un espacio vectorial|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 completo si y sólo si Y es un [[conjunto cerrado]] en (X,d). |
* 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). |
Revisión del 04:03 11 oct 2012
En análisis matemático un espacio métrico 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 y que no esté en .
La importancia de los espacios completos radica en que, en ellos, es mucho más fácil demostrar que una sucesión es de Cauchy, que demostrar que la sucesión es convergente. Pues, 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
- El conjunto de los números reales, , es completo con la métrica habitual inducida por el valor absoluto.
- Sin embargo, deja de serlo: la sucesión es de Cauchy pero no converge, pues su límite, cero, está excluido del conjunto.
- Extendiendo el ejemplo anterior, los intervalos acotados y abiertos o semi-abiertos de no son completos.
- No obstante, todo intervalo cerrado de los reales es completo.
- Otro espacio no completo es el conjunto de los números racionales, con la métrica 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.
Algunos resultados
- 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 completo si y sólo 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, la completación del intervalo resulta ser el intervalo , y la completación de es .
- Teorema de las esferas encajadas:
|
- Teorema del punto fijo de Banach (o de la aplicación contractiva):
|
Véase también
- 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.