Mezurebla spaco

Je analitiko, mezurebla spaco estas aro ekipita per sigma-alĝebro, kiuj indikas tiujn arojn, sur kiuj mezuro povas esti difinita.

Difino

Mezurebla spaco $(X,\Sigma )$ konsistas el la ĉi-suba dateno:

• aro $X$
• sigma-alĝebro $\Sigma \subseteq {\mathcal {P}}(X)$ super $X$

Tiuj subaroj de $X$, kiuj estas elementoj de $\Sigma$, nomiĝas mezureblaj aroj de $X$.

Ekzemploj

Sur topologia spaco, oni ofte konsideras la sigma-alĝebron de borelaj aroj; tiel ekipita, la topologia spaco fariĝas mezurebla spaco.

Eksteraj ligiloj

• Eric W. Weisstein, Measurable space en MathWorld.