Hopf decomposition

<h2 id="definitions">Definitions</h2>
<ul><li>Wandering sets and dissipative actions. A measurable subset W of X is wandering if its characteristic function q = χW in A = L∞(X) satisfies qτn(q) = 0 for all n; thus, up to null sets, the translates Tn(W) are pairwise disjoint. An action is called dissipative if X = ∐ Tn(W) a.e. for some wandering set W.</li>
<li>Conservative actions. If X has no wandering subsets of positive measure, the action is said to be conservative.</li>
<li>Incompressible actions. An action is said to be incompressible if whenever a measurable subset Z satisfies T(Z) ⊆ Z then Z \ TZ has measure zero. Thus if q = χZ and τ(q) ≤ q, then τ(q) = q a.e.</li>
<li>Recurrent actions. An action T is said to be recurrent if q ≤ τ(q) ∨ τ2(q) ∨ τ3(q) ∨ ... a.e. for any q = χY.</li>
<li>Infinitely recurrent actions. An action T is said to be infinitely recurrent if q ≤ τm (q) ∨ τm + 1(q) ∨ τm+2(q) ∨ ... a.e. for any q = χY and any m ≥ 1.</li></ul>
<h2 id="recurrence-theorem">Recurrence theorem</h2>
Theorem. If T is an invertible transformation on a measure space (X,μ) preserving null sets, then the following conditions are equivalent on T (or its inverse):<a class="footnote-ref" id="fnref:1" href="#fn:1">1</a>

<ol><li>T is <a href="/facts/Conservative_system/cJvgzFtb">conservative</a>;</li>
<li>T is recurrent;</li>
<li>T is infinitely recurrent;</li>
<li>T is incompressible.</li></ol>
Since T is dissipative if and only if T−1 is dissipative, it follows that T is conservative if and only if T−1 is conservative.
If T is conservative, then r = q ∧ (τ(q) ∨ τ2(q) ∨ τ3(q) ∨ ⋅⋅⋅)⊥ = q ∧ τ(1 - q) ∧ τ2(1 -q) ∧ τ3(q) ∧ ... is wandering so that if q < 1, necessarily r = 0. Hence q ≤ τ(q) ∨ τ2(q) ∨ τ3(q) ∨ ⋅⋅⋅, so that T is recurrent.
If T is recurrent, then q ≤ τ(q) ∨ τ2(q) ∨ τ3(q) ∨ ⋅⋅⋅ Now assume by induction that q ≤ τk(q) ∨ τk+1(q) ∨ ⋅⋅⋅. Then τk(q) ≤ τk+1(q) ∨ τk+2(q) ∨ ⋅⋅⋅ ≤ . Hence q ≤ τk+1(q) ∨ τk+2(q) ∨ ⋅⋅⋅. So the result holds for k+1 and thus T is infinitely recurrent. Conversely by definition an infinitely recurrent transformation is recurrent.
Now suppose that T is recurrent. To show that T is incompressible it must be shown that, if τ(q) ≤ q, then τ(q) ≤ q. In fact in this case τn(q) is a decreasing sequence. But by recurrence, q ≤ τ(q) ∨ τ2(q) ∨ τ3(q) ∨ ⋅⋅⋅ , so q ≤ τ(q) and hence q = τ(q).
Finally suppose that T is incompressible. If T is not conservative there is a p ≠ 0 in A with the τn(p) disjoint (orthogonal). But then q = p ⊕ τ(p) ⊕ τ2(p) ⊕ ⋅⋅⋅ satisfies τ(q) < q with q − τ(q) = p ≠ 0, contradicting incompressibility. So T is conservative.

<h2 id="hopf-decomposition">Hopf decomposition</h2>
Theorem. If T is an invertible transformation on a measure space (X,μ) preserving null sets and inducing an automorphism τ of A = L∞(X), then there is a unique τ-invariant p = χC in A such that τ is conservative on pA = L∞(C) and dissipative on (1 − p)A = L∞(D) where D = X \ C.<a class="footnote-ref" id="fnref:2" href="#fn:2">2</a>

Without loss of generality it can be assumed that μ is a probability measure. If T is conservative there is nothing to prove, since in that case C = X. Otherwise there is a wandering set W for T. Let r = χW and q = ⊕ τn(r). Thus q is τ-invariant and dissipative. Moreover μ(q) > 0. Clearly an orthogonal direct sum of such τ-invariant dissipative q′s is also τ-invariant and dissipative; and if q is τ-invariant and dissipative and r < q is τ-invariant, then r is dissipative. Hence if q1 and q2 are τ-invariant and dissipative, then q1 ∨ q2 is τ-invariant and dissipative, since q1 ∨ q2 = q1 ⊕ q2(1 − q1). Now let M be the supremum of all μ(q) with q τ-invariant and dissipative. Take qn τ-invariant and dissipative such that μ(qn) increases to M. Replacing qn by q1 ∨ ⋅⋅⋅ ∨ qn, t can be assumed that qn is increasing to q say. By continuity q is τ-invariant and μ(q) = M. By maximality p = I − q is conservative. Uniqueness is clear since no τ-invariant r < p is dissipative and every τ-invariant r < q is dissipative.
Corollary. The Hopf decomposition for T coincides with the Hopf decomposition for T−1.

Since a transformation is dissipative on a measure space if and only if its inverse is dissipative, the dissipative parts of T and T−1 coincide. Hence so do the conservative parts.
Corollary. The Hopf decomposition for T coincides with the Hopf decomposition for Tn for n > 1.

 If W is a wandering set for T then it is a wandering set for Tn. So the dissipative part of T is contained in the dissipative part of Tn. Let σ = τn. To prove the converse, it suffices to show that if σ is dissipative, then τ is dissipative. If not, using the Hopf decomposition, it can be assumed that σ is dissipative and τ conservative. Suppose that p is a non-zero wandering projection for σ. Then τa(p) and τb(p) are orthogonal for different a and b in the same congruence class modulo n. Take a set of τa(p) with non-zero product and maximal size. Thus |S| ≤ n. By maximality, r is wandering for τ, a contradiction.
Corollary. If an invertible transformation T acts ergodically but non-transitively on the measure space (X,μ) preserving null sets and B is a subset with μ(B) > 0, then the complement of B ∪ TB ∪ T2B ∪ ⋅⋅⋅ has measure zero.

Note that ergodicity and non-transitivity imply that the action of T is conservative and hence infinitely recurrent. But then B ≤ Tm (B) ∨ Tm + 1(B) ∨ Tm+2(B) ∨ ... for any m ≥ 1. Applying T−m, it follows that T−m(B) lies in Y = B ∪ TB ∪ T2B ∪ ⋅⋅⋅ for every m > 0. By ergodicity μ(X \ Y) = 0.
<h2 id="hopf-decomposition-for-a-non-singular-flow">Hopf decomposition for a non-singular flow</h2>
Let (X,μ) be a measure space and St a non-sngular flow on X inducing a 1-parameter group of automorphisms σt of A = L∞(X). It will be assumed that the action is faithful, so that σt is the identity only for t = 0. For each St or equivalently σt with t ≠ 0 there is a Hopf decomposition, so a pt fixed by σt such that the action is conservative on ptA and dissipative on (1−pt)A.

<ul><li>For s, t ≠ 0 the conservative and dissipative parts of Ss and St coincide if s/t is rational.<a class="footnote-ref" id="fnref:3" href="#fn:3">3</a></li></ul>
This follows from the fact that for any non-singular invertible transformation the conservative and dissipative parts of T and Tn coincide for n ≠ 0.
<ul><li>If S1 is dissipative on A = L∞(X), then there is an invariant measure λ on A and p in A such that</li></ul>
<ol><li>p > σt(p) for all t > 0</li>
<li>λ(p – σt(p)) = t for all t > 0</li>
<li>σt(p) 
 
 
 
 ↑
 
 
 {\displaystyle \uparrow }
 
 1 as t tends to −∞ and σt(p) 
 
 
 
 ↓
 
 
 {\displaystyle \downarrow }
 
 0 as t tends to +∞.</li></ol>
 Let T = S1. Take q a wandering set for T so that ⊕ τn(q) = 1. Changing μ to an equivalent measure, it can be assumed that μ(q) = 1, so that μ restricts to a probability measure on qA. Transporting this measure to τn(q)A, it can further be assumed that μ is τ-invariant on A. But then λ = ∫10 μ ∘ σt dt is an equivalent σ-invariant measure on A which can be rescaled if necessary so that λ(q) = 1. The r in A that are wandering for Τ (or τ) with ⊕ τn(r) = 1 are easily described: they are given by r = ⊕ τn(qn) where q = ⊕ qn is a decomposition of q. In particular λ(r) =1. Moreover if p satisfies p > τ(p) and τ–n(p) 
 
 
 
 ↑
 
 
 {\displaystyle \uparrow }
 
 1, then λ(p– τ(p)) = 1, applying the result to r = p – τ(p). The same arguments show that conversely, if r is wandering for τ and λ(r) = 1, then ⊕ τn(r) = 1.
Let Q = q ⊕ τ(q) ⊕ τ2 (q) ⊕ ⋅⋅⋅ so that τk (Q) < Q for k ≥ 1. Then a = ∫∞0 σt(q) dt = Σk≥0 ∫10 σk+t(q) dt = ∫10 σt(Q) dt so that 0 ≤ a ≤ 1 in A. By definition σs(a) ≤ a for s ≥ 0, since a − σs(a) = ∫∞s σt(q) dt. The same formulas show that σs(a) tends 0 or 1 as s tends to +∞ or −∞. Set p = χ[ε,1](a) for 0 < ε < 1. Then σs(p) = χ[ε,1](σs(a)). It follows immediately that σs(p) ≤ p for s ≥ 0. Moreover σs(p) 
 
 
 
 ↓
 
 
 {\displaystyle \downarrow }
 
 0 as s tends to +∞ and σs(p) 
 
 
 
 ↑
 
 
 {\displaystyle \uparrow }
 
 1 as s tends to − ∞. The first limit formula follows because 0 ≤ ε ⋅ σs(p) ≤ σs(a). Now the same reasoning can be applied to τ−1, σ−t, τ−1(q) and 1 – ε in place of τ, σt, q and ε. Then it is easily checked that the quantities corresponding to a and p are 1 − a and 1 − p. Consequently σ−t(1−p) 
 
 
 
 ↓
 
 
 {\displaystyle \downarrow }
 
 0 as t tends to ∞. Hence σs(p) 
 
 
 
 ↑
 
 
 {\displaystyle \uparrow }
 
 1 as s tends to − ∞. In particular p ≠ 0 , 1. 
So r = p − τ(p) is wandering for τ and ⊕ τk(r) = 1. Hence λ(r) = 1. It follows that λ(p −σs(p) ) = s for s = 1/n and therefore for all rational s > 0. Since the family σs(p) is continuous and decreasing, by continuity the same formula also holds for all real s > 0. Hence p satisfies all the asserted conditions. 
<ul><li>The conservative and dissipative parts of St for t ≠ 0 are independent of t.<a class="footnote-ref" id="fnref:4" href="#fn:4">4</a></li></ul>
 The previous result shows that if St is dissipative on X for t ≠ 0 then so is every Ss for s ≠ 0. By uniqueness, St and Ss preserve the dissipative parts of the other. Hence each is dissipative on the dissipative part of the other, so the dissipative parts agree. Hence the conservative parts agree. 
<h2 id="see-also">See also</h2>
<ul><li><a href="/facts/Ergodic_flow/MEc9KbYD">Ergodic flow</a></li></ul>
<h2 id="notes">Notes</h2>

<ul><li>Aaronson, Jon (1997), An introduction to infinite ergodic theory, Mathematical Surveys and Monographs, vol. 50, <a href="/facts/American_Mathematical_Society/fr5gotCt">American Mathematical Society</a>, <a href="/facts/ISBN_(identifier)/15AdSPa9">ISBN</a> 0-8218-0494-4</li>
<li>Hopf, Eberhard (1937), Ergodentheorie (in German), Springer</li>
<li>Krengel, Ulrich (1968), "Darstellungssätze für Strömungen und Halbströmungen I", Math. Annalen (in German), 176: 181−190</li>
<li>Krengel, Ulrich (1985), Ergodic theorems, De Gruyter Studies in Mathematics, vol. 6, de Gruyter, <a href="/facts/ISBN_(identifier)/15AdSPa9">ISBN</a> 3-11-008478-3</li></ul>

<h2 id="references">References</h2>

<ol>
<li id="fn:1">Krengel 1985, pp. 16–17 - Krengel, Ulrich (1985), Ergodic theorems, De Gruyter Studies in Mathematics, vol. 6, de Gruyter, ISBN 3-11-008478-3 <a href="#fnref:1" class="footnote-back-ref">↩</a></li>
<li id="fn:2">Krengel 1985, pp. 17–18 - Krengel, Ulrich (1985), Ergodic theorems, De Gruyter Studies in Mathematics, vol. 6, de Gruyter, ISBN 3-11-008478-3 <a href="#fnref:2" class="footnote-back-ref">↩</a></li>
<li id="fn:3">Krengel 1985, p. 18 - Krengel, Ulrich (1985), Ergodic theorems, De Gruyter Studies in Mathematics, vol. 6, de Gruyter, ISBN 3-11-008478-3 <a href="#fnref:3" class="footnote-back-ref">↩</a></li>
<li id="fn:4">Krengel 1968, p. 183 - Krengel, Ulrich (1968), "Darstellungssätze für Strömungen und Halbströmungen I", Math. Annalen (in German), 176: 181−190 <a href="#fnref:4" class="footnote-back-ref">↩</a></li>
</ol>

Hopf decomposition open-in-new

Hopf decomposition