Compact extension of a measure-preserving system (source code)

= Compact extension of a measure-preserving system
{title2=$\overline{\mathrm{AP}(X\mid Y)}^{\,L^2}=L^2(X)$}

= Compact extension
{synonym}

An extension for which the <relatively almost periodic observables> are dense in global $L^2$. Density does not assert that every $L^2$ function already meets the uniform finite-net condition on fibers. Localization yields the <positive-measure almost periodic indicator in a compact extension>.