bases_enumeraveis [WikiMat]

Essa página está em modo somente de leitura. Você pode visualizar a fonte, mas não alterá-la. Informe-se com o administrador do Wiki, caso você ache que isso está incorreto.

===== Segundo Axioma de Enumerabilidade: bases enumeráveis =====

<WRAP round box>
=== Definição ===

Dizemos que um [[topologia:espacotopologico|espaço topológico]] $(X,\tau)$ satisfaz o **segundo axioma de enumerabilidade** se admite uma [[topologia:bases|base]] enumerável.
</WRAP>

<WRAP center round tip 60%>
Se um espaço topológico $(X,\tau)$ satisfaz o segundo axioma da enumerabilidade, então também satisfaz o [[topologia:baselocalenumeravel|primeiro axioma da enumerabilidade]]. <wrap help>[[topologia:2axenum_1axenum|Demonstração]]</wrap>. A volta não necessariamente é verdade, por exemplo a [[topologia:exemplo:retadesorgenfrey|reta de Sorgenfrey]] possui bases locais enumeráveis, mas não admite base enumerável.
</WRAP>
 
=== Exemplos ===
**Satisfaz:**
  * A reta real com a topologia usual. <wrap help>[[topologia:exemplo:retausualbaseenum|Solução]]</wrap>
  * Os [[topologia:exemplo:racionaisviasorgenfrey|racionais via reta de Sorgenfrey]]. <wrap help>[[topologia:exemplo:racsorgbaseenum|Solução]]</wrap>

**Não satisfaz**
  * A [[topologia:exemplo:retadesorgenfrey|Reta de Sorgenfrey]]. <wrap help>[[topologia:exemplo:sorgenfreybaseenum|Solução]]</wrap>
  * A [[topologia:exemplo:retademichael|Reta de Michael]].  <wrap help>[[topologia:exemplo:michaelbaseenum|Solução]]</wrap>