- For other meanings, see Distribution (disambiguation).
In differential geometry, a discipline within mathematics, a distribution is a subset of the tangent bundle of a manifold satisfying certain properties. Distributions are used to build up notions of integrability, and specifically of a foliation of a manifold.
Definition
Let <math>M</math> be a <math>C^\infty</math> manifold of dimension <math>m</math>, and let <math>n \leq m</math>. Suppose that for each <math>x \in M</math>, we assign an <math>n</math>-dimensional subspace <math>\Delta_x \subset T_x(M)</math> of the tangent space in such a way that for a neighbourhood <math>N_x \subset M</math> of <math>x</math> there exist <math>n</math> linearly independent smooth vector fields <math>X_1,\ldots,X_n</math> such that for any point <math>y \in N_x</math>, <math>X_1(y),\ldots,X_n(y)</math> span <math>\Delta_y.</math> We let <math>\Delta</math> refer to the collection of all the <math>\Delta_x</math> for all <math>x \in M</math> and we then call <math>\Delta</math> a distribution of dimension <math>n</math> on <math>M</math>, or sometimes a <math>C^\infty</math> <math>n</math>-plane distribution on <math>M.</math> The set of smooth vector fields <math>\{ X_1,\ldots,X_n \}</math> is called a local basis of <math>\Delta.</math> The naming is unfortunate here as these distributions have nothing to do with distributions in the sense of analysis. However the naming is in wide use.
Involutive distributions
We say that a distribution <math>\Delta</math> on <math>M</math> is involutive if for every point <math>x \in M</math> there exists a local basis <math>\{ X_1,\ldots,X_n \}</math> of the distribution in a neighbourhood of <math>x</math> such that for all <math>1 \leq i, j \leq n</math>, <math>[X_i,X_j]</math> (the Lie bracket of two vector fields) is in the span of <math>\{ X_1,\ldots,X_n \}.</math> That is, if <math>[X_i,X_j]</math> is a linear combination of <math>\{ X_1,\ldots,X_n \}.</math> Normally this is written as <math>[ \Delta , \Delta ] \subset \Delta.</math> Involutive distributions are the tangent spaces to foliations. Involutive distributions are important in that they satisfy the conditions of the Frobenius theorem, and thus lead to integrable systems. A related idea occurs in Hamiltonian mechanics: two functions f and g on a symplectic manifold are said to be in mutual involution if their Poisson bracket vanishes.
References
- William M. Boothby. An Introduction to Differentiable Manifolds and Riemannian Geometry, Academic Press, San Diego, California, 2003.
This article incorporates material from Distribution on PlanetMath, which is licensed under the GFDL.
