ir para o conteúdo

Topologia e conjuntos em exercícios

Mantido pelo grupo "Topologia do Interior"

Ferramentas do usuário

Entrar

Ferramentas do site

Alterações recentes
Gerenciador de mídias
Índice

Visitou:

solucao:imagemseparavel

Sejam $f:X \rightarrow Y$ função contínua e $X$ separável com $D \subset X$ denso e enumerável. Assim, $f[X]$ é separável com $f[D]$ denso e enumerável.

De fato, note que como $D$ é enumerável, $f[D]$ também é enumerável.

Agora, como $f$ é contínua, temos que para todo aberto $B$ em $f[X]$ existe um aberto $A$ em $X$ tal que $f[A] \subset B$. Além disso, como $D \cap A \neq \emptyset$, temos que $f[D] \cap f[A] \neq \emptyset$. Como $f[A] \subset B$, temos $f[D] \cap B \neq \emptyset$, para $B$ aberto qualquer em $f[X]$.

solucao/imagemseparavel.txt · Última modificação: 2020/11/06 16:05 (edição externa)

Ferramentas da página

Mostrar página
Revisões anteriores
Links reversos
Voltar ao topo

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

CC Attribution-Share Alike 4.0 International