Its relation with an observable can be elucidated by generalizing the quantum state ψ ψ to a measurable function and its domain of definition to a given σ -finite measure space ( X , A , μ μ ) . This allows for a refinement of Lebesgue's decomposition theorem, decomposing μ into three mutually singular parts