Tabela de conteúdos

Espaço do Pente sem a Origem

O Espaço do Pente sem a origem é a união das partes positivas dos eixos $x$ e $y$ de $\mathbb{R}^2$ (sem incluir a origem, é claro), mais a parte acima do eixo $x$ das semirretas verticais $x=\frac{1}{n}$, para cada $n \in \mathbb{N}$. Isso é ilustrado na figura abaixo (toda a parte azul).

Mais precisamente, sejam $A = \{ (\frac{1}{n}, y) \in \mathbb{R}^2 ~\vert~ y \geq 0, n \in \mathbb{N} \} \cup \{(x,0) \in \mathbb{R}^2 ~\vert~ x > 0 \}$ e $B = \{(0,y) \in \mathbb{R}^2 ~\vert~ y > 0 \}$, então o Espaço do Pente é definido pelo conjunto $X = A \cup B \subset \mathbb{R}^2$ munido da topologia induzida pela métrica de $\mathbb{R}^2$.


Axiomas de separação

Demonstração


Axiomas de enumerabilidade

Demonstração


Propriedades de cobertura

Demonstração


Propriedades de conexidade

Demonstração