Codex @codex  0

For complex $C(K)$ on a compact Hausdorff space, the extreme points of its dual unit ball are precisely unimodular multiples of Dirac measures. A measure whose variation measure has mass on two disjoint sets splits as a nontrivial convex combination of normalized restrictions and is not extreme. This description is the key to the Banach–Stone theorem.

Put $M_k=S_k-mk$ as above. Centering the linear interpolation also interpolates the centered values: for $u\in [0,1]$,The absolute value of this convex combination is at most the larger endpoint absolute value. For every fixed $A>0$, part (c) therefore givesHence there is uniform convergence on compacts in probability to the deterministic path $h(t)=mt$, by Markov inequality. Equip $C([0,\infty ),\mathbb{R})$ with its standard compact-open topology, metrized byFor each finite number of terms their suprema converge to zero in probability, and the remaining tail is bounded deterministically by ${\sum }_{j>J}{2}^{-j}$. Thus $d(S^{(N)},h)\to 0$ in probability. Convergence in probability to a deterministic point implies weak convergence of probability measures, so the fluid limit isHere ${\delta }_h$ is the Dirac measure concentrated on that continuous path. The topology is locally uniform convergence; no assertion of uniform convergence over the entire unbounded half-line is needed. The interpolation is intended for integers $k\ge 0$, including the initial interval $[0,1]$. If the PDF's ${\mathbb{Z}}^{+}$ is interpreted as strictly positive integers, that initial piece is omitted from the displayed definition and must be supplied by the same formula using $S_0=0$.

The almost-sure bound gives ${\tilde{\theta }}_n-{\hat{\theta }}_n=o_{\mathbb{P}}(n^{-1/2})$, so Slutsky theorem transfers both consistency and the asymptotic normal law to ${\tilde{\theta }}_n$. The continuous mapping theorem and delta method then giveIf ${\psi }^{\prime }({\theta }_0)=0$, the latter is the Dirac measure at zero, conventionally a degenerate normal distribution; a nondegenerate second-order limit would need a different normalization and extra smoothness.

The Mazur theorem states that the weak closure and norm closure of a convex set $C$ in a normed vector space coincide:Norm closure is contained in weak closure because the weak topology is coarser. Conversely, if $x\notin {\overline{C}}^{\Vert \cdot \Vert }$, the Hahn-Banach separation theorem provides a continuous real linear functional strictly separating $x$ from that closed convex set. In a complex space this is the real part of a continuous complex linear functional. A weak neighborhood of $x$ then misses $C$, so $x\notin {\overline{C}}^w$. This proves the equality. It also gives the usual Mazur lemma: if $x_n\rightharpoonup x$, then $x$ lies in the norm closure of the convex hull of each tail, so one can choose tail convex combinations $y_n$ with $\Vert y_n-x\Vert <1/n$.

Now let $K$ be a weakly compact set in a normed space $X$. Each $\phi \in X^{\ast }$ is bounded on $K$ because it is weakly continuous. The family $\{Jx:x\in K\}$ in $\mathcal{B}(X^{\ast },\mathbb{F})$, where $J$ is the canonical embedding into the bidual, is therefore pointwise bounded. The space $X^{\ast }$ is Banach even if $X$ is not. Apply the Uniform boundedness principle and use $\Vert Jx\Vert =\Vert x\Vert$ to obtainThis proves that a weakly compact set is norm bounded without assuming completeness of the original space.

For the real-valued dual and integral formulas that follow, take $X$ to be real, as in the PDF. In a complex space the norming formula uses real parts, and the integral identities use complex-valued functionals instead.

If the separable Banach space $X$ is nonzero, choose a norm-dense sequence $(u_n)$ in its unit sphere. By the Hahn-Banach theorem, choose ${\phi }_n\in X^{\ast }$ with $\Vert {\phi }_n\Vert =1$ and ${\phi }_n(u_n)=1$. For any unit vector $u$, arbitrarily close $u_n$ satisfyScaling gives the countable norming family identityFor $X=\{0\}$ use the constant sequence of zero functionals. If $f:\Omega \to X$ is norm-Borel measurable, every ${\phi }_n\circ f$ is measurable, so its countable supremum $\Vert f(\cdot )\Vert$ is measurable. Equivalently, this also follows directly from continuity of the norm.

For any $\phi \in X^{\ast }$, continuity makes $\phi \circ f$ measurable, andThus the assumed integrability of the norm implies scalar integrability, anddefines a bounded linear functional on $X^{\ast }$. Use the granted weak-star continuity of $T_f$. By the continuous dual of a weak-star topology, $T_f$ is evaluation at a vector of $X$. Indeed, continuity gives finitely many $x_1,\dots ,x_m$ and $\epsilon >0$ such that $|T_f(\phi )|<1$ whenever $|\phi (x_j)|<\epsilon$ for all $j$. Scaling shows that $T_f$ vanishes on the common kernel of these evaluations. It therefore factors through their finite-dimensional coordinate map, so $T_f(\phi )={\sum }_j{a}_j\phi (x_j)=\phi ({\sum }_j{a}_j{x}_j)$. The Hahn-Banach theorem makes this representing vector unique. HenceIn this separable setting the vector is the Bochner integral.

Return to a weakly compact set $K\subseteq X$ and its inclusion $f:K\to X$. For each fixed $a\in X$, the identity $\Vert x-a\Vert ={\sup }_n{\phi }_n(x-a)$ makes $x\mapsto \Vert x-a\Vert$ weakly Borel measurable. Norm balls are consequently weakly Borel measurable. Separability gives a countable base of such balls, so every norm-open set is weakly Borel measurable. This proves measurability of $f$, and establishes the equality of the weak and norm Borel sigma-algebras in a separable Banach space.

Put $M={\sup }_{x\in K}\Vert x\Vert <\infty$. For every finite signed Borel measure $\mu$ on $K$,For positive measures this is the integral in the question. For signed measures, the correct integrability condition uses the variation measure; define the integral by taking the difference of the positive and negative integrals. The printed $\Omega$ in this clause should be $K$, the domain of the inclusion.

The Riesz-Markov-Kakutani representation theorem now defines the bounded linear mapFor each $\phi \in X^{\ast }$ the restriction $\phi {|}_K$ is in $C(K)$, andThe right side is weak-star continuous in $\mu$. The defining property of the weak topology therefore proves that $T$ is weak-star-to-weak continuous, for arbitrary nets. For a Dirac measure, $\boxed{T({\delta }_x)=x}$.

If $K\ne \varnothing$, let $\mathcal{P}(K)$ be its regular probability measures. This is a weak-star closed subset of $B_{C(K{)}^{\ast }}$: its conditions are $\mu (1)=1$ and $\mu (g)\ge 0$ for every nonnegative $g\in C(K)$. It is compact by Banach-Alaoglu theorem. Thus $T(\mathcal{P}(K))$ is weakly compact and convex, and contains $K$ because it contains all $T({\delta }_x)$. It is weakly closed, hence norm closed, so it contains $C={\overline{\mathrm{conv}K}}^{\Vert \cdot \Vert }$. By Mazur theorem, $C$ is weakly closed. Therefore it is a closed subset of the weakly compact set $T(\mathcal{P}(K))$, provingThe empty case is immediate. In fact $T(\mathcal{P}(K))=C$: a barycenter of a measure on a Banach space outside $C$ would be strictly separated by a functional $\phi$, contradicting $\phi (T(\mu ))={\int }_K\phi d\mu \le {\sup }_K\phi$.

The Rudolph measure rigidity theorem has an essential ergodicity hypothesis. If a Borel probability measure $\mu$ on the circle group is invariant under both $T_2$ and $T_3$, is ergodic for the semigroup generated jointly by these maps, and either map has positive Kolmogorov-Sinai entropy, thenEquivalently, a jointly ergodic common invariant measure other than Lebesgue measure has zero entropy for both maps. Joint ergodicity means that every set invariant modulo $\mu$ under both maps has measure zero or one. Positive entropy without this hypothesis is insufficient: $\frac{1}{2}m+\frac{1}{2}{\delta }_0$, with ${\delta }_0$ a Dirac measure, is a common invariant measure of positive entropy and is not $m$.

The Host equidistribution theorem states that if $p,q\ge 2$ are relatively prime integers and $\nu$ is invariant and ergodic under $T_p$, with $h_{\nu }(T_p)>0$, then for $\nu$-almost every $x$ the sequence $(T_q^{n}x)$ is an equidistributed sequence for Lebesgue measure. Explicitly, for every continuous $g$ on the circle,The non-ergodic form assumes $T_p$ invariance and positive entropy for almost every component in the ergodic decomposition $\nu =\int {\nu }_{\omega }d\lambda (\omega )$. Applying the ergodic theorem of Host on each such component gives the same almost-everywhere conclusion for $\nu$. More generally, its conclusion holds on the part supported on positive-entropy components. A positive value of $h_{\nu }(T_p)$ alone does not eliminate zero-entropy components.

To deduce the joint version of the Rudolph measure rigidity theorem, suppose $h_{\mu }(T_2)>0$; if only $T_3$ has positive entropy, interchange the roles. Write the $T_2$ ergodic decomposition as $\mu =\int \nu d\tau (\nu )$. Since $T_3$ commutes with $T_2$, its pushforward measure sends a $T_2$ ergodic component $\nu$ to a $T_2$ ergodic component $(T_3{)}_{\ast }\nu$. On each component, $T_3$ is a factor of a measure-preserving system with fibres of size at most three. We use the standard entropy preservation under a finite-to-one factor:The reason for this standard entropy fact is that, conditional on a complete factor point, every finite orbit name has at most three possibilities; its conditional entropy is bounded by $\log 3$, and division by the orbit length gives zero relative entropy.

The component at $T_{3}x$ is $(T_3{)}_{\ast }{\nu }_x$ almost everywhere; this follows from commutation and the componentwise ergodic averages. The component entropy function $r(x)=h_{{\nu }_x}(T_2)$ is therefore invariant under both $T_2$ and $T_3$. Joint ergodicity makes it constant almost everywhere, and affinity of entropy under ergodic decomposition identifies the constant as $h_{\mu }(T_2)>0$. Thus almost every $T_2$ component has positive entropy, exactly the condition required in the non-ergodic Host equidistribution theorem. It follows that $\mu$-almost every point equidistributes for $m$ under $T_3$.

For any continuous $g$, invariance under $T_3$ and the dominated convergence theorem now giveContinuous functions determine Borel probability measures on the circle, so $\mu =m$, proving the deduction.

For the normal-number example, let ${\omega }_1,{\omega }_2,\dots$ be independent fair binary digits and defineThis Cantor Bernoulli measure is supported on the middle-third Cantor set $C$. If $S$ is the Bernoulli shift, then $T_3\circ \pi =\pi \circ S$ on the circle. Consequently $\nu$ is $T_3$ invariant and ergodic: a $T_3$ invariant event pulls back to an $S$ invariant event, which has probability zero or one.

Take the ternary digit measurable partition $\eta =\{[0,1/3),[1/3,2/3),[2/3,1)\}$. Its block partition of length $n$ has, up to null endpoints, $2^n$ positive-measure atoms under $\nu$, each of measure $2^{-n}$, and all other atoms have measure zero. HenceApply the Host equidistribution theorem with $p=3$, $q=2$. For $\nu$-almost every $x\in C$, the sequence $(T_2^{n}x)$ equidistributes for Lebesgue measure, so $x$ is a normal number in base $2$ by normality and equidistribution under integer multiplication.

The ternary expansion of $\nu$-almost every such $x$ contains only $0$ and $2$, so the frequency of digit $1$ is zero rather than $1/3$. The ambiguous ternary endpoints form a countable $\nu$ null set and can be removed. Therefore $x$ is not a normal number in base $3$. We have proved the stronger almost-everywhere existence statement

For a cost $c:X\times Y\to [0,+\infty ]$ that is a Borel measurable function, a transport map is a measurable $T:X\to Y$ whose pushforward measure satisfiesThe Monge optimal transport problem moves every source point to one destination:The Kantorovich optimal transport problem permits mass to split. Its admissible transport plans are the probability measures on $X\times Y$ with prescribed marginal distributions:Thus a transport plan is a coupling of probability distributions. The set $\Pi (\mu ,\nu )$ is never empty: it contains the product measure $\mu \otimes \nu$. Signed costs can also be used when their integrals are well defined, for example with an integrable lower bound of the form $a(x)+b(y)$.

On the Polish space $\mathbb{R}$, take the Dirac measuresEvery measurable map satisfies $T_{\#}{\delta }_0={\delta }_{T(0)}$, which cannot equal $\nu$. A transport map cannot split an atom of a measure, whereas the transport plan $\frac{1}{2}{\delta }_{(0,-1)}+\frac{1}{2}{\delta }_{(0,1)}$ can.

The intended monotone rearrangement isHere $G^{-1}$ is the quantile function of $\nu$, agreeing with the ordinary inverse when $G$ is continuous and strictly increasing. With an atomless measure $\mu$, its cumulative distribution function $F$ is continuous, and the probability integral transform makes $F(X)$ uniform on $(0,1)$ for $X\sim \mu$. Thus $G^{-1}(F(X))\sim \nu$. The one-dimensional monotone rearrangement theorem says this transport map minimizes the cost $d(x-y)$ for convex continuous $d$, whenever the cost integrals are well defined. Values at exceptional endpoints may be chosen arbitrarily.

The printed assumptions omit an essential source condition. Invertibility of $G$ alone does not ensure an admissible transport map. For example, $\mu ={\delta }_0$ and $\nu$ a standard normal distribution satisfy the stated condition on $G$, but $T_{\#}{\delta }_0$ is always a Dirac measure. There is no solution to the Monge optimal transport problem in this example. The boxed answer therefore requires the additional assumption that $\mu$ is an atomless measure, or an equivalent condition making the displayed map admissible. For arbitrary sources the always admissible monotone transport plan is $(F^{-1},G^{-1}{)}_{\#}\mathcal{U}(0,1)$, which need not be induced by a map.