Ero sivun ”Lebesguen mitta” versioiden välillä

[arvioimaton versio][arvioimaton versio]
Poistettu sisältö Lisätty sisältö
Saaskis (keskustelu | muokkaukset)
Saaskis (keskustelu | muokkaukset)
Rivi 75:
== Lebesguen integraali ==
 
Lebesguen integraali on [[Mittateoria#Integraali|mittaintegraali]] Lebesguen mitan suhteen. Kun määritellään <center>
:<math> f^+ : X \rightarrow [0, \infty] = \max \{ f,0 \} </math> ja <math> f^- : X \rightarrow [0, \infty] = \max \{ -f,0 \}</math>
Lebesgue-mitalliselle funktiolle <math>f: X \rightarrow \mathbb{R} </math>, ja edes toinen integraaleista <math>\int_E f^+ \,</math> tai <math>\int_E f^- \,</math> on äärellinen, voidaan Lebesguen integraali yli mitallisen joukon <math> ''E \, </math>'' määritellä <center><math>\int_E f = \int_E f^+ - \int_E f^- \,</math>.</center>
ja <math> f^- : X \rightarrow [0, \infty] = \max \{ -f,0 \}</math> </center>
:<math>\int_E f = \int_E f^+ - \int_E f^- \,</math>.
Lebesgue-mitalliselle funktiolle <math>f: X \rightarrow \mathbb{R} </math>, ja edes toinen integraaleista <math>\int_E f^+ \,</math> tai <math>\int_E f^- \,</math> on äärellinen, voidaan Lebesguen integraali yli mitallisen joukon <math> E \, </math> määritellä <center><math>\int_E f = \int_E f^+ - \int_E f^- \,</math>.</center>
Mikäli <center>
:<math>\int_E |f| = \int_E f^+ + f^- < \infty </math>,</center>
sanotaan, että funktio on Lebesgue-integroituva yli joukon <math>''E \,</math>'', ja merkitään esimerkiksi <math> f \in L^1(E) </math>. Lebesguen integraali on [[Riemannin integraali]]n aito laajennus: Mikäli Riemannin integraali funktiolle on olemassa, Lebesguen integraali antaa saman tuloksen. Lisäksi monille funktioille, jotka eivät ole Riemann-integroituvia, Lebesguen integraali antaa vaivatta modernin analyysin kannalta "oikean" tuloksen. Sanallinen kuvaus Lebesguen integraalin määritelmästä ja ominaisuuksista löytyy [[Henri Lebesgue#Lebesguen integraali|täältä]].
 
== Katso myös ==