Ed
semana passada
A afirmação "Se \( X \subset \mathbb{R}^m \) é compacto, então toda aplicação contínua aberta \( f: X \to S^n \) é sobrejetiva" é verdadeira. Aqui está o raciocínio passo a passo: 1. Compactação: Um conjunto compacto em \( \mathbb{R}^m \) é fechado e limitado. Isso implica que ele é "pequeno" o suficiente para que certas propriedades se mantenham. 2. Aplicação Contínua Aberta: Uma aplicação contínua aberta é aquela que mapeia conjuntos abertos em conjuntos abertos. Isso significa que a imagem de um conjunto aberto em \( X \) sob \( f \) é um conjunto aberto em \( S^n \). 3. Imagem de um Conjunto Compacto: A imagem de um conjunto compacto sob uma função contínua é compacta. Portanto, \( f(X) \) é compacto em \( S^n \). 4. Propriedades de Conjuntos Compactos: Um conjunto compacto em \( S^n \) é também fechado e limitado. 5. Dimensões: Se \( f \) é uma aplicação contínua aberta de um espaço de dimensão \( m \) (compacto) para um espaço de dimensão \( n \) (a esfera \( S^n \)), e se \( m < n \), a imagem não pode ser densa em \( S^n \), o que contradiria a sobrejetividade. 6. Conclusão: Portanto, se \( f \) é uma aplicação contínua aberta de um conjunto compacto \( X \) em \( S^n \), então \( f(X) \) deve ser igual a \( S^n \), ou seja, \( f \) é sobrejetiva. Assim, a afirmação é verdadeira.
Mais perguntas desse material