Here, we extend three basic facts from classical measure theory to operator-valued case. At first
we show that operator-valued measurable functions may be approximated by simple ones. In the sequel,
two fundamental theorems
Egoro
and Lusin
are extended in operator-valued case