Principio do Supremo Todo conxunto non baleiro de números reais limitado superiormente ten supremo.
Definición.-
Unha sucesión
contractiva de intervalos pechados é unha familia { In, nÎN} de intervalos pechados tal que In É In+1. |
Postulado dos Intervalos Encaixados Toda sucesión contractiva
de intervalos pechados ten intersección non baleira.
Lema.- Sexa
In unha sucesión de intervalos encaixados en R. Se
as lonxitudes l (In) dos intervalos
converxen a cero, a súa intersección contén, ao sumo,
un punto.