Ferramentas do usuário
solucao:psibaselocalenumeravel
Queremos mostrar que $\psi(\mathcal{F})$ tem base local enumerável. Iremos analisar os seguintes casos:
- Se $x \in \omega$, claramente $x$ possui base enumerável.
- Se $x \in \mathcal{F}$, defina o seguinte sistema de vizinhanças $\mathcal{V}_{x} = \{\{x\} \cup (x \setminus A) : A $ é finito $\}$. Note que $\mathcal{V}_{x}$ é enumerável, pois a quantidade de subconjuntos finitos que podemos retirar de um conjunto enumerável, é enumerável.
Portanto $\psi(\mathcal{F})$ possui base local enumerável.
solucao/psibaselocalenumeravel.txt · Última modificação: 2020/11/06 16:05 (edição externa)
Ferramentas da página
Exceto onde for informado ao contrário, o conteúdo neste wiki está sob a seguinte licença: CC Attribution-Share Alike 4.0 International
