===== Reta de Michael ===== Considere $\mathbb R$ com a topologia gerada por $\tau \cup \{\{x\}: x \in \mathbb R \setminus \mathbb Q\}$. Chamamos este espaço de {{entry>reta de Michael}} e vamos denota-lo por $M$. **~~#~~** Mostre que para cada $q \in \mathbb Q$, uma base para $q$ em $M$ é $\{]a, b[: a, b \in \mathbb B, a < q < b\}$. **~~#~~** Mostre que $M$ tem bases locais enumeráveis, mas não tem base enumerável. **~~#~~** Mostre que $M$ não é separável. **~~#~~** Considere $\mathbb R$ com a topologia usual. **~~#.#~~** Mostre que existe $F \subset \mathbb R \setminus \mathbb Q$ fechado e não enumerável. **~~#.#~~** Conclua que $M$ não é de Lindelöf.