An isomorphism between the completion of an Algebra and its Caratheodory Extension
Abstract
Description
Let $Ω$ denote an algebra of sets and $μ$ a $σ$-finite measure. We then prove that the completion of $Ω$ under the pseudometric $d(A,B)$ = $μ^{\ast}(A \triangle B)$ is $σ$-algebra isomorphic and isometric to the Caratheodory Extension of $Ω$ under the equivalence relation $\sim$.
5 pages
5 pages