Mérték (matematika)

A mérték egy ${\displaystyle \mu :\Sigma \to [0,\infty ]}$  függvény, ahol ${\displaystyle \Sigma }$  egy X halmaz feletti σ-algebra, ami kielégíti az alábbi feltételeket:

• Az üres halmaz mértéke nulla:

${\displaystyle \mu (\varnothing )=0;}$ 

• σ-additivitás: ha E₁, E₂, E₃, … egy páronként diszjunkt, megszámlálható halmazsorozat ${\displaystyle \Sigma }$ -ban, akkor

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

Az ${\displaystyle (X,\Sigma ,\mu )}$  hármast nevezik mértéktérnek, és ${\displaystyle \Sigma }$  elemeit pedig mérhető halmazoknak.

μ monoton, vagyis ha E₁ és E₂ mérhető halmazok, és E₁ ⊆ E₂, akkor μ(E₁) ≤ μ(E₂).

Ha E₁, E₂, E₃, … egy megszámlálható halmazsorozat Σ-ban, akkor

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

Ha E₁, E₂, E₃, … mérhető halmazok és E_n részhalmaza E_n+1-nek minden n-re, akkor az E_i halmazok uniója is mérhető, és

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

Ha E₁, E₂, E₃, … mérhető halmazok és minden n-re E_n+1 részhalmaza E_n-nek, akkor az E_n halmazok metszete is mérhető; illetve, ha legalább egy E_n halmaz mértéke véges, akkor

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

Ez a tulajdonság nem teljesül, ha nem tesszük fel, hogy legalább egy halmaz mértéke véges, ugyanis legyen minden n ∈ N esetén

${\displaystyle E_{n}=[n,\infty )\subseteq \mathbb {R} }$ 

Ekkor minden halmaz végtelen mértékű, de a metszetük üres.

• Lebesgue-mérték
• Számlálómérték
• Dirac-mérték

• Paul R. Halmos: Mértékelmélet (Gondolat, 1994)