|
|
|
|
Frobenius' theorem
|
(Theorem)
|
|
|
One direction in the proof is pretty easy since the tangent space of an integral manifold is involutive, so sometimes the theorem is only stated in one direction, that is: If $\Delta$ is involutive then it is completely integrable.
Another way to state the theorem is that if we have $n$ vector fields $\{X_k\}_{k=1}^n$ on a manifold $M$ such that they are linearly independent at every point of the manifold, and furthermore if for any $k,m$ we have $[X_k,X_m] = \sum_{j=1}^n a_j X_j$ for some $C^\infty$ functions $a_j$ , then for any point $x \in N$ , there exists a germ of a submanifold $N \subset M$ , through $x$ , such that $TN$ is spanned by $\{X_k\}_{k=1}^n$ . Note that if we extend $N$ to all of $M$ , it need not be an embedded submanifold anymore, but just an immersed one.
For $n=1$ above, this is just the existence and uniqueness of solution of ordinary differential equations.
- 1
- William M. Boothby. An Introduction to Differentiable Manifolds and Riemannian Geometry, Academic Press, San Diego, California, 2003.
- 2
- Frobenius theorem at Wikipedia: http://en.wikipedia.org/wiki/Frobenius_theorem
|
"Frobenius' theorem" is owned by jirka.
|
|
(view preamble | get metadata)
Cross-references: existence and uniqueness of solution of ordinary differential equations, embedded submanifold, spanned by, germ of a submanifold, functions, point, linearly independent, vector fields, theorem, integral manifold, tangent space, proof, involutive, completely integrable, distribution, smooth manifold
This is version 6 of Frobenius' theorem, born on 2004-11-30, modified 2005-09-07.
Object id is 6543, canonical name is FrobeniussTheorem.
Accessed 5026 times total.
Classification:
| AMS MSC: | 53-00 (Differential geometry :: General reference works ) | | | 37C10 (Dynamical systems and ergodic theory :: Smooth dynamical systems: general theory :: Vector fields, flows, ordinary differential equations) | | | 53B25 (Differential geometry :: Local differential geometry :: Local submanifolds) |
|
|
|
|
|
|
Pending Errata and Addenda
|
|
|
|
|
|
|
|
|
|
|