Ho un dubbio di teoria.
Ho trovato su wikipedia che sono fatti equivalenti:
1. $f:CC->CC$ olomorfa su tutto $CC$
2. $f$ ammette in un certo $a \in CC$ uno sviluppo in serie di potenze con raggio di convergenza infinito.
3. $f$ ammette in ogni $a \in CC$ uno sviluppo in serie di potenze con raggio di convergenza infinito.
Sul mio testo di analisi complessa (Cartan - Elementary Theory of Analytic Functions of One Or Several Complex Variables) non trovo questa equivalenza.
Qualcuno saprebbe darmene una dimostrazione oppure un riferimento?
Grazie anticipatamente
Mi sono accorto che forse dovevo postare in analisi superiore , vabbè in caso si sposta