Abstract
In this chapter, we introduce the reader to the theory of manifolds. We start with the very notion of a manifold, illustrate it by a number of examples and discuss level sets in some detail. Thereafter, we carry over the concepts of differentiable mapping, tangent space and derivative from classical calculus to manifolds and derive manifold versions of the Inverse Mapping Theorem, the Implicit Mapping Theorem and the Constant Rank Theorem. Next, we discuss submanifolds in some detail. We define them to be injective immersions and distinguish the important special classes of embedded and initial (or weakly embedded) submanifolds. Besides that, we derive criteria for a subset to admit a submanifold structure. Finally, we prove the Transversal Mapping Theorem, which states that the preimage of a submanifold under a differentiable mapping is again a submanifold, provided the mapping is transversal to that submanifold.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
The coarsest topology such that both κ + and κ − are continuous.
- 2.
The coarsest topology such that the natural inclusion mapping Sn→ℝn+1 is continuous.
- 3.
Usually, we will denote elements of an algebra by capital A,B,C,… and elements of a group by small a,b,c,….
- 4.
We adopt the convention that scalars multiply from the right; this is of course relevant for \(\mathbb{K}= \mathbb{H}\) only.
- 5.
In this book, mappings between manifolds are usually denoted by capital Greek letters like Φ,Ψ,… or small Greek letters like φ,ψ,χ,….
- 6.
If there is no danger of confusion, we will usually omit the chart label and just write \(X_{m}^{i}\).
- 7.
As for the local representative of a tangent vector, we will usually omit the chart label and just write ∂ i,m .
- 8.
All such measures are equivalent, that is, they have the same sets of measure zero.
- 9.
The image of this curve is not a figure eight, because it is missing the point (0,1).
- 10.
By definition, this means that the induced mapping \(\tilde{\varphi}\) is open with respect to the relative topology. In this case, φ is called an embedding.
- 11.
Or, alternatively, weakly embedded.
- 12.
In fact, they coincide with the connected components of A.
- 13.
Since M already carries a topology, there is no need to require the family {(V i ,ρ i )} to be countable.
- 14.
In other words, φ is a subimmersion at every m 0∈M, cf. Exercise 1.5.5/(a).
- 15.
Since the connected components of M may have different dimensions, M as a whole may not be a manifold. We leave it to the reader to provide examples.
- 16.
That is, the codimension of M in N equals the codimension of Q in P.
References
Bourbaki, N.: Topology, vol. I. Springer, Berlin (1998)
Bredon, G.E.: Topology and Geometry. Graduate Texts in Mathematics, vol. 139. Springer, Berlin (1997)
Dieudonné, J.: Grundzüge der modernen Analysis, Bände I und III. Deutscher Verlag der Wissenschaften, Berlin (1971)
Freed, D.S., Uhlenbeck, K.K.: Instantons and Four-Manifolds. Springer, Berlin (1984)
Hilgert, J., Neeb, K.-H.: Lie-Gruppen und Lie-Algebren. Vieweg, Wiesbaden (1991)
Hirsch, M.W.: Differential Topology. Springer, Berlin (1976)
Kervaire, M.: A manifold which does not admit any differentiable structure. Comment. Math. Helv. 34, 304–312 (1960)
Kervaire, M.A., Milnor, J.W.: Groups of homotopy spheres I. Ann. Math. 77, 504–537 (1963)
Kobayashi, S., Nomizu, K.: Foundations of Differential Geometry. Wiley-Interscience, New York (1963)
Lang, S.: Differential and Riemannian Manifolds. Springer, Berlin (1995)
Massey, W.S.: A Basic Course in Algebraic Topology. Graduate Texts in Mathematics, vol. 127. Springer, New York (1991)
Michor, P.W.: Topics in Differential Geometry. Graduate Studies in Mathematics. AMS, Providence (2008)
Newns, N., Walker, A.: Tangent planes to a differentiable manifold. J. Lond. Math. Soc. 31, 400–407 (1956)
Ortega, J.-P., Ratiu, T.S.: Momentum Maps and Hamiltonian Reduction. Progress in Mathematics, vol. 222. Birkhäuser, Basel (2004)
Schubert, H.: Topologie. Teubner, Stuttgart (1975)
Smale, S.: Generalized Poincaré’s conjecture in dimension greater than four. Ann. Math. 74, 391–406 (1961)
Warner, F.W.: Foundations of Differentiable Manifolds and Lie Groups. Scott, Foresman, Glenview (1971). Graduate Texts in Mathematics, vol. 94, Springer (1983)
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
Rudolph, G., Schmidt, M. (2013). Differentiable Manifolds. In: Differential Geometry and Mathematical Physics. Theoretical and Mathematical Physics. Springer, Dordrecht. https://doi.org/10.1007/978-94-007-5345-7_1
Download citation
DOI: https://doi.org/10.1007/978-94-007-5345-7_1
Publisher Name: Springer, Dordrecht
Print ISBN: 978-94-007-5344-0
Online ISBN: 978-94-007-5345-7
eBook Packages: Physics and AstronomyPhysics and Astronomy (R0)