Teorema do encaixe de intervalos: diferenças entre revisões
Conteúdo apagado Conteúdo adicionado
m r2.7.1) (Bot: Adicionando: es:Principio de los intervalos encajados |
m r2.7.1) (Robô: A adicionar: uk:Лема про вкладені відрізки |
||
Linha 26: | Linha 26: | ||
[[es:Principio de los intervalos encajados]] |
[[es:Principio de los intervalos encajados]] |
||
[[ru:Лемма о вложенных отрезках]] |
[[ru:Лемма о вложенных отрезках]] |
||
[[uk:Лема про вкладені відрізки]] |
Revisão das 20h35min de 4 de junho de 2011
Em matemática, o teorema do encaixe de intervalos afirma que qualquer sucessão decrescente de intervalos de números reais tem, pelo menos, um ponto em comum.
Enunciado formal
Para cada n ∈ N, seja [an,bn] um intervalo de números reais e suponha-se que a sucessão ([an,bn])n ∈ N é decrescente, ou seja
Então existe algum número c que pertence a todos os intervalos [an,bn], o que é o mesmo que dizer que
Demonstração
Como a sucessão (an)n ∈ N é crescente e é majorada (por todos os bn), converge para algum número a e, analogamente, a sucessão (bn)n ∈ N converge para algum b. Como qualquer an é menor ou igual que qualquer bn, tem-se a ≤ b. Por outro lado, é claro que, se x ∈ R, então
e
o que é o mesmo que dizer que:
Generalizações
- Seja {[ai,bi] | i ∈ I} um conjunto de intervalos fechados de um intervalo [a,b] e suponha-se que qualquer qualquer parte finita daquele conjunto tem intersecção não vazia. Então
- Uma sucessão decrescente (Kn)n ∈ N de partes fechadas, limitadas e não vazias de Rn tem intersecção não vazia.