Målteori

Uformelt afbilder et mål delmængder i ikke-negative reelle tal, så større mængder afbildes i større tal.

Målteori er en gren af matematisk analyse, der undersøger σしぐま-algebraer, mål, målelige afbildninger og integraler.

Begrebet mål er en generalisation af begreber som "længde", "areal" og "volumen" (om end ikke alle dets anvendelser har med fysiske størrelser at gøre). Uformelt er et mål, givet en grundmængde, en tillæggelse af bestemte "størrelser" til (nogle af) delmængderne af grundmængden. Afhængende af anvendelsen kan "størrelsen" af en delmængde opfattes som (f.eks.) mængdens fysiske størrelse, størrelsen af mængdens indhold eller sandsynligheden for at en stokastisk proces giver et resultat, der ligger i mængden. Den primære anvendelse af mål er at definere generelle begreber om integration over områder med mere komplekse strukturer end intervaller på den reelle akse. Sådanne integraler anvendes i høj grad i sandsynlighedsteori og i en del af matematisk analyse.

Det er ofte ikke muligt eller ønskeligt at give en størrelse til alle delmængder af grundmængden, så et mål forlanges ikke at gøre det. Der er bestemte konsistenskrav, der bestemmer, hvilke kombinationer af delmængder, der skal tillægges mål; disse krav er samlet under begrebet σしぐま-algebra.

Definition

Formelt er et mål en afbildning μみゅー defineret på en σしぐま-algebra Σしぐま i en mængde X, som tager værdier på det udvidede interval [0,∞], og som opfylder følgende egenskaber:

• Den tomme mængde har mål nul:

$\mu (\emptyset )=0$.

• Tællelig additivitet eller σしぐま-additivitet: Hvis A₁, A₂, ... er en tællelig følge af parvis disjunkte mængder i Σしぐま, så er målet af foreningen af alle A_i lig summen af målene af hvert A_i:

$\mu \left(\bigcup _{i=1}^{\infty }A_{i}\right)=\sum _{i=1}^{\infty }\mu (A_{i}).$

Dette krav kan ved fortolkningen i indledningen forstås som, at det samlede volumen af forskellige legemer blot er summen af de enkelte voluminer, eller at sandsynligheden for at foreningen af disjunkte hændelser indtræffer (dvs. at mindst en af hændelserne indtræffer), er lig summen af de enkelte sandsynligheder.

Parret (X,Σしぐま) kaldes et måleligt rum, og sammen med målet fås et såkaldt målrum, (X,Σしぐま,μみゅー). Mængderne i Σしぐま kaldes de målelige mængder.

Et sandsynlighedsmål er et mål med total masse 1 (dvs. μみゅー(X) = 1); et sandsynlighedsrum er et målrum, hvor målet er et sandsynlighedsmål.

For målrum der også er topologiske rum, kan man definere egenskaber ved målet ud fra topologien. De fleste mål, der optræder i praksis i analyse (og i mange tilfælde også i sandsynlighedsteori) er såkaldte Radonmål.

Egenskaber

Adskillige egenskaber kan udledes fra definitionen på målet.

Voksende

Målet μみゅー siges at være voksende: Hvis A₁ og A₂ er målelige mængder med A₁ ⊆ A₂, da er μみゅー(A₁) ≤ μみゅー(A₂).

Mål på uendelige foreninger

Målet er subadditivt: Hvis A₁, A₂, ... er en tællelig følge af mængder i Σしぐま (som ikke nødvendigvis er disjunkte), så er

$\mu \left(\bigcup _{i=1}^{\infty }A_{i}\right)\leq \sum _{i=1}^{\infty }\mu (A_{i})$.

Målet er opadkontinuert: Hvis A₁, A₂, ... er målelige mængder, og A_n ⊆ A_n+1 for alle n, så er foreningen af mængderne målelig, og

$\mu \left(\bigcup _{i=1}^{\infty }E_{i}\right)=\lim _{i\to \infty }\mu (E_{i})$.

Mål på uendelige fællesmængder

Målet er nedadkontinuert: Hvis A₁, A₂, ... er målelige mængder, og A_n+1 ⊆ A_n for alle n er fællesmængden af mængderne en målelig mængde, og, hvis mindst en af mængderne har endeligt mål, gælder der, at

$\mu \left(\bigcap _{i=1}^{\infty }A_{i}\right)=\lim _{i\to \infty }\mu (A_{i})$.

Denne egenskab gælder ikke uden antagelsen om, at mindst en af mængderne har endeligt mål. Definer for eksempel for n ∈ N

$A_{n}=[n,\infty )\subseteq \mathbb {R} .$

Denne mængde har uendeligt mål, men fællesmængden af mængderne er tom.

Sigma-endelige mål

Uddybende artikel: Sigma-endelige mål

Et målrum (X,Σしぐま,μみゅー) kaldes endeligt, hvis μみゅー(X) er et endeligt reelt tal (og ikke ∞). Rummet kaldes σしぐま-endeligt, hvis X kan opdeles i en tællelig forening af målelige mængder, der hver især har endeligt mål. En mængde i et målrum siges at have σしぐま-endeligt mål, hvis den er en tællelig forening af mængder med endeligt mål.

For eksempel er de reelle tal med Lebesguemålet (som er intervallængden på ethvert interval) et σしぐま-endeligt målrum, der ikke er endeligt. Betragt for alle k i Z de lukkede intervaller [k,k+1]; der er tælleligt mange sådanne intervaller, der hver har mål 1, og deres forening er hele den reelle tallinje. Betragt nu i stedet de reelle tal med tællemålet, der sender en delmængde af de reelle tal i antallet af elementer i mængden. Dette målrum er ikke σしぐま-endeligt, da enhver mængde med endeligt mål kun indeholder endeligt mange punkter, og det ville kræve overtælleligt mange af sådanne mængder at dække hele den reelle tallinje. De σしぐま-endelige målrum har nogle meget bekvemme egenskaber; σしぐま-endelighed kan i denne forstand sammenlignes med separabilitet af topologiske rum.

Fuldstændighed

Lad (X,Σしぐま,μみゅー) betegne et målrum. En mængde A ⊆ X kaldes en nulmængde, hvis der findes en mængde N i Σしぐま, så A ⊆ N og μみゅー(N) = 0. (I nogen litteratur kaldes en sådan mængde en negligibel mængde og en målelig negligibel mængde kaldes da en nulmængde.) Et mål kaldes fuldstændigt, hvis enhver nulmængde er målelig (eller, med den alternative definition, hvis enhver negligibel mængde er målelig).

Et mål kan udvides til et fuldstændigt mål ved at betragte σしぐま-algebraen frembragt af delmængder Y, der afviger med en nulmængde fra en målelig mængde X; dvs. at den symmetriske differens på X og Y er en nulmængde. Da kan μみゅー(Y) defineres til at være lig μみゅー(Y). En sådan fuldstændiggørelse kan også opnås ved Carathéodorys konstruktion med ydre mål.

Eksempler

Herunder følger en række vigtige mål.

• Tællemålet er defineret som μみゅー(S) = antal elementer i S.
• Lebesguemålet er det entydige fuldstændige translationsinvariante mål på en σしぐま-algebra, der indeholder intervallerne i R, så μみゅー([0,1]) = 1.
• Haarmålet på en lokalt kompakt topologisk gruppe er en generalisering af Lebesguemålet og har en lignende entydighedsegenskab.
• Hausdorffmålet er en modifikation af Lebesguemålet til nogle fraktaler.
• Ethvert sandsynlighedsrum giver anledning til et mål, der tager værdien 1 på hele rummet (og derfor tager værdier i enhedsintervallet [0,1]). Et sådant mål kaldes et sandsynlighedsmål.
• Diracmålet μみゅー_a er givet ved μみゅー_a(S) = χかい_S(a), hvor χかい_S er indikatorfunktionen af S. Målet af en mængde er 1, hvis mængden indeholder punktet a og 0 ellers.

Ikkemålelige mængder

Uddybende artikel: Ikkemålelig mængde

Under antagelse af udvalgsaksiomet gælder, at ikke alle delmængder af det euklidiske rum er Lebesguemålelige; eksempler på mængder, der ikke er, er Vitalis mængde, og de ikke-målelige mængder, der postuleres i Hausdorffparadokset og Banach-Tarski-paradokset.