Mostrar páginaRevisões anterioresLinks reversosVoltar ao topo ===== $\mathbb{N} \times \mathbb{N}$ possui base enumerável ===== \\ Cada elemento de $\mathbb{N} \times \mathbb{N}$ é um aberto. Se o espaço for enumerável, podemos tomar a família que contenha todos os seus elementos --- essa família será uma base enumerável. \\ Basta que definamos $f: \mathbb{N} \times \mathbb{N} \to \mathbb{N}$ da forma $f(m, n) = 2^n \cdot 3^m$. Essa função é injetora. Assim, seu domínio é enumerável. topologia/exemplo/nxnbaseenum.txt Última modificação: 2021/07/02 15:37por felipem