Lemma 2.4
Für jede messbare Funktion
und für jede
messbare Abbildung
ist der Schätzer
für
vollständig, falls
diese Eigenschaft
besitzt.
Lemma 2.5
Seien
und
zwei
-endliche Maße über
, die entweder beide diskret oder beide
absolutstetig sind. Falls die Integrale
|
(47) |
existieren (und endlich sind) und falls
für jedes
, dann gilt
.