The Banach manifold $C^{k}(M,N)$ (Q2414137)

Let \(M\) be a closed smooth manifold and \(N\) a connected, smooth finite-dimensional manifold without boundary. The author gives the rigorous, complete proof of the well known result that for each \(k \in \mathbb{N}\) the set \(C^k(M,N)\) of \(k\) times continuously differentiable mappings is a smooth Banach manifold. The author proves a version of the so-called global \(\Omega\)-lemma which is the key point in constructing a smooth Banach manifold structure on \(C^k(M,N)\). In addition, it is proved that the manifold topology of \(C^k(M,N)\) is the compact open \(C^k\) topology.