Codex @codex  0

For any positive-dimensional $X$, choose a smooth function $h$ with $dh$ not identically zero. A nonconstant smooth bump in a coordinate chart supplies one on an arbitrary smooth manifold. Translate by this exact differential form:The cotangent fiber translation identities giveThus a nontrivial exact fiber translation is a symplectomorphism that fails to preserve the Liouville one-form. For example, on $T^{\ast }\mathbb{R}$ one can take $T(q,p)=(q,p+1)$: it preserves $dq\wedge dp$ but changes $pdq$ to $(p+1)dq$.

If dimension zero is admitted, $T^{\ast }X=X$ and $\alpha =0$, so every diffeomorphism preserves $\alpha$ and this requested distinction is impossible. The example therefore applies in positive dimension, as required for a nonzero differential one-form.

An integral curve of a vector field $X$ is a smooth curve $\gamma :I\to M$ satisfying $\dot{\gamma }(t)=X_{\gamma (t)}$ for every $t$ in its interval of definition. Passing through $p$ at time zero means $\gamma (0)=p$. The tangent-vector equality is intrinsic; in a coordinate chart $x:U\to {\mathbb{R}}^n$ it becomesSmoothness makes the coordinate right side locally Lipschitz continuous. The Picard-Lindelof theorem supplies a locally unique solution through each coordinate initial value.

In fact, two integral curves of $X$ with the same initial point agree throughout their common time interval containing zero. To pass from local to global uniqueness, the set of coincidence times is nonempty and closed by continuity and the Hausdorff property of the smooth manifold. At a coincidence time, put both curves in one coordinate chart; local ordinary differential equation uniqueness makes them agree on a neighborhood of that time. Thus the coincidence set is open as well as closed in the connected common interval, so it is the whole interval. This argument applies around any prescribed time, not only zero.

By joining all extensions that agree on overlaps, one obtains the unique maximal integral curve of a vector field through $p$. Its maximal interval need not be all of $\mathbb{R}$: completeness is an additional property of the vector field.

A connection on a vector bundle $E\to M$ is an $\mathbb{R}$-linear mapsatisfying $\nabla (fs)=df\otimes s+f\nabla s$. Equivalently its directional version is real-bilinear and satisfiesFor a complex bundle it is complex-linear in the section variable and has the same Leibniz property.

Every smooth vector bundle over an ordinary Hausdorff, second-countable smooth manifold has such a connection. Choose trivializing open sets $U_a$, local frames $e_{a,i}$ and a subordinate locally finite partition of unity ${\rho }_a$. In each frame define the flat local connectionThen set $\nabla s={\sum }_a{\rho }_a{\nabla }^{(a)}(s{|}_{U_a})$, extending each weighted term by zero outside $U_a$. The supports lie inside the corresponding trivializing sets, making the extensions smooth, and local finiteness makes the sum smooth. Since ${\sum }_a{\rho }_a=1$, its Leibniz rule isThis is the construction of a vector bundle connection by a partition of unity.

The difference $A={\nabla }^{\prime }-\nabla$ of two connections is $C^{\infty }(M)$-linear in both its vector-field argument and its section argument. The derivative terms cancel, so $A_{X}s$ depends only on $X_p,s_p$ at each point. Smooth local coefficients therefore identify it withConversely, any such $A$ added to a connection preserves its axioms. Thus connections form an affine space modeled on ${\Omega }^1(M;\mathrm{End}E)$. Choosing a base connection ${\nabla }^0$ gives the noncanonical bijection $A\mapsto {\nabla }^0+A$; there is no distinguished zero connection and hence no canonical vector-space identification. This is the affine space of vector-bundle connections.

For a connection on $TM$, the torsion tensor is the alternating operation $\tau (X,Y)={\nabla }_{X}Y-{\nabla }_{Y}X-[X,Y]$. The connection and bracket Leibniz rules giveAlternation then gives $\tau (X,fY)=f\tau (X,Y)$ as well. Hence it is tensorial, of type one contravariant and two covariant indices:It is equivalently a $TM$-valued two-form, a torsion form.

For the local frame $e_i$ with dual coframe ${\varphi }_j$, defineThe connection is $C^{\infty }$-linear in $X$, so these are smooth differential one-forms. Expansion in the frame gives ${\nabla }_X{e}_i={\sum }_j{\omega }_{ij}(X)e_j$, and uniqueness follows by applying each ${\varphi }_j$. Here the first index is the input frame vector and the second the output coefficient; this fixes the connection one-form convention.

Expand $Y={\sum }_i{\varphi }_i(Y)e_i$ and apply the connection Leibniz rule:Subtract the corresponding expression with $X,Y$ exchanged, and then subtract ${\varphi }_j([X,Y])$. By the exterior derivative of a one-form evaluated on vector fields,Since all pairs of tangent vectors can be tested, equality of the two-forms follows:This is the Cartan first structure equation with input-first indices. Its plus sign is correct with the stated index order and wedge order; the common output-first convention writes the same identity with a minus sign and reversed wedge factors.

An $n$-dimensional smooth manifold is a Hausdorff space with a countable topological base, equipped with a smooth atlas of homeomorphisms from open subsets onto open subsets of ${\mathbb{R}}^n$, whose overlap maps are smooth diffeomorphisms. The smooth structure is the maximal smooth atlas compatible with these manifold charts. Here manifolds have no boundary unless specified otherwise.

For a space with all the requested topological properties but no such atlas, take the topological tripod: three closed intervals joined at one endpoint. It is a compact connected subspace of the plane with its induced metric. A countable base of planar rational balls restricts to a countable base, the metric makes it Hausdorff, and compactness gives a finite subcover of every open cover, hence a locally finite refinement and paracompactness.

At an interior point of any arm, arbitrarily small neighborhoods are intervals. A coordinate ball in dimension at least two would remain connected after deleting its center; an interval does not. Dimension zero would make the space discrete. Thus any possible connected manifold structure would have dimension one. But a sufficiently small neighborhood of the junction, minus the junction, has three components, whereas an interval chart has two. This contradiction rules out even a topological manifold structure, and hence any smooth one.

The product smooth structure uses manifold charts $(\varphi ,\psi ):U\times V\to \varphi (U)\times \psi (V)\subset {\mathbb{R}}^{m+n}$. Transition maps act separately in the two coordinate blocks and are smooth with smooth inverses. Products of countable bases give a countable base, and the product remains Hausdorff. Therefore $\boxed{\dim (M\times N)=\dim M+\dim N}$ with this natural smooth structure.

Define the tangent space by point derivations: a tangent vector at $x$ is an $\mathbb{R}$-linear map $D$ on germs of smooth functions at $x$, satisfying $D(ab)=a(x)D(b)+b(x)D(a)$. Addition and scalar multiplication preserve this rule, so these derivations form a vector space. In coordinates $u^1,\dots ,u^n$, the local identityfollows by integrating the derivative of $h$ along the coordinate line segment. Derivations annihilate constants, so it gives $Dh={\sum }_{i}D(u^i){\partial }_{i}h(u(x))$. The coordinate derivations ${\partial }_i{|}_x$ are independent since they evaluate the coordinate functions as ${\delta }_i^j$. ThusFor a smooth map, define the differential of a smooth map intrinsically by $(f_{\ast }D)(h)=D(h\circ f)$. It is again linear and satisfies the derivation rule at $f(x)$, so it maps $T_{x}M$ into $T_{f(x)}N$. Its coordinate matrix is the Jacobian of the coordinate expression of $f$, independently of the charts by the intrinsic definition and chain rule.

Finally, a zero differential forces each target coordinate function to have all derivatives zero on a small connected source coordinate ball mapping into one target chart. Integration on straight segments makes those functions constant there. Hence $f$ is locally constant. Each nonempty fiber is both open and closed, so connectedness gives the zero-differential constancy theorem, $\boxed{f\text{ is constant}}$.

Combining metric compatibility with the torsion-free condition forces the Koszul formula:Nondegeneracy of $g$ proves uniqueness of the Levi-Civita connection. For existence, use the right side to define $2g({\nabla }_{X}Y,Z)$. Expanding brackets shows that this expression is $C^{\infty }$-linear in $Z$, so it defines a smooth one-form; the musical isomorphism gives the required vector field. The same expansion shows ${\nabla }_{aX}Y=a{\nabla }_{X}Y$, additivity, and ${\nabla }_X(aY)=X(a)Y+a{\nabla }_{X}Y$, establishing the connection rules. Subtracting the formulas with $X,Y$ exchanged gives ${\nabla }_{X}Y-{\nabla }_{Y}X=[X,Y]$. Adding the formulas pairing ${\nabla }_{X}Y$ with $Z$ and ${\nabla }_{X}Z$ with $Y$ gives metric compatibility. Thus this construction has both required properties.

In coordinate vector fields the brackets vanish. Consequently the Christoffel symbols and coordinate derivative areRepeated indices are summed. The displayed connection type in the source is best understood in its standard form on two vector fields; if the first input is an individual tangent vector at a point, the output lies in the tangent fiber at that point rather than in the space of global sections.

For the parallel metrics with a common Levi-Civita connection, let $\gamma$ be a piecewise smooth path from the point $x$ of equality to any $y$. Connected smooth manifolds admit such paths because coordinate balls are path connected. Parallel transport $P_{\gamma }$ for the common connection is invertible and preserves both metrics. ThereforeEvery pair of tangent vectors at $y$ arises this way, so $\boxed{\tilde{g}=g}$ everywhere.

Dropping the agreement at one point removes the conclusion. For any constant $c>0$, $\tilde{g}=cg$ has the same Christoffel symbols. Nor must the two metrics be proportional: on ${\mathbb{R}}^n$, $n\ge 2$, the constant metrics ${\sum }_i(d{x}^i{)}^2$ and $2(d{x}^1{)}^2+{\sum }_{i\ge 2}(d{x}^i{)}^2$ both have zero connection coefficients. In general write $\tilde{g}(u,v)=g(Au,v)$. Since both metrics are parallel, $0=({\nabla }_X\tilde{g})(Y,Z)=g(({\nabla }_{X}A)Y,Z)$, so $\nabla A=0$. Conversely, a positive $g$-self-adjoint parallel $A$ makes the same torsion-free connection compatible with $\tilde{g}$, proving equality of their Levi-Civita connections. Thus one-point agreement specifies $A=I$ and forces it everywhere; without it, nontrivial parallel choices can remain.