topologia:exemplo:michaelseparavel

A reta de Michael não é separável


Seja $D \subset \mathbb{R}_{M}$ denso (na topologia $\tau_{M}$) e $x \in \mathbb{R} \setminus \mathbb{Q}$. Como $\{x\} \in \tau_{M}$, então $\{x\} \cap D \neq \emptyset$ e, portanto, $x \in D$. Daí temos que $\mathbb{R} \setminus \mathbb{Q} \subset D$ e assim $D$ não pode ser enumerável.

  • topologia/exemplo/michaelseparavel.txt
  • Última modificação: 2021/04/08 07:20
  • por claudinei