Análise real/Topologia da reta: diferenças entre revisões

[edição não verificada][edição não verificada]
Conteúdo apagado Conteúdo adicionado
Linha 154:
Como cada <math>F_n\,</math> é não vazio é possível contruir a seqüência <math>x_n\,</math> tal que:
:<math>x_n\in F_n\,</math>
DoComo fatoos queconjuntos <math>F_k\subseteq F_n\,</math> serem limitados, pode-se supor sem perda de generalidade que <math>k\geq n{x_n\}\,</math>, temosé queuma seqüência convergente para algum real <math>\{x_n\}_{n=k}x^{\infty}\subseteq F_k*\,</math>.
Do fato que <math>F_k\subseteq F_n\,</math> se <math>k\geq n\,</math>, temos que <math>\{x_n\}_{n=k}^{\infty}\subseteq F_k\,</math> e como estes conjuntos são fechados, <math>x^*\in F_k\,</math> para todo '''k'''. Daí temos que o limite <math>x^*\in\bigcap_{n=1}^{\infty}F_n\,</math> e o resultado segue.
 
==Distância de um conjunto a um ponto==