Re: Funzione olomrfa e iniettiva implica suriettiva.

Messaggioda 3m0o » 07/12/2019, 15:26

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 è!
3m0o
Average Member
Average Member
 
Messaggio: 624 di 827
Iscritto il: 02/01/2018, 15:00

Re: Funzione olomrfa e iniettiva implica suriettiva.

Messaggioda dissonance » 07/12/2019, 15:37

Si, un omeomorfismo sulla propria immagine, intendo.
dissonance
Cannot live without
Cannot live without
 
Messaggio: 15842 di 16008
Iscritto il: 24/05/2008, 19:39
Località: Nomade

Re: Funzione olomrfa e iniettiva implica suriettiva.

Messaggioda 3m0o » 07/12/2019, 17:10

dissonance ha scritto:Si, un omeomorfismo sulla propria immagine, intendo.

Okay ora ho capito, è un omeomorfismo in quanto \( f \) è continua (è olomorfa) e in quanto \( f^{-1} \) è continua poiché \( f \) è una mappa aperta!
3m0o
Average Member
Average Member
 
Messaggio: 625 di 827
Iscritto il: 02/01/2018, 15:00

Re: Funzione olomrfa e iniettiva implica suriettiva.

Messaggioda jinsang » 07/12/2019, 18:35

3m0o ha scritto:
dissonance ha scritto:Si, un omeomorfismo sulla propria immagine, intendo.

Okay ora ho capito, è un omeomorfismo in quanto \( f \) è continua (è olomorfa) e in quanto \( f^{-1} \) è continua poiché \( f \) è una mappa aperta!

Esatto! :-)
Poi hai capito la dimostrazione su MSE di quella cosa che dicevi (olomorfa iniettiva => la derivata non si annulla)?
E' carina.
Avatar utente
jinsang
Junior Member
Junior Member
 
Messaggio: 129 di 164
Iscritto il: 03/01/2017, 19:41

Re: Funzione olomrfa e iniettiva implica suriettiva.

Messaggioda 3m0o » 09/12/2019, 14:36

3m0o ha scritto:-Perché \( f(z)- f(z_0) = a(z-z_0)^k + G(z) \) con \( a \neq 0 \) e \( k \geq 2 \) ??

È semplicemente lo sviluppo di Taylor, \(k \neq 1 \) perché \( f'(z_0)=0 \) per ipotesi.
3m0o ha scritto:-Perché \( \left| G(z) \right| < \left| F(z) \right| \) in un intorno sufficientemente piccolo di \( z_0 \) ?

Continuo a non capire.

3m0o ha scritto:
- Perché \( F \) ha almeno due zeri nel cerchio? Uno è \( z_0 \) ma come faccio ad essere certo che esista \( z_1 \) nel cerchio tale che \( a(z_1-z_0)^k = \omega \) ?

In primo luogo non è \(z_0 \).
Secondariamente continuo a non capire perché \( F \) possiede due zeri distinti
3m0o
Average Member
Average Member
 
Messaggio: 630 di 827
Iscritto il: 02/01/2018, 15:00

Re: Funzione olomrfa e iniettiva implica suriettiva.

Messaggioda jinsang » 10/12/2019, 01:30

Abbiamo posto:
\[ f(z)-f(z_0)- \omega= F(z)+G(z) \\
F(z)=a(z-z_0)^k-\omega; \ \ \ \ G(z)=b(z-z_0)^{k+1}+...\]
Siccome \( |F(z_0)|=|\omega|>0 ; \ \ |G(z_0)|=0 \), per continuità vale \( |F(z)|>|G(z)| \) (*) in un intorno sufficientemente piccolo di $z_0$, lo prendo abbastanza piccolo da verificare anche che $f'(z)$ non si annulla tranne che in $z_0$. Ciò che mi interessa davvero però è che la disuguaglianza (*) valga sul bordo dell'intorno (wlog diciamo bordo di un dischetto di raggio $r$) perché voglio applicare il teorema di Rouché.
Adesso vale che $F(z)$ ha $k$ radici nel dischetto1, dunque per Rouché anche $f(z)-f(z_0)- \omega$ avrà altrettanti zeri e saranno distinti2, questo contraddice l'iniettività.

Note

  1. sto barando, il dischetto potrebbe essere troppo piccolo per contenerle, devo dimostrare che posso scegliere il dischetto tale che... a meno di modificare $\omega$
  2. altrimenti assurdo sulla derivata
Avatar utente
jinsang
Junior Member
Junior Member
 
Messaggio: 134 di 164
Iscritto il: 03/01/2017, 19:41

Precedente

Torna a Analisi superiore

Chi c’è in linea

Visitano il forum: Nessuno e 1 ospite