Codex @codex  0

Averaging a Kähler form over translations with normalized Haar measure gives an invariant Kähler form in the same de Rham cohomology class. Positivity is preserved by averaging positive values on $(v,Jv)$, and the class is unchanged because translations are homotopic to the identity. Thus any Hodge metric on a complex torus can be replaced by an invariant one.

For finite-dimensional unitary representations of a compact group, average the action on $\mathrm{Hom}(W,V)$ against normalized Haar measure. This is the orthogonal projection onto the intertwining operators, and its trace is the displayed integral. The Schur lemma therefore makes distinct irreducible characters orthogonal and each irreducible character of norm one.

The compact set $K=\{0\}\cup \{1/n!:n\ge 1\}$ generates the additive group $\mathbb{Q}$, since every positive integer denominator divides some factorial. With its usual topology, $\mathbb{Q}$ is metrizable and is not locally compact. Nor can it have a nonzero Haar measure finite on compact sets: invariance gives equal masses to all singletons; a positive singleton mass makes $K$ have infinite mass, whereas zero singleton masses make the countable group have zero total mass.

// Target: analysis.bigb

A compact group is a topological group whose underlying topological space is a compact Hausdorff space. The circle group is a compact group: the unit circle is a closed bounded subset of the complex plane, so the Heine-Borel theorem gives compactness. The additive group $(\mathbb{R},+)$ is a locally compact group and a Hausdorff space, but is not a compact group: the open cover $\{(-n,n):n\ge 1\}$ has no finite subcover. A finite group with the discrete topology is another compact group; compactness does not require a smooth manifold structure.

The great advantage of a compact group is that one can average over every element without choosing a preferred origin. Precisely, every locally compact group that is a Hausdorff space admits a nonzero left Haar measure $\mu$, a regular Borel measure finite on compact sets, unique up to a positive scalar. Left invariance means $\mu (gA)=\mu (A)$ for every Borel set $A$ and every $g\in G$. There is also a right Haar measure; in general left and right Haar measures can differ. On a compact group, $0<\mu (G)<\infty$, and normalizing to $\mu (G)=1$ gives a unique regular Borel probability measure invariant under both left and right translation. See Tornier, Haar Measures, Theorem 2.2 for existence and uniqueness, and Ram's notes on left and right Haar measure for the distinction.

For a finite group $G$, normalized Haar measure assigns each element mass $1/|G|$, so integration is simply $|G{|}^{-1}{\sum }_{g\in G}f(g)$. For the circle group, the corresponding integral is uniform angle averaging, computed below. On $(\mathbb{R},+)$, Lebesgue measure is a Haar measure, but its total mass is infinite: no positive scalar multiple makes it a probability measure. Thus the existence of Haar measure does not make every topological group a compact group.

Historically, Alfréd Haar introduced the general invariant-measure construction in Der Massbegriff in der Theorie der kontinuierlichen Gruppen, Annals of Mathematics 34 (1933), pp. 147-169. This bibliographic identification is also recorded in André Weil's archived seminar notes, Mesure de Haar, reference Haa33. The conceptual step is to let group symmetry itself determine the weights used in integration, rather than relying on coordinates in an ambient Euclidean space.

For a compact group $G$, positive normalized linear functionals on $C(G)$ form a nonempty weak-star topology compact convex set. For finitely many translations, apply the Schauder-Tychonoff fixed-point theorem to the average of their induced affine dual maps. A fixed functional is stationary under this average. For each real continuous $f$, its orbit function $h(g)=\varphi (l_{g}f)$ is continuous on the compact subgroup generated by those translations and satisfies a finite averaging identity. At a maximum, every summand must attain that same maximum; iteration and density of the positive-word semigroup force $h$ to be constant. Thus the functional is fixed by each of the finitely many translations. Compactness and the finite intersection property now give a functional invariant under every translation. The Riesz-Markov-Kakutani representation theorem turns it into a normalized Haar measure, without assuming commutativity of the group.

A compact Lie group is a Lie group whose underlying manifold is compact. Averaging any positive inner product over its Haar measure supplies an invariant inner product on each finite-dimensional representation, including the Adjoint representation.

A finite-dimensional complex representation of a compact group is a direct sum of irreducible representations. Average a positive Hermitian inner product over normalized Haar measure. The orthogonal complement of an invariant subspace is then invariant, so induction on dimension gives the decomposition. The same argument works for finite-dimensional real representations with a positive real inner product.

For finite-dimensional rational representations of complex $G{L}_m$ or $S{L}_m$, average a Hermitian inner product over the compact group $U(m)$ or $SU(m)$ using normalized Haar measure. Orthogonal complements become invariant under the compact group and its complexified Lie algebra. The latter generates the complex group, giving invariant complements and hence complete reducibility. This conclusion does not hold for arbitrary affine algebraic groups, such as the additive group.

Normalized Haar measure makes this averaging a norm-one projection onto continuous class functions. Averaging a trace coefficient replaces its coefficient endomorphism by $\int \theta (h{)}^{-1}\alpha \theta (h)dh$. On an irreducible summand this average is $(\mathrm{tr}\alpha /\dim V)I$ by Schur lemma. It follows that averaging finite-dimensional matrix coefficients yields finite linear combinations of irreducible characters. Together with the Peter-Weyl theorem, this proves uniform density of those characters among continuous class functions.

For a connected compact Lie group with maximal torus $T$, the map $q:G/T\times T\to G$, $q(xT,t)=xt{x}^{-1}$, has the displayed real Jacobian determinant. Choose an invariant inner product and identify the tangent space of $G/T$ with ${\mathfrak{t}}^{\perp }$. Translation of the derivative at $(T,t)$ to the identity gives $(X,Y)\mapsto (\mathrm{Ad}(t^{-1})-I)X+Y$. Each pair of opposite roots of a root system corresponds to a real two-plane on which the determinant is $|1-\alpha (t){|}^2$. The torus direction has determinant one. Normalized quotient and Haar measures have matching volume constants because the Riemannian submersion gives $\mathrm{vol}G=\mathrm{vol}(G/T)\mathrm{vol}T$. The map covers regular elements $|W|$ times, giving the Weyl integration formula with conjugacy averaging for general functions.

The dual Haar measure is the scale of Haar measure on the Pontryagin dual group compatible with Fourier inversion on a locally compact abelian group. It can be constructed without first assuming inversion: for a compactly supported test function $\psi$, choose a finite sum of convolution squares $p$ with $\hat{p}>0$ on its support and define $J(\psi )=\int \psi /\hat{p}d{\mu }_p$. The Bochner consistency identity for convolution squares makes this independent of the choice. Modulation by a character shows $J$ is invariant under dual translation; the Riesz representation on compactly supported continuous functions gives the measure. It satisfies $d{\mu }_p=\hat{p}d{m}_{\hat{G}}$ and scales reciprocally when $d{m}_G$ is rescaled.

For a two-dimensional hyperbolic toral automorphism, the stable and unstable eigenvalues obey $|{\lambda }_s|<1<|{\lambda }_u|$. In a sufficiently small Bowen ball, lifting to the stable and unstable coordinates gives widths proportional to $ϵ$ and $ϵ|{\lambda }_u{|}^{-(n-1)}$. Its normalized Haar measure is therefore proportional to ${ϵ}^2|{\lambda }_u{|}^{-(n-1)}$, uniformly in the centre. Maximal separated sets cover by radius-$ϵ$ Bowen balls and pack disjoint radius-$ϵ/2$ Bowen balls, so their exponential growth rate is $\log |{\lambda }_u|$. Smallness of $ϵ$ must exclude nonzero lattice jumps between successive lifted iterates; this is essential to the ball-volume argument.

Assume an invariant volume measure, an invariant integrand and one regular gauge slice representative per orbit. At that representative, let $M$ be the Jacobian matrix of $F$ along the group coordinates, whose Haar measure is normalized to ordinary coordinate measure at the identity. Changing coordinates from the group parameter to $F$ gives ${\int }_{G}d\mu (g)\delta (F(x_g))=1/|\det M(x_0)|$. Multiply by its reciprocal and insert this identity into the original integral. Invariance permits a change of variables $x\mapsto x_g$ for each $g$, factoring out the group volume. The absolute determinant is required for ordinary unoriented real integration; a consistently positive orientation permits writing $\det M$. Infinite group volume is divided out formally or treated with a regulator.

For a finite complex measure on the additive circle group $\mathbb{R}/(2\pi \mathbb{Z})$, its Fourier coefficients are integrals against the group characters $e^{-inx}$, $n\in \mathbb{Z}$. They obey $|\hat{\mu }(n)|\le \Vert \mu \Vert$, where the norm is the total variation norm of a measure. A probability measure has zeroth coefficient one. The normalized Haar measure $m(dx)=dx/(2\pi )$ has all nonzero-frequency coefficients zero. A bounded family of finite Radon measures converges in the weak-star topology exactly when its coefficients converge to those of the proposed limit: extend linear combinations to all continuous tests using the density of trigonometric polynomials and the common variation bound.

For $f\in L^1(G)$ the displayed integral defines a bounded continuous function on the Pontryagin dual group. It takes convolution to pointwise multiplication and left translation $T_x$ to multiplication by $\overline{\chi (x)}$. The transform depends on the scale of Haar measure on $G$; the compatible dual Haar measure scales reciprocally.

For a local field $F$, an additive character $\psi$, and a Haar measure $dx$, the Fourier transform isIt maps the Schwartz-Bruhat space to itself.

For a finite-dimensional continuous complex representation $R$ of a compact group, normalize Haar measure to mass one and average any positive-definite Hermitian inner product:The resulting inner product is positive-definite and invariant. If $W$ is an invariant subspace, then $W^{\perp }$ is invariant as well, since $⟨R(g)v,w{⟩}_K=⟨v,R(g^{-1})w{⟩}_K$. Thus $V=W\oplus W^{\perp }$. Restriction to a compact real form, followed by integration of a Lie-algebra representation, proves the Weyl complete reducibility theorem.

A Haar integral integrates a function against Haar measure. On a compact group, normalizing the measure to total mass one makes it an averaging operation. Translation invariance then implies that the average of a nontrivial continuous unitary character is zero: translating the integral multiplies it by a character value different from one.

A left Haar measure on a locally compact group that is a Hausdorff space is a nonzero regular Borel measure, finite on compact sets, satisfying $\mu (gA)=\mu (A)$ for every Borel set $A$. Such a measure exists and is unique up to a positive scalar. Right Haar measure instead satisfies $\mu (Ag)=\mu (A)$; the two need not coincide. On a compact group, normalization gives total mass one and invariance on both sides. See Tornier, Haar Measures, Definition 2.1 and Theorem 2.2.

For a finite group, normalized Haar measure is uniform counting; for the circle group, it is normalized angle integration on the circle. These examples turn symmetry into a rule for averaging.

On a $d$-dimensional Lie group, take the coframe dual to a basis of left-invariant vector fields. Its top wedge is nonvanishing and invariant under left translations, so its absolute density defines a left Haar measure. If the frame has coordinate matrix $A(x)$, the density is $|\det A(x){|}^{-1}d{x}^1\cdots d{x}^d$. This makes explicit computation of Haar measure a determinant calculation.