The Lie group–Lie algebra correspondence separates local differential structure from global topology. For a Lie group $G$, define $LG=T_{e}G$ as a real vector space. Extend each $X\in T_{e}G$ to the left-invariant vector fieldThe commutator of two such vector fields is again left-invariant. SetThe vector-field commutator is bilinear, antisymmetric and satisfies the Jacobi identity, so this makes $T_{e}G$ a Lie algebra. For a matrix group this bracket is $XY-YX$.

For a smooth Lie group homomorphism $\varphi :G_1\to G_2$, its differential at the identity is the linear mapThe identity $\varphi \circ L_g=L_{\varphi (g)}\circ \varphi$ shows that the corresponding left-invariant fields are $\varphi$-related. Brackets of related vector fields are related, henceThe chain rule also gives $L(\psi \circ \varphi )=L\psi \circ L\varphi$ and $L(\mathrm{id})=\mathrm{id}$. Thus differentiation is a functor from Lie groups and smooth homomorphisms to real Lie algebras and bracket-preserving linear maps.

To see what information the differential retains, apply $\varphi$ to a one-parameter subgroup. Its initial tangent is $L\varphi (X)$, so uniqueness yieldsIf $G_1$ is connected, a small exponential neighbourhood generates it. Every $g\in G_1$ is a finite product $\exp X_1\cdots \exp X_k$, and thereforeFor an already existing homomorphism this expression is independent of the chosen product because it equals $\varphi (g)$. Two homomorphisms with the same differential agree on that neighbourhood and hence everywhere. This proves that a Lie group homomorphism determined by its differential requires a connected source.

On a disconnected source only the restriction to $G_1^{\circ }$ is determined. For instance a nontrivial finite discrete group has zero Lie algebra, so its identity and trivial endomorphisms have the same zero differential but are different maps. The discussion of all components must therefore include additional global data. The remaining parts explain the corresponding existence and topology conditions.

For an oriented real vector bundle $\pi :E\to X$ of rank $d$, the Thom isomorphism theorem gives a unique Thom class $u_E\in H^d(D(E),S(E);\mathbb{Z})$ restricting to the chosen generator in each fibre, and isomorphismsEquivalently use the pair $(E,E\setminus X)$, identifying $X$ with the zero section. After forgetting relative supports, pull the Thom class back along the zero section $s$ to define the Euler class:In this expression the relative class is first mapped to absolute cohomology.

A compact embedded submanifold equipped with a coorientation $Y\subset X$ has an oriented normal bundle ${\nu }_Y$ of rank $d$. A tubular neighborhood and excision identify its Thom class with a class $u_Y\in H^d(X,X\setminus Y)$. Its image in $H^d(X)$ is the cohomology class of a cooriented submanifold ${\epsilon }_Y$. In particular it restricts to zero on $X\setminus Y$. If the ambient manifold is oriented, orient $Y$ by the normal-first convention. The class is its Poincare dual, characterized byfor the appropriate complementary degree. This is the stated integration identity in cohomological notation.

First prove the Lefschetz fixed-point theorem for an oriented closed n-manifold $X$. Orient its diagonal by the identification $\Delta \cong X$, and choose the normal orientation so this agrees with the normal-first convention in the product. This produces the integral class ${\epsilon }_{\Delta }$. To compute the part that contributes to the trace, tensor with $\mathbb{Q}$: the trace on a finitely generated integral cohomology group means its trace on the free quotient, equivalently on rational cohomology; torsion contributes nothing.

Choose a basis $e_{p,j}$ of $H^p(X;\mathbb{Q})$ and its Poincare duality pairing dual basis $e_{p,j}^{\vee }\in H^{n-p}(X;\mathbb{Q})$, normalized by $⟨e_{p,i}⌣e_{p,j}^{\vee },[X]⟩={\delta }_{ij}$. The rational image of the cohomology class of the diagonal isIndeed, pairing this expression against $\alpha \times \beta$ with degrees $p,n-p$ picks out the p-summands. The cross-product multiplication contributes $(-1{)}^{p^2}$ and moving $\alpha$ past $e_{p,j}^{\vee }$ contributes $(-1{)}^{p(n-p)}$. Together with $(-1{)}^{np}$ their product is $+1$. The result is $⟨\alpha ⌣\beta ,[X]⟩$, exactly the diagonal's defining identity. The rational Künneth theorem and nondegeneracy of the duality pairing determine the class. An integral torsion component, if present, is not determined by this rational expression and does not affect any evaluation below.

For the graph map ${\Gamma }_f=(1,f):X\to X\times X$, write $f^{\ast }{e}_{p,j}={\sum }_i{A}_{ij}{e}_{p,i}$. Pulling back the expression and evaluating gives the graph-diagonal formula for the Lefschetz number:If $f$ has no fixed point, its graph lies in $(X\times X)\setminus \Delta$. The relative Thom class restricts to zero there, so ${\Gamma }_f^{\ast }{\epsilon }_{\Delta }=0$ and $L(f)=0$. The contrapositive proves the required fixed-point assertion, without requiring smoothness of $f$ or transversality of its graph.

The printed hypothesis does not require $X$ to be orientable. For a nonorientable $X$, the diagonal's normal bundle is $TX$, so an ordinary integral coorientation cannot be assumed. We extend the proved theorem as follows, rather than apply the untwisted diagonal computation incorrectly. We first construct a smooth embedding in Euclidean space using finitely many charts ${\chi }_i:U_i\to {\mathbb{R}}^n$ and smooth functions ${\rho }_i$ supported in those charts, with at least one ${\rho }_i(x)>0$ at every point. The map $\Psi (x)=({\rho }_i(x),{\rho }_i(x){\chi }_i(x){)}_i$, with zero extensions, is injective: a positive first coordinate identifies a chart in which its remaining coordinates recover $x$. Its differential is injective as well, since $d{\rho }_i(v)=0$ and $d({\rho }_i{\chi }_i)(v)=0$ force $d{\chi }_i(v)=0$ in a chart with ${\rho }_i>0$. Compactness makes this injective immersion a homeomorphism onto its image. This finite-chart Euclidean embedding of a compact smooth manifold, enlarged by zero coordinates if necessary, has positive codimension. A compact tubular disc neighbourhood $W$ is an oriented N-manifold with boundary, inheriting its orientation from the ambient Euclidean space. Its double of a manifold $M$ is closed and oriented. Projection of each copy of $W$ to $X$ agrees on their common boundary, giving $r:M\to X$; inclusion into the first copy gives $i:X\to M$ with $ri=1_X$.

Set $F=ifr$. A fixed point of $F$ must lie in $i(X)$, and then is exactly the image of a fixed point of $f$. Moreover $F^{\ast }=r^{\ast }{f}^{\ast }{i}^{\ast }$, and cyclicity of trace for maps between finite-dimensional rational cohomology groups givesin each degree, because $i^{\ast }{r}^{\ast }=1$. Thus $L(F)=L(f)$. The oriented theorem for $M$ now gives a fixed point of $F$, hence of $f$, whenever $L(f)\ne 0$. This oriented manifold retract for the Lefschetz theorem proves the full printed result. The double construction also works componentwise if necessary.

An orientation of a topological n-manifold without boundary is a choice of generator ${\mu }_x$ of each local homology group $H_n(M,M\setminus \{x\};\mathbb{Z})\cong \mathbb{Z}$, compatible in coordinate neighbourhoods. Equivalently, local orientations of coordinate discs are chosen so their overlap changes have degree $+1$. This trivializes the orientation local system.

Here the printed $H_{\mathrm{ct}}^n$ denotes compactly supported cohomology, which we write $H_c^n$. We prove the cyclicity assertion without assuming Poincare duality. By the compactly supported cohomology of Euclidean space, an open n-disc has one copy of $\mathbb{Z}$ in degree $n$ and zero in all other degrees. The compact-support Mayer–Vietoris sequence for open sets containsUse the finite good cover allowed in the paper. Induction on the number of discs shows that any union of its discs has zero compact-support cohomology above degree $n$: at each step the intersection with the new disc is itself a union of fewer discs with a good cover, so the displayed sequence and its higher-degree terms apply.

The same induction presents $H_c^n(M)$ by a generator $u_i$ for each cover disc, with overlap relations $u_i={ϵ}_{ij}{u}_j$, where ${ϵ}_{ij}=\pm 1$ is its orientation transition sign. Indeed $H_c^n$ of the intersection is generated by its overlap discs; extension by zero sends each generator to the two disc generators with these signs. Passing through the compact-support Mayer–Vietoris sequence imposes exactly those relations. This is top compactly supported cohomology from orientation signs.

Since $M$ is connected, the overlap graph is connected: a disconnection would split the union into two disjoint nonempty open subsets. A spanning tree expresses every generator as $u$ or $-u$, so $H_c^n(M)$ is cyclic. Additional overlap relations can only impose $2u=0$. If $M$ is oriented, use its compatible local orientations; every relation becomes $u_i=u_j$, and the presentation is exactly one free generator. ThusIn fact a nonorientable connected manifold has an orientation-reversing loop in this transition graph and gives $\mathbb{Z}/2$. In dimension zero the connected manifold is a point and the assertion is immediate.

For a closed oriented n-manifold, Poincare duality says that its fundamental class $[M]\in H_n(M;\mathbb{Z})$ gives isomorphisms by cap productFor an oriented manifold that is not necessarily compact, the corresponding ordinary-homology statement is $H_c^q(M;\mathbb{Z})\cong H_{n-q}(M;\mathbb{Z})$, using the locally finite fundamental class. The version without compact supports on cohomology pairs with locally finite homology instead. Orientability and the absence of boundary are essential to these untwisted formulas; for a manifold with boundary one needs Poincare-Lefschetz duality, and for a nonorientable manifold one uses the orientation local system.

For the following cases, $H_0=\mathbb{Z}$ forces connectedness. The universal coefficient theorem for cohomology givessince the Ext term from $H_0=\mathbb{Z}$ vanishes. Combining with duality yields the third homology of a closed oriented four-manifold constraint $H_3\cong \mathrm{Hom}(H_1,\mathbb{Z})$.

For the converse, let $f$ be bounded and $\Vert f\Vert =f(1)=c$. If $c=0$, it is zero and positive. Suppose $c>0$. For any Hermitian $h$, the Banach algebra exponential $e^{ith}$ is unitary for real $t$, so its norm is one by the C-star identity. ConsequentlyWriting $f(h)=u+iv$ and squaring moduli gives $|f(e^{ith}){|}^2=c^2-2cvt+O(t^2)$. The bound for both signs of small $t$ forces $v=0$, so $f(h)$ is real.

For a Hermitian element $a$, repeated applications of the C-star identity give $\Vert a^{2^n}\Vert =\Vert a{\Vert }^{2^n}$. The spectral radius formula therefore gives $\Vert a\Vert =r(a)$. Take $h=x^{\ast }x$; by the permitted spectral positivity assumption, $\sigma (h)\subseteq [0,\Vert h\Vert ]$. If $M=\Vert h\Vert >0$, affine spectral mapping and the just-proved Hermitian norm identity give $\Vert 1-h/M\Vert \le 1$. Hence $|c-f(h)/M|\le c$. Since $f(h)$ is real, this implies $f(h)\ge 0$. If $M=0$, $h=0$ and the result is immediate. Thus a bounded functional with $\Vert f\Vert =f(1)$ is positive.

For the spectral-value request, let $\lambda \in \sigma (x)$ and define a functional on the linear span of $1,x$ by $g(a1+bx)=a+b\lambda$. If $b\ne 0$, the scalar $a+b\lambda$ belongs to $\sigma (a1+bx)$: subtracting it from that element gives $b(x-\lambda 1)$, which is not invertible. The same norm bound is immediate for $b=0$. ThereforeThis also proves well-definedness if that span is one-dimensional. We have $g(1)=1$ and $\Vert g\Vert =1$. The complex Hahn-Banach theorem extends it to a functional $f$ on all of $A$ with norm one and $f(1)=1$. The converse just proved makes that extension positive. Thus there is a state with $f(x)=\lambda$, the spectral values attained by C-star states result.

Finally, for $x\ne 0$, write $x=h+ik$ with $h,k$ Hermitian. At least one of them is nonzero. Its norm equals its spectral radius, so compactness of its nonempty spectrum supplies a nonzero spectral value. Apply the preceding state construction to that Hermitian element. Part (i) makes $f(h),f(k)$ real; the selected one is nonzero, so $f(x)=f(h)+if(k)\ne 0$. This proves positive functionals separate every nonzero element, the states separate elements of a C-star algebra property. Looking only at $\sigma (x)$ would not prove this last step, since a nonzero quasinilpotent $x$ can have spectrum $\{0\}$.

A primitive ideal is the kernel of an algebraically irreducible unital representation, equivalently the annihilator of a module for a nonzero simple module. Irreducibility here excludes all proper nonzero invariant linear subspaces, not just closed ones. In a Banach algebra the simple modules can be represented as $A/L$ with $L$ a maximal left ideal. Such an ideal is closed: if its closure were all of $A$, it would contain an element close enough to $1$ to be invertible by the Neumann series, contradicting properness. Maximality then makes its closure itself. Thus the quotient carries a Banach-space norm and a bounded left action.

Let $P$ be a maximal proper two-sided ideal. The quotient ring $R=A/P$ is nonzero, unital and simple as a ring. By the Zorn lemma, choose a maximal left ideal $L$ of $R$. The simple module $R/L$ has an annihilator which is a proper two-sided ideal of $R$. Simplicity forces that annihilator to be zero. Its pullback to $A$ is exactly $P$, proving every maximal proper two-sided ideal is primitive. If one wants the Banach representation explicitly, realize the same module as the quotient of $A$ by the pullback maximal left ideal, which is closed by the preceding argument.

Give $\mathcal{O}(U)$ the compact-open topology, that is, uniform convergence on every compact subset of $U$. Choose a bounded finite union of polygonal domains $D$ whose closure lies in $U$, whose interior contains $\sigma (x)$ and whose boundary avoids the spectrum. Orient its boundary $\Gamma$ positively, with holes oriented negatively. It has winding number one on the spectrum and zero outside $U$. For the resolvent of an element $R(\zeta ,x)=(\zeta 1-x{)}^{-1}$ define the holomorphic functional calculus byThis is an integral of a continuous Banach space-valued function. Its value is independent of the admissible contour: the integrand is holomorphic away from the spectrum, and the difference of two such cycles has winding number zero there, so the Cauchy integral theorem applies. The vector-valued theorem follows by applying bounded linear functionals and then the Hahn-Banach theorem.

Linearity is immediate. To prove multiplicativity, choose two admissible contours with the inner domain compactly contained in the outer one, and use the resolvent identityIn the double integral for ${\Theta }_x(f){\Theta }_x(g)$, integrate the first term in the outer variable $\eta$. The Cauchy integral formula gives $g(\zeta )$. For the second term, integration of $f(\zeta )/(\eta -\zeta )$ over the inner contour is zero, since $\eta$ lies outside that inner domain. Therefore the double integral equals ${\Theta }_x(fg)$. The continuous integrands on disjoint compact contours justify exchanging the integrals.

For $f=1$ and $f=Z$, deform to a large circle and use the Neumann series $R(\zeta ,x)={\sum }_{m\ge 0}{x}^m{\zeta }^{-m-1}$. Its relevant coefficients give ${\Theta }_x(1)=1$ and ${\Theta }_x(Z)=x$. The estimateproves continuity in the stated topology.

For uniqueness, the Runge approximation theorem in the required form says that rational functions with poles outside $U$, allowing a pole at infinity, are dense in $\mathcal{O}(U)$ for uniform convergence on compact subsets. Every complex-linear unital homomorphism taking $Z$ to $x$ has prescribed values on polynomials and on $(Z-a{)}^{-1}$ for $a\notin U$: the latter value must be $(x-a1{)}^{-1}$. Hence its rational-function values are prescribed. Continuity and Runge approximation force its values on every holomorphic function. This proves continuity and uniqueness of holomorphic functional calculus, including disconnected $U$.

To prove the spectral mapping theorem, first suppose $\mu \notin f(\sigma (x))$. On a smaller open neighborhood $U^{\prime }$ of the spectrum, $f-\mu$ has no zeros, so $h=1/(f-\mu )$ is holomorphic there. The contour definition is compatible with this restriction. Multiplicativity gives ${\Theta }_x(f)-\mu 1$ the inverse ${\Theta }_x(h)$, excluding $\mu$ from its spectrum.

Conversely, if $\mu =f(\lambda )$ for $\lambda \in \sigma (x)$, write $f(z)-\mu =(z-\lambda )g(z)$, defining $g(\lambda )=f^{\prime }(\lambda )$ at its removable singularity. ThenThese two factors commute. An invertible product of commuting elements makes each factor invertible, by multiplying the inverse of the product by the other factor. That would contradict $\lambda \in \sigma (x)$. Thus

A polynomial in $\mathbb{Z}[x]$ is a primitive polynomial when the greatest common divisor of its coefficients is one. The Gauss lemma for polynomials states that a product of primitive integer polynomials is primitive, and that a primitive positive-degree integer polynomial is reducible over $\mathbb{Q}$ exactly when it factors into positive-degree integer polynomials. More generally, polynomial content is multiplicative up to sign.

The Eisenstein criterion states that a primitive polynomial $a_n{x}^n+\cdots +a_0\in \mathbb{Z}[x]$ is irreducible over $\mathbb{Q}$ if there is a prime $p$ such that $p\nmid a_n$, $p\mid a_j$ for every $j<n$, and $p^2\nmid a_0$. These criteria permit integer coefficient tests for rational irreducibility; the following parts apply them with their exact divisibility hypotheses.

A Bayes estimator minimizes the integrated loss function under the prior and sampling distribution. For a nonnegative loss, Tonelli's theorem and the posterior distribution give the risk decompositionwhere $m$ is the marginal density. Thus choosing, for each observed $x$, a measurable minimizer of the posterior expected loss minimizes the integrated risk. Observations of marginal probability zero do not affect the rule.

Here the likelihood is $\theta e^{-\theta x}$ and the prior is $\mu e^{-\mu \theta }$ on positive parameters. Put $b=\mu +x$. Their product is $\mu \theta e^{-b\theta }$, and ${\int }_0^{\infty }\theta e^{-b\theta }d\theta =b^{-2}$. The marginal density and posterior are thereforeThis Gamma-exponential conjugacy calculation gives a Gamma distribution with shape $2$ and rate $b$. It is the posterior, rather than the prior alone, which determines both requested estimators.

Uniform convergence means that for every $\epsilon >0$ there is an integer $N$, independent of $x$, such that $|F_n(x)-F(x)|<\epsilon$ for all $n\ge N$ and every $x\in (0,1)$. Equivalently ${\sup }_{0<x<1}|F_n(x)-F(x)|\to 0$. In pointwise convergence, the required $N$ may depend on the chosen $x$.

Irreducibility and the presence of another state imply $P_{ii}<1$: otherwise $i$ would be absorbing and could not reach that other state. Hence the proposed matrix has nonnegative entries and row sums ${\sum }_{j\ne i}{P}_{ij}/(1-P_{ii})=1$.

Observe the original Markov chain only at times when it changes state. Starting from $i$, the next different state is $j\ne i$ with probabilityEach holding run has a finite geometric length almost surely. The Strong Markov property at the successive change times therefore identifies the observed process as the discrete-time jump chain with transition matrix $\tilde{P}$.

Any positive-probability path of the original chain gives a path of this new chain after repeated consecutive states are deleted. Every remaining edge has positive $\tilde{P}$ probability, so $\tilde{P}$ is irreducible. For recurrence, starting at any state $i$, repeated application of the Markov property at return times shows that the original recurrent chain visits $i$ infinitely often almost surely. A single sojourn cannot account for infinitely many visits, because every sojourn is finite almost surely. There must therefore be infinitely many separate visits to $i$ in the observed chain too. Thus $\tilde{P}$ is recurrent, proving that recurrence survives deletion of self-transitions.

Set $r=\sqrt{x^2+y^2}$. The bound $|xy|\le r^2/2$ and $|x^2-y^2|\le r^2$ give $|f(x,y)|\le r^2/2$. Hence $f\to 0$ at the origin, proving continuity, and $|f(x,y)|/r\to 0$, proving Fréchet differentiability there with derivative equal to the zero linear map.

Along the coordinate axes, direct difference quotients giveThese formulas include the origin. Therefore the two mixed partial derivatives differ:The explicit operator order removes any ambiguity about the notation for mixed derivatives. Also $f_{xx}(0,0)=f_{yy}(0,0)=0$, since the first derivatives restricted to their own axes vanish identically.

All four second-order partial derivatives are discontinuous at the origin. Away from it,Along $x=y\ne 0$ these are one and minus one, rather than their zero values at the origin. Meanwhile ${\partial }_y{\partial }_{x}f(x,0)=1$ for $x\ne 0$, whereas its value at the origin is minus one; and ${\partial }_x{\partial }_{y}f(0,y)=-1$ for $y\ne 0$, whereas its origin value is one. This gives a concrete unequal mixed partial derivatives example despite differentiability of the original function.