Positive measurable numerical function
Set
| context | ⟨X,ΣX⟩∈MeasurableSpace(X) |
| postulate | f∈M+ |
| context | f∈Measurable(X,¯R) |
| x∈X |
| postulate | f(x)≥0 |
Discussion
For the definition of the integral, it's crucial to know that for every f∈M+, there is a sequence un with elements in the step functions T+, with un↑f.
Parents
Subset of
