Lebesguemått

Inom matematiken är Lebesguemått ett mått som motsvarar de vanliga uppfattningarna om längd, yta och volym för mängder i en, två och tre dimensioner. Lebesguemåttet är definierat i det euklidiska rummet ${ℝ}^n$. Det introducerades år 1901 i en artikel av Henri Lebesgue och publicerades även i hans doktorsavhandling 1902.

Yttre Lebesguemått

Lebesguemåttet definieras ofta med hjälp av ett yttre mått som kallas Lebesgues yttre mått eller yttre Lebesguemått. Med detta yttre mått går det att mäta alla mängder, men det saknar vissa egenskaper som ett mått skall ha.

Lebesgues idé var att använda den linjära strukturen i ${ℝ}^n$ för att beräkna storleken på mängder. Man täcker mängden som ska mätas med rätblock, eftersom volymen av rätblock är lätt att beräkna och tar sedan den minsta volymsumman av rätblocken.

n-intervall

Ett "rätblock" i flera dimensioner kallas n-intervall och "volymen" av n-intervallet för n-måttet.

Mer exakt, en mängd $R\subset {ℝ}^n$ är ett n-intervall, om det finns $a_i\le b_i\in ℝ,i=1,2,...,n$ så att

$R=[a_1,b_1]\times [a_2,b_2]\times ...\times [a_n,b_n].$

där $\times$ innebär cartesisk produkt.

I geometri definieras ofta längden för intervallet $[a,b]$ som talet $b-a$. Likartat definieras n-måttet för ett n-intervall $I\subset {ℝ}^n$ som talet

$\mu (I):=(b_1-a_1)(b_2-a_2)...(b_n-a_n)=\prod _{i=1}^n(b_i-a_i).$

Med formeln ovan är det möjligt att mäta storleken på alla n-intervall i ${ℝ}^n$.

Alla mängder

Nästa steg är att utvidga den här definitionen för alla mängder. Låt ${ℐ}^n$ vara familjen av alla n-intervall i ${ℝ}^n$.

Det yttre Lebesguemåttet är en funktion ${ℒ}_n^{*}:𝒫({ℝ}^n)\to [0,+\mathrm{\infty }]$, definierad som:

${ℒ}_n^{*}(A):=\inf \{\sum _{k=1}^{\mathrm{\infty }}\mu (I_k):A\subset \bigcup _{k=1}^{\mathrm{\infty }}{I}_k\text{ och }{I}_k\in {ℐ}^n,k\in \mathbb{N}\}.$

Så att yttre Lebesguemåttet är definierat för alla mängder i ${ℝ}^n$.

Man kallar den här funktionen yttre Lebesguemåttet, eftersom det är ett yttre mått. Mer precist uppfyller funktionen ${ℒ}_n^{*}$ följande kriterier:

• Icke-negativitet: ingen mängd har negativt yttre Lebesguemått:

${ℒ}_n^{*}(A)\ge 0$,

för alla $A\subset {ℝ}^n$.

• Tomma mängden har måttet noll:

${ℒ}_n^{*}(\varnothing )=0$,

• Monotonicitet: om $A\subset B\subset {ℝ}^n$, så är

${ℒ}_n^{*}(A)\le {ℒ}_n^{*}(B)$

• Subadditivitet: om $(A_i)$ är en uppräknelig följd av mängder i ${ℝ}^n$ så är

${ℒ}_n^{*}\left(\bigcup _{k=1}^{\mathrm{\infty }}{A}_k\right)\le \sum _{k=1}^{\mathrm{\infty }}{ℒ}_n^{*}(A_k)$.

Lebesguemått

Yttre Lebesguemått är inte ett mått, eftersom det inte är sigma-additivt, på grund av att det finns för mycket mängder att mäta. Därför måste man identifiera vilka mängder som inte är resonliga att mäta.

Man säger att $A\subset {ℝ}^n$ är en Lebesguemätbar mängd om det uppfyller Carathéodorys kriterium:

${ℒ}_n^{*}(E)={ℒ}_n^{*}(E\cap A)+{ℒ}_n^{*}(E\setminus A).$

Det går att visa att det finns mängder som inte är Lebesguemätbara. Om man begränsar yttre Lebesguemåttet till Lebesguemätbara mängder är det ett mått.

Mer precist, låt $\text{Leb}{ℝ}^n$ vara familjen av alla ${ℝ}^n$ Lebesguemätbara mängder.

Eftersom funktionen ${ℒ}_n^{*}$ är ett yttre mått, går det att visa att familjen $\text{Leb}{ℝ}^n$ är en sigma-algebra och att funktionen ${ℒ}_n^{*}$ är uppräkneligt additiv för alla Lebesguemätbara mängder. Därför är funktionen

${ℒ}_n:={ℒ}_n^{*}|\text{Leb}{ℝ}^n$

ett mått, kallat n-dimensionella Lebesguemåttet.

Inre Lebesguemått

Carathéodorys kriterium för Lebesguemätbarhet är ganska abstrakt och inte nödvändigtvis det mest intuitiva. För mängder med ändligt yttre Lebesguemått finns det andra definitioner för mätbarhet som är ekvivalenta med Carathéodorys kriterium. Exempelvis kan man använda vad som kallas inre Lebesguemåttet.

Till exempel om $A\subset [0,1]$ är Lebesguemätbar så är måttet för $A$ talet $1-{ℒ}_1^{*}([0,1]\setminus A)$. Likaså om $A\subset [0,1{]}^n$ är Lebesguemätbar så är måttet för $A$ talet $1-{ℒ}_1^{*}([0,1{]}^n\setminus A)$. Inre Lebesguemåttet utvidgar det här begreppet för hela rummet ${ℝ}^n$.

För $A\subset {ℝ}^n$ med ${ℒ}_n^{*}(A)<\mathrm{\infty }$ är det inre Lebesguemåttet talet

${ℒ}_{n*}(A):=\underset{k\to \mathrm{\infty }}{\mathrm{lim\; sup}}[{ℒ}_n^{*}([-k,k{]}^n)-{ℒ}_n^{*}([-k,k{]}^n\setminus A)].$

Det går att visa att för $A\subset {ℝ}^n$ med ${ℒ}_n^{*}(A)<\mathrm{\infty }$

${ℒ}_{n*}(A)\le {ℒ}_n^{*}(A)$.

Det går även att visa att en mängd $A\subset {ℝ}^n$ med ${ℒ}_n^{*}(A)<\mathrm{\infty }$ är Lebesguemätbar om och endast om

${ℒ}_{n*}(A)={ℒ}_n^{*}(A)$

Exempel

• Låt $A=\{(x,y)\in {ℝ}^2:0\le x\le 1,y=0\}$, och för alla $\epsilon >0$ låt $I_{\epsilon }:=[0,1]\times [-\epsilon ,\epsilon ].$

Det följer att $A\subset I_{\epsilon }$:s 2-mått är

$\mu (I_{\epsilon })=(1-0)(\epsilon -(-\epsilon ))=2\epsilon .$

Så att

${ℒ}_2^{*}(A)\le \mu (I_{\epsilon })=2\epsilon \to 0,$ när $\epsilon \to 0,$

följaktligen är ${ℒ}_2^{*}(A)=0$ eftersom ${ℒ}_2^{*}$ inte är negativ.

• Alla uppräkneliga mängder är nollmängder. Låt $A\subset {ℝ}^n$ vara en uppräknelig mängd. Då

$A=\{x_i:i\in \mathbb{N}\}.$

Eftersom ${ℒ}_n^{*}$ är subadditiv så är

${ℒ}_n^{*}(A)\le \sum _{i=1}^{\mathrm{\infty }}{ℒ}_n^{*}(\{x_i\})=\sum _{i=1}^{\mathrm{\infty }}0=0$,

dvs ${ℒ}_n^{*}(A)=0$.

• Det finns även överuppräkneliga mängder som har Lebesguemåttet noll, exempelvis har Cantormängden 1-dimensionella Lebesguemåttet noll.

• Det går även att visa att om $A\subset ℝ$ och varje delmängd till A är Lebesguemätbar så är ${ℒ}_1(A)=0$. En följd av detta är att varje mängd som har positivt mått har en delmängd som inte är mätbar.

Egenskaper

Lebesguemåttet är ett ganska naturligt mått i ${ℝ}^n$. Yttre Lebesguemåttet är ett yttre regelbundet och metriskt yttre mått. Lebesguemåttet är ett Borelmått, ett Radonmått, ett Haarmått, ett komplett mått och ett Ahlfors-regelbundet mått i ${ℝ}^n$. Det är även ett produktmått över Borelmängder.

Lebesguemåttet är inte lämpligt för att mäta mängder med komplicerade geometriska strukturer, exempelvis mångfalder och fraktaler. För dessa finns ett mer modernt mått, Hausdorffmåttet.

Å andra sidan finns för mått i ${ℝ}^n$ ett $c=c(n)>0$ så att

${\mathscr{H}}^n=c{ℒ}_n^{*}$,

där ${\mathscr{H}}^n$ är n-dimensionella yttre Hausdorffmåttet och

$c(n)=2^{-n}\frac{{\pi }^{n/2}}{\mathrm{\Gamma }(\frac{n}{2}+1)},$

där $\mathrm{\Gamma }$ är Gammafunktionen.

Se även

• Lebesgueintegration
• Måtteori

Referenser

Källor

• Bourbaki, N. (2004), Integration I, Springer-Verlag