Miara Lebesgue'a

Miara Lebesgue'a (czyt. „lebega”) – pojęcie teorii miary formalizujące i uogólniające intuicje związane z takimi pojęciami (w zależności od wymiaru) jak długość, pole powierzchni czy objętość bryły . Historycznie pojęcie miary (nazywanej dziś miarą Lebesgue'a) pochodzi z pracy Henriego Lebesgue'a , dotyczącej rozszerzenia pojęcia całki na klasy funkcji określonych także na innych zbiorach niż przedziały domknięte (tzw. całka Lebesgue'a ).

Miara Lebesgue'a to jedyna zupełna , wewnętrznie regularna i niezmiennicza na przesunięcia (zob. Własności ) miara borelowska (określona na σ-ciele zawierającym wszystkie otwarte podzbiory przestrzeni), w której (jednostkowa) kostka wielowymiarowa ma miarę jednostkową.

Rodzina podzbiorów przestrzeni euklidesowej , dla których sensowne jest określenie miary Lebesgue'a, nie może być opisana w sposób jawny. Elementy tej rodziny tworzą σ-ciało , nazywane σ-ciałem zbiorów mierzalnych w sensie Lebesgue'a. Ewentualne istnienie zbiorów, które nie są mierzalne w sensie Lebesgue'a ma podłoże teoriomnogościowe (mówiąc wprost zależy od przyjętej aksjomatyki teorii mnogości; zob. Zbiory niemierzalne ).

Motywacja

Miary stanowią uogólnienie długości , pola powierzchni i objętości , a przy tym okazują się one przydatne do mierzenia bardziej abstrakcyjnych i nieregularnych zbiorów niż przedziały czy kule w trójwymiarowej przestrzeni euklidesowej . Jednym z pierwszych problemów, które stawiała sobie teoria miary, było pytanie o to, czy istnieje miara $m$ o następujących własnościach:

1. $m$ jest określona dla wszystkich podzbiorów prostej rzeczywistej, tzn. dziedziną $m$ jest zbiór potęgowy zbioru liczb rzeczywistych,
2. dowolny przedział liczb rzeczywistych $[a, b]$ ma miarę $b - a,$
3. miara przesunięcia dowolnego podzbioru o ustalony wektor (w prawo lub w lewo) jest taka sama jak miara zbioru, który jest przesuwany (innymi słowy, miara $m$ jest niezmiennicza na przesunięcia).

Pod założeniem aksjomatu wyboru (bądź niektórych z jego słabszych form, na przykład twierdzenie o ideale pierwszym ) nie istnieje miara $m$ spełniająca te warunki 1.-3. Należy mieć na uwadze, że teoria mnogości ZF wraz z aksjomatem wyboru jest obecnie najszerzej przyjmowaną aksjomatyzacją matematyki.

Przy użyciu miary zewnętrznej Lebesgue'a, tj. nieujemnej, σ-poddadytywnej funkcji zbiorów $m^*,$ określonej na zbiorze wszystkich podzbiorów prostej, która spełnia warunki 2. i 3., można skonstruować, metodą pochodzącą od Carathéodory'ego, miarę zupełną (tj. nieujemną funkcję σ-addytywną o tej własności, że podzbiór każdego zbioru, któremu funkcja ta przypisuje wartość 0, jest również mierzalny), określoną na pewnej rodzinie podzbiorów prostej, która również spełnia warunki 2. i 3. (nazywaną miarą Lebesgue'a).

Przegląd konstrukcji

Konstrukcja przy użyciu twierdzenia Carathéodory'ego

Niech $d$ będzie ustaloną dodatnią liczbą całkowitą . d-wymiarową objętością $d$-wymiarowego przedziału

$P = [a_1, b_1]\times [a_2, b_2] \times \ldots \times [a_d, b_d]$

gdzie $b_i \geqslant a_i,$ nazywana jest liczba

$\operatorname{vol}_d(P) = (b_1-a_1)\cdot (b_2-a_2)\cdot\ldots \cdot (b_d-a_d).$

Dla dowolnego zbioru $A \subseteq \mathbb R^d$ można skonstruować miarę zewnętrzną $\lambda^*(A)$ wyznaczoną przez funkcję $\rm{vol}_d,$ nazywaną miarę zewnętrzną Lebesgue'a:

$\inf\Bigg\{\sum_{B\in \mathcal C} \operatorname{vol}_d(B)\colon \mathcal{C}$ jest przeliczalnym zbiorem przedziałów, których suma pokrywa $A\Bigg\}.$

O zbiorze $A$ mówi się, że jest mierzalny w sensie Lebesgue'a, jeżeli jest on mierzalny w sensie Carathéodory'ego (spełnia warunek Carathéodory'ego) względem $\lambda^*,$ tzn. dla każdego zbioru $S\subseteq \mathbb R^d$ zachodzi

$\lambda^*(S) = \lambda^*(S \cap A) + \lambda^*\bigl(S \cap (\mathbb R^d \setminus A)\bigr).$

Z twierdzenia Carathéodory'ego wynika, że $\lambda^*$ obcięta do rodziny zbiorów spełniających warunek Carathéodory'ego jest miarą zupełną – miara ta nazywana jest miarą Lebesgue'a w przestrzeni $\mathbb R^d.$

Konstrukcja Lebesgue'a

W oryginalnej konstrukcji Lebesgue'a i jej wariantach wraz z niezbędnymi zmianami (a wśród nich, w nakreślonej wyżej konstrukcja Carathéodory'ego) nie korzysta się z jakiejkolwiek teorii całkowania. Operuje się jedynie na funkcjonałach określonych na podzbiorach zbioru potęgowego , a dopiero mając do dyspozycji miarę buduje się teorię całkowania funkcji.

Konstrukcja reprezentacyjna

Dowód twierdzenia Riesza o reprezentacji sugeruje inne podejście. Rozpoczyna się od prostszej teorii całki (zwykle całki Riemanna ), która umożliwia całkowanie szczególnie prostej klasy funkcji, funkcji ciągłych na nośniku zwartym . Wychodząc od tych funkcji określa się miarę zbiorów otwartych, klasy zbiorów bogatszą niż prostopadłościany , lecz mniejszą niż klasa zbiorów borelowskich ; następnie rozszerza się tę teorię miary do σ-ciała zbiorów mierzalnych w sensie Lebesgue'a w analogiczny sposób jak w dowodzie Lebesgue'a, lecz łatwiejszy technicznie. Dalsza konstrukcja ogólnej całki z miary przebiega identycznie jak w poprzedniej konstrukcji.

Konstrukcja Younga-Daniella

Trzecie podejście, zapoczątkowane przez Williama H. Younga i wznowione przez Percy'ego Daniella , polega na konstrukcji teorii całki Lebesgue'a bez uciekania się do ogólnej teorii miary, mianowicie przez operowanie funkcjonałami określonymi dla odpowiednich rodzin funkcji ( funkcji półciągłych ), a następnie uzyskanie konstrukcji miary niejako przy okazji konstrukcji całki.

Własności

Z definicji miary:

• jeżeli $A$ jest mierzalny, to mierzalne jest też jego dopełnienie ;
• $\lambda(A) \geqslant 0$ dla każdego zbioru mierzalnego $A;$
• jeżeli $A$ jest sumą rozłączną przeliczalnie wielu rozłącznych podzbiorów mierzalnych w sensie Lebesgue'a, to $A$ sam jest mierzalny w sensie Lebesgue'a, $\lambda(A)$ jest równa sumie (skończonej bądź szeregu ) miar wspomnianych zbiorów mierzalnych;
• jeżeli $A$ oraz $B$ są zbiorami mierzalnymi w sensie Lebesgue'a, przy czym $A$ jest podzbiorem $B,$ to $\lambda(A) \leqslant \lambda(B)$ (konsekwencja trzech powyższych);
• przeliczalne sumy oraz przekroje zbiorów mierzalnych w sensie Lebesgue'a są mierzalne w sensie Lebesgue'a; nie wynika to z powyższych własności, gdyż rodzina zamknięta ze względu na dopełnienia i przeliczalne sumy rozłączne nie musi być zamknięta ze względu na przeliczalne sumy: $\bigl\{\varnothing, \{1, 2, 3, 4\}, \{1, 2\}, \{3, 4\}, \{1, 3\}, \{2, 4\}\bigr\}.$

Z konstrukcji:

• jeżeli $A$ jest iloczynem kartezjańskim przedziałów $I_1 \times I_2 \times \dots \times I_d$ (innymi słowy: jest przedziałem wielowymiarowym ), to $A$ jest mierzalny w sensie Lebesgue'a oraz $\lambda(A) = |I_1| \cdot |I_2| \dots |I_n|,$ gdzie $|I|$ oznacza długość przedziału $I;$
• każdy zbiór borelowski (a więc w szczególności zbiór otwarty lub zbiór domknięty ) w przestrzeni euklidesowej jest mierzalny w sensie Lebesgue'a;
• miara Lebesgue'a jest lokalnie skończona i wewnętrznie regularna , jest więc miarą Radona ;
• każdy podzbiór zbioru miary zero Lebesgue'a jest mierzalny (a więc również miary zero). Innymi słowy, miara Lebesgue'a jest miarą zupełną .
• jeżeli $A$ zbiorem mierzalnym oraz $\delta>0$ i $x_0$ jest dowolnym punktem, to zbiory $\delta A = \{\delta x\colon x\in A\}$ i $A + x_0 = \{a + x_0\colon a \in A\}$ są również mierzalne oraz są miary, odpowiednio, $\delta^d \lambda(A)$ i $\lambda(A).$ Ogólniej, jeśli $T\colon \mathbb R^d \to \mathbb R^d$ jest przekształceniem liniowym , to obraz $T(A)$ jest mierzalny oraz jest miary $|\det T| \lambda(A).$
• każdy analityczny i koanalityczny podzbiór przestrzeni euklidesowej jest mierzalny w sensie Lebesgue'a.
• miara Lebesgue'a w przestrzeni $\mathbb R^d$ jest σ-skończona bo, na przykład,

$\mathbb R^d = \bigcup_{n=1}^\infty~[-n, n]^d.$

Dla dowolnego zbioru $A \subset \mathbb R$ prawdziwe są zdania:

• dla prawie wszystkich $x \in A$

  $\lim_{k \to 0^+} \frac{\lambda^*\bigl(A \cap (x, x + k)\bigr)}{k} = \lim_{k \to 0^+} \frac{\lambda^*\bigl(A \cap (x-k, x)\bigr)}{k} = 1;$

• jeżeli $A$ jest mierzalny, to dla prawie wszystkich $x \notin A$

  $\lim_{k \to 0^+} \frac{\lambda^*\bigl(A \cap (x, x+k)\bigr)}{k} = \lim_{k \to 0^+} \frac{\lambda^*\bigl(A \cap (x-k, x)\bigr)}{k} = 0.$

Są to jednowymiarowe wersje twierdzenia Lebesgue'a o punktach gęstości .

Zbiory niemierzalne

Pod założeniem aksjomatu wyboru istnieją niemierzalne podzbiory prostej. Giuseppe Vitali udowodnił w 1905 roku, że pod założeniem aksjomatu wyboru istnieje niemierzalny (w sensie Lebesgue'a) podzbiór prostej (tzw. zbiór Vitalego ). Innym "przykładem" zbioru niemierzalnego jest zbiór Bernsteina . Prawdziwe jest również zdanie ogólniejsze: każdy mierzalny podzbiór przestrzeni euklidesowej miary dodatniej zawiera podzbiór niemierzalny. Istnienie i natura zbiorów niemierzalnych są częstym przedmiotem badań w opisowej teorii mnogości . Następujące dwa twierdzenia są przykładami pytań rozważanych w tym kontekście:

Twierdzenie ( Sierpiński , 1920 )

Istnieją takie podzbiory $X$ i $Y$ zbioru liczb rzeczywistych, że zbiór

$X + Y = \{x + y\colon\, x \in X, y \in Y\}$

jest niemierzalny.

Twierdzenie ( Cichoń - Morayne -Rałowski- Ryll-Nardzewski , 2001 )

Istnieje taki podzbiór $T$ zbioru Cantora $C$ zawartego w przedziale $[0, 1],$ że zbiór $T + C$ jest niemierzalny.

Stefan Banach rozważał problem możliwości rozszerzenia miary Lebesgue'a do rodziny wszystkich podzbiorów zbioru liczb rzeczywistych bądź znalezienia miary, która zachowa pewne własności miary Lebesgue'a i będzie określona dla każdego podzbioru prostej. W szczególności Banach zadał następujące pytanie:

Czy istnieje przeliczalnie addytywna miara mierząca wszystkie podzbiory $\mathbb R$ znikająca na punktach, tzn. taka, że miara zbioru jednoelementowego jest 0?

W 1929 wraz z Kazimierzem Kuratowskim wykazał on, że przy założeniu hipotezy continuum taka miara nie istnieje. Z drugiej strony, Stanisław Ulam udowodnił na gruncie teorii ZF z aksjomatem wyboru, że jeżeli istnieje liczba rzeczywiście mierzalna , to istnieje również przedłużenie miary Lebesgue'a do miary określonej na rodzinie wszystkich podzbiorów prostej. Rozszerzenie to nie jest niezmiennicze na przesunięcia (tzn. nie spełnia warunku 3.)

Robert M. Solovay udowodnił, że jeśli istnieje liczba mierzalna, to pewne pojęcie forsingu $\mathbb P$ forsuje pozytywną odpowiedź na pytanie Banacha (tzn. istnienie odpowiedniej miary). Ponadto, wykazał on że jeżeli teoria mnogości ZF jest niesprzeczna , to ma ona model , w którym wszystkie podzbiory prostej są mierzalne w sensie Lebesgue'a.

Bez aksjomatu wyboru nie można udowodnić istnienia zbiorów niemierzalnych i w przy pewnych alternatywnych założeniach wszystkie podzbiory prostej mogą być mierzalne. W 1962 polscy matematycy Jan Mycielski i Hugo Steinhaus zaproponowali badania aksjomatu determinacji (AD). Jan Mycielski i Stanisław Świerczkowski wykazali, że przy założeniu AD wszystkie zbiory są mierzalne w sensie Lebesgue'a.

Jeśli istnieje liczba nieosiągalna , to istnieje model teorii mnogości w którym wszystkie rzutowe podzbiory prostej są mierzalne w sensie Lebesgue'a.. Saharon Shelah wykazał, że założenie istnienia liczby nieosiągalnej jest konieczne: mierzalność wszystkich zbiorów klasy $\Sigma^1_3$ implikuje, że $\omega_1$ jest liczbą nieosiągalną w uniwersum zbiorów konstruowalnych ( Kurta Gödla ).

Związki z innymi miarami

Miara Jordana

Początkowo w definicji miary wymagano, aby miara zbioru będącego sumą skończenie wielu zbiorów rozłącznych była sumą ich miar, zgodnie intuicją przedstawioną we Wprowadzeniu (miara Jordana nie jest miarą). Skonstruowanie tego rodzaju miary jest stosunkowo łatwe zarówno dla podzbiorów prostej, jak i podzbiorów płaszczyzny: tę właśnie miarę, nazywaną miarą Jordana, wprowadza się niekiedy w geometrii elementarnej nauczanej w szkołach.

Mimo iż miara Jordana umożliwia zdefiniowanie całki Riemanna , która jest adekwatna do większości zastosowań, to w wielu ważnych wypadkach okazuje się niewystarczająca. Wśród nich można wymienić teorię szeregów Fouriera – trudności napotkane w tej dziedzinie wymusiły przyjęcie współcześnie stosowanej definicji miary zaproponowanej właśnie przez Lebesgue'a. Z określenia miary Lebesgue'a wynika natychmiast, że zbiory mierzalne w sensie Jordana są mierzalne również w sensie Lebesgue'a. Wynikanie nie zachodzi jednak w drugą stronę: przykładem może być zbiór liczb wymiernych z przedziału $[0, 1],$ który nie jest mierzalny w sensie Jordana, lecz jest mierzalny w sensie Lebesgue'a (jego miara jest równa zeru; zob. funkcja Dirichleta ).

Miara borelowska

Miara borelowska pokrywa się z miarą Lebesgue'a na zbiorach, na których jest określona. Wynika to z faktu, iż σ-ciało $\mathfrak L$ zbiorów mierzalnych w sensie Lebesgue'a definiuje się jako σ-ciało $\mathfrak B$ zbiorów borelowskich generowane przez rodzinę zbiorów otwartych ( domkniętych ) za pomocą dopełnień i przeliczalnych sum względem rozpatrywanej przestrzeni ( topologicznej ) oraz tworzących σ- ideał $\mathfrak N$ zbiorów miary zero, tzn. zbiorów takich, które mogą być pokryte przedziałami o dowolnie małej łącznej objętości.

Pokazać można, że σ-ciało podzbiorów mierzalnych w sensie Lebesgue przestrzeni $\mathbb{R}^n$ pokrywa się z rodziną

$\mathfrak L := \bigl\{B \triangle N\colon B \in \mathfrak B \and N \in \mathfrak N \bigr\},$

gdzie $\triangle$ oznacza operację różnicy symetrycznej . Można powiedzieć, że jest to rodzina zbiorów zaniedbywalnie mało różniących się od zbiorów borelowskich; dowodzi się również, że zbiory mierzalne w sensie Lebesgue'a z punktu widzenia miary są niemal otwarte , jak i niemal domknięte .

Dowodzi się, że $\mathfrak L$ jest najmniejszym (w sensie zawierania ) σ-ciałem zawierającym $\mathfrak B$ oraz $\mathfrak N.$ Ponadto

$\mathfrak L = \big\{G \triangle L\colon L \in \mathfrak L \and G$ jest zbiorem typu G_δ $\big\} = \big\{F \triangle L\colon L \in \mathfrak L \and F$ jest zbiorem typu F_σ $\big\}.$

Istnieje dużo więcej zbiorów mierzalnych w sensie Lebesgue'a niż zbiorów mierzalnych borelowsko. Klasa $\mathfrak B$ jest znacznie węższa od klasy $\mathfrak L,$ gdyż przestrzeń $\mathbb R^d$ zawiera zbiory miary zero mocy continuum , zaś rodzina wszystkich podzbiorów takiego zbioru jest mocy wyższej niż continuum. Ponieważ $\mathfrak B$ jest mocy continuum, to przestrzeń ta zawiera podzbiory nieborelowskie miary zero (podobnie można argumentować, że istnieją zbiory miary zero, które nie są analityczne czy też koanalityczne).

Miara borelowska jest niezmiennicza ze względu na przesunięcia , ale nie jest zupełna .

Miara Haara

Miarę Haara można zdefiniować na lokalnie zwartej grupie topologicznej ; jest ona uogólnieniem miary Lebesgue'a (w szczególności $\mathbb R^d$ z dodawaniem jest grupą lokalnie zwartą).

Miara Hausdorffa

Miara Hausdorffa jest uogólnieniem miary Lebesgue'a pomocnym w mierzeniu podzbiorów $\mathbb R^d$ wymiarów niższych niż $d,$ takich jak podrozmaitości , np. powierzchnie , czy krzywe w $\mathbb R^3,$ czy fraktale . Nie należy mylić miary Hausdorffa z odrębnym pojęciem wymiaru Hausdorffa .

Przypadek nieskończeniewymiarowy

W przypadku, gdy $X$ jest nieskończeniewymiarową przestrzenią unormowaną , to skonstruowanie na niej miary o analogicznych własnościach do miary Lebesgue'a okazuje się niemożliwe. Dokładniej: nie istnieje taka nietrywialna miara $\mu$ określona na pewnej σ-algebrze podzbiorów $X$ (zawierającej zbiory otwarte ), która byłaby:

• niezmiennicza ze względu na przesunięcia , tj. dla każdego punktu $x \in X$ i zbioru mierzalnego $A$ zachodziłoby

$\mu(A) = \mu(x + A),$

• lokalnie skończona , czyli każdy punkt przestrzeni $X$ miałby otoczenie skończonej miary,
• ściśle dodatnia , tzn. każdy niepusty zbiór otwarty miałby dodatnią miarę..

W pewnym sensie nieistnienie tego typu porządnych obiektów w przypadku nieskończeniewymiarowym oddaje głębokie różnice w geometrii przestrzeni skończonego i nieskończonego wymiaru. Na przestrzeniach tych można jednak rozpatrywać inne naturalne miary, np. miary gaussowskie .