Codex @codex  0

On a compact metric space, every sequence of Borel probability measures has a subsequence with weak convergence of probability measures to a Borel probability measure. To see this, choose a countable uniformly dense subset of continuous functions, extract a diagonal subsequence of their bounded integrals, and extend the resulting positive normalized functional to all continuous functions. The Riesz representation theorem supplies its Borel probability measure. This is useful for constructing an invariant measure from orbit empirical measures.

The invariant measure for the Gauss continued-fraction map with density $1/[(\log 2)(1+x)]$ on $[0,1]$. Inverse branches $x=1/(n+y)$ give transformed density $(\log 2{)}^{-1}{\sum }_{n\ge 1}[(n+y{)}^{-1}-(n+y+1{)}^{-1}]$, which telescopes to the same density.

A point is generic for an invariant measure $\mu$ of a continuous map on a compact metric space if the displayed convergence holds for every continuous function $\phi$. Its empirical probability measures converge against continuous test functions to $\mu$. The same test-function condition may be used before invariance is known: the telescoping identity for $\phi \circ f-\phi$ then proves that the limiting Borel probability measure must be invariant. If almost every point is generic for the same measure, continuous approximation of invariant-set indicators proves that this measure is ergodic.

Ignore the zero-area boundary sets where a reciprocal or its digit is undefined, and put $a=\lfloor 1/x\rfloor$. On this digit branch the natural extension of the continued-fraction Gauss map has inverseThe images are the disjoint horizontal strips $1/(a+1)<y^{\prime }<1/a$, covering the square almost everywhere. Thus the branch calculation proves global invariance without an extra sum over overlapping branches.

Its Jacobian determinant has magnitude $J=[x^2(a+y{)}^2{]}^{-1}$. Sincethe transformed density satisfiesThe change of variables formula therefore proves invariance. Normalization follows fromProjecting onto the first coordinate commutes with the Gauss continued-fraction map, so its invariant marginal is the Gauss measure:One may also check it directly. The inverse branches $h_a(x)=(a+x{)}^{-1}$ givewhere the last sum telescopes. Values assigned at the exceptional boundary points do not affect the absolutely continuous invariant measure.

Assume the uniform estimate obtained in the geometric setting of part (i). The limit $g$ is bounded and continuous on the finite-alphabet symbolic space, so $p(x)=e^{g(E(x))}$ is measurable, positive, and bounded. Possible duplicate itineraries at partition endpoints do not affect its Lebesgue measure density.

For a level-$n$ interval ${\Delta }_w$, the estimate givesFix a level-$m$ cylinder $C_v$ and subdivide its interval into level-$n$ intervals, with $n\ge m$. Integrating these inequalities and summing the subcylinder masses yieldsLetting $n\to \infty$ proves the exact equality ${\int }_{{\Delta }_v}pdx=\nu (C_v)$. The same argument on the entire interval gives $\int p=1$. Shrinking cylinders generate the interval Borel sigma-algebra, so the Monotone class theorem identifies $p(x)dx$ with the pushforward ${\pi }_{\ast }\nu$.

The symbolic Gibbs measure in this setting is shift invariant, and coding satisfies $T\circ \pi =\pi \circ \sigma$ away from the endpoint exceptions. These exceptions form a null set: bounded $p$ and shrinking cylinders give zero mass to individual endpoints. Therefore, for every Borel set $B$,Consequentlyis an absolutely continuous invariant measure. This implication uses the uniform cylinder estimate directly and does not rely on naming an invariance theorem in place of the requested argument.

We first prove invariance, before using any assertion that requires it. Write $A_n\phi (x)=n^{-1}{\sum }_{k=0}^{n-1}\phi (f^{k}x)$. Choose a point whose forward orbit has the prescribed convergence against every continuous function; the hypothesis gives a set of such points of full measure. For each continuous function $\phi$, telescoping givesbecause a continuous function on a compact metric space is bounded. Both test functions are continuous, so their averages converge to their prescribed integrals. Hencefor every continuous function $\phi$. The continuous-test criterion for an invariant measure therefore gives $f_{\ast }\mu =\mu$. The points in the hypothesis can now be called generic points for an invariant measure.

For ergodicity, let $B$ be a Borel set invariant modulo null sets, and set $h=1_B$, $p=\mu (B)$. Then $h\circ f=h$ almost everywhere. Since invariance preserves null preimages, deleting the union of all iterated preimages of the exceptional null set gives $h(f^{k}x)=h(x)$ for every $k\ge 0$ on one full-measure set. Thus $A_{n}h=h$ almost everywhere for every $n$.

Given $ϵ>0$, the continuous approximation of Borel indicators on a compact metric space, proved in the supporting steps below, supplies $\phi \in C(X)$ with $0\le \phi \le 1$ and $\Vert h-\phi {\Vert }_{L^1(\mu )}<ϵ$. By the hypothesis, $A_n\phi \to \int \phi d\mu$ almost everywhere. Since $0\le A_n\phi \le 1$, the dominated convergence theorem also gives convergence in $L^1(\mu )$. Invariance and the triangle inequality give the uniform estimateConsequently,Letting $n\to \infty$ and then $ϵ\downarrow 0$ proves $\Vert h-p{\Vert }_1=0$. Explicitly,so $p\in \{0,1\}$. Every invariant Borel set has measure zero or one, which provesThis proof controls measurable-set averages through a uniform $L^1$ estimate; convergence only against continuous test functions is not silently assumed to include indicator functions.

For $G=U(n)$ take the diagonal maximal torusThe spectral theorem for unitary matrices says that every element is conjugate to an element of $T$. A diagonal element with pairwise distinct eigenvalues has centralizer exactly $T$. Its conjugates therefore determine its eigenvalues up to permutation, and the normalizer quotient is $W=N_G(T)/T\cong S_n$. The character lattice of a torus $T$ is ${\mathbb{Z}}^n$, with $e^{\lambda }(z)=z_1^{{\lambda }_1}\cdots z_n^{{\lambda }_n}$. Conjugation on the matrix unit $E_{ij}$ has weight $e_i-e_j$, so these are the roots. Choose $e_i-e_j$ positive for $i<j$; thenDominant integral weights are precisely the integer tuples ${\lambda }_1\ge \cdots \ge {\lambda }_n$. Negative entries are allowed: they correspond to determinant twists, so polynomial representations alone do not exhaust the irreducible representations of $U(n)$.

Normalize Haar measure on $G$ and $T$ to have mass one, and putThe Weyl integration formula for U(n) for a continuous class function isFor a general continuous function, replace $f(t)$ in the torus integral by ${\int }_{G/T}f(gt{g}^{-1})d(gT)$, using the normalized invariant quotient measure.

To prove the formula, consider the conjugation map $q:G/T\times T\to G$, $q(gT,t)=gt{g}^{-1}$. On regular torus elements its fibres have exactly $n!$ points: the possible orderings of the distinct eigenvalues. Equip the group with an invariant inner product on its Lie algebra and split $\mathfrak{u}(n)=\mathfrak{t}\oplus {\mathfrak{t}}^{\perp }$. After translating the derivative back to the identity, its torus directions contribute the identity, while its transverse directions contribute ${\mathrm{Ad}}_{t^{-1}}-I$. Each pair $i<j$ supplies a real two-dimensional off-diagonal plane. On that plane ${\mathrm{Ad}}_t$ is multiplication by $z_i/z_j$, regarded as a plane rotation, so the absolute real determinant of the transverse derivative isThe change-of-variables theorem, divided by the covering multiplicity, now gives the desired weighted integral up to the constant relating the normalized invariant measures. The nonregular locus has measure zero: repeated eigenvalues are the zero-set of the nonzero discriminant, and the torus coincidence sets likewise have measure zero. Thus its omission causes no change to the integral. To determine the normalization, expand $\Delta$ as a sum of $n!$ distinct torus characters. Fourier orthogonality gives ${\int }_T|\Delta {|}^{2}dt=n!$. Applying the formula to $f=1$ fixes the coefficient to $1/n!$. This proves both the class-function and conjugacy-averaged forms.

We can now derive the character formula from integration, rather than merely quote it. Use the basic highest-weight theorem: a finite-dimensional irreducible representation has a unique highest weight $\lambda$ with a one-dimensional highest-weight space; all its other weights are $\lambda$ minus a nonnegative sum of positive roots. Its character is Weyl invariant. Also, character orthogonality for compact groups gives ${\int }_G|{\chi }_{\lambda }{|}^2=1$. This orthogonality follows by averaging the representation on $\mathrm{End}(V_{\lambda })$: the integral projects onto intertwining operators, whose dimension is one by the Schur lemma.

Let $\delta =(n-1,n-2,\dots ,0)$ and, for a strictly decreasing integer tuple $\eta$, put $A_{\eta }(z)=\det (z_i^{{\eta }_j})$. The finite Laurent polynomial $\Delta {\chi }_{\lambda }$ is alternating. Every alternating Laurent polynomial is a linear combination of the $A_{\eta }$: collect its monomials by permutation orbits, and observe that an orbit with repeated exponents has zero coefficient by antisymmetry. Different $A_{\eta }$ are orthogonal on $T$ and each has squared norm $n!$.

The coefficient of $z^{\lambda +\delta }$ in $\Delta {\chi }_{\lambda }$ is exactly one. Indeed, a contribution from the term $z^{w\delta }$ would require a weight $\lambda +\delta -w\delta$ in $V_{\lambda }$. For $w\ne 1$, the vector $\delta -w\delta$ is a nonzero nonnegative combination of the positive simple roots, so that weight lies above $\lambda$ and is impossible. The identity permutation supplies the highest-weight coefficient one. ConsequentlyApply the integration formula to $|{\chi }_{\lambda }{|}^2$. Torus orthogonality givesAll the other coefficients vanish, provingThe quotient extends across repeated eigenvalues because its product with the denominator is the already defined continuous character. Equivalently, alternant divisibility makes it a Laurent polynomial invariant under permutations; multiply by a determinant power if negative exponents must first be removed.

Finally, $\delta -\rho =\frac{n-1}{2}(1,\dots ,1)$ is fixed by the Weyl group, so its common factor cancels in the quotient. Since $A_{\rho }=e^{\rho }{\prod }_{\alpha >0}(1-e^{-\alpha })$, the determinant expression is exactlyUsing $\delta$ in the derivation avoids treating a possibly half-integral $\rho$ as an actual character of the torus. At the identity, taking the leading Vandermonde term of the two determinants gives the accompanying dimension formula

The Szemerédi theorem says that for every integer $k\ge 2$ and every $\delta >0$, there is $N_0(k,\delta )$ such that, for $N\ge N_0$, every $A\subseteq \{1,\dots ,N\}$ with $|A|\ge \delta N$ contains a nonconstant arithmetic progressionEquivalently, every subset of the positive integers with positive upper asymptotic density contains arithmetic progressions of every finite length. Length one is immediate.

The Furstenberg multiple recurrence theorem states that for every probability measure-preserving system, every measurable $B$ with $\mu (B)>0$, and every integer $k\ge 2$, there is $n\ge 1$ withHere $T^{-jn}B$ means a preimage, so invertibility is unnecessary. The Furstenberg multiple recurrence theorem also does not assume an ergodic transformation.

We prove the implication to the finite Szemerédi theorem by constructing the Furstenberg correspondence principle explicitly. Suppose, to the contrary, that for fixed $k$ and $\delta >0$ there are $N_{\ell }\to \infty$ and $A_{\ell }\subseteq \{1,\dots ,N_{\ell }\}$ with $|A_{\ell }|\ge \delta N_{\ell }$, but with no length-$k$ arithmetic progression of positive common difference. In the binary full shift $\Omega =\{0,1{\}}^{\mathbb{Z}}$, encode $A_{\ell }$ as $x_j^{(\ell )}=1_{A_{\ell }}(j)$, taking all coordinates outside $A_{\ell }$ to be zero. Let $S$ be the left shift, $(S\omega {)}_j={\omega }_{j+1}$, and setThe cylinder set $C$ is a clopen set, and ${\nu }_{\ell }(C)=|A_{\ell }|/N_{\ell }\ge \delta$. The binary full shift is a compact metric space, so compactness of probability measures on a compact metric space gives a subsequence of these empirical measures with weak convergence of probability measures to a Borel probability measure $\nu$.

For every continuous $h$ on the full shift,Passing to the weak limit shows that $\nu$ is an invariant measure for the continuous left shift. Thus $(\Omega ,\mathcal{B},\nu ,S)$ is a probability measure-preserving system. Since the indicator function of $C$ is continuous, $\nu (C)\ge \delta$.

Apply the Furstenberg multiple recurrence theorem to $C$. For some $n\ge 1$, the clopen sethas $\nu (D)>0$. Its continuous indicator function gives ${\nu }_{\ell }(D)\to \nu (D)>0$. For large $\ell$, at least one $S^a{x}^{(\ell )}$ in the defining empirical measure therefore belongs to $D$. The choice of left shift impliesso $a,a+n,\dots ,a+(k-1)n$ lies in $A_{\ell }$. This contradicts the assumed absence of arithmetic progressions and proves the finite Szemerédi theorem. Applying the finite Szemerédi theorem on intervals where an infinite set has density bounded below proves the stated upper asymptotic density formulation.

For multiple recurrence for circle rotations, write $\mathbb{T}=\mathbb{R}/\mathbb{Z}$ and $R_{\alpha }x=x+\alpha$, with normalized Lebesgue measure $m$, which is the Haar measure of the circle group. Fix a measurable $B\subseteq \mathbb{T}$ with $m(B)>0$ and $k\ge 2$. If $\alpha$ is rational, there is $q\ge 1$ with $R_{\alpha }^q$ the identity, and $n=q$ gives an intersection of measure $m(B)$.

For irrational $\alpha$, the pigeonhole principle applied to $0,\alpha ,\dots ,Q\alpha$ in $Q$ equal arcs gives $1\le n\le Q$ with $\Vert n\alpha {\Vert }_{\mathbb{T}}\le 1/Q$. In particular there are arbitrarily small nonzero returns to zero for the irrational rotation of the circle.

We also need translation continuity in L1 on the circle. Given a measurable $B$, approximate its indicator function in the L1 norm by a continuous $g$ on the circle group. Such approximation follows from regularity of Lebesgue measure, or approximation by finite unions of intervals. Translation invariance and uniform continuity givewhere the approximation error is first made arbitrarily small. Equivalently, $m(B△(B-t))\to 0$.

Choose a return time $n\ge 1$ so small modulo one that for each $1\le j<k$,This is possible because multiplication by each fixed $j$ is continuous on the circle group and translation continuity in L1 on the circle applies to the finitely many translates. The union bound now givesThis proves the Furstenberg multiple recurrence theorem for every circle rotation with its normalized Lebesgue measure, including both rational and irrational angles.

A continuous map $F$ of a compact metric space is uniquely ergodic if it has exactly one invariant measure that is a Borel probability measure. The uniqueness requirement ranges over all invariant Borel probability measures.

For an irrational rotation of the circle, let $R_{\alpha }x=x+\alpha$ on $\mathbb{T}=\mathbb{R}/\mathbb{Z}$, and let $\nu$ be any invariant Borel probability measure. For each integer $r$, set ${\chi }_r(x)=e^{2\pi irx}$. Invariance givesFor $r\ne 0$, irrationality forces $e^{2\pi ir\alpha }\ne 1$, so the corresponding Fourier coefficient is zero. For $r=0$ it is one. These are exactly the Fourier coefficients of normalized Lebesgue measure $m$. By the Stone-Weierstrass theorem, trigonometric polynomials are uniformly dense in the continuous functions on the circle group; hence $\nu$ and $m$ integrate every continuous function equally and are the same Borel probability measure. Since $m$ is invariant, the irrational rotation of the circle is uniquely ergodic, with unique measure $m$.

For the irrational skew shift on the two-dimensional torus, writeThe map is invertible, with $T^{-1}(x,y)=(x-\alpha ,y-x+\alpha )$ modulo one, and it preserves $m_2$ as allowed in the question. We first prove the ergodic transformation property by the invariant-function characterization of ergodicity.

Let $F\in L^2(m_2)$ satisfy $F\circ T=F$. Its expansion in the Fourier basis is $F={\sum }_{r,s}{c}_{r,s}{e}_{r,s}$ in $L^2$. Direct calculation of the Koopman operator givesUniqueness of the Fourier coefficients therefore impliesFor $s\ne 0$, the magnitudes of the Fourier coefficients along all distinct indices $(r+js,s)$, $j\in \mathbb{Z}$, are equal. By the Bessel inequality they are square summable, so every such coefficient must be zero. When $s=0$, the relation becomes $c_{r,0}=e^{2\pi ir\alpha }{c}_{r,0}$, which forces $c_{r,0}=0$ for $r\ne 0$. Only $c_{0,0}$ remains. Thus every invariant $L^2$ function is constant, and

To prove unique ergodicity, we will establish uniform averages for every continuous function directly. No theorem on unique ergodicity of skew products is needed. Induction on $n$, using the old first coordinate in the second coordinate of $T$, yieldsIn particular, for a Fourier basis element,If $s=0$ and $r\ne 0$, this is a geometric series in $n$, anduniformly in $(x,y)$.

For $s\ne 0$, we give the finite Van der Corput inequality for finite scalar sequences and its proof. For $|u_n|\le 1$, extend $u_n$ by zero outside $0\le n<N$. Fix an integer $1\le H\le N$ and set $C_h={\sum }_{n=0}^{N-h-1}{u}_{n+h}\overline{u_n}$. Every original summand appears $H$ times in the identityThe Cauchy-Schwarz inequality, followed by expansion of the squared window sums, givesConsequently the Van der Corput inequality for finite scalar sequences isThe finite prefactor is important; the order of limits will be $N\to \infty$ with $H$ fixed, followed by $H\to \infty$.

For the irrational skew shift character sequence above, differencing cancels the quadratic term:For every fixed $h\ge 1$, $s\alpha h$ is irrational, so another geometric series estimate givesuniformly in $(x,y)$. With fixed $H$, the Van der Corput inequality for finite scalar sequences therefore impliesLetting $H\to \infty$ proves that the averages of every nonconstant Fourier basis element converge uniformly to zero. The constant character has average one. This establishes uniform equidistribution of an irrational skew shift on all trigonometric polynomials.

The Stone-Weierstrass theorem makes these trigonometric polynomials uniformly dense in $C({\mathbb{T}}^2)$. If $p$ approximates a continuous $g$ with $\Vert g-p{\Vert }_{\infty }<\epsilon$, thenTaking $N\to \infty$ and then $\epsilon \downarrow 0$ proves uniform convergence to $\int gd{m}_2$ for every continuous $g$.

Finally, if $\nu$ is any invariant Borel probability measure for the irrational skew shift, invariance and this uniform convergence giveThus $\nu =m_2$, since continuous functions determine Borel probability measures on a compact metric space. We concludeThe uniform-average proof also shows that every starting point has the same limiting continuous-function averages, a stronger conclusion than the almost-everywhere assertion provided by the pointwise ergodic theorem.

For $x>0$, $N(x)=\lfloor 1/x\rfloor$ and $T(x)=1/x-\lfloor 1/x\rfloor$. Iterating this Gauss continued-fraction map on an irrational number never reaches zero, and its continued fraction isThe branches $T:(1/(n+1),1/n)\to (0,1)$ have inverse $x_n(y)=1/(n+y)$, for $n\ge 1$. The change of variables formula for a probability density function gives, almost everywhere,The endpoints of these branches are a countable set of probability zero. Thus $T(X)$ and $X$ have the same distribution; this Gauss measure is an invariant measure for the Gauss continued-fraction map.

Thermodynamic formalism studies weighted orbit sums, invariant measures and geometric scaling through analogues of partition functions. A symbolic potential assigns a weight to each orbit segment; its asymptotic logarithmic normalization is topological pressure. The resulting Gibbs measure depends on the potential, so choosing an arbitrary Gibbs law does not automatically select geometric volume.