The vector space at a point of a differentiable manifold consisting of equivalence classes of curves through that point (velocity vectors) or of derivations at the point; it represents the allowable first-order directions through the point.

Principle

Model infinitesimal motion at a point either as velocities of curves modulo first-order contact or as linear derivations on germs of smooth functions; the tangent space has the same dimension as the manifold and is a linear approximation to it.

Demonstration

At the north pole of the unit sphere S^2 the tangent space is the plane orthogonal to the radius vector; every smooth curve through the north pole determines a velocity vector in that plane.

Misapplication

Treating tangent spaces at different points as identical without specifying a connection or trivialization, or confusing the tangent space with the tangent bundle (a global collection of all tangent spaces).

Consequence

Differentials of smooth maps are linear maps between tangent spaces, enabling linearization of nonlinear problems; vector fields assign tangent vectors smoothly to each point, and tensors act on tangent spaces.

Reversal

Replacing tangent vectors by covectors yields the cotangent space of linear functionals; considering normal spaces (orthogonal complements) contrasts the tangential directions with directions transverse to a submanifold.

Boundary

Defined for differentiable (C^1 or better) manifolds or for smooth manifolds; does not exist intrinsically for merely topological spaces without additional structure and differs from discrete or combinatorial tangent analogues.

Semantic Tension

Tension between the geometric picture (velocity vectors in an ambient space) and the algebraic derivation definition: both are equivalent under smooth structure but suggest different intuitions; tension with ambient tangent planes when manifold is embedded.

Synthesis

The tangent space at a point is the linear space of first-order directions through that point, realized either as equivalence classes of curves or as derivations, and serves as the linear approximation used by differentials and local analysis.