f(x) := lim f n (x) Se introduciamo la norma uniforme di una funzione f (sull insieme A) mediante := sup f(x)

Documenti analoghi
Complementi di Matematica Ing.Energetica-Elettrica-Sicurezza Versione A.A Claudio Saccon

Complementi di Matematica Ing.Energetica-Elettrica-Sicurezza Versione A.A Claudio Saccon

Complementi di Matematica Laurea Magistrale in Ing.Energetica/Elettrica/Nucleare Versione A.A Claudio Saccon

Analisi di Fourier e alcune equazioni della fisica matematica 1. TERZA LEZIONE Serie di funzioni Serie di potenze

Analisi Matematica 1 Trentaduesima lezione. Serie

Serie di funzioni. Hynek Kovarik. Analisi Matematica 2. Università di Brescia

Dimostrazione. Indichiamo con α e β (finiti o infiniti) gli estremi dell intervallo I. Poniamo

Analisi Matematica 1 Trentaquattresma lezione. Serie

1 Successioni di funzioni

Politecnico di Milano Corso di Analisi e Geometria 1. Federico Lastaria Formule di Taylor Ottobre 2012

ANALISI 1 1 QUINTA LEZIONE

3. Successioni di insiemi.

ANALISI 1 1 SEDICESIMA - DICIASETTESIMA LEZIONE Serie

Nel capitolo precedente abbiamo visto che sotto opportune condizioni su una funzione f : I! R si ha lo sviluppo di Taylor

ANALISI VETTORIALE COMPITO IN CLASSE DEL 8/11/2013

Sviluppi e derivate delle funzioni elementari

1 Successioni di funzioni

Un paio di esempi su serie e successioni di funzioni

Funzione derivabile. La derivata.

ANALISI 1 - Teoremi e dimostrazioni vari

Serie di Fourier. Tra queste funzioni definiamo un prodotto scalare nel seguente modo: date f, g V poniamo f (x) g (x) dx. f (x) [g (x) + h (x)] dx

n! n n. n=1 an = L [0, + ] Se L = 1 il criterio non dà una risposta e la serie potrebbe sia convergere che divergere. 2 n2. n 1

1 PRELIMINARI 1.1 NOTAZIONI. denota l insieme vuoto. a A si legge a appartiene a A oppure a è elemento di A.

A Analisi Matematica 1 (Corso di Laurea in Informatica e Bioinformatica) Simulazione compito d esame

1 n 1. n + 1. n=1 N+1. n=1. n=1 N N + 1.

Principali differenze tra la ristampa 2014 e l edizione 2008

Successioni numeriche (II)

Successioni numeriche

Analisi 2. Roberto Monti. Appunti del Corso - Versione 5 Ottobre 2012

Un intervallo di numeri reali è un sottoinsieme I R tale che. è l estremità superiore. Si vede facilmente che I contiene x R ; a(i) < x < b(i)

11. Misure con segno.

Pag. 151 Dimostrazioni dei criteri per lo studio della convergenza di serie numeriche

Il teorema di Ascoli-Arzelà

AM1 Analisi 1 a.a Esercitazione Dicembre. (a cura di Paolo Tranquilli) Soluzioni

Federico Lastaria. Analisi e Geometria 1. Numeri reali 1/25

Analisi Matematica 1 Sesta lezione

Esercizi sulle equazioni differenziali a cura di Sisto Baldo, Elisabetta Ossanna e Sandro Innocenti

Successioni numeriche

E, la successione di numeri {f n (x 0. n f n(x) (15.1)

p(ϕ) = a 0 Id + a 1 ϕ + + a n ϕ n,

VERSIONE PRELIMINARE Lezioni di Analisi Matematica 3 corso di Laurea in Fisica a.a

Analisi Matematica 3/Analisi 4 - SOLUZIONI (20/01/2016)

7 Il Teorema di Bolzano - Weierstrass

Soluzioni degli esercizi del primo esonero di Analisi Matematica 4 Anno Accademico 2016/17

Analisi Matematica 1 Foglio 1 Lunedì 3 ottobre. f(x) = log x 2 6x + 5.

NOTE DI ALGEBRA LINEARE v = a 1 v a n v n, w = b 1 v b n v n

Serie e Trasformata di Fourier

Riassumiamo le proprietà dei numeri reali da noi utilizzate nel corso di Geometria.

Corso di Calcolo Numerico

Topologia, continuità, limiti in R n

Limiti di successioni

Analisi Matematica 1. Serie numeriche. (Parte 2) Dott. Ezio Di Costanzo.

SUCCESSIONI E SERIE NUMERICHE E DI FUNZIONI

Limiti e continuità. Hynek Kovarik. Analisi A. Università di Brescia. Hynek Kovarik (Università di Brescia) Limiti e continuità Analisi A 1 / 68

Spazi Vettoriali ed Applicazioni Lineari

Il Teorema di Kakutani

Serie di Fourier. Hynek Kovarik. Analisi Matematica 2. Università di Brescia

Massimo limite e minimo limite di una funzione

Proprietà commutativa e associativa per le serie

Studio qualitativo. Emanuele Paolini 2 luglio 2002

CP410: Esonero 1, 31 ottobre 2013

Esistenza ed unicità per equazioni differenziali

COMPLETEZZA DELL INSIEME DEI NUMERI REALI R.

Raccolta degli Scritti d Esame di ANALISI MATEMATICA U.D. 2 assegnati nei Corsi di Laurea di Fisica, Fisica Applicata, Matematica

CLASSE LIMITE DI UNA SUCCESSIONE DI NUMERI REALI C. MADERNA, G. MOLTENI, M. VIGNATI

Il problema della migliore approssimazione. Teorema 3.2 Il problema 3.1 ammette sempre almeno una soluzione.

SERIE NUMERICHE FAUSTO FERRARI

Dispense sulla distanza di Hausdorff

Note sull algoritmo di Gauss

Appunti di ANALISI MATEMATICA II Corso di Laurea Triennale in Matematica

Serie di funzioni: esercizi svolti

Riassumiamo le proprietà dei numeri reali da noi utilizzate nel corso di Geometria.

Correzione del compito di Analisi 1 e 2 del giorno 09/06/2017

SERIE NUMERICHE FAUSTO FERRARI

12. Funzioni numeriche misurabili.

ANALISI 1 1 SETTIMA / OTTAVA LEZIONE Confronto tra infinitesimi e infiniti Sottosuccessioni Limiti notevoli Limiti di funzioni

ANALISI DI FOURIER. 2πk. è periodica di periodo T. Più precisamente, essendo. T x + 2π = cos. s(x) = s x + T ) T +α. f(x) dx

23 INVERTIBILITÀ E CONTINUITÀ

Il numero reale x 0 è detto centro della serie di potenze suddetta. Poichè si può sempre pensare di cambiare variabile tramite traslazione:

Se la serie converge in C, il limite a cui tende si chiama somma della serie.

Rango di una matrice e teorema di Rouché-Capelli

Definizione (Derivata come limite del rapporto incrementale) Se esiste finito (cioè, non + o ) il limite del rapporto incrementale

Problemi di topologia metrica.

Complementi di Matematica Quarta lezione

Serie numeriche. Riccarda Rossi. Analisi I. Università di Brescia

Alcuni complementi di teoria dell integrazione.

! X (92) X n. P ( X n X ) =0 (94)

Analisi a più variabili: Integrale di Lebesgue

Complementi di Analisi Matematica. Foglio di esercizi n.8 3/5/2019

Si dimostri che la (*) possiede un unica soluzione (u n ) limitata.

COMPLETAMENTO DI SPAZI METRICI

Corso di Laurea in Ingegneria Informatica Prova di Analisi Matematica 1

COMPLEMENTI DI ANALISI MATEMATICA DI BASE. Prova scritta del 26 gennaio 2005

Il Metodo di Newton, o delle Tangenti Federico Lastaria, Analisi e Geometria 1. Politecnico di Milano Corso di Analisi e Geometria 1

Analisi di Fourier e alcune equazioni della fisica matematica 1. SESTA e SETTIMA Lezione Serie di Fourier

Capitolo 5 Campi finiti

Tre serie fondamentali

Politecnico di Milano Corso di Analisi e Geometria 1. Federico Lastaria 2. Le funzioni continue.

Complementi di Analisi Matematica Ia. Carlo Bardaro

Transcript:

Capitolo 2 Successioni e serie di funzioni 2. Convergenza puntuale e orme Supponiamo che sia un sottoinsieme di R N e supponiamo che per ogni intero n sia data una funzione f n : R M. Diremo in questo caso che (f n ) è una successione di funzionidainr M. Inquantosegue, pervisualizzareledefinizioni, siconsigliadipensare inizialmente al caso N = M =. 2.. Definizione. Diciamo che la successione (f n ) converge puntualmente in un punto di se esiste il limite lim f n (). Diciamo che (f n ) converge puntualmente su se n (f n ) converge puntualmente in ogni di. È chiaro che in quest ultimo caso siamo autorizzati a considerare la funzione f : R M definita da f() := lim n f n () epotremoquindidireche(f n )convergepuntualmenteaf (informaabbreviatascriveremo punct f n f puntualmente o anche f n f). 2..2 Definizione. Data la successione di funzioni (f n ) e una funzione f : R M diciamo che f n converge ormemente su a f se si ha: ε > n: n n, f n () f() ε. Se introduciamo la norma orme di una funzione f (sull insieme ) mediante f = f, := sup f() allora la convergenza orme si può esprimere dicendo che f n converge ormente a f se e solo se lim n f n f. Per indicare che f n converge ormemente a f, useremo la notazione f n f ormemente (su ), o anche f n f (su ). Notiamo che l espressione introdotta sopra, che abbiamo chiamato norma, non è necessariamente finita (può essere + ). Essa è finita se e solo se f è limitata su, per esempio se è chiuso e limitato in R N e f è continua. Vedremo le motivazione del termine norma nei prossimi paragrafi. È comunque vero in ogni caso che se f n f f n f deve essere finito e tendere a zero. 7

8 CPITOLO 2. SUCCESSIONI E SERIE DI FUNZIONI Figura 2.: convergenza orme 2..3 Osservazione. Un modo di visalizzare la convergenza orme è di dire che, per ogni ε >, il grafico delle f n è definitivamente compreso tra il grafico di f ε e quello di f +ε (vedi figura 2.). La seguente proprietà è una semplice conseguenza delle definizioni. 2..4 Proposizione. Se f n converge ormemente a f su, allora f n connverge puntualmente su. La proposizione precedente dice che se f n converge ormemente a qualcosa, questo qualcosa deve essere il limite puntuale delle f n : il limite puntuale individua il candidato limite orme. In particolare si ricava che il limite orme (come il limite puntuale) è unico (per l unicità del limite tra i numeri reali). La proposizione non è invertibile come mostrano i vari esempi che seguono. 2..5 Esempio. Consideriamo f n () = + n. Si vede subito che, dato in R, f n() e dunque f n converge puntualmente su R alla funzione f che vale costantemente. Si vede abbastanza facilmente però che f n non converge ormemente su R a f. Si vede infatti che non c è nessun intero n per cui il grafico di f n è tutto tra il grafico di f ε e quello di f +ε dato che ogni retta di equazione y = + va all infinito e quindi supera n +ε per abbastanza grande (vedi figura 2.2). In particolare f n f = + e dunque non è possibile che f n f. In sostanza, anche se a fissato f n (), la velocità di convergenza dipende da (e peggiora tanto più è grande) e non è quindi orme rispetto a. Notiamo che se invece di prendere le f n su tutto R consideriamo ;= [,] (o un qualunque interallo limitato), allora f n su. Infatti f n f,[,] = sup +/n = ma /n = n Dunque le f n non convergono ormemente a su R ma convergono ormemente a su ogni intervallo [a, b]. 2..6 Esempio. Consideriamo f n () := e n definite su := [,+ [ (vedi la figura 2.3). { lim f se > n() = n + se =

2.. CONVERGENZ PUNTULE E UNIFORME 9 cioè f n converge puntualmente alla funzione f che vale zero su ],+ [ e vale uno in zero. Però f n non converge ormente a f in quanto, per ogni n f n f = sup e n f() = sup e n = > che non tende a zero. Notiamo che le f n sono tutte funzioni continue mentre il loro limite puntuale f non è continua in dato che lim +f() = f() =. Quindi lim lim f n() = lim + n + +f()(= ) lim n + lim +f n() = lim (= ) n 2..7 Esempio. Consideriamo f n () := ne n definite su :=],+ [ (vedi la figura 2.4). nche in questo caso f n () per ogni > (anche se c è un n a moltiplicare l esponenziale e n vince ); notiamo che non abbiamo messo lo zero in (altrimenti f n () + ). Quindi le f n tendono puntualmente a zero su. nche stavolta la convergenza non è orme, si vede infatti che, per ogni n f n = sup ne n = n > che addirittura tende all infinito. Notiamo che f n ()d = ne n d = e y dy = e quindi l integrale delle f n non tende all integrale della funzione limite (che vale ). Si potrebbe ritenere che questo dipenda dal fatto che è un intervallo aperto, oppure che non è limitato. In realtà, con un po di pazienza, si può costruire un esempio analogo su [,]; prendiamo infatti g n : [,] R definita da { ne n se [,] n g n () := n 2 e se [, n (vedi la figura 2.5). Come prima, per fissato, g n (). Infatti se = g n () =, mentre se > per n grande g n () = f n (). D altra parte g n ()d = [ne 2 2 ] /n + /n [n e n n ne d+ ] /n /n ] ne n d = = e 2n e n +e e e quindi di nuovo l integrale delle g n non tende all integrale del limite puntuale (che è ). Figura 2.2: f n () = + n

2 CPITOLO 2. SUCCESSIONI E SERIE DI FUNZIONI Questi esempi mostrano che la convergenza puntuale non va d accordo coi limiti e con gli integrali. Mostriamo ora che, al contrario, la convergenza orme si comporta bene. 2..8 Teorema. Siano f n : R M, f : R M e supponiamo che f n f ormente in. Sia un punto di accumulazione per e supponiamo che per ogni n esista lim f n () che indichiamo con l n. llora. esiste l = lim n l n ; 2. si ha che lim f() = l In sostanza si può dire che lim lim f n () = lim lim f n () n n Dimostrazione. Per prima cosa dimostriamo che gli l n hanno limite. Per questo mostreremo che la successione (l n ) verifica la proprietà di Cauchy. Fissiamo n e m; dato che, per ogni di f n () f m () f n f m facendo tendere a si ottiene: l n l m f n f m. Siccome f n f, cioè f n f, è chiaro che per ogni ε > esiste n tale che, se n,m n, si ha f n f m f n f + f f m ε. Dalla disuguaglianza sopra segue allora che (l n ) è di Cauchy. Dunque possiamo trovare un l in R M tale che l n l. Mostriamo ora che f() l per. Per questo prendiamo una successione ( k ) in, con k e mostriamo che f( k ) l per k. Dato ε > possiamo trovare n tale che per tutti gli n n si ha: f n f ε 3 e l n l ε 3 Fissiamo ora un n n (per esempio lo stesso n); dato che f n ( k ) l n, possiamo trovare k tale che f n ( k ) l n ε k 3 k. Figura 2.3: f n () = e n

2.. CONVERGENZ PUNTULE E UNIFORME 2 Figura 2.4: f n () = ne n Figura 2.5: g n () Prendiamo allora k k; si ha: f( k ) l f( k ) f n ( k ) + f n ( k ) l n + l n l f f n + f n ( k ) l n + l n l ε 3 + ε 3 + ε 3 = ε. Essendo ε arbitrario abbiamo dimostrato che f( k ) l, cioè la tesi. Come conseguenza ricaviamo subito il seguente risultato 2..9 Teorema. Siano (f n ) ed f tali che f n f su e sia. Se tutte le f n sono continue in, allora f è continua in. Se ne ricava che se le f n sono continue su, anche la f è continua su. Dimostrazione. Basta notare che per ogni n lim f n () = f n ( ) e applicare il teorema precedente con l n = f n ( ). 2.. Teorema. Siano (f n ) ed f tali che f n f su, supponiamo che le f n e la f siano integrabili su e che la misura (o volume) di (che indichiamo con ) sia finita. llora lim n + f n ()d = f()d

22 CPITOLO 2. SUCCESSIONI E SERIE DI FUNZIONI Dimostrazione. Si ha: f n ()d f()d = (f n () f())d f n () f() d f n f d = f n f 2.. Esempio. Contrariamente all integrazione l operazione di derivata non va d accordo con la convegenza orme. Per esempio se consideriamo le funzioni f n : [,] R definite da: se n f n () = n 2 2 + se n 2n (vedi la figura 2.6) Figura 2.6: approssimazioni derivabili di si vede che f n è derivabile e che se f n() n = n se n se n Non è difficile verificare che f n f, dove f() = ed è chiaro che f non è derivabile in zero. Quindi è possibile che funzioni derivabili convergano ad una non derivabile. Vale però il seguente risultato. 2..2 Esempio. Prendiamo f n : R R definte da f n () := sin(n). llora n f n = n per cui le f n tendono ormemente alla funzione nulla, che ovviamente ha derivata nulla. Peraltro f n() = cos(n) da cui f n =, cosa che rende impossibile la convergenza orme a zero delle f n. Sarebbe anche possibile dimostrare che le f n non tendono a zero neanche puntualmente (anche se non è semplice).

2.. CONVERGENZ PUNTULE E UNIFORME 23 2..3 Teorema. Supponiamo che I sia un intervallo in R e che f n : I R sia una successione di funzioni derivabili su I con derivata f n continua su I. Supponiamo che ci siano due funzioni f,g : I R per cui: f n f puntualmente f n g ormemente (ne segue che g è continua). llora f è derivabile e f = g. Dimostrazione. Siano e due punti in I. llora per il teorema del calcolo integrale: f n () f n ( ) = f n(t)dt Se facciamo tendere n all infinito f n ( ) f( ) e f n () f(), per la convergenza puntuale di f n a f. D altra parte per la convergenza orme delle f n a g e per il teorema (2..) si ha che: f n(t)dt g(t)dt e quindi l eguaglianza sopra passa al limite: f() f( ) = g(t)dt in I Di nuovo per il teorema fondamentale del calcolo questo implica f = g.

24 CPITOLO 2. SUCCESSIONI E SERIE DI FUNZIONI 2.2 Serie di funzioni Come abbiamo considerato le successioni di funzioni possiamo considerare le serie. Le definizioni sono analoghe a quelle ricordate nel primo capitolo, in cui si considerano somme numeriche, o somme a valori vettoriali - in questo caso si sommano gli elementi di una successione di funzioni. Vedremo più avanti che questo procedimento si può inquadrare in uno schema astratto generale. 2.2. Definizione. Supponiamo di avere una successione di funzioni (f n ) n dove f n : R per ogni n. Dato n chiamiamo somma parziale n-esima (relativa a (f n ) n ) la funzione F n : R definita da: n F n () = f n () Chiamiamo serie di funzioni associata a (f n ) n la successione delle somme parziali (F n ) n. Diciamo che la serie delle f n è ormemente convergente su se esiste una funzione F : R a cui le F n convergono ormemente: F n F. In questo caso chiamiamo F somma della serie e la indichiamo con ) f n (e quindi F() = f n (). Molto spesso si indica con f n la serie (cioè la successione) oltre che la sua somma. Quindi su usa dire, con un leggero abuso, che la serie f n è (o non è) ormemente convergente. Rimarchiamo anche in questo caso che se la serie converge ormemente (F n F), punct allora essa converge puntualmente (F n F), cioè per ogni di la serie numerica f n () è convergente. Si può dire in questo caso che la serie converge puntualmente. Il seguente criterio somiglia al criterio di convergenza assoluta per le serie numeriche - in effetti la somiglianza si basa su un principio generale di cui parleremo in seguito (vedi il teorema (2.3.7)). Premettiamo una definizione. 2.2.2 Definizione (convergenza totale). Sia (f n ) n una successione di funzioni definite su un insieme. Diremo che la serie di funzioni f n è totalmente convergente se la serie numerica (a termini positivi) f n è convergente. Notiamo che anche la convergenza totale dipende dall insieme (rispetto al quale si considera la norma ). È inoltre evidente che per avere la convergenza totale le norme f n devono essere finite, cioè le funzioni f n devono essere limitate. 2.2.3 Teorema. Sia (f n ) n una successione di funzioni limitate su. Se la serie delle f n è totalmente convergente (su ), allora la serie è ormemente convergente (su ). In altre parole se la serie numerica f n = sup f n () è convergente, allora i= la serie delle f n converge ormemente su ad una funzione limitata e vale f n f n.

2.2. SERIE DI FUNZIONI 25 Dimostrazione. Vedremo la dimostrazione più avanti, come conseguenza del teorema generale citato prima. Se poi le f n sono continue su un insieme compatto, anche la somma della serie è continua e valgono altre conseguenza del tipo di quelle già viste nel paragrago 2.. 2.2.4 Corollario. Sia (f n ) una successione di funzioni continue su un insieme compatto e supponiamo che la serie numerica f n = ma f n() sia convergente. llora. F = f n è una funzione continua. 2. Si ha F()d = ( ) f n () d = f n ()d 3. Se = I è un intervallo, se le f n sono tutte derivabili con derivata continua e se anche la serie f n = ma f n() è convergente allora F è derivabile e lim n F () = f n() in I. Dimostrazione. Per il teorema (2.2.3) la successione delle somme parziali (F n ) converge ormemente a F e dunque il limite F è una funzione continua (dal teorema (2..8)). Inoltre, per il teorema (2..) ( n ) F()d = lim F n ()d = lim f k () d = n n k= n f k ()d = f n ()d k= (l ultima eguaglianza è solo la definizione della convergenza della serie degli integrali). Infine l ipotesi di convergenza della serie f n implica, sempre per il teorema (2.2.3), che la serie delle f n è ormemente convergente. Questo significa che le sue somme n parziali f k convergono ormemente ad una funzione continua G. Dato che n f k = k= F n abbiamo che F n G. Per il teorema (2..3), ciò implica che F è derivabile e F = G, cioè vale l ultima affermazione. 2.2.5 Esempio. Consideriamo la seguente successione di funzioni f n : R R, definite da f n () := +n 2 2. Si vede facilmente che lim f n() = lim f n() =, f n() = n2 2 + (+n 2 2 ) 2. Quindi il grafico di ogni f n è quello rappresentato in figura 2.7. k=

26 CPITOLO 2. SUCCESSIONI E SERIE DI FUNZIONI Figura 2.7: +n 2 2 In particolare f n raggiunge il suo massimo in = e il massimo di f n n vale f n (/n) = /2n. Dunque f n,r = sup f n () = R 2n. e quindi f n (su tutto R). Consideriamo ora la serie f n. Studiamone la convergenza puntuale: fissato in R vediamo se la serie +n 2 2 è convergente. Questo è vero per ogni dato che, se = la serie ha tutti i suoi termini nulli, mentre se +n 2 2 n 2 2 n 2 e quindi la serie converge (dato che la serie converge). Dunque ha senso scrivere n 2 F() := n= +n 2 2 ( per ). Notiamo che F() =. Ci possiamo chiedere se F sia continua su tutto R. Ciò sarebbe sicuramente vero se f n,r < + ; sfortunatamente tale serie diverge essendo eguale a 2n = + e quindi con questo ragionamento non si perviene a nulla. Se però fissiamo un qualunque a > e consideriamo := [a,+ [, si ha n /a f n, = supf n () = f n (a) a llora f n, = f n, + f n (a) = n /a n>/a f n, + n>/a a +n 2 a 2 n /a se n /a. f n, + a n>/a n 2 < +.

2.3. SPZI VETTORILI, CONVERGENZ E COMPLETEZZ 27 pplicando il corollario 2.2.4 (in ) otteniamo che la serie converge ormemente su e la sua somma F risulta continua su. Dato che il numero a > è arbitrario ne deduciamo che f è continua su ],+ [. nalogamente si dimostra che F è continua su ],[. In maniera analoga possiamo dimostrare che F è derivabile su e quindi è derivabile in ogni. Infatti consideriamo la serie delle derivate f n, dove f n() = n2 2 (+n 2 2 ) 2. Si ha f n, = sup a n 2 2 (+n 2 2 ) 2 sup a +n 2 2 n 4 4 n 4 a 4 + n 2 a 2. Dato che n 4 a + < + la serie delle derivate è ormemente convergente su 4 n 2 a2 e quindi tale serie è la derivata di F. Vediamo che invece F non è continua in zero. Infatti se < < si ha F() = [/] +n 2 2 [/] +n 2 2 + = + [/] 2 2. Questa disuguaglianza rende impossibile che F() = F() per + e quindi F non è continua in zero (almeno da destra - si può anche ripetere lo stesso ragionamento per ). In verità possiamo essere più precisi. Usando l osservazione.2.3 possiamo scrivere F() = dy da cui +[y] 2 2 dy F() +y 2 2 Sostituendo t = y si ricava e facendo tendere a zero si ricava + dt F() +t2 lim +F() = + +(y ) 2 = 2 +y 2 dy. 2 t +t 2 dt +t 2 dt = π 2. La figura 2.7 rappresenta le somme parziali fino all ordine delle f n e, con linea tratteggiata, la somma della serie (in realtà la somma di ordine n = 5). 2.3 Spazi vettoriali, convergenza e completezza 2.3. Definizione. Un insieme X si dice uno spazio vettoriale su R (rispettivamente su C) se per ogni e 2 in X risulta definita in X la somma + 2 dei due vettori e 2, per ogni in X e ogni c in R (risp. in C) risulta definito c in X, detto prodotto del vettore per lo scalare c, di modo che le due operazioni così introdotte verificano le usuali proprietà: 2 ricordiamo che [t] indica la parte intera di un numero t, definita da [t] := ma{n N:n t}; ne segue allora che [t] è un intero e che [t] t < [t]+ 2 tali proprietà sono