Sigma-Finite Measure Space

Definition

measure space $(\Omega ,\mathcal{F},\mu )$ where the measure $\mu :\mathcal{F}\to [0,\infty ]$ is a Sigma-Finite Measure

This implies below

• $\mathcal{F}$ is a $\sigma$-field for $\Omega$
• $\mu$ is a Sigma-Finite Measure on $(\Omega ,\mathcal{F})$