Ferramentas do usuário
Teorema de Baire
Provavelmente você vai querer saber os resultados da lista de densos.
1 Seja $(X, \tau)$ espaço topológico. Sejam $A$ e $B$ abertos densos em $X$. Mostre que $A \cap B$ é um aberto denso em $X$.
Seja $(X, \tau)$ espaço topológico. Dizemos que $X$ é um espaço/Baire; espaço de Baire se, dada uma sequência $(A_n)_{n \in \omega}$ de abertos densos, temos que $\bigcap_{n \in \omega} A_n$ é denso em $X$.
2 Mostre que $\mathbb Q$ não é um espaço de Baire.
3 Mostre que todo espaço $T_1$ sem pontos isolados e enumerável não é de Baire.Solução
4 Seja $(X, \tau)$ compacto de Hausdorff. Sejam $A$ um aberto e $D$ um aberto denso. Mostre que existe $B$ aberto não vazio tal que $\overline B \subset A \cap D$.
5 Teorema/Baire para espaços compactos; Teorema de Baire para espaços compactos Seja $(X, \tau)$ espaço compacto de Hausdorff. Mostre que $X$ é de Baire.Dica Solução
6 Seja $X$ espaço localmente compacto e de Hausdorff. Mostre que $X$ é de Baire.
7 Seja $(X, d)$ espaço métrico. Sejam $A$ um aberto e $D$ um aberto denso. Mostre que existem $x \in X$ e $r \in \mathbb R_{>0}$ tais que $\overline{B_r(x)} \subset A \cap D$.
8 Teorema/Baire para métricos completos; Teorema de Baire para espaços métricos completos Seja $(X, d)$ espaço métrico completo. Mostre que $X$ é de Baire.Dica
Ferramentas da página
