Logo Passei Direto
Buscar
Seja f : X → Y uma aplicação contínua entre espaços topológicos. Se f é injetiva e X é compacto, então a imagem f(X) é compacta.
Prove que f(X) é compacto.
User badge image
Ensinando Através de Questões

há 2 semanas

Respostas

User badge image

Ed Verified user icon

há 2 semanas

Para provar que a imagem \( f(X) \) é compacta, vamos usar a definição de compactude e a continuidade da função \( f \). 1. Definição de Compactude: Um espaço topológico é compacto se toda cobertura aberta tem uma subcobertura finita. 2. Cobertura de \( f(X) \): Seja \( \{ V_i \}_{i \in I} \) uma cobertura aberta de \( f(X) \) em \( Y \). Isso significa que \( f(X) \subseteq \bigcup_{i \in I} V_i \). 3. Pré-imagem: Como \( f \) é contínua, a pré-imagem \( f^{-1}(V_i) \) é aberta em \( X \) para cada \( i \in I \). Assim, \( \{ f^{-1}(V_i) \}_{i \in I} \) é uma cobertura aberta de \( X \). 4. Compactude de \( X \): Como \( X \) é compacto, existe uma subcobertura finita \( \{ f^{-1}(V_{i_1}), f^{-1}(V_{i_2}), \ldots, f^{-1}(V_{i_n}) \} \) que cobre \( X \). 5. Imagem da Subcobertura: Portanto, temos que: \[ X \subseteq f^{-1}(V_{i_1}) \cup f^{-1}(V_{i_2}) \cup \ldots \cup f^{-1}(V_{i_n}). \] Aplicando \( f \) em ambos os lados, obtemos: \[ f(X) \subseteq f(f^{-1}(V_{i_1})) \cup f(f^{-1}(V_{i_2})) \cup \ldots \cup f(f^{-1}(V_{i_n})). \] 6. Injetividade: Como \( f \) é injetiva, temos que \( f(f^{-1}(V_i)) = V_i \) para cada \( i \). Assim, podemos escrever: \[ f(X) \subseteq V_{i_1} \cup V_{i_2} \cup \ldots \cup V_{i_n}. \] 7. Conclusão: Portanto, \( \{ V_{i_1}, V_{i_2}, \ldots, V_{i_n} \} \) é uma subcobertura finita de \( f(X) \), o que implica que \( f(X) \) é compacto. Assim, provamos que a imagem \( f(X) \) é compacta.

Essa resposta te ajudou?

0
Dislike0

Ainda com dúvidas?

Envie uma pergunta e tenha sua dúvida de estudo respondida!

Essa pergunta também está no material:

Mais perguntas desse material

Mais conteúdos dessa disciplina