「E.ホップの拡張定理」の版間の差分

が、<math>\cup_{n=1}^\infty A_n \in \Sigma_0</math> を満たす <math>\Sigma_0</math> 内の任意の互いに素な集合列 <math>\{( A_n \})_{n \in \mathbb{N}}</math> に対して成り立つものとする（これらの2つの性質を満たす関数 <math>\mu_0</math> は[[前測度]]として知られている）。このとき <math>\mu_0</math> は、<math>\Sigma_0</math> により生成される[[完全加法族|σ-代数]] <math>\Sigma</math> 上で定義されるある測度へと拡張される。すなわち、<math>\Sigma_0</math> への[[定義域#定義域の制限と延長|制限]]が <math>\mu_0</math> と一致するようなある測度