dissonance ha scritto:Questo lo avevi detto in un messaggio precedente. Essendo una mappa aperta e ingettiva, è un omeomorfismo.
No lo ha detto jinsang. Ed inoltre ha detto bigettiva non ingettiva.
Anche se \( f : \mathbb{C} \to f(\mathbb{C}) \) è bigettiva in quanto \( f \) ingettiva, pertanto se \( f \) è un omeomorfismo abbiamo che \( \mathbb{C} \) è semplicemente connesso dunque anche \( f(\mathbb{C} ) \) lo è!