## You are here

HomeFrobenius' theorem

## Primary tabs

# Frobenius’ theorem

###### Theorem (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.

# References

- 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

## Mathematics Subject Classification

37C10*no label found*53-00

*no label found*53B25

*no label found*

- Forums
- Planetary Bugs
- HS/Secondary
- University/Tertiary
- Graduate/Advanced
- Industry/Practice
- Research Topics
- LaTeX help
- Math Comptetitions
- Math History
- Math Humor
- PlanetMath Comments
- PlanetMath System Updates and News
- PlanetMath help
- PlanetMath.ORG
- Strategic Communications Development
- The Math Pub
- Testing messages (ignore)

- Other useful stuff

## Recent Activity

new question: Prime numbers out of sequence by Rubens373

Oct 7

new question: Lorenz system by David Bankom

Oct 19

new correction: examples and OEIS sequences by fizzie

Oct 13

new correction: Define Galois correspondence by porton

Oct 7

new correction: Closure properties on languages: DCFL not closed under reversal by babou

new correction: DCFLs are not closed under reversal by petey

Oct 2

new correction: Many corrections by Smarandache

Sep 28

new question: how to contest an entry? by zorba

new question: simple question by parag