Integrale di Lebesgue e Serbske Nowiny: differenze tra le pagine

(Differenze fra le pagine)
Contenuto cancellato Contenuto aggiunto
 
Botcrux (discussione | contributi)
m Bot: Aggiungo template {{interprogetto}} (FAQ)
 
Riga 1:
{{S|quotidiani tedeschi}}
{{Avvisounicode}}
{{Testata giornalistica
{{quote|Qualcuno crede che la differenza fra l'integrale di Lebesgue e l'integrale di Riemann possa avere significato fisico, e comunque se ne dica, che un aereo possa volare o no potrebbe dipendere da questa differenza? Se si sostenesse questo, non avrei problemi a volare su quell'aereo.|[[Richard Hamming]]{{citazione necessaria}}|Does anyone believe that the difference between the Lebesgue and Riemann integrals can have physical significance, and that whether say, an airplane would or would not fly could depend on this difference? If such were claimed, I should not care to fly in that plane.|lingua=en}}
|nome = Serbske Nowiny
|logo = SerbskeNowiny-title.jpg
|larghezza logo =
|abbreviazione =
|stato = DEU
|stato2 =
|stato3 =
|paese =
|codlingua =
|codlingua2 =
|codlingua3 =
|lingua = [[Lingua lusaziana superiore]]
|periodicità = [[quotidiano]]
|genere =
|formato =
|tiratura =
|data-tiratura =
|diffusione = 2.000 ca.
|data-diff =
|resa =
|data-resa =
|record-vendite =
|data-record =
|evento-record =
|fondazione = [[1842]]
|chiusura =
|inserti-allegati =
|proprietà = [[Domowina]]
|capitale sociale =
|fondatore =
|direttore = Janek Wowčer
|condirettore =
|vicedirettore =
|redattore capo =
|ISSN =
|cartacea =
|digitale =
|tv =
|tablet =
|smartphone =
}}
[[File:Serbske Nowiny 7.01.1899.png|thumb|right]]
'''''Serbske Nowiny''''' è un [[quotidiano]] [[Germania|tedesco]] in [[lingua lusaziana superiore]] (o sorabo superiore), edito a [[Bautzen]] dalla casa editrice della ''[[Domowina]]'', associazione che riunisce le associazioni culturali [[sorabo|sorabe]]. È l'unico quotidiano in questa lingua.
 
==Storia==
[[Immagine:Integral-area-under-curve.png|thumb|L'integrale può essere interpretato come l'area sotto una curva]]
Fu fondato come settimanale nel [[1842]], col nome ''Tydźenska nowina - Serbske powěsće za hornich Łužičanow''. Dodici anni dopo prese l'attuale nome, e dal [[1921]] fu trasformato in quotidiano. Durante il [[Terzo Reich]] fu dapprima limitato, poi chiuso (nel [[1937]]).
 
Il 6 luglio [[1947]] riapparve col nome di ''Nowa doba'', dapprima come settimanale, poi come bisettimanale (dall'ottobre 1947), poi come trisettimanale (dal luglio [[1948]]), ed infine come quotidiano (dal 1º ottobre [[1955]]), nonostante le limitazioni imposte dalla [[DDR]].
In [[matematica]], l<nowiki>'</nowiki>''[[integrale]]'' di una funzione può essere visto, nel caso più semplice, come l'area tra il grafico della funzione e l'asse delle ''x''. La prima formalizzazione dell'idea di integrale si ha con il concetto di [[integrale di Riemann]]. Non tutte le funzioni sono integrabili nel senso di Riemann, un esempio classico è dato dalla [[funzione di Dirichlet]]. La nozione di '''integrale di Lebesgue''' estende l'integrale a una classe di funzioni più grande; inoltre estende i domini nei quali queste funzioni possono essere definite. Da molto tempo si è compreso che per funzioni che abbiano un grafico sufficientemente liscio (come nel caso di funzioni continue integrate su un intervallo chiuso e limitato) l<nowiki>'</nowiki>''area sotto la curva'' può essere definita come l'integrale e può essere calcolata utilizzando tecniche di approssimazione della regione con poligoni. Tuttavia, con il crescere della necessità di considerare funzioni sempre più irregolari (ad esempio come risultato di processi al limite nell'[[analisi matematica]] e nella [[teoria della probabilità|teoria matematica della probabilità]]) è diventato sempre più evidente che era necessaria una maniera più precisa e opportuna per definire gli integrali in questi casi.
 
Nel [[1989]] riprese il vecchio nome.
L'integrale di Lebesgue ha un ruolo importante nel settore della matematica chiamato [[analisi matematica]] e in molti altri campi della matematica.
 
È membro di [[Internationale Medienhilfe]] e dell'[[Associazione dei quotidiani in lingua minoritaria e regionale|associazione dei quotidiani in lingua minoritaria e regionale (MIDAS)]]
L'integrale di Lebesgue prende il nome da [[Henri Lebesgue]] ([[1875]]-[[1941]]). Viene pronunciato come ''Lebeg'' ({{IPA|ləˈbɛɡ}}).
 
==Altri Introduzione progetti==
{{interprogetto}}
L'integrale di una funzione ''f'' tra i limiti ''a'' e ''b'' può essere interpretato come l'area sotto il grafico di ''f''. Questo è facile da capire per funzioni familiari come i polinomi, ma quale è il suo senso per funzioni più esotiche? In generale, quale è la classe di funzioni per le quali l'espressione "area sotto la curva" ha senso? La risposta a questa domanda ha grande importanza teorica e pratica.
 
==Collegamenti esterni==
Come parte della generale tendenza al rigore in matematica del [[XIX secolo]], erano stati fatti dei tentativi per porre il calcolo integrale su basi solide. L'[[integrale di Riemann]], proposto da [[Bernhard Riemann]] ([[1826]]-[[1866]]), è un tentativo largamente riuscito di fornire tale fondazione all'integrale. La definizione di Riemann parte con la costruzione di una successione di integrali facilmente calcolabili che convergono all'integrale di una data funzione. Questa definizione è di successo nel senso che fornisce la risposta attesa per molti problemi già risolti, e risultati utili in molti altri problemi.
*{{cita web|http://www.serbske-nowiny.de/|Sito ufficiale}}
 
{{portale|editoria|Germania}}
Tuttavia l'integrazione secondo Riemann non si comporta bene con i limiti di successioni di funzioni, rendendo questi processi al limite difficili da analizzare. Questi limiti sono di primaria importanza, ad esempio, nello studio delle [[serie di Fourier]], [[trasformata di Fourier|trasformate di Fourier]], e in altri campi. L'integrale di Lebesgue è più adatto a descrivere come e quando è possibile eseguire l'operazione di limite sotto il segno di integrale. La definizione di Lebesgue considera una differente classe di integrali facilmente calcolabili rispetto alla definizione di Riemann, e questa è la ragione principale per cui l'integrale di Lebesgue si comporta meglio.
La definizione di Lebesgue inoltre rende possibile il calcolo di integrali per una classe di funzioni più estesa.
Ad esempio, la [[funzione di Dirichlet]], che vale 0 dove il suo argomento è [[numero irrazionale|irrazionale]] e 1 altrimenti, ha un integrale di Lebesgue, ma non ha un integrale di Riemann.
 
[[Categoria:Quotidiani tedeschi]]
===Teoria della misura ===
[[Categoria:Settimanali tedeschi]]
{{vedi anche|teoria della misura}}
[[Categoria:Bisettimanali tedeschi]]
La teoria della misura è stata inizialmente creata per fornire un'analisi dettagliata della nozione di lunghezza dei sottoinsiemi della retta reale e più in generale aree e volumi di sottoinsiemi di [[spazio euclideo|spazi euclidei]]. In particolare, fornisce una risposta generale alla domanda: "quali sottoinsiemi di <math>\mathbb{R}</math> hanno una lunghezza?". Come mostrato da sviluppi successivi nella [[teoria degli insiemi]] (vedi [[insieme non misurabile]]), è effettivamente impossibile assegnare una lunghezza a tutti i sottoinsiemi di <math>\mathbb{R}</math> in un modo che preservi determinate proprietà di addittività naturale e di invarianza per traslazioni. Questo suggerisce che scegliere un'appropriata classe di sottoinsiemi ''misurabili'' sia un prerequisito essenziale.
[[Categoria:Trisettimanali tedeschi]]
 
[[Categoria:Periodici fondati nel 1842]]
Naturalmente, l'integrale di Riemann usa la nozione di lunghezza implicitamente. Infatti, l'elemento di calcolo per l'integrale di Riemann è il rettangolo [''a'', ''b''] &times; [''c'', ''d''], la cui area è calcolata come (''b''-''a'')(''d''-''c''). La quantità ''b''-''a'' è la lunghezza della base del rettangolo e ''d''-''c'' è l'altezza del rettangolo. Riemann poteva usare solo rettangoli piani per approssimare l'area sotto la curva perché non esisteva una teoria adeguata per misurare insiemi più generali.
[[Categoria:Periodici tedeschi in lingua soraba superiore]]
 
Nello sviluppo della teoria in testi più moderni (dopo il 1950), l'approccio alla misura e all'integrazione è ''assiomatico''. Questo significa che una misura è una qualsiasi funzione μ definita su un certo sottoinsieme ''X'' di un insieme ''E'' che soddisfa una certa lista di proprietà. Si mostra che queste proprietà valgono in molti casi.
 
== Definizione ==
Sia μ una misura non negativa su una [[sigma-algebra]] ''X'' di sottoinsiemi di un insieme ''E''. Ad esempio, ''E'' può essere un [[spazio euclideo|''n''-spazio euclideo]] '''R'''<sup>''n''</sup> o un qualche suo sottoinsieme [[misura di Lebesgue|Lebesgue-misurabile]], ''X'' la sigma-algebra di tutti i sottoinsiemi Lebesgue-misurabili di ''E'' e μ la misura di Lebesgue. Nella teoria matematica delle probabilità μ è una misura di [[probabilità]] su uno spazio di probabilità ''E''.
 
===Funzioni misurabili===
{{vedi anche|funzione misurabile}}
Nella teoria di Lebesgue, gli integrali sono limitati a una classe di funzioni, chiamate funzioni misurabili. Una funzione ''f'' è misurabile se la [[controimmagine]] di ogni intervallo <math>I \in X</math> è in <math>X</math>, ossia se <math>f^{-1}(I)</math> è un insieme misurabile di <math>X</math> per ogni aperto intervallo <math>I = [a,b]</math>:<ref>{{Cita|W. Rudin|Pag. 8|rudin}}</ref>
 
:<math> f^{-1}(I) \in X \quad \forall a<b</math>
 
Si mostra che questo è equivalente alla richiesta che la preimmagine di ogni sottoinsieme [[algebra di Borel|boreliano]] di '''R''' sia in ''X''. L'insieme delle funzioni misurabili è chiuso rispetto alle operazioni algebriche, ed in particolare la classe è chiusa rispetto a vari tipi di limiti puntuali di successioni. I [[limite superiore e limite inferiore|limiti superiore e inferiore]]:
 
: <math> \liminf_{k \in \mathbb{N}} f_k \quad \limsup_{k \in \mathbb{N}} f_k </math>
 
sono inoltre misurabili se la successione <math>\{f_k \}</math> è costituita da funzioni misurabili.
 
===Funzioni semplici===
{{vedi anche|funzione semplice}}
Una funzione semplice <math>f</math> è una [[combinazione lineare]] finita di [[funzione indicatrice|funzioni indicatrici]] di [[insieme misurabile|insiemi misurabili]].<ref name=def>{{Cita|W. Rudin|Pag. 15|rudin}}</ref>
 
Siano i [[numero reale|numeri reali]] o [[numero complesso|complessi]] <math>a_1, \dots a_n </math> i valori assunti dalla funzione semplice <math>s</math> e sia:
 
:<math>A_i = \{x : s(x) = a_i \} \ </math>
 
Allora:<ref name=def/>
 
:<math>s(x)=\sum_{i=1}^n a_i {\mathbf 1}_{A_i}(x)</math>
 
dove <math>{\mathbf 1}_{A_k}(x)</math> è la [[funzione indicatrice]] relativa all'insieme <math>A_i</math> per ogni ''i''.
 
===Integrale di Lebesgue===
L'integrale di Lebesgue di una funzione semplice è definito nel seguente modo:
 
:<math>\int_F s d \mu = \sum_{i=1}^n a_i \mu (A_i \cap F) \quad F \in X</math>
 
Sia ''f'' una funzione misurabile non negativa su ''E'' a valori sulla [[retta reale estesa]]. L'integrale di Lebesgue di ''f'' sull'insieme ''F'' rispetto alla misura <math>\mu</math> è definito nel seguente modo:<ref name=int>{{Cita|W. Rudin|Pag. 19|rudin}}</ref>
 
:<math>\int_F f\,d\mu := \sup \int_F s d \mu</math>
 
dove l'estremo superiore è valutato considerando tutte le funzioni semplici ''s'' tali che <math>0 \le s \le f</math>. Il valore dell'integrale è un numero nell'intervallo <math>[0,\infty]</math>.
 
L'insieme delle funzioni tali che:
 
:<math>\int_E |f| d\mu < \infty</math>
 
è detto insieme delle funzioni integrabili su ''E'' secondo Lebesgue rispetto alla misura <math>\mu</math>, o anche insieme delle funzioni sommabili, ed è denotato con <math>L^1(\mu)</math>.
 
L'integrale di Lebesgue di una funzione può essere visto come l'applicazione di un operatore lineare, più precisamente di un [[funzionale lineare]], alla funzione stessa. Data una funzione definita su un intervallo <math>I</math>, il [[Teorema di rappresentazione di Riesz|teorema di Riesz]] permette di affermare che per ogni funzionale lineare <math>\lambda</math> su '''C''' è associata una [[misura di Borel]] finita <math>\mu</math> su <math>I</math> tale che:<ref>{{Cita|W. Rudin|Pag. 34|rudin}}</ref>
 
:<math>\lambda f = \int_I f\,d\mu </math>
 
In questo modo il valore del funzionale dipende con continuità dalla lunghezza dell'intervallo di integrazione.
 
===Integrazione di funzioni complesse===
L'integrale di Lebesgue può essere immediatamente esteso al caso di funzioni complesse. Sia ''f'' una funzione dall'insieme misurabile ''E'' alla [[retta reale estesa]]. Allora è possibile scrivere:
 
:<math> f = f^+ - f^- \ </math>
 
dove:
 
:<math> f^+(x) = \left\{\begin{matrix} f(x) & \mbox{se} \quad f(x) \geq 0 \\ 0 & \mbox{altrimenti} \end{matrix}\right. </math>
 
:<math> f^-(x) = \left\{\begin{matrix} -f(x) & \mbox{se} \quad f(x) < 0 \\ 0 & \mbox{altrimenti} \end{matrix}\right. </math>
 
Entrambe le funzioni sono non negative, e si ha:
 
:<math> |f| = f^+ + f^- \ </math>
 
Sia ora:
 
:<math> f = u + iv \in L^1(\mu)</math>
 
dove <math>u</math> e <math>v</math> sono funzioni reali misurabili in ''E''.
 
Si definisce integrale di Lebesgue di ''f'' la relazione:<ref>{{Cita|W. Rudin|Pag. 24|rudin}}</ref>
 
:<math> \int_E f d \mu = \int_E u^+ d \mu - \int_E u^- d \mu + i\int_E v^+ d \mu - i\int_E v^- d \mu \ </math>
 
per ogni insieme misurabile ''E''.
 
La definizione è motivata dal fatto che se <math> f = u + iv </math> con <math>u</math> e <math>v</math> sono funzioni reali misurabili su ''E'', allora ''f'' è una funzione complessa e misurabile su ''E''. Inoltre, se ''f'' è una funzione complessa e misurabile su ''E'', allora <math>u</math>, <math>v</math> e <math>|f|</math> sono funzioni reali misurabili su ''E''. Questo discende dal fatto che una funzione continua definita dalla composizione di funzioni misurabili è misurabile.<ref>{{Cita|W. Rudin|Pag. 11|rudin}}</ref>
 
== Interpretazione intuitiva ==
[[Immagine:RandLintegrals.svg|right|thumb|250px|Integrale di Riemann (blu) e integrale di Lebesgue (rosso)]]
Per avere una certa intuizione sui differenti approcci all'integrazione, immaginiamo che si voglia trovare il volume di una montagna (sopra il livello del mare) e che i confini della montagna siano delimitati chiaramente (sono i limiti di integrazione).
 
L<nowiki>'</nowiki>'''approccio di Riemann-Darboux ''': Taglia la montagna in fette verticali, ciascuna con una base quadrata al livello del mare. Prendi un paio di punti interni a questo quadrato, uno dove l'altezza è massima e uno dove l'altezza è minima. Associate a queste due altezze ci sono un volume superiore e un volume inferiore, ottenuti moltiplicando le altezze per l'area del quadrato. La somma superiore di Riemann è la somma dei volumi superiori di tutte le fette, e analogamente si ottiene la somma inferiore di Riemann. L'integrale di Riemann esiste se le somme superiori e inferiori convergono man mano che lo spessore delle fette tende verso 0.
 
L<nowiki>'</nowiki>'''approccio di Lebesgue''': Disegna una carta a [[curve di livello]] della montagna. Per la curva di livello (o insieme di curve) di altezza minore, trova l'area totale racchiusa (nella mappa) da esse. Moltiplica questa misura per l'altezza rappresentata dall'insieme delle curve di livello: il prodotto sarà un addendo della "somma di Lebesgue".
 
Quindi trova una curva di livello, o un insieme di curve, che si trovano un gradino più in su in altezza (cioè all'altezza più bassa fra le curve di livello rimanenti). Calcola la misura dell'area racchiusa da esse. Moltiplica la misura per la differenza in altezza (rispetto al passo precedente), e il prodotto sarà un altro addendo della "somma di Lebesgue".
 
Ripeti questo processo per livelli successivi di curve sempre più alte, finché l'insieme di curve di livello più alto è stato elaborato. La somma risultante è la chiusura lineare, in cui ogni curva di livello corrisponde a una funzione indicatrice.
 
La somma può essere raffinata aggiungendo curve di livello intermedio alla mappa, dimezzando la differenza fra altezze successive e poi ricalcolando la somma. L'integrale di Lebesgue è il limite di questo processo.
 
Un modo equivalente a quello sopra per esprimere l'integrale di Lebesgue, ma che mette in risalto questo aspetto intuitivo, si ottiene definendo
:<math>\int f\ d\mu := \int_0^{+\infty} \mu(f^{-1}([t,+\infty)))\ dt</math>
dove ''f'' è positiva e l'integrale a destra è un normale integrale di Riemann.
 
==Proprietà==
Sia μ una misura non negativa su una [[sigma-algebra]] ''X'' di sottoinsiemi di un insieme ''E'', e sia l'insieme ''F'' appartenente a ''X''. Dalla definizione di integrale di Lebesgue segue che esso gode delle seguenti proprietà:<ref name=prop>{{Cita|W. Rudin|Pag. 20|rudin}}</ref>
 
* Se <math>0 \le f \le g</math> allora: <math>\int_F f\,d\mu \le \int_F g\,d\mu</math>
 
*Se <math>A \subset B</math> e <math>0 \le f </math> allora: <math>\int_A f\,d\mu \le \int_B f\,d\mu</math>
 
* Se <math>0 \le c < \infty</math> e <math>0 \le f </math> allora: <math>c\int_F f\,d\mu = \int_F cf\,d\mu</math>
 
* Se <math>f(x)=0</math> per ogni ''x'' in ''F'' allora: <math>\int_F f\,d\mu = 0</math>
 
* Se <math>\mu(F)=0</math> allora: <math>\int_F f\,d\mu = 0</math>
 
* Se <math>0 \le f </math> allora: <math>\int_F f\,d\mu = \int_F {\mathbf 1}_{F} f\,d\mu</math>
 
Sia ''s'' una funzione semplice sull'insieme ''E''. Si definisce:
 
:<math> \phi(F) = \int_F f d\mu \ </math>
 
Si dimostra che <math> \phi</math> è una misura su ''X'' e:<ref name=prop/>
 
:<math>\int_F g d\phi = \int_F gf d\mu \ </math>
 
per ogni funzione misurabile ''g'' a valori sulla retta reale estesa.
 
La precedente affermazione è equivalente al dire che:
 
:<math> d\phi = f d\mu \ </math>
 
L'integrale di Lebesgue è inoltre [[trasformazione lineare|lineare]]. Se ''f'' e ''g'' sono funzioni integrabili e ''a'' e ''b'' sono numeri reali, allora ''af'' + ''bg'' è integrabile e:<ref name=prop/>
 
:<math> \int (a f + bg) d \mu = a \int f d\mu + b \int g d\mu </math>
 
===Teoremi di passaggio al limite sotto il segno di integrale===
{{vedi anche|Passaggio al limite sotto segno di integrale}}
* Il [[teorema della convergenza monotona]] o di [[Beppo Levi]] afferma che se <math>\{f_n \}</math> una successione di funzioni misurabili non negative tali che:
 
:<math>0 \leq f_1(x) \leq f_2(x) \leq \dots \leq \infty \quad \forall x \in E </math>
 
:<math>\lim_{n\to\infty}f_n(x) \to f(x) \quad \forall x \in E</math>
 
:allora ''f'' è misurabile e:<ref>{{Cita|W. Rudin|Pag. 21|rudin}}</ref>
 
:<math> \lim_{n\to\infty} \int_E f_n d \mu = \int_E f d \mu \ </math>
 
:Si nota che il valore di ogni integrale può essere infinito.
 
* Il [[lemma di Fatou]] afferma che se <math>\{f_n \}</math> è una successione di funzioni misurabili non negative tali che:
 
:<math>\liminf_{n\to\infty}f_n \to f \quad \forall x \in E</math>
 
:allora ''f'' è misurabile e:<ref>{{Cita|W. Rudin|Pag. 22|rudin}}</ref>
 
:<math>\int_E f\,d\mu \le \liminf_{n\to\infty} \int_E f_n\,d\mu</math>
 
:Anche in questo caso il valore di ogni integrale può essere infinito.
 
* Il lemma di Fatou permette di dimostrare il [[teorema della convergenza dominata]], il quale afferma che se una successione di funzioni misurabili <math>\{f_n\}</math> converge [[quasi ovunque]] ed è dominata da una funzione non negativa <math>g\in L^1</math>, allora:
 
:<math>\int_E \lim_{n\rightarrow\infty} f_n=\lim_{n\rightarrow\infty}\int_E f_n</math>
 
:dove una sequenza si dice dominata da ''g'' se:
 
:<math>|f_n(x)| \leq g(x)</math>
 
:per ogni ''n'' e [[quasi ovunque|quasi per tutti]] gli ''x''.
 
===Funzioni uguali quasi ovunque===
L'integrale di Lebesgue non discrimina fra funzioni che differiscono solo per un insieme di μ-misura zero. In termini più precisi, le funzioni ''f'', ''g'' sono dette uguali [[quasi ovunque]], o uguali q.o., se:<ref>{{Cita|W. Rudin|Pag. 27|rudin}}</ref>
 
:<math> \mu(\{x \in E: f(x) \neq g(x)\}) = 0 </math>
 
Se ''f'', ''g'' sono funzioni non negative tali che ''f'' = ''g'' quasi ovunque, allora:
 
:<math> \int f d \mu = \int g d \mu. </math>
 
Se ''f'', ''g'' sono funzioni tali che ''f'' = ''g'' quasi ovunque, allora ''f'' è integrabile se e solo se ''g'' è integrabile e gli integrali di ''f'' e ''g'' sono uguali.
 
== Formulazioni alternative ==
Se ''f'' è non negativa, allora ∫''f'' dμ è precisamente l'area sotto la curva misurata secondo la misura prodotto μ &times; λ dove λ è la misura di Lebesgue per '''R'''.
 
Si può aggirare completamente la teoria della misura. L'integrale di Riemann esiste per ogni funzione continua ''f'' di [[supporto (matematica)|supporto compatto]]. Allora usiamo l'analisi funzionale per ottenere l'integrale per funzioni più generali.
Sia ''C<sub>c</sub>'' lo spazio di tutte le funzioni di '''R''' a valori reali su supporto compatto. Definiamo una norma su ''C<sub>c</sub>'' con
 
: <math> \|f\| = \int |f(x)| dx </math>
 
Allora ''C<sub>c</sub>'' è uno spazio vettoriale normato (e in particolare, è uno spazio metrico). Tutti gli spazi metrici hanno [[spazio completo|completamento]], così sia ''L''<sup>1</sup> il suo completamento. Questo spazio è isomorfo allo spazio delle funzioni Lebesgue-integrabili (a meno di insiemi di misura zero). Inoltre, l'integrale di Riemann ∫ definisce un funzionale continuo su ''C<sub>c</sub>'' denso in ''L''<sup>1</sup>, perciò ∫ ha un'unica estensione su tutto ''L''<sup>1</sup>. Questo integrale è precisamente l'integrale di Lebesgue.
 
Il problema con questo approccio è che le funzioni integrali sono rappresentate come elementi di un completamento definito astrattamente e mostrare come questi elementi definiti astrattamente sono rappresentati da funzioni è non banale. In particolare, la relazione fra limiti puntuali di successioni di funzioni e l'integrale è difficile da provare.
 
Un altro approccio è offerto dall'[[integrale di Daniell]] o dalla variante di [[Bourbaki]] di quest'ultimo, spesso menzionata come approccio all'integrazione mediante la [[misura di Radon]].
 
== Limitazioni dell'integrale di Riemann ==
 
Qui discutiamo le limitazioni dell'integrale di Riemann e la più ampia libertà d'azione offerta dall'integrale di Lebesgue. Presupponiamo una buona comprensione dell'[[integrale di Riemann]].
 
Con l'avvento delle [[serie di Fourier]], si incontrarono molti problemi analitici coinvolgenti integrali, la cui soluzione soddisfacente richiedeva di scambiare somme infinite di funzioni e segni di integrale. Tuttavia, le condizioni per le quali gli integrali
 
: <math> \sum_k \int f_k(x) dx, \quad \int \bigg[\sum_k f_k(x) \bigg] dx </math>
 
sono uguali si sono dimostrate abbastanza elusive nella struttura di Riemann. Ci sono altre difficoltà tecniche con l'integrale di Riemann, e sono collegate con la difficoltà di passaggio al limite discussa prima.
 
'''Assenza della convergenza monotona '''. Come mostrato sopra, la funzione indicatrice 1<sub>'''Q'''</sub> sui razionali non è Riemann-integrabile. In particolare, fallisce il [[teorema della convergenza monotona]]. Per veder perché, sia {''a''<sub>''k''</sub>} una enumerazione di tutti i numeri razionali in [0,1] (sono [[numerabile|numerabili]] e quindi è possibile.) Allora sia
:<math> g_k(x) = \left\{\begin{matrix} 1 & \mbox{se } x = a_k \\
0 & \mbox{altrimenti} \end{matrix} \right. </math>
 
Poi sia
:<math> f_k = g_1 + g_2+ \ldots + g_k. \quad </math>
 
La funzione ''f''<sub>''k''</sub> è zero ovunque eccetto un numero finito di punti, quindi il suo integrale di Riemann è zero. La successione ''f''<sub>''k''</sub> è inoltre chiaramente non negativa e monotona crescente verso 1<sub>'''Q'''</sub>, che è non integrabile secondo Riemann.
 
'''Inadeguatezza degli intervalli non limitati'''. L'integrale di Riemann può integrare solo funzioni su un intervallo limitato. L'estensione più semplice è definire
 
:<math> \int_{-\infty}^{+\infty} f(x) dx = \lim_{a \rightarrow \infty} \int_{-a}^{+a} f(x) dx </math>
 
ogni volta che il limite esiste. Tuttavia questo rompe la proprietà desiderabile dell<nowiki>'</nowiki>''invarianza per traslazioni'': se ''f'' e ''g'' sono zero al di fuori di un certo intervallo [''a'', ''b''] e sono Riemann-integrabili, e se ''f''(''x'') = ''g''(''x'' + ''y'') per qualche ''y'', allora ∫ ''f'' = ∫ ''g''. Con questa definizione di [[integrale improprio]] (questa definizione è spesso detta [[valore principale di Cauchy]] improprio sullo zero), le funzioni ''f''(''x'') = (1 se ''x'' > 0, &minus;1 altrimenti) e ''g''(''x'') = (1 se ''x'' > 1, &minus;1 altrimenti) sono traslazioni l'una dell'altra, ma i loro integrali impropri sono differenti.
 
:<math> \int f(x) dx = 0, \quad \int g(x) dx= -2 . \quad </math>
 
'''Inadeguatezza per una definizione assiomatica di probabilità'''. In teoria della probabilità un assioma di cui non si può fare a meno è: ''un'unione numerabile di eventi deve essere un evento''.
 
Se si prova a definire la probabilità di un sottoinsieme <math>\ E</math> dell'intervallo <math>\ [0,1]</math> come l'integrale di Riemann della funzione caratteristica dell'insieme <math>\ E</math>(<math>\ f(x)=1</math> per <math>\ x\in E</math> e 0 altrove), si ha che ogni numero razionale compreso tra 0 e 1 ha probabilità nulla, ma la loro unione non è un evento in quanto non è un insieme integrabile secondo Riemann e quindi non è possibile assegnargli una probabilità.
 
Con l'integrale di Lebesgue questo problema non si presenta ed è possibile dare una nozione assiomatica di probabilità perfettamente coerente.
 
=== Esempi ===
Si consideri la [[funzione indicatrice]] dei numeri razionali, 1<sub>'''Q'''</sub>. È noto che 1<sub>'''Q'''</sub> è [[funzione mai continua|mai continua]].
 
* 1<sub>'''Q'''</sub> '''non è Riemann-integrabile su''' [0,1]: Non importa in che modo l'insieme [0,1] è partizionato in sottointervalli, ogni partizione conterrà almeno un numero razionale e almeno un numero irrazionale, dato che sia i razionali che gli irrazionali sono densi nei reali. Quindi la somma superiore di Darboux sarà sempre uno, e la somma inferiore di Darboux sarà sempre zero.
 
* 1<sub>'''Q'''</sub> '''è Lebesgue-integrabile su ''' [0,1]: Infatti è la funzione indicatrice dei razionali e quindi per definizione
 
::<math> \int_{[0,1]} 1_{\mathbf{Q}} \, d \mu = \mu(\mathbf{Q} \cap [0,1]) = 0,</math>
 
:poiché '''Q''' è numerabile.
 
==Note==
<references/>
 
== Bibliografia ==
* {{cita libro | cognome= Rudin| nome= Walter | titolo= Real and Complex Analysis | editore= McGraw-Hill | città= Mladinska Knjiga| anno= 1970|id=ISBN 0070542341|cid =rudin}}
* {{en}} R. M. Dudley, ''Real Analysis and Probability'', Wadsworth & Brookes/Cole, 1989. Trattazione molto accurata, specialmente per i probabilisti, con buone note e riferimenti storici.
* {{en}} P. R. Halmos, ''Measure Theory'', D. van Nostrand Company, Inc. 1950. Una esposizione classica, benché talvolta datata.
* {{en}} L. H. Loomis, ''An Introduction to Abstract Harmonic Analysis'', D. van Nostrand Company, Inc. 1953. Include una presentazione dell'integrale di Daniell.
* {{fr}} H. Lebesgue, ''Oeuvres Scientifiques'', L'Enseignement Mathématique, 1972
* {{en}} M. E. Munroe, ''Introduction to Measure and Integration'', Addison Wesley, 1953. Buona trattazione della teoria delle misure esterne.
* {{en}} W. Rudin, ''Principles of Mathematical Analysis'' Third edition, McGraw Hill, 1976. Noto come ''Little Rudin'', contiene le basi della teoria di Lebesgue, ma non tratta materiale come il [[teorema di Fubini]].
* {{en}} E. H. Lieb, M. Loss, ''Analysis'', AMS, 2001. Sviluppa la teoria dell'integrazione nel primo capitolo mettendo in risalto l'aspetto intuitivo e le motivazioni. Tratta poi gli spazi Lp e più avanti le distribuzioni, ma la maggior parte del libro è dedicata a mostrare "applicazioni" della teoria in analisi, con tre capitoli dedicati alle disuguaglianze (Rearrangement Inequalities, Integral Inequalities, Sobolev Inequalities), e altri dedicati alla trasformata di Fourier, spazi di Sobolev, teoria del potenziale ed energie di Coulomb, regolarità delle soluzioni dell'equazione di Poisson, calcolo delle variazioni ed autovalori.
* N. Fusco, P. Marcellini, C. Sbordone. ''Analisi Matematica due'', Liguori Editore.
 
== Voci correlate ==
* [[Insieme nullo]]
* [[integrale|Integrazione]]
* [[misura (matematica)|Misura]]
* [[Sigma-algebra]]
* [[Misura di Lebesgue]]
* [[Spazio di Lebesgue]]
 
{{analisi matematica}}
{{Portale|matematica}}
 
[[Categoria:Teoria della misura]]
[[Categoria:Calcolo integrale|Lebesgue]]
 
[[ca:Integral de Lebesgue]]
[[de:Lebesgue-Integral]]
[[en:Lebesgue integration]]
[[es:Integral de Lebesgue]]
[[fr:Intégrale de Lebesgue]]
[[he:אינטגרל לבג]]
[[ja:ルベーグ積分]]
[[ko:르베그 적분]]
[[nl:Lebesgue-integraal]]
[[pl:Całka Lebesgue'a]]
[[pt:Integral de Lebesgue]]
[[ru:Интеграл Лебега]]
[[sk:Lebesgueov integrál]]
[[su:Integrasi Lebesgue]]
[[sv:Lebesgueintegration]]
[[tr:Lebesgue integrali]]
[[uk:Інтеграл Лебега]]
[[zh:勒貝格積分]]