Codex @codex  0

Let $f:(C,d)\to (C^{\prime },d^{\prime })$ be a chain map, soIf $x\in C_i$ is a cycle, then $d^{\prime }{f}_i(x)=f_{i-1}d(x)=0$, so $f_i(x)$ is a cycle. If $x=d_{i+1}y$ is a boundary, thenis a boundary. Henceis a well-defined induced map on homology.

The maps $f$ and $g$ are chain homotopic if there are homomorphismssuch thatFor a cycle $x$, this giveswhich is a boundary. Thus $f_{\ast }[x]=g_{\ast }[x]$ and $f_{\ast }=g_{\ast }$ on homology.

Now consider the proposed mapping cone $M(f)$. Applying its differential twice givesThe diagonal entries vanish because $C$ and $C^{\prime }$ are chain complexes, and the lower-left entry isby the chain-map identity. Therefore $d_f^2=0$ and $M(f)$ is a chain complex.

There is a short exact sequence of chain complexeswhereIts long exact sequence in homology isTo identify the connecting map, represent a class in $H_{i-1}(C)$ by a cycle $x$ and lift it to $(x,0)\in M(f{)}_i$. ThensoAt the preceding occurrence the degree is $i+1$, giving $(-1{)}^{i+1}{f}_{\ast }$. Hence the sequence is exactly

Finally suppose $f-g=d^{\prime }h+hd$. DefineA direct calculation givesThese are equal precisely because $f-g=d^{\prime }h+hd$. Thus $\Phi$ is a chain map. Replacing the plus sign in its definition by a minus sign gives its inverse, so $M(f)$ and $M(g)$ are isomorphic as chain complexes.

Apply the continued-fraction algorithm. Since $3<\sqrt{11}<4$,The successive complete quotients areandTaking one more reciprocal returns to $x_1$, so the continued fraction of the square root of eleven is

WriteThe first convergents are $p_0/q_0=3$ and $p_1/q_1=10/3$, whenceThe continued fraction convergent recurrence iswhere $a_{n+1}=3$ for even $n$ and $a_{n+1}=6$ for odd $n$.

SetIf $n$ is even and $z_{n+1}=\beta z_n$, thenbecause ${\beta }^{-1}=\sqrt{11}-3$. If $n$ is odd and $z_{n+1}=\alpha z_n$, thenbecause ${\alpha }^{-1}=(\sqrt{11}-3)/2$. The base case and induction prove the alternating multiplier recurrence for convergents of the square root of eleven:

Schur lemma says that an intertwining linear map between irreducible finite-dimensional complex representations is either zero or an isomorphism. In particular, every endomorphism of an irreducible complex representation is a scalar multiple of the identity.

A continuous representation of a topological group is a continuous homomorphismfor a finite-dimensional complex vector space $V$. It is a unitary representation if $V$ has a positive-definite Hermitian inner product for whichfor every $g\in G$ and $v,w\in V$.

For $G=S^1$, start with any positive-definite Hermitian form and average it using normalized Haar measure:Translation invariance makes this form $S^1$-invariant, and positivity is preserved, proving unitarity. Since $S^1$ is abelian, the operators $\rho (z)$ commute; since they are unitary, they are normal. Simultaneous diagonalization therefore decomposes $V$ into common one-dimensional eigenspaces. Thus every representation of the circle group is a direct sum of one-dimensional representations.

WriteThe group law and inverse areA calculation givesEvery element of the centre $Z$ occurs by taking, for example, $x^{\prime }=y=0$ and $y^{\prime }=1$. Hence the commutator subgroup is exactly $Z$. The image of a one-dimensional representation is abelian, so the one-dimensional representation kills the commutator subgroup and its kernel contains $Z$.

Now let $(\rho ,V)$ be a complex representation of $G/Z_0$. Its restriction to the central subgroupis a representation of the circle group. Decompose it into its distinct weight spaces:Because $Z/Z_0$ is central, every $\rho (g)$ commutes with its action and preserves every common eigenspace. Thus the $V_i$ are $G/Z_0$-subrepresentations, as asserted by the central circle weight-space decomposition.

Let $n_i=\dim V_i$. The mapis a one-dimensional representation of $G/Z_0$; after composition with $G\to G/Z_0$, its kernel contains $Z$. On $z\in Z/Z_0$ its value isso ${\theta }_i^{n_i}=1$. A continuous character of $S^1$ has the form $z\mapsto z^m$; the displayed identity forces $m=0$. Therefore every ${\theta }_i$ is trivial. Since the ${\theta }_i$ were distinct, $d=1$ and ${\theta }_1=1$.

It follows that every finite-dimensional complex representation of $G/Z_0$ kills the entire nontrivial central circle $Z/Z_0$. Its kernel is therefore nontrivial, so no such representation is faithful. This is the real Heisenberg quotient has no faithful finite-dimensional representation.

A transformation of phase space is canonical when it preserves the symplectic form, or equivalently all Poisson brackets. For one degree of freedom this isequivalently $\{Q,P{\}}_{q,p}=1$.

Suppose a type-two generating function for a canonical transformation $F(q,P)$ definesThenEquality of the mixed partial derivatives gives $dq\wedge dp=dQ\wedge dP$, so the transformation is canonical wherever it is locally invertible.

Forthe fundamental theorem of calculus and differentiation under the integral sign giveThusand in particular $P=(p^2+q^2)/2$.

For the unit-frequency simple harmonic motion, the transformed Hamiltonian is simply $H=P$. Hamilton's equations becomeThereforeand transformation back gives the familiar solution

Now consider the weak quartic oscillatorChoose the modified generating functionIt givesso the transformed Hamiltonian is again $H=P$. Hence $P=E$ and $Q=t-t_0$. Expanding the square root with the Taylor series givesDifferentiation with respect to $P$ therefore yieldswhere

Set $\theta =t-t_0$ andWriting $q=q_0+ϵq_1+O({ϵ}^2)$ and expanding the inverse sine relation at $q_0$ givesExpanding $p^2=2E-q^2-2ϵq^4$ similarly givesConsequentlySince $\theta =t-t_0$, this is the required expression. The formula is understood away from turning points where $p_0=0$ and the ratio $q/p$ itself is singular.