A Frobenius theorem for locally convex global analysis (Q1971756): Difference between revisions
From MaRDI portal
Created a new Item |
Added link to MaRDI item. |
||
links / mardi / name | links / mardi / name | ||
Revision as of 17:38, 1 February 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | A Frobenius theorem for locally convex global analysis |
scientific article |
Statements
A Frobenius theorem for locally convex global analysis (English)
0 references
29 May 2000
0 references
Let \(E\) and \(F\) locally convex spaces with \(F\) a Banach space. For \(k\in\mathbb{N}\cup \{\infty\}\), consider a \(C^{k+2}\)-manifold modelled on locally convex spaces. A subbundle \(T\) of the tangent bundle \(\pi: TM\to M\) is said to be co-Banach if for each point \(x\in M\), there exists a local \(C^{k+1}\)-trivialization \[ \theta: \pi^{-1}[U]\to U\times E\times F \] over an open neighbourhood \(U\) of \(x\), with \[ \theta[T]= U\times E\times \{0_F\}. \] After having given this definition, the author proves a Frobenius theorem for \(C^{k+2}\)-manifolds modelled on locally convex spaces asserting that if a co-Banach subbundle \(T\) is closed under bracket operation of local \(C^{k+1}\)-sections of \(TM\), then \(T\) is integrable. He based this proof on a simplified version of an implicit function theorem of his recent paper appeared in Stud. Math. 134, No. 3, 235-250 (1999; Zbl 0934.58008)], where the above notion of \(C^k\) is defined. That version has its own interest and its proof is given in the article under review.
0 references
integrability of tangent subbundles
0 references
implicit function theorem
0 references
\(C^{k+2}\)-manifold modelled on locally convex spaces
0 references
tangent bundle
0 references
Frobenius theorem
0 references
co-Banach subbundle
0 references