Discussioni su calcolo di variabile complessa, distribuzioni, Trasformata di Fourier, Teoria della misura, Analisi funzionale, Equazioni alle derivate parziali, Calcolo delle Variazioni e oltre.
06/12/2019, 18:33
Sia \( f : \mathbb{C} \to \mathbb{C} \) una funzione olomorfa iniettiva. Dimostra che è suriettiva.
Avete dei suggerimenti? non so da dove partire.
06/12/2019, 19:32
Forse...
Supponendo per assurdo che \( f: \mathbb{C} \to \mathbb{C} \) iniettiva e olomorfa. Supponiamo per assurdo che \( f \) non è suriettiva. Allora abbiamo che \( f: \mathbb{C} \to f(\mathbb{C}) \subset \mathbb{C} \) è olomorfa e biiettiva. Inoltre credo ma non sono sicuro che \( f(\mathbb{C}) \) sia semplicemente connesso. Pertanto per il teorema della mappa conforme di Riemann abbiamo che esiste un biolomorfismo \( \varphi: f(\mathbb{C}) \to \mathbb{D} \) pertanto risulta che che abbiamo trovato una funzione intera \( \varphi \circ f\) tale che
\( \varphi \circ f : \mathbb{C} \to \mathbb{D} \) pertanto per il teorema di Liouville abbiamo che \( \varphi \circ f\) è costante, e siccome \( \varphi \) non è costante risulta che \( f \) è costante, contraddizione dell'iniettività di \( f \).
06/12/2019, 20:51
Si, ma manca dimostrare che \(f(\mathbb C)\) è semplicemente connesso, e non so se sia vero anche se intuitivamente plausibile. Fatto quello il resto va bene.
06/12/2019, 21:35
dissonance ha scritto:Si, ma manca dimostrare che \( f(\mathbb C) \) è semplicemente connesso, e non so se sia vero anche se intuitivamente plausibile.
Dovrebbe essere vero perché una mappa aperta, bigettiva e continua è omeomorfismo, e le funzioni olomorfe sono mappe aperte.
06/12/2019, 22:15
Voglio crederci, mi piace come soluzione. Però che facciamo se la derivata si annulla in qualche punto? Per avere il teorema della mappa aperta la derivata non si deve annullare mai.
06/12/2019, 23:08
dissonance ha scritto:Voglio crederci, mi piace come soluzione. Però che facciamo se la derivata si annulla in qualche punto? Per avere il teorema della mappa aperta la derivata non si deve annullare mai.
Sono con il telefono e in un bar quindi perdonatemi se non uso LaTeX e se non verifico quanto sto per dire, ma mi pare che una funzione olomorfa e iniettiva forzi la derivata non nulla... potrei sbagliarmi però
07/12/2019, 00:19
dissonance ha scritto:Voglio crederci, mi piace come soluzione. Però che facciamo se la derivata si annulla in qualche punto? Per avere il teorema della mappa aperta la derivata non si deve annullare mai.
Sinceramente non mi ricordo bene la dimostrazione, ma
wiki non lo mette tra le ipotesi
07/12/2019, 00:37
Ragazzi mi sa che avete ragione. Il discorso sulla derivata che non si annulla è proprio della variabile reale, serve per il teorema della funzione inversa. Ma nel caso complesso, non ce n'è bisogno, tutte le applicazioni olomorfe non costanti sono aperte, anche se la derivata si annulla da qualche parte.
Quindi la dimostrazione è conclusa. Bene!
07/12/2019, 14:54
Perché se è una mappa aperta allora posso dire che \( f( \mathbb{C} ) \) è semplicemente connesso? Non posso solo dedurre che è aperto?
Edit:
Secondariamente ho trovato questa dimostrazione
https://math.stackexchange.com/questions/1116076/injective-holomorphic-function-is-conformal-i-e-nonzero-derivative?rq=1Ma non capisco un paio di passaggi.
-Perché \( f(z)- f(z_0) = a(z-z_0)^k + G(z) \) con \( a \neq 0 \) e \( k \geq 2 \) ??
-Perché \( \left| G(z) \right| < \left| F(z) \right| \) in un intorno sufficientemente piccolo di \( z_0 \) ?
- 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 \) ?
07/12/2019, 15:21
3m0o ha scritto:Perché se è una mappa aperta allora posso dire che \( f( \mathbb{C} ) \) è semplicemente connesso? Non posso solo dedurre che è aperto?
Questo lo avevi detto in un messaggio precedente. Essendo una mappa aperta e ingettiva, è un omeomorfismo.
Skuola.net News è una testata giornalistica iscritta al Registro degli Operatori della Comunicazione.
Registrazione: n° 20792 del 23/12/2010.
©2000—
Skuola Network s.r.l. Tutti i diritti riservati. — P.I. 10404470014.