Lebesguen mitta

Tähän artikkeliin tai osioon ei ole merkitty lähteitä, joten tiedot kannattaa tarkistaa muista tietolähteistä. Voit auttaa Wikipediaa lisäämällä artikkeliin tarkistettavissa olevia lähteitä ja merkitsemällä ne ohjeen mukaan. Tarkennus: Vain yksi lähde

Lebesguen mitta on reaalilukujen joukon mitta, jota kutsutaan havainnollisuutensa vuoksi myös luonnolliseksi mitaksi. Sen integraali eli Lebesguen integraali on Riemannin integraalin laajennus.

Lebesguen mitalla on useita luonnolliselta tuntuvia ominaisuuksia. Se yhtenee geometrian pituus-, pinta-ala- ja tilavuuskäsitteiden kanssa sikäli, että esimerkiksi reaalilukuvälin ${\displaystyle [a,b]}$ Lebesguen mitta on ${\displaystyle b-a}$, -neliön ${\displaystyle [a,b]\times [a,b]}$ mitta on ${\displaystyle (b-a)^{2}}$ ja -kuution ${\displaystyle [a,b]\times [a,b]\times [a,b]}$ mitta on ${\displaystyle (b-a)^{3}}$. Se on siirto- ja kiertoinvariantti, minkä voi tulkita graafisesti niin, ettei joukon asennolla tai sijainnilla ole vaikutusta sen mittaan.

Lebesguen mitta on määritelty kaikille helposti kuviteltaville joukoille. Valinta-aksiooman avulla voidaan kuitenkin todistaa, että on olemassa sellaisiakin ${\displaystyle \mathbb {R} }$:n osajoukkoja, jotka eivät ole Lebesgue-mitallisia. Kaikki sellaiset ovat kuitenkin luonteeltaan hyvin monimutkaisia ja abstrakteja.^[1]

Lebesguen mitta määritellään Lebesguen ulkomitan kautta, joka on mitta, joka on määritelty mielivaltaisille ${\displaystyle n}$-ulotteisille reaalilukujen joukoille. Alustavasti on kuitenkin tehtävä joitakin määritelmiä.

Yksiulotteinen avoin väli on perinteiseen tapaan väli

${\displaystyle (a,b)=\{x\in \mathbb {R} \,|\,a<x<b\}}$.

${\displaystyle n}$-ulotteinen avoin väli on yksiulotteisten avoimien välien karteesinen tulo

${\displaystyle (a_{1},b_{1})\times (a_{2},b_{2})\times \ldots \times (a_{n},b_{n})}$.

Kiinnitetään geometriselle mitalle symboli ${\displaystyle l}$. Jos ${\displaystyle I}$ on ${\displaystyle n}$-ulotteinen väli, niin sen geometrinen mitta on

${\displaystyle l(I)=\prod _{i=1}^{n}(a_{i}-b_{i})=(a_{1}-b_{1})\cdot (a_{2}-b_{2})\cdot \ldots \cdot (a_{n}-b_{n})}$.

Jos ${\displaystyle n}$ on luonnollinen luku, joukko ${\displaystyle A\subset \mathbb {R} ^{n}}$, niin joukon ${\displaystyle A}$ Lebesguen ulkomitta on

${\displaystyle m_{n}^{*}(A)=\inf \left\{\sum _{k=1}^{\infty }l(I_{k})\,\left|\,A\subset \bigcup _{k=1}^{\infty }I_{k},\ I_{k}\ {\textrm {on}}\ n{\textrm {-ulotteinen}}\ {\mbox{väli}}\ {\textrm {kaikilla}}\ k\in \mathbb {N} \right.\right\}}$.

${\displaystyle m_{n}^{*}}$ on kuvaus ${\displaystyle {\mathcal {P}}(\mathbb {R} ^{n})\rightarrow [0,\infty ]}$.

Yleensä samaistetaan symbolit ${\displaystyle m_{n}^{*}}$ ja ${\displaystyle m^{*}}$, jos dimensio on yhteydestä selvä.

Joukko ${\displaystyle E\subset \mathbb {R} ^{n}}$ on Lebesgue-mitallinen, jos

${\displaystyle m_{n}^{*}(A)=m_{n}^{*}(A\cap E)+m_{n}^{*}(A\cap E^{c})}$ kaikilla joukoilla ${\displaystyle A\subset \mathbb {R} ^{n}}$.

Tämä on niin kutsuttu Carathéodoryn ehto.

${\displaystyle n}$-ulotteisten Lebesgue-mitallisten joukkojen joukkoa merkitään symbolilla ${\displaystyle Leb(\mathbb {R} ^{n})}$. Voidaan sanoa, että kaikki helposti kuviteltavat joukot ovat Lebesgue-mitallisia. ${\displaystyle Leb(\mathbb {R} ^{n})}$ on sigma-algebra.

Lebesgue-mitallisia joukkoja:

• ${\displaystyle n}$-ulotteiset avoimet välit ovat Lebesgue-mitallisia joukkoja
• jos pätee ${\displaystyle m^{*}(E)=0}$, niin ${\displaystyle E}$ on Lebesgue-mitallinen
• numeroituvat joukot ovat Lebesgue-mitallisia
• avoimet ja suljetut joukot ovat Lebesgue-mitallisia
• Lebesgue-mitallisen joukon komplementti on Lebesgue-mitallinen
• Lebesgue-mitallisten joukkojen numeroituvat yhdisteet ja leikkaukset ovat Lebesgue-mitallisia
• Borel-joukot ovat Lebesgue-mitallisia

Kaikki Lebesgue-mitalliset joukot eivät kuitenkaan ole Borel-joukkoja.

Jos joukko ${\displaystyle E\subset \mathbb {R} ^{n}}$ on Lebesgue-mitallinen, niin sen Lebesguen mitta on ${\displaystyle m_{n}(E)=m_{n}^{*}(E)}$. ${\displaystyle m_{n}}$ on siis kuvaus ${\displaystyle Leb(\mathbb {R} ^{n})\rightarrow [0,\infty ]}$.

Jos dimensio on yhteydestä selvä, merkitään ${\displaystyle m(E)=m^{*}(E)}$.

Jos ${\displaystyle A\subset \mathbb {R} ^{n}}$, niin funktio ${\displaystyle f:A\rightarrow \mathbb {R} ^{m}}$ on Lebesgue-mitallinen, jos ${\displaystyle f^{-1}(G)}$ on Lebesgue-mitallinen joukko kaikilla avoimilla joukoilla ${\displaystyle G\subset \mathbb {R} ^{m}}$.

Jos ${\displaystyle A\subset \mathbb {R} }$, niin funktio ${\displaystyle f:A\rightarrow \mathbb {R} \cup \{+\infty ,-\infty \}}$ on Lebesgue-mitallinen, jos ${\displaystyle f^{-1}(G)}$ on Lebesgue-mitallinen joukko kaikilla avoimilla joukoilla ${\displaystyle G\subset \mathbb {R} }$ sekä ${\displaystyle f^{-1}(+\infty )}$ ja ${\displaystyle f^{-1}(-\infty )}$ ovat Lebesgue-mitallisia joukkoja.

Lebesgue-mitallisia funktioita:

• jos ${\displaystyle E}$ on Lebesgue-mitallinen joukko, niin indikaattorifunktio ${\displaystyle 1_{E}}$ on Lebesgue-mitallinen funktio
• jos ${\displaystyle A\subset \mathbb {R} ^{n}}$ on mitallinen, niin jatkuvat funktiot ${\displaystyle A\rightarrow \mathbb {R} ^{m}}$ ovat Lebesgue-mitallisia
• jos ${\displaystyle A\subset \mathbb {R} ^{n}}$, ${\displaystyle f}$ on Lebesgue-mitallinen funktio ${\displaystyle A\rightarrow \mathbb {R} ^{m}}$, ${\displaystyle B\subset \mathbb {R} ^{m}}$, ${\displaystyle f(A)\subset B}$ ja ${\displaystyle g}$ on jatkuva funktio ${\displaystyle B\rightarrow \mathbb {R} ^{p}}$, niin yhdistetty kuvaus ${\displaystyle g\circ f}$ on Lebesgue-mitallinen
• Lebesgue-mitallisten funktioiden välinen summa ja tulo muodostavat Lebesgue-mitallisen funktion
• jos ${\displaystyle f}$ on Lebesgue-mitallinen funktio ja ${\displaystyle p>0}$, niin ${\displaystyle |f|^{p}}$ on Lebesgue-mitallinen funktio
• jos ${\displaystyle A\subset \mathbb {R} ^{n}}$ ja ${\displaystyle (f_{1},f_{2},\ldots )}$ on jono Lebesgue-mitallisia funktioita ${\displaystyle A\rightarrow \mathbb {R} \cup \{+\infty ,-\infty \}}$, niin funktiot ${\displaystyle \sup _{i\rightarrow \infty }f_{i}}$, ${\displaystyle \inf _{i\rightarrow \infty }f_{i}}$, ${\displaystyle \limsup _{i\rightarrow \infty }f_{i}}$ ja ${\displaystyle \liminf _{i\rightarrow \infty }f_{i}}$ ovat Lebesgue-mitallisia. Jos lisäksi ${\displaystyle \lim _{i\rightarrow \infty }f_{i}}$ on olemassa, on se Lebesgue-mitallinen

Jos ${\displaystyle E}$ on ${\displaystyle n}$-ulotteinen avoin väli, niin ${\displaystyle m(E)=l(E)}$. Lebesguen mitta on siis geometrisen mitan laajennus siinä mielessä, että kaikilla niillä joukoilla, joilla geometrinen mitta on määritelty, on myös Lebesguen mitta ja se on sama kuin geometrinen mitta. Lebesguen mitta on samoin myös Jordanin mitan laajennus.

Jos ${\displaystyle E_{1},E_{2},\ldots }$ on jono pareittain erillisiä Lebesgue-mitallisia joukkoja, niin

${\displaystyle m\left(\bigcup _{i=1}^{\infty }E_{i}\right)=\sum _{i=1}^{\infty }m(E_{i})}$.

Jos ${\displaystyle E}$ on numeroituva joukko, niin ${\displaystyle m(E)=0}$.

Lebesguen mitta ${\displaystyle m_{n}}$ on täydellinen mitallisella kentällä ${\displaystyle (\mathbb {R} ^{n},\operatorname {Bor} \,\mathbb {R} ^{n})}$.

Pääartikkeli: Lebesguen integraali

Lebesguen integraali on mittaintegraali Lebesguen mitan suhteen. Kun määritellään

${\displaystyle f^{+}:X\rightarrow [0,\infty ]=\max\{f,0\}}$ ja ${\displaystyle f^{-}:X\rightarrow [0,\infty ]=\max\{-f,0\}}$

Lebesgue-mitalliselle funktiolle ${\displaystyle f:X\rightarrow \mathbb {R} }$, ja edes toinen integraaleista ${\displaystyle \int _{E}f^{+}\,}$ tai ${\displaystyle \int _{E}f^{-}\,}$ on äärellinen, voidaan Lebesguen integraali yli mitallisen joukon E määritellä

${\displaystyle \int _{E}f=\int _{E}f^{+}-\int _{E}f^{-}\,}$.

Mikäli

${\displaystyle \int _{E}|f|=\int _{E}f^{+}+f^{-}<\infty }$,

sanotaan, että funktio on Lebesgue-integroituva yli joukon E, ja merkitään esimerkiksi ${\displaystyle f\in L^{1}(E)}$. Lebesguen integraali on Riemannin integraalin 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 täältä.

• Banachin–Tarskin paradoksi
• Borel-joukko

• Jalava, Väinö: Moderni analyysi I. 15. Tampere: TTKK, 1976. ISBN 951-720-223-7.

• MathWorld. Lebesgue Measure
• MathWorld. Lebesgue Integral