Principio de los intervalos encajados
![](https://upload.wikimedia.org/wikipedia/commons/thumb/4/48/Illustration_nested_intervals.svg/220px-Illustration_nested_intervals.svg.png)
En matemática, se denomina familia de intervalos encajonados (o encajados) a una familia de subconjuntos de tales que:
- Cada uno de los conjuntos Ik es un intervalo, es decir, un conjunto de la forma (intervalo cerrado), (intervalo abierto), o semiabierto, en que la desigualdad es estricta solamente en uno de los extremos.
- Se cumple que , esto es, cada intervalo Ik está contenido en el anterior.
- Se tiene que, si los extremos de cada intervalo Ik son ak y bk, entonces , esto es, los intervalos se hacen cada vez más pequeños y terminan siendo de longitud menor a cualquier cantidad positiva.[1]
Principio de los intervalos encajados
[editar]La pregunta que surge ante una familia de intervalos encajonados es saber si existen números reales que pertenezcan a todos los elementos de esta familia, es decir, saber si el conjunto:
es vacío o no.
Podemos comprobar que en el caso de conjuntos abiertos no hay un resultado general. Por ejemplo, la familia de intervalos es una familia de intervalos todos ellos no vacíos pero con intersección vacía, ya que dado un , ninguno de los intervalos Ik con contendrá a , y 0 no pertenece a ninguno de los Ik. En cambio, la familia de intervalos encajonados sí posee intersección no vacía, ya que .
En cambio, para las familias de intervalos cerrados encajonados existe un resultado general, conocido como teorema o principio de los intervalos encajados, que estipula lo siguiente:
|
La prueba de este teorema es una aplicación del teorema de las sucesiones monótonas. Si , tenemos que, al estar cada intervalo contenido en el anterior, se tiene que la sucesión es monótona creciente y acotada superiormente por b1; asimismo, es monótona decreciente y acotada inferiormente por a1; luego, ambas sucesiones convergen a sendos valores a y b, respectivamente. Luego, por definición de intervalos encajonados, el límite de la sucesión (ak - bk) es 0, pero por teoremas de sucesiones este límite es a - b, por lo que concluimos que a = b. Al ser todos los intervalos Ik cerrados, vemos que este número límite pertenece a todos los intervalos de la familia.
Nótese que podemos demostrar que este teorema es lógicamente equivalente al axioma del supremo, es decir, podemos asumir este teorema como axioma y tomarlo como base para demostrar el axioma del supremo como un teorema y, por consiguiente, que el cuerpo de los números reales es un conjunto completo.[2]
Este teorema tiene un análogo en los espacios n-dimensionales , que señala que cualquier familia de bolas cerradas encajadas tiene por intersección un único punto.
Axioma de Cantor
[editar]Para calcular el valor de la raíz cuadrada de 2, por defecto se empieza con 1; luego otro número > 1, tal que ; en seguida un número , con ; de nuevo , con .Y así sucesivamente una sucesión creciente pero tal que el cuadrado de ningún término no excede a 2.
De igual modo se construye una sucesión decreciente tal que el cuadrado de ninguno de los término esté por debajo de 2 i. e., siendo .
Después se forma la sucesión de los intervalos cerrados encajados con término general . El único elemento común a todos lo intervalos cerrados es la raíz cuadrada de 2.[3] Se usa en vez del axioma del supremo en la axiomatización de los reales[4]
Enunciado
[editar]Referencias
[editar]Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.