Lebesguemått

Lebesguemått är ett begrepp inom matematiken. Det är 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 $\R^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 $\R^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 summavolymen 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 \R^n$ är ett n-intervall, om det finns $a_i \leq b_i \in \R, 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 \R^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 $\R^n$.

Alla mängder

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

Det yttre Lebesguemåttet är en funktion $\mathcal{L}_n^* : \mathcal{P}(\R^n) \rightarrow [0,+\infty]$, definierad som:

$\mathcal{L}_n^* (A):= \inf\left\{\sum_{k=1}^\infty \mu (I_k) : A \subset \bigcup_{k=1}^\infty I_k \mbox{ och } I_k \in \mathcal{I}^n, k \in \N \right\}.$

Så att yttre Lebesguemåttet är definierat för alla mängder i $\R^n$.

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

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

$\mathcal{L}_n^* (A) \geq 0$,

för alla $A \subset \R^n\,$.

• Tomma mängden har måttet noll:

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

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

$\mathcal{L}_n^* (A) \leq \mathcal{L}_n^* (B)$

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

$\mathcal{L}_n^* \left(\bigcup_{k=1}^\infty A_k\right) \leq \sum_{k=1}^\infty \mathcal{L}_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 \R^n$ är en Lebesguemätbar mängd om det uppfyller Carathéodorys kriterium:

$\mathcal{L}_n^* (E) = \mathcal{L}_n^* (E \cap A) + \mathcal{L}_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 $\mbox{Leb} \R^n$ vara familjen av alla $\R^n$ Lebesguemätbara mängder.

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

$\mathcal{L}_n := \mathcal{L}_n^* | \mbox{Leb} \R^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 - \mathcal{L}_1^* ([0,1] \setminus A)$. Likaså om $A \subset [0,1]^n$ är Lebesguemätbar så är måttet för $A\,$ talet $1 - \mathcal{L}_1^* ([0,1]^n \setminus A)$. Inre Lebesguemåttet utvidgar det här begreppet för hela rummet $\R^n$.

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

$\mathcal{L}_{n*} (A) := \limsup_{k \rightarrow \infty} \, \left[ \mathcal{L}_n^* ([-k,k]^n) - \mathcal{L}_n^* ([-k,k]^n \setminus A) \right] .$

Det går att visa att för $A \subset \R^n$ med $\mathcal{L}_n^* (A) < \infty$

$\mathcal{L}_{n*} (A) \leq \mathcal{L}_n^* (A)$.

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

$\mathcal{L}_{n*} (A) = \mathcal{L}_n^* (A)$

Exempel

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

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

$\mu (I_\varepsilon) = (1-0)(\varepsilon-(-\varepsilon)) = 2\varepsilon .$

Så att

$\mathcal{L}_2^* (A) \leq \mu (I_\varepsilon) = 2\varepsilon \rightarrow 0,$ när $\varepsilon \rightarrow 0,$

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

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

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

Eftersom $\mathcal{L}_n^*$ är subadditiv så är

$\mathcal{L}_n^* (A) \leq \sum_{i=1}^\infty \mathcal{L}_n^* (\{x_i\}) = \sum_{i=1}^\infty 0 = 0$,

dvs $\mathcal{L}_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 \R$ och varje delmängd till A är Lebesguemätbar så är $\mathcal{L}_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 $\R^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 $\R^n$. Det är även ett produktmått över Borelmängder.

Tyvärr är Lebesguemåttet inte bra för att mäta mängder med krångliga geometriska strukturer, exempelvis mångfalder och fraktaler. För det här finns det ett mer modernt mått, Hausdorffmåttet.

Å andra sidan finns för mått i $\R^n$ ett $c = c(n) > 0\,$ så att

$\mathcal{H}^n = c \mathcal{L}_n^*$,

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

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

där $\Gamma\,$ är Gammafunktionen.

Se även

• Lebesgueintegration
• Måtteori

Källor

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