Mezurebla funkcio

En analitiko, mezurebla funkcio estas funkcio inter mezureblaj spacoj, kiu akordas kun la sigma-alĝebroj — konkrete, kiu ĵetas mezureblajn arojn al mezureblaj aroj.

Difino

Funkcio

$f:(X,\mathrm{\Sigma })\to (X^{\prime },{\mathrm{\Sigma }}^{\prime })$

inter du mezureblaj spacoj $(X,\mathrm{\Sigma })$ kaj $(X^{\prime },{\mathrm{\Sigma }}^{\prime })$ estas mezurebla, se la malbildo de ĉiu mezurebla aro en la cela aro estas mezurebla aro en la argumentaro:

$\mathrm{\forall }U\in {\mathrm{\Sigma }}^{\prime }:f^{-1}(U)\in \mathrm{\Sigma }$.

Tipe, se la cela aro estas la spaco de reeloj aŭ kompleksaj nombroj, oni uzas sigma-alĝebron de borelaj aroj, ne de Lebesgue-mezureblaj aroj.

Ecoj

La komponaĵo de mezureblaj funkcioj estas mezurebla; tial, ekzistas la kategorio, kies objektoj estas mezureblaj spacoj, kaj kies morfioj estas mezureblaj funkcioj.

Eksteraj ligiloj

• Ŝablono:Mathworld