Topologia/Enumerabilidade

Enumerabilidade editar

1) Um espaço topológico X diz-se que verifica o 1º Axioma da Contabilidade se a topologia em X tem uma base contável se a topologia em X tem uma sub-base contável.

2) Um espaço topológico X diz-se que verifica o 2º Axioma da Contabilidade se cada ponto de X tem uma base contável de vizinhanças.

3) Sendo X um espaço topológico, se x ∈ X tem uma base contável de vizinhanças, então tem uma base (Vn)n de vizinhanças tal que
... ⊆ V3 ⊆ V2 ⊆ V1.

4) Se X verifica o 1º Axioma da Contabilidade, então também verifica o 2º Axioma da Contabilidade.

5) Um sub-espaço dum espaço topológico que verifique o 1º Axioma da Contabilidade (resp. 2º Axioma da Contabilidade) também verifica o 1º Axioma da Contabilidade (resp. 2º Axioma da Contabilidade).

Densidade editar

Sendo X espaço topológico, diz-se que uma parte A de X é densa em X sse alguma das condições equivalentes se verifica:

1) fecho A = X.

2) ext A é vazio.

3) Todo o aberto de X intersecta A.

Proposição editar

Sendo X espaço topológico:

1) A é denso em fecho A.

2) Se A é denso em B e B é denso em X, então A é denso em X.

3) Ainda que A seja denso em X, pode ser que B ∩ A não seja denso em B, como se pode ver fazendo X = {1, 2, 3} com a topologia
{Ø, X, {1, 2}} sendo A = {2, 3} e B = {1, 3}.

Espaço separável editar

Sendo X um espaço topológico:

1) Diz-se que X é separável sse X contiver uma parte densa contável.

2) Se X verifica o 1º Axioma da Contabilidade, então X é separável.

Demonstração
2): Suponha-se que X verifica o 1º Axioma da Contabilidade. Seja β uma base contável da topologia em X. Para cada A ∈ β, seja um certo xA ∈ A. Então B = {xA: A ∈ β} é contável. Sendo U aberto de X, U é a união de elementos de β, portanto algum elemento de B está em U. Assim B é denso em X.

Proposição editar

Sejam X espaço topológico e (Xn)n sucessão de partes de X cuja união é X. Para cada n, seja Dn contável denso em Xn. Então  ∪ n Dn é contável e denso em X. Em particular, se um espaço é a união contável de sub-espaços separáveis, então ele é separável.

Demonstração
Evidentemente  ∪ n Dn é contável. Será denso em X?
Seja U aberto de X. Então, para um certo n, U ∩ Xn não é vazio. Mas U ∩ Xn é aberto de Xn, logo existe x ∈ U ∩ Xn ∩ Dn.
Então x ∈  ∪ n Dn, portanto U ∩ ( ∪ n Dn) não é vazio. O que mostra que  ∪ n Dn é denso em X.

Propriedade de Hausdorff editar

Sendo X espaço topológico, diz-se que X é de Haudsdorff sse, para quaisquer x, y ∈ X diferentes, existem U vizinhança de x e V vizinhança de y que são disjuntas.

Note-se que a sub-topologia numa parte dum espaço de Hausdorff é ainda de Hausdorff. E note-se também que, se X for de Hausdorff, qualquer que seja x ∈ X, {x} é fechado.

Note-se que a propriedade de Hausdorff afirma sobre a possibilidade de «separar» dois pontos do espaço. No entanto, atenção, o facto dum espaço topológico ser separável, não significa que seja de Hausdorff. É muito fácil criar um contra-exemplo.

Conjunto raro, categorização de Baire editar

Sejam X espaço topológico e A parte de X. Então:

1) Diz-se que A é raro sse int fecho A = Ø.

2) Diz-se que A é da 1ª Categoria de Baire sse A é a união contável de conjuntos raros.

3) Diz-se que A é da 2ª Categoria de Baire sse A não é da 1ª Categoria de Baire.

4) A é aberto e denso em X sse X - A é fechado e raro em X.


 

Esta página é um esboço de matemática. Ampliando-a você ajudará a melhorar o Wikilivros.