ir para o conteúdo
Topologia e conjuntos em exercícios
Mantido pelo grupo "Topologia do Interior"
Ferramentas do usuário
Entrar
Ferramentas do site
Pesquisar
Ferramentas
Mostrar página
Revisões anteriores
Links reversos
Alterações recentes
Gerenciador de mídias
Índice
Entrar
>
Alterações recentes
Gerenciador de mídias
Índice
Visitou:
solucao:fexistenaoenumeravel
<WRAP Tip>Talvez você queira consultar alguns resultados da lista sobre [[lista:enumerabilidade|enumerabilidade]].</WRAP> Suponha que para todo $n \in \omega$ o conjunto $F_n = \{F \in \mathcal F: |F|=n \}$ seja enumerável. Note que como $\mathcal F$ é composto de conjunto finitos deveríamos ter que $\bigcup_{n \in \omega}F_n = \mathcal F$. Mas $\mathcal F$ é **não enumerável** e a união enumerável de conjuntos enumeráveis é **enumerável**, um absurdo. Portanto concluímos que existe $n \in \omega$ e $\mathcal F' \subset \mathcal F$ não enumerável tal que $|F|=n$ para todo $F \in \mathcal F'$.
solucao/fexistenaoenumeravel.txt
· Última modificação: 2020/11/06 16:05 (edição externa)
Ferramentas da página
Mostrar página
Revisões anteriores
Links reversos
Voltar ao topo