Intereting Posts

Brainteaser Switches
What is an example of pairwise independent random variables which are not independent?
Euler's theorem: ^2014^2014 mod 98
Good 1st PDE book for self study
Meaning of $f:\to\mathbb{R}$
How to win at roulette?
Spectrum of an Orthogonal Projection Operator
True, false, or meaningless?
A subset of a compact set is compact?
Weak convergence of random variables
Find all real numbers $x$ for which $\frac{8^x+27^x}{12^x+18^x}=\frac76$
Relation between Hermite polynomials and Brownian motion (on martingale property)
Picking a $\delta$ for a convenient $\varepsilon$?
The integral $\int_0^8 \sqrt{x^4+4x^2}\,dx$
Real-world uses of Algebraic Structures

Given a smooth vector field $v$ on a (finite dimensional) manifold $M$, one can find the associated integral curves i.e. integral submanifolds of M such that the tangent space at any point $p\in M$ is spanned by $v_p$.

A smooth vector field can be looked as a ‘smooth specification of subspaces’ of the tangent space at each point.

However given smooth vector fields $v_1,…,v_r$ there may not exist a regular submanifold of $M$ such that the tangent space at each point of the submanifold is spanned by these vector fields (evaluated at that point).

Frobenius theorem gives us necessary and sufficient conditions for existence of such an ‘integral submanifold’.

- Geometric intuition behind the Lie bracket of vector fields
- What is the metric tensor on the n-sphere (hypersphere)?
- Product of Smooth Covering Maps a Smooth Covering Map? ( J.Lee, 2-12)
- Hamiltonian for Geodesic Flow
- Cartan's magic formula
- Poincare' s inequality for vectorfields on the sphere

However I am not able to visually see why integral submanifolds can not be found in general and why some conditions are indeed required on the vector fields.

1.) Is it possible to find an example of 2 vector fields in $\mathbb{R}^3$ which do not admit an integral submanifold and that this is clear just by ‘looking’ graphically at the vector fields.

2.) Does the issue being discussed above have anything to do with the fact (Whitney’s theorem) that every $n$ dimensional manifold (satisfying some suitable conditions may be) finds an embedding into $\mathbb{R}^{2n+1}$ but not necessarily in $\mathbb{R}^{n+1}$ ? Independently of whether it is related or not, I am unable to see the need for going to $2n+1$ dimensions graphically and would appreciate if there is an intuitive way of understanding it.

Partial answers/ related comments/ references are greatly appreciated.

- When is the Laplace beltrami operator uniformly elliptic?
- Euler characteristic of an $n$-sphere is $1 + (-1)^n$.
- Why spherical coordinates is not a covering?
- Which manifolds are parallelizable?
- short exact sequence of holomorphic vector bundles splits but not holomorphically, only $C^{\infty}$
- What is the exact motivation for the Minkowski metric?
- Smooth structure on the topological space
- Diffeomorphisms and Stokes' theorem
- Use implicit function theorem to show $O(n)$ is a manifold
- Interpretation of $p$-forms

Following example comes from John Lee’s *Introduction to Smooth Manifolds* and answers 1) in the spirit of Tim’s comment.

Consider a smooth distribution $D$ on $\mathbb{R}^3$ spanned by $X = \frac{\partial}{\partial x} + y \frac{\partial}{\partial z}$, $Y = \frac{\partial}{\partial y}$. If $N$ would be an integral manifold then tangency in $(0,0,0)$ to $X$ would imply that $N$ contains some small neighborhood containing $[(0,0,0),(x,0,0)]$ and tangency to $Y$ at $(x,0,0)$ point would imply that $N$ at $(0,0,0)$ contains some subset of $xy$ plane, which is impossible because $N$ is tangent to $xy$ plane only at $x$-axis.

Why is that? Just because $[X, Y] = -\frac{\partial}{\partial z} \neq 0$.

- $U\subset [0,\infty)$ is open and unbounded $\Rightarrow \exists x$ such that $U\cap \{nx;n\in \mathbb N\}$ is infinite.
- Zero variance Random variables
- Using inequalities and limits
- Conditions for defining new metrics
- Why do we want TWO open sets from the inverse function theorem?
- Find the pattern, What is the correct answer
- The series $\sum\limits_{n=0}^\infty {a_{n}}(x-c)^n $ is a polynomial.
- Is every element of a group an element of a Sylow p-subgroup of that group?
- About Math notation: the set of the $n^{th}$ natural numbers
- Is $ d(X) \le s(X)? $
- if $|f(n+1)-f(n)|\leq 2001$, $|g(n+1)-g(n)|\leq 2001$, $|(fg)(n+1)-(fg)(n)|\leq 2001$ then $\min\{f(n),g(n)\}$ is bounded
- Must an ideal contain the kernel for its image to be an ideal?
- Why is the probability that a continuous random variable takes a specific value zero?
- Bound on $|f'(0)|$ of a holomorphic funtion in the unit disk
- What algebraic topology book to read after Hatcher's?