PlanetMath (more info)
 Math for the people, by the people. Sponsor PlanetMath
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
Owner confidence rating: High Entry average rating: No information on entry rating
Frobenius' theorem (Theorem)
Theorem 1 (Frobenius)   Let $M$ be a smooth manifold ($C^\infty$ ) and let $\Delta$ be a distribution on $M$ . Then $\Delta$ is completely integrable if and only if $\Delta$ is involutive.

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.

Bibliography

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)

View style:

See Also: distribution, integral manifold

Log in to rate this entry.
(view current ratings)

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 MSC53-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
None.
[ View all 2 ]
Discussion
Style: Expand: Order:
forum policy

No messages.

Interact
post | correct | update request | prove | add result | add corollary | add example | add (any)