Mezuro (matematiko)

Supozu, ke ${\displaystyle \Sigma }$ estas sigma-alĝebro super la aro ${\displaystyle X}$ . Do, mezuro super ${\displaystyle \Sigma }$ estas funkcio

${\displaystyle \mu \colon \Sigma \to [0,\infty ]}$

kiu plenumas la ĉi-suban aksiomon (kalkuleblan sumecon):

• Por ajna kalkulebla kolekto ${\displaystyle (S_{i})_{i\in I}}$ de elementoj de ${\displaystyle \Sigma }$ , se ili estas senkomunaĵaj (t.e. pri ajna ${\displaystyle i,j\in I}$ , se ${\displaystyle i\neq j}$ , do ${\displaystyle S_{i}\cap S_{j}=\varnothing }$ ), do la mezuro de la kunaĵoj estas la sumo de la mezuroj:
• :${\displaystyle \mu \left(\bigcup _{i\in I}S_{i}\right)=\sum _{i\in I}\mu (S_{i})}$ .

Specife, se ${\displaystyle I=\varnothing }$ , do ${\displaystyle \mu (\varnothing )=0}$ .

Sur ajna sigma-alĝebro ${\displaystyle \Sigma }$ sur ajna aro, oni povas difini la kalkulan mezuron:

${\displaystyle \mu _{\text{kalk}}(S)={\begin{cases}|S|&|S|<\aleph _{0}\\\infty &|S|\geq \aleph _{0}\end{cases}}}$

Sur ajna sigma-alĝebro ${\displaystyle \Sigma }$ sur ajna aro, oni povas difini la trivialan mezuron:

${\displaystyle \mu _{\text{triv}}(S)=0}$ .

Sur la reela linio (aŭ, pli ĝenerale, ajnadimensia eŭklida spaco), oni povas difini la sigma-alĝebron de Lebesgue-mezureblaj aroj kaj sur tiuj la mezuron de Lebesgue.

• Lebega mezuro
• Mezurebla funkcio

• Eric W. Weisstein, Measure en MathWorld.