Proprietà funzione analitica

Messaggioda ludovica_97 » 11/09/2018, 09:29

Ho la seguente proposizione di cui non riesco a capire la dimostrazione. (Lo posto qui perché è stato fatto nel corso di geometria, non so se deve essere spostato in analisi)
Prop. Sia f una funzione analitica in un intervallo I e ${p_n}$ la successione degli zeri di f ossia $f(p_n)=0$ per ogni n. ${p_n}$ è tale che il limite per $n→oo$ vale p. Allora p annulla f e tutte le sue derivate ossia f è identicamente nulla in un intorno di p.
Dimostrazione
Essendo analitica, lo sviluppo di Taylor per la funzione in p è $f(x)=\sum_(i=0)^oo (f^i(p)/(i!) (x-p)^i)$
Suppongo per assurdo che la funzione non sia identicamente nulla quindi esiste un m tale che la derivata m-esima della funzione non è zero e quindi
$f(x)=(x-p)^m (f^m(p)/(m!)+f^(m+1)/((m+1)!) (x-p)^(m+1))+....$. Questa si annulla solo in p, ossia quando si annulla $(x-p)^m$. In un intorno di p quindi è non nulla. E fino qui tutto chiaro
Ora, nella conclusione non capisco.
Per ipotesi ${p_n}→p$ per $n→oo$ quindi non può esiste una derivata m-esima diversa da 0 in p. Perché??

Moderatore: Martino

Spostato in Analisi.
ludovica_97
Average Member
Average Member
 
Messaggio: 235 di 582
Iscritto il: 18/02/2017, 16:53

Re: Proprietà funzione analitica

Messaggioda otta96 » 15/09/2018, 23:42

Starebbe meglio nella sezione di analisi, comunque l'assurdo viene perché hai dimostrato che esiste un intorno $U$ di $p$ in cui la funzione non si annulla per valori nell'intorno diversi da $p$, ma sai per ipotesi che $p_n->p$ e $f(p_n)=0 AAn\inNN$.
Credo sia sottinteso che $n\mapto p_n$ è iniettiva, o almeno che $p_n!=p AAn\inNN$, quindi esisterebbe $n_0|p_(n_0)\inU-{p}^^f(p_(n_0))$, assurdo.
otta96
Cannot live without
Cannot live without
 
Messaggio: 1349 di 5748
Iscritto il: 12/09/2015, 22:15


Torna a Analisi matematica di base

Chi c’è in linea

Visitano il forum: Nessuno e 1 ospite