Mezurebla bildigo

El Vikipedio, la libera enciklopedio
Salti al navigilo Salti al serĉilo

Je analitiko, mezurebla bildigo estas bildigo inter mezureblaj spacoj, kiu akordas kun la sigma-alĝebroj — konkrete, kiu malbildigas mezureblajn arojn al mezureblaj aroj.

Difino[redakti | redakti fonton]

Bildigo

inter du mezureblaj spacoj kaj estas mezurebla, se la malbildo de ĉiu mezurebla aro en la celaro estas mezurebla aro en la argumentaro:

.

Tipe, se la celaro estas la spaco de reelojkompleksaj nombroj, oni uzas sigma-alĝebron de borelaj aroj, ne de Lebesgue-mezureblaj aroj.

Propraĵoj[redakti | redakti fonton]

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

Eksteraj ligiloj[redakti | redakti fonton]