Ferramentas do usuário
Densos
Seja $(X, \tau)$ um espaço topológico. Dizemos que $D \subset X$ é denso(subespaço);denso se, para todo aberto $A \neq \emptyset$, temos que $D \cap A \neq \emptyset$.
1 Mostre que $\mathbb Q$ é denso em $\mathbb R$.
2 Sejam $X$ espaço topológico, $\mathcal B$ base para $X$ e $D \subset X$. Mostre que $D$ é denso se, e somente se, para todo $B \in \mathcal B$ não vazio temos que $D \cap B \neq \emptyset$.
3 Dê um exemplo de um espaço topológico $(X, \tau)$ tal que existam densos $A$ e $B$ tais que $A \cap B = \emptyset$ (ou seja, intersecção de densos não necessariamente é densa).Solução
4 Considere $(X, \tau)$ com a topologia/discreta; topologia discreta (isto é todo subconjunto de $X$ é aberto - mostre que isso é uma topologia de fato). Mostre que o único denso de $X$ é o próprio $X$.
5 Seja $(X, \tau)$ espaço topológico e seja $Y \subset X$ denso. Mostre que, se $D \subset Y$ é denso em $Y$, então $D$ é denso em $X$.
6 Sejam $(X, \tau)$ e $(Y, \rho)$ espaços topológicos, sendo $Y$ de Hausdorff. Seja $D \subset X$ denso. Sejam $f: X \rightarrow Y$ e $g: X \rightarrow Y$ funções contínuas. Mostre que se $f(x) = g(x)$ para cada $x \in D$, então $f = g$. Solução
Dizemos que um espaço topológico $(X, \tau)$ é espaço/separável; separável se existe $D \subset X$ enumerável e denso.
7 Seja $f: X \rightarrow Y$ função contínua. Se $X$ é separável, mostre que $f[X]$ é separável.Solução
Ferramentas da página
