Luso Academia

Início » 00 Geral » Demonstração do Teorema de Cantor

Demonstração do Teorema de Cantor

Demonstração: Na proxima aula. \Box

ilon>0}&fg=000000$, seja {N} tal que {diam F_{n}<\epsilon}, {\forall n\geq N}. Assim, se {m,n\geq N}, então ii) implica que {F_{N}\subseteq F_{n,m}},i.e., {diam F_{N}<diam F_{n}<\epsilon}, logo {x_{n}} é uma sequência de Cauchy, e como {(X,d)} é completo, então {\exists x\in X}: {x_{n}\longrightarrow x}.

Como cada {F_{n}} é fechado, então {x\in \cap_{n=1}^{\infty}F_{n}}. Se {\exists y\in \cap_{n=1}^{\infty}F_{n}}, então {d(x,y)\leq diam F_{n}}, logo {x=y}.

Seja agora {x_{n}} uma sequência de Cauchy. Tomando {F_{n}=\overline{\{x_{n+1}, x_{n},\cdots\}}}. Claramente {F_{n}} é fechado e decrescente. Seja {\epsilon>0} e seja {N} tal que {d(x_{n},x_{m})<\epsilon}, {\forall m,n\geq N}. Como {diam F_{k}=\sup\{d(x_{n},x_{m}):m,n\geq k\}\leq\epsilon\Longrightarrow diam F_{k}\longrightarrow0}.

Para qualquer {n\geq 1}, {d(x,x_{n})\leq diam F_{n}\longrightarrow0}, i.e., {x_{n}\longrightarrow x}, logo {(x,d)} é completo.

\Box


Deixe um comentário

Preencha os seus detalhes abaixo ou clique num ícone para iniciar sessão:

Logótipo da WordPress.com

Está a comentar usando a sua conta WordPress.com Terminar Sessão /  Alterar )

Google photo

Está a comentar usando a sua conta Google Terminar Sessão /  Alterar )

Imagem do Twitter

Está a comentar usando a sua conta Twitter Terminar Sessão /  Alterar )

Facebook photo

Está a comentar usando a sua conta Facebook Terminar Sessão /  Alterar )

Connecting to %s

This site uses Akismet to reduce spam. Learn how your comment data is processed.

Donativos

Donate Button

Localização

wordpress com stats
%d bloggers like this: