Differentiable Manifolds/Vector (sub-)bundles, sections, foliations, distributions and Frobenius' theorem
What are vector bundles? edit
Lemma 10.2: Let be a vector bundle of the manifold with projection . Then if are contained in the same connected component of , the dimensions of and are equal.
We define the function . Let now be contained in the connected component of . If we pick any point , due to the definition of a vector bundle, there is an open set with and a bundle chart , where is the dimension of , such that has as its image and is a linear isomorphism. Therefore, for all , the dimension of is equal to .
From this follows that the set and its complement in are both open (since for every point in the complement of this set there also exists an open neighbourhood such that all points in this neighbourhood satisfy and thus all the points in that neighbourhood are also contained in the complement).
But if the set and its complement in are both open, then so are the respective intersections with with respect to the subspace topology on induced by the topology of . But, by definition of a connected component, is a connected set with respect to the subspace topology, and thus, since is open and closed (since the complement is open) and nonempty (as it contains ), this set equals the whole set by definition of connected sets.
The tangent and cotangent bundles as part of a respective vector bundle edit
In the following section we want to show, that both tangent and cotangent bundle with a specific atlas are manifolds, and if we define specific projections and bundle charts, we obtain vector bundles out of them and the tangent and cotangent bundles.