Measure space
Set
| context | X |
| definiendum | ⟨⟨X,Σ,μ⟩⟩ in it |
| postulate | Σ∈SigmaAlgebra(X) |
| postulate | μ∈Measure(Σ) |
Discussion
A measure space is a measurable space together with a fixed measure.
Reference
Wikipedia: Measure
Parents
Equivalent to
Context
| context | X |
| definiendum | ⟨⟨X,Σ,μ⟩⟩ in it |
| postulate | Σ∈SigmaAlgebra(X) |
| postulate | μ∈Measure(Σ) |
A measure space is a measurable space together with a fixed measure.
Wikipedia: Measure
