Teorema delle contrazioni

pigrecoedition
Oggi la professoressa ha spiegato il teorema delle contrazioni, enunciandolo in tal guisa: Sia f:I -> I una funzione derivabile in I tale che |f'(x)|= Non capisco perché nella dimostrazione si arrivi ad affermare che, poiché 0 Ecco la dimostrazione:
|u(n+1)-u(n)|=|f(u(n)-f(u(n-1))|=|f'(c)||u(n)-u(n-1)|= Per induzione ottengo |u(n+1)-u(n|= |u(n+k)-u(n)|=<|u(n+k)-u(n+k-1)|+|u(n+k-1)-u(n+k-2)|+...+|u(n+1)-u(n)|= poiché 0
Forse bisogna applicare il limite ai due membri della diseguaglianza |u(n+k)-u(n)|=<(L^n/(1-L))|u(1)-u(0)| ?

Risposte
dissonance
Devi verificare la definizione di successione di Cauchy. Per ogni epsilon esiste N grande tale che ...blablabla... per ogni $n>N$ e per ogni $k\in NN$...blablabla... $|u(n+k)-u(n)|\le \epsilon$.

Tieni presente che puoi prendere un N grande tale che per ogni $n>N$ il termine $L^n$ è piccolo quanto vuoi, diciamo più piccolo di $\epsilon \frac{1-L}{|u(1)-u(0)|}$. E soprattutto, questo avviene indipendentemente da $k$.

Rispondi
Per rispondere a questa discussione devi prima effettuare il login.