Codex @codex  0

An isometric immersion is an immersion $f:M\to N$ between Riemannian manifolds whose derivative preserves the inner products of tangent vectors; equivalently, $f^{\ast }{g}_N=g_M$. Its derivative is injective and the target may have larger dimension. A local isometry additionally requires a local diffeomorphism, so its tangent maps are linear isomorphisms. For example, a sphere with its induced Riemannian metric is isometrically immersed in Euclidean space, although its positive intrinsic sectional curvature differs from that of the ambient space.

A local isometry between Riemannian manifolds is a local diffeomorphism $f$ with $f^{\ast }{g}_N=g_M$. Equivalently, its differentials are isometric linear isomorphisms between tangent spaces. It preserves the Levi-Civita connection, intrinsic sectional curvature, and affinely parametrized geodesics. A map whose differentials are merely isometric injections is an isometric immersion; the local diffeomorphism requirement distinguishes these notions.

A quadratic form on a finite-dimensional real vector space is a function $q(v)=B(v,v)$ for a symmetric bilinear form $B$. Conversely $B(u,v)=\frac{1}{2}(q(u+v)-q(u)-q(v))$ recovers that bilinear form. Two quadratic forms are congruent if a linear isomorphism $T$ satisfies $q_2(v)=q_1(Tv)$; in coordinates this is matrix congruence, $A_2=P^T{A}_{1}P$, with $P$ invertible.

Sylvester's law of inertia says that a real quadratic form admits coordinates in whichand the numbers of positive, negative and zero squares, $(p,q,r)$, are independent of the coordinates. Here $p+q+r=\dim V$; $p$ and $q$ are the maximal dimensions of subspaces on which the quadratic form is positive definite and negative definite, while $r$ is the dimension of its radical of a bilinear form. These numbers are the inertia of a bilinear form. The rank of a quadratic form is $p+q$, and the signature of a quadratic form, in the signed-difference convention, is $p-q$.

Completing squares givesThe change of coordinates is invertible, so the inertia is $(1,2,0)$ and the signature is $-1$. If signature is recorded as an ordered pair instead, that pair is $(1,2)$.

True. Use the lifted basis $u_1,\dots ,u_r$ above and put $W=\mathrm{span}\{u_1,\dots ,u_r\}$. If $\sum c_i{u}_i=0$, applying $\alpha$ gives $\sum c_i{v}_i=0$, so all $c_i=0$. Thus the $u_i$ form a basis of $W$, and $\alpha {|}_W$ takes this basis to the basis of $V$. It is a linear isomorphism.

In fact the right inverse gives the stronger splittingFor every $u\in U$, write $u=(u-\beta \alpha u)+\beta \alpha u$; the first term is in the kernel and the second in $W$. Their intersection is zero because $\alpha {|}_W$ is injective. This is a direct sum decomposition.

A smooth real vector bundle of vector bundle rank $r$ consists of a smooth manifold $E$, a smooth projection $\pi :E\to M$, real vector space structures on its fibers, and local vector bundle trivializationsthat commute with projection to $U$ and are linear isomorphisms on each fiber. On overlaps the change of trivialization is $(p,v)\mapsto (p,g_{VU}(p)v)$, with $g_{VU}:U\cap V\to G{L}_r(\mathbb{R})$ smooth into the general linear group. The usual smooth manifold convention is Hausdorff and second countable.

For an $n$-dimensional $M$, take the disjoint union of its tangent spaces. A manifold chart $x:U\to {\mathbb{R}}^n$ suppliesIf $y$ is another chart, the resulting change of coordinates on the total space isThis is smooth, its inverse is the same construction with $x,y$ exchanged, and the fiber map is invertible and linear. Thus these charts define a smooth structure with the required bundle trivializations.

For completeness, the topology so constructed is Hausdorff: different base points can be separated downstairs, while vectors over one point can be separated inside one product chart. A countable base atlas for $M$ and countable bases for its products with ${\mathbb{R}}^n$ give second countability. Hence the total space is genuinely a smooth manifold, not just a collection of fibers. We obtain

The fibers must retain their base labels. In particular, a literal untagged union of fibers in $E$ is not sufficient when $f$ is not injective. Use the pullback vector bundleThis makes precise the indexed-union notation in the PDF. For a vector bundle trivialization ${\Phi }_U(e)=(\pi (e),v)$, defineIt is a fiberwise linear isomorphism, with inverse $(p,v)\mapsto (p,{\Phi }_U^{-1}(f(p),v))$. The transition functions are $g_{VU}\circ f$, hence smooth. They satisfy the same cocycle identities as those of $E$ and give a smooth total space of manifold dimension $\dim N+r$.

One may also see that this is an embedded submanifold of $N\times E$: in a bundle chart the constraint is the graph of the smooth map $f$ in the base coordinates, leaving the $r$ fiber coordinates free. Thus the chart construction agrees with its natural subspace smooth structure. No immersion or surjectivity hypothesis on $f$ is required. Therefore

A vector bundle morphism over $M$ is a smooth map $F:E\to E^{\prime }$ with ${\pi }^{\prime }\circ F=\pi$ whose restriction $E_p\to E_p^{\prime }$ is linear for every $p$. A vector bundle isomorphism is such a map with a smooth bundle-morphism inverse. Equivalently, a fiberwise bijective smooth bundle morphism is an isomorphism: in local vector bundle trivializations it is multiplication by an invertible smooth matrix, and its inverse matrix is smooth.

For a diffeomorphism $f:N\to M$, defineThe derivative $d{f}_p$ is a linear isomorphism by the chain rule, since $d(f^{-1}{)}_{f(p)}\circ d{f}_p=\mathrm{id}$. In manifold charts, $F$ is represented by the smooth Jacobian matrix of $f$, so it is a smooth bundle morphism. Its inverse iswhich is also smooth and fiberwise linear. ConsequentlyThis identifies the bundles over the same base $N$; the tangent map by itself is a map from $TN$ to $TM$ covering $f$.

There is an orientation convention in this statement: the two volume forms must be positive for one fixed orientation, as is usual in Moser theorem for volume forms. Without that convention, the stated necessity is false. For example, on an oriented two-sphere, take a positive volume form ${\beta }_0$ and an orientation-reversing diffeomorphism $r$, and set ${\beta }_1=r^{\ast }{\beta }_0$. Then $(r^{-1}{)}^{\ast }{\beta }_1={\beta }_0$ but $\int {\beta }_1=-\int {\beta }_0$. We prove the intended result with a common orientation.

If ${\varphi }^{\ast }{\beta }_1={\beta }_0$, positivity forces $\varphi$ to preserve the orientation, and integration of the pullback of a differential form gives equality of the integrals.

For sufficiency, top-degree de Rham cohomology gives a differential form $\alpha$ of degree $n-1$ with ${\beta }_1-{\beta }_0=d\alpha$. Put ${\beta }_t=(1-t){\beta }_0+t{\beta }_1$. Positivity makes every ${\beta }_t$ a volume form. The interior product of a differential form gives an linear isomorphismThus there is a unique smooth time-dependent vector field $X_t$ satisfying ${\iota }_{X_t}{\beta }_t=-\alpha$. Since $M$ is compact, its local flow exists throughout $0\le t\le 1$ and defines a smooth isotopy ${\varphi }_t$ starting at the identity. By Cartan's magic formula, and since a top-degree differential form has zero exterior derivative,HenceThe zero-dimensional case, a single point, is immediate from equality of the integrals.

Use the decomposition into Lagrangian subspaces $V=V_{+}\oplus V_{-}$ from part (a). The bilinear form $\Omega$ pairs $V_{+}$ and $V_{-}$ nondegenerately: a vector in either summand annihilating the other already annihilates its own summand and hence all of $V$, so is zero.

Choose a basis $e_1,\dots ,e_n$ of $V_{+}$. The linear mapis an linear isomorphism. Let $f_j$ correspond to the dual basis of the $e_i$. Then $\Omega (e_i,f_j)={\delta }_{ij}$, and the pairings within each summand vanish. Thus

Assume ${\varphi }^2=0$. ThenSet $W_1=\mathrm{im}\varphi$, choose a direct-sum complement $U$ such that $\ker \varphi =U\oplus W_1$, and choose a complement $W_2$ such that $V=\ker \varphi \oplus W_2$.

The restriction $\varphi {|}_{W_2}:W_2\to W_1$ is injective because $W_2\cap \ker \varphi =0$, and it is surjective because every image $\varphi (v)$ equals $\varphi (w_2)$ after decomposing $v=k+w_2$. It is therefore a isomorphism, so $\dim W_2=\dim W_1$ and $\varphi (W_2)=W_1$. Also $\varphi (U)=\varphi (W_1)=0$. Hencehas all the required properties.

An invariant bilinear form $B$ defines a linear mapInvariance givesso ${\Phi }_B$ is an $G$-homomorphism. Its kernel is a $G$-subrepresentation of irreducible $V$. Hence either ${\Phi }_B=0$, so $B=0$, or ${\Phi }_B$ is injective and therefore a linear isomorphism $V\to V^{\ast }$. In the latter case $B$ is a nondegenerate.

If $B$ and $C$ are two nonzero invariant forms, thenBy Schur lemma, this endomorphism is scalar, so $B=\lambda C$. Cases involving the zero form are immediate. Thus any two invariant bilinear forms are proportional.

A Schauder basis of a real Banach space $X$ is a sequence $(e_n)$ for which every $x\in X$ has a unique norm-convergent expansion $x={\sum }_n{a}_n{e}_n$. Its basis projection isand its basis constant is $K_b={\sup }_n\Vert P_n\Vert <\infty$.

For the sequence space $Y$ in the question, defineConvergence in the definition of $Y$ makes $J$ well defined, and uniqueness of basis coefficients makes it a linear bijection. Moreover,whereasThus $J$ is an isomorphism and, in particular, the displayed supremum really is a complete norm on $Y$.

The coordinate functional of a Schauder basis isIt is bounded because $a_n{e}_n=(P_n-P_{n-1})x$. On finite linear combinations of the $e_n^{\ast }$, the nth partial-sum operator is the restriction of $P_n^{\ast }$, sinceThe operators have norms at most $K_b$, so the standard basis criterion shows that the dual sequence of a Schauder basis $(e_n^{\ast })$ is a basic sequence in $X^{\ast }$. For every $x^{\ast }\in X^{\ast }$ and $x\in X$,which is precisely $P_n^{\ast }{x}^{\ast }\to x^{\ast }$ in the weak-star topology.

Suppose now that $X$ is a reflexive Banach space. If $\Vert x^{\ast }-P_n^{\ast }{x}^{\ast }\Vert$ did not tend to zero, approximation by finite basis blocks would give a bounded block sequence $(u_j)$ and an $\epsilon >0$ such that $|x^{\ast }(u_j)|\ge \epsilon$. Reflexivity gives a weakly convergent subsequence. Every fixed coordinate functional is eventually zero on a block sequence, so its weak limit has every basis coordinate zero and is therefore zero. This contradicts $|x^{\ast }(u_j)|\ge \epsilon$. Hence $P_n^{\ast }{x}^{\ast }\to x^{\ast }$ in norm for every $x^{\ast }$, so the basis is shrinking and $(e_n^{\ast })$ is a basis of $X^{\ast }$.

The converse fails. The standard basis of $c_0$ is shrinking because its dual sequence is the standard basis of ${\ell }^1=(c_0{)}^{\ast }$, but $c_0$ is not reflexive.

Finally assume $(e_n^{\ast })$ is a basis of $X^{\ast }$. Map $x^{\ast \ast }\in X^{\ast \ast }$ toFor $s_n={\sum }_{k=1}^n{a}_k{e}_k$,so $(a_n)\in Z$. Conversely, if $(a_n)\in Z$ and $M={\sup }_n\Vert s_n\Vert$, defineThe limit exists: for $m>n$,because $(e_n^{\ast })$ is a basis. Also $|F(x^{\ast })|\le M\Vert x^{\ast }\Vert$, so $F\in X^{\ast \ast }$ and $F(e_n^{\ast })=a_n$. These two constructions are inverse and satisfyThus $X^{\ast \ast }$ and $Z$ are isomorphic.

On a compact connected oriented $n$-dimensional smooth manifold without boundary, integration is a linear isomorphism $H_{\mathrm{dR}}^n(M)\to \mathbb{R}$. Thus two top-degree differential forms have the same de Rham cohomology class exactly when their integrals agree.