Målrom

Et målrom er en trippel av en mengde, en σ-algebra og et ikke-negativt mål på de ulike delmengdene gitt ved σ-algebraen. Mengden kan for eksempel være de reelle tallene. σ-algebra gir en måte å dele opp disse i ulike delmengder, for eksempel intervaller. $\mu$ betegner en måte å tilordne et mål på hver delmengde i σ-algebraen, for eksempel lengden av hvert intervall.

Målrom er et basiskonsept innen målteori, og generaliserer konsepter som lengde, areal og volum fra euklidsk geometri.

Definisjon

En mengde er innen matematikk en veldefinert samling av objekter. En σ-algebra er videre en familie $𝒜$ av delmengder i en gitt mengde $\mathrm{\Omega }$ slik at

1. $𝒜$ er ikke tom.
2. Lukket under komplement: Hvis $A$ er med i $𝒜$ så er komplementet $A^c=X\setminus A$ også være med i $𝒜$
   
3. Lukket under tellbare unioner: Hvis $(A_n{)}_{n=1}^{\mathrm{\infty }}$ er en samling av mengder i $𝒜$ er også unionen $\underset{n=1}{\overset{\mathrm{\infty }}{\cup }}{A}_n$ med i $𝒜$

og et mål $𝒜$ på er en utvidet reell funksjon slik at

1. $\mu (A)\ge 0$ for alle $A\in 𝒜$
2. $\mu (\mathrm{\varnothing })=0$
3. Dersom $A_1,A_2,...$ er en følge av parvis disjunkte delmengder av $𝒜$, altså slik at $A_i\cap A_j=\mathrm{\varnothing }$ for $i\ne j$, så er

   $\mu \left({\cup }_n{A}_n\right)=\sum _n\mu (A_n)$.

En trippel $(\mathrm{\Omega },𝒜,\mu )$ kalles for et målrom.

Egenskaper

Et målrom sies å være komplett dersom alle delmengder av alle $A\in 𝒜$ med mål 0 også er i $𝒜$; altså dersom $A\in 𝒜,\mu (A)=0$ og $B\subset A$, så er $B\in 𝒜$. Ethvert målrom kan alltid utvides til et komplett målrom.

Eksempel

La $\mathrm{\Omega }=\{0,1\}$, og $𝒜$ potensmengden til $\mathrm{\Omega }$, altså

$𝒜=\{\mathrm{\varnothing },\{0\},\{1\},\{0,1\}\}$.

Definer $\mu$ til å være

$\mu (\{0\})=\mu (\{1\})=\frac{1}{2};\mu (\mathrm{\varnothing })=0;\mu (\mathrm{\Omega })=1$

Trippelen $(\mathrm{\Omega },𝒜,\mu )$ er et målrom, og mer nøyaktig et sannsynlighetsrom, siden $\mu (\mathrm{\Omega })=1$.

Litteratur

• Mal:Kilde bok