===== Espaço de Novak ======
Se $\mathbb{Z}^+$ denota o conjunto dos inteiros positivos com topologia discreta, e se $S$ é uma compactação de $Stone-Cech$ de $\mathbb{Z}^+$, iremos construir por indução transfinita, \url:https://pt.wikipedia.org/wiki/Indu%C3%A7%C3%A3o_transfinita, um certo subconjunto $P$ de $S$. Seja $F$ uma família de todos os subconjuntos enumeráveis de $S$, bem ordenado por pelo menos um ordinal $\Gamma$  de cardinalidade $2^c = card(S)$. Seja {$P_A : A\in F$} uma coleção de subconjuntos de $S$ tal que $card(P_A) < 2^c, P_D\subset P_A$ sempre que $D < A$, e $\hat{f}(A)\cap P_A = \oslash$ quando $\hat{f}$ é a única extensão à $S = \beta(\mathbb{Z}^+)$ de uma função contínua $f:\mathbb{Z}^+ \rightarrow \mathbb{Z}^+$ que permuta cada inteiro ímpar com seu sucessor par $f(n) = n + (-1)^{n+1}$. Assim definimos $P = $ $\cup${$P_A : A\in F$}, e então definimos um Espaço de Novak como sendo $X = P\cup\mathbb{Z}^+$; $X$ é um subespaço de $S = \beta(\mathbb{Z}^+)$

=== Axiomas de separação ===

Satisfaz [[topologia:espacot0|$T_{0}$]], [[topologia:espacot1|$T_{1}$]], [[topologia:espacohausdorff|$T_{2}$]], $T_3$ e $T_4$. Em particular, é [[topologia:espacoregular|regular]] e [[topologia:espaconormal|normal]].

<wrap help>[[supseparacao|Demo.]]</wrap>

=== Axiomas de enumerabilidade ===

  * Possui [[topologia:baselocalenumeravel|bases locais enumeráveis]] (pois é espaço métrico).\\
  * É [[topologia:separabilidade|separável]] e admite [[topologia:basesenumeraveis|base enumerável]]. <wrap help>[[supseparable|Demo.]]</wrap>

=== Propriedades de cobertura ===
  * É [[topologia:sepcompacto|compacto]] e é [[topologia:localmentecompacto|localmente compacto]]. <wrap help> [[supnotcompact|Dem.]]</wrap> 

  * É [[topologia:paracomp|paracompacto]] (pois [[topologia:metricoparacompacto|todo espaço métrico é paracompacto]]).