σ-有限測度
任意の測度空間$ (X,\mathcal F,\mu)について、
測度$ \muがσ-有限測度である$ :\iff\exist A_\bullet:\N\to\mathcal F\begin{dcases}X=\bigcup_{i\in\N}A_i\\\forall n\in\N:\mu(A_i)\in\R\end{dcases}
このとき、「測度空間$ (X,\mathcal F,\mu)はσ-有限である」ともいう
#2026-05-31 17:38:56