Distribution (Differential Geometry)

A distribution on a smooth manifold assigns to each point a smoothly varying subspace of its tangent space, encoding admissible infinitesimal directions.

Version

v1 · 2026-09-28 · History

Domain-specific #

7623

Origin domain

Differential Geometry

Aliases

Tangent distribution, Plane field

Core Idea

In differential geometry, a distribution Δ on a smooth manifold (M) assigns to each point (x\in M) a vector subspace Δₓ of the tangent space (T_xM), with the assignment varying smoothly. It specifies the infinitesimal directions that are admissible, horizontal, constrained, or otherwise distinguished at every point. For a regular rank-(k) distribution, all fibers have dimension (k) and form a vector subbundle Δ⊂(TM). Locally it can be generated by smooth vector fields (X_1,…,X_k) whose values span Δₓ.

How would you explain it like I'm…

Allowed Directions Everywhere

Think of an ice skate on a frozen pond. At every spot, the skate can only glide the way its blade points, forward or backward, not sideways. A distribution is like a rule that gives every spot its own set of allowed directions, and the rule changes smoothly from spot to spot.

Rules for Which Way to Go

In geometry, a smooth shape, like a surface, has at each point a set of all the directions you could move in. A distribution picks out, at every point, a smaller group of those directions: the 'allowed' or special ones. And it does this smoothly, so the choice changes gently from point to point. Think of an ice skate: at each spot it can glide forward and backward but not sideways. Mathematicians then ask interesting questions, like whether moving only in allowed directions keeps you stuck on a thinner sheet or whether wiggling back and forth can still get you anywhere.

Tangent-Subspace Field

In differential geometry, a distribution on a smooth manifold (a smooth curved space) picks out, at each point, a subspace of the tangent space, meaning a chosen set of allowed directions, and does so smoothly. If the number of allowed directions is the same everywhere, say k, it is a regular rank-k distribution, and near any point you can describe it with k smooth vector fields that span the allowed directions. Paths that always move in allowed directions are the admissible ones. Two opposite behaviors matter. If combining allowed motions never produces a new direction, the distribution is involutive, and the Frobenius theorem says the allowed directions are locally tangent to stacked layers (a foliation), so you stay on one layer. If combining allowed motions eventually produces every direction, it is bracket-generating, which is why a car that can't slide sideways can still parallel park. Note this is a different meaning of distribution from the one in probability.

 

A distribution on a smooth manifold M is a smooth assignment to each point x of a vector subspace of the tangent space T_xM, specifying the admissible, horizontal, or otherwise distinguished infinitesimal directions there. A regular rank-k distribution has all fibers of dimension k and forms a vector subbundle of TM; locally it is spanned by k smooth vector fields. Singular or generalized distributions allow the rank to vary and require a more careful smoothness condition. Its geometric consequences come from Lie-bracket behavior. An involutive distribution is closed under Lie brackets of its sections, and by the Frobenius theorem a regular involutive distribution is integrable: locally it is tangent to the leaves of a foliation. At the opposite extreme, a bracket-generating distribution's iterated brackets eventually span the whole tangent bundle, the condition central to nonholonomic geometry and control. The defining invariant is pointwise tangent subspaces, assigned smoothly, with admissible curves or vector fields tangent to them; it is not a measure or generalized function.

Scope of Application

A differential-geometric distribution applies on a smooth manifold when each point receives a smoothly generated tangent subspace whose sections, admissible curves, Lie brackets, rank behavior, and integrability convention are specified; probability laws and generalized functions lie outside this literal scope.

• Regular plane fields — constant-rank tangent subspaces form vector subbundles and provide the basic setting for local generators, sections, and coordinate-invariant comparison.
• Foliation theory — an involutive regular distribution is tested for local integral manifolds whose tangent spaces recover the assigned fibers.
• Differential topology — distributions organize smooth subbundles, their homotopy classes, global extension questions, and obstructions to prescribed tangent-plane fields.
• Contact geometry — a contact form's kernel defines a regular hyperplane distribution whose maximal nonintegrability is read through its differential or bracket growth.

Clarity

A clear definition gives manifold dimension, distribution rank, local generators or defining forms, and the convention for regular versus singular. If integrability is claimed, the account states the bracket or flow criterion and identifies integral manifolds. If bracket-generating behavior is claimed, it states the derived flag and step or growth vector. Notation must distinguish Δₓ, the fiber at (x), from Γ(Δ), its smooth sections, and from the union Δ⊂(TM).

Manages Complexity

The distribution compresses many local differential constraints into a geometric subbundle. Instead of listing every admissible path, one specifies allowed velocities pointwise. Integral leaves, bracket flags, growth vectors, and curvature-like obstructions then summarize global and local consequences. The compression can hide singular points, rank changes, and nontrivial topology. Local generators need not extend globally, and equal ranks do not guarantee equivalent bracket structures.

Abstract Reasoning

Reasoning alternates between fiberwise linear algebra and differential closure. At each point, Δₓ is a linear subspace. Across points, smoothness couples those choices. Lie brackets test whether following admissible vector fields creates new infinitesimal directions. If brackets remain within Δ, integral leaves may exist; if they expand to (TM), paths tangent to Δ can nevertheless reach broadly. Coordinate-free reasoning is central: local vector fields or kernels can change presentation while the subbundle remains the same.

Knowledge Transfer

Within geometry, the assignment–bracket–integrability framework transfers from foliations to contact structures, nonholonomic mechanics, Poisson leaves, Lie group actions, and control systems. The carrier and operations remain literal tangent geometry even when the interpretation changes. Beyond differential geometry, the defensible reach is (A) analogy: “allowed directions” can orient reasoning about constrained moves in other systems, but no literal distribution has transferred. What the analogy carries is the contrast between locally admissible motion and larger reach obtained by composing moves; the manifold, tangent bundle, smoothly varying subspaces, vector fields, and Lie brackets remain home-bound.

Relationships to Other Abstractions

Current abstraction Distribution (Differential Geometry) Domain-specific

Parents (1) — more general patterns this builds on

• Distribution (Differential Geometry) is a kind of Relation Prime

  The relata are manifold points and tangent subspaces (equivalently, points and tangent vectors admitted by those subspaces); the arity and domains are explicit; and the rule “(v \in \Delta_x)” decides which point–vector pairs belong.

Hierarchy path (1) — routes to 1 parentless root

• Distribution (Differential Geometry) → Relation

Neighborhood in Abstraction Space

Distribution (Differential Geometry) sits in a moderately populated region (58^th percentile for distinctiveness): it has near-neighbors but no dense thicket of look-alikes.

Family — Differential Geometry & Curvature (9 abstractions)

Nearest neighbors

• Bundle metric — 0.86
• Geodesic — 0.85
• Stratifold — 0.85
• Chow–Rashevsky theorem — 0.84
• Submersion (mathematics) — 0.84

Computed from structural-signature embeddings · 2026-10-08