  Let $\Lambda$ be an open set in Banach space $E$, $M(x)$ for $x\in \Lambda$ a
subspace in $E$, and $\mathcal F=\{M(x)\}_{x\in\Lambda}$. In this paper, we
introduce the concept of the co-final set $J(x_0,E_*)$ for $\mathcal F$ at
$x_0\in \Lambda$, then prove Frobenius theorem in Banach space where
especially, $\mathrm{dim}\, M(x)$ maybe $\infty$. Using the Frobenius theorem,
we prove a theorem in advanced calulus that presents several $c^1$ integrable
family $\mathcal F$ at a point with $\mathrm{dim}\, M(x) =\infty$ and trivial
co-final set. Let $\Lambda=B(E,F)\setminus\{0\},\ M(X)=\{T\in B(E,F) :
TN(X)\subset R(X)\}$, and $\mathcal F=\{M(X)\}_{X\in\Lambda}$. The following
theorem is proved using Frobenius theorem: if $A\in\Lambda$ is double
splitting, then $\mathcal F$ at $A$ is smooth integrable where $J(A,E_*)$ is
non-trivial in general. Specially we have the global result as follows, let
$\Phi$ be any one of $F_k(k<\infty)$ and $\Phi_{m,n}(\min\{m,n\}<\infty)$, then
$\Phi$ is smooth submanifold in $B(E,F)$ and tangent to $M(X)$ at any $X$ in
$\Phi$. Due to the need of advanced science and technologies, such as advanced
nano-technology, the best of information transit, they urgently need the
extremum principle under non-regular constraints, we give such an extremum
principle.
  Consider the $c^1$ nonlinear functional $f$ from $U$ to $(-\infty , \infty
)$. Let $S$ be $c^1$ submanifold in $U$. we prove the following extremum
principle of $f$ under the constraint $S$: if $x_0$ is an extreme point of $f$
under the constraint $S$, then $ T_{x_0}S\subset N(f'(x_0)).$ The principle
establishes a broad mathematical basis of optimization theory under the
non-regular and regular constraints.
