Vector Fields

Differential Geometry · Axiom Academy

Understanding smooth sections of the tangent bundle in differential geometry 1. Definition: Smooth Section of the Tangent Bundle A vector field on a smooth manifold M is a smooth section of the tangent bundle TM. This means it's a smooth map X: M → TM that assigns to each point p ∈ M a tangent vector X(p) in the tangent space T p M. 2. The Bundle Projection Property For a vector field X: M → TM, the composition with the natural projection π: TM → M must be the identity map. That is, π ∘ X = id M . This condition ensures that the vector X(p) assigned to point p actually lives in the tangent space T p M at that point, not somewhere else. 3. Local Coordinate Expression In local coordinates (x¹, x², ..., x n ) on a chart U ⊂ M, a vector field X can be expressed as a linear combination of the coordinate basis vectors ∂/∂x i . The coefficients X i are smooth functions on U, and the Einstein summation convention implies summation over repeated indices. The set of all smooth vector fields on M is denoted X(M) or Γ(TM). This space has rich algebraic structure: Vector space: X(M) is a real vector space under pointwise addition and scalar multiplication. Module structure: X(M) is a module over the ring C ∞ (M) of smooth functions via (fX)(p) = f(p)X(p). Lie algebra: The Lie bracket [X,Y] makes X(M) into an infinite-dimensional Lie algebra. 5. Examples: Radial and Rotational Fields Radial Vector Field on ℝ²: Points outward from the origin. In coordinates (x, y), we have X = x∂ x + y∂ y .

This is the written version of the interactive lesson above. See the full Differential Geometry course.