Abstract
Before introducing the concept of differentiable manifold, we first explain what mapping is. Given two sets X, Y, and a corresponding principle, if for any x ∊ X, there exists y = f(x) ∊ Y to be its correspondence, then f is a mapping of the set X into the set Y, which is denoted as f : X → Y. X is said to be the domain of definition of f, and f(x) = {f(x) | x ∊ X} ⊂ Y is said to be the image of f. If f(X) = Y, then f is said to be surjective or onto; if f(x) = f(x′) ⇒ x = x′, then f is said to be injective (one-to-one); if f is both surjective and injective (i.e., X and Y have a one-to-one correspondence under f), f is said to be bijective. For a bijective mapping f, if we define x = f −1(y), then f −1 : Y → X is said to be the inverse mapping of f. In abstract algebra, a homomorphism is a structure-preserving map between two algebraic structures (such as groups, rings, or vector spaces). For example, for two groups G and G′ and a mapping f : G → G′, a → f(a), if f(a, b) = f(a) · f(b), ∀a, b ∊ G, then f is said to be a homomorphism from G to G′. A homomorphism is a map from one algebraic structure to another of the same type that preserves all the relevant structures, i.e., properties such as identity element, inverse element, and binary operations. An isomorphism is a bijective homomorphism. If f is a G → G′ homomorphic mapping, and also a one-to-one mapping from G to G′, then f is said to be a G → G′ isomorphic mapping. An epimorphism is a surjective homomorphism. Given two topological spaces (x, τ) and (y, τ), if the mapping f : X → Y is one-to-one, and both f and its inverse mapping f −1 : Y → X are continuous, then f is said to be a homeomorphism. If f and f −1 are also differentiable, then the mapping is said to be diffeomorphism. A monomorphism (sometimes called an extension) is an injective homomorphism. A homomorphism from an object to itself is said to be an endomorphism. An endomorphism that is also an isomorphism is said to be an automorphism. Given two manifolds M and N, a bijective mapping f from M to N is called a diffeomorphism if both f : M → N and its inverse f −1 : N → M are differentiable (if these functions are r times continuously differentiable, f is said to be a Cr-diffeomorphism).
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Bibliography
D.V. Anosov and V.I. Arnold: Dynamical Systems I. Springer, Berlin, (1988).
V. I. Arnold and A. Avez: Ergodic Problems of Classical Mechanics. Addison-Wesley and Benjamin Cummings, New York, (1989).
S. S. Abdullaev: A new integration method of Hamiltonian systems by symplectic maps. J. Phys. A: Math. Gen., 32(15):2745–2766, (1999).
S. S. Abdullaev: The Hamilton-Jacobi method and Hamiltonian maps. J. Phys. A: Math. Gen., 35(12):2811–2832, (2002).
V. I. Arnold, V. V. Kozlov, and A. I. Neishtadt: Mathematical Aspects of Classical and Celestial Mechanics. Springer, Berlin, Second edition, (1978).
R. Abraham and J. E. Marsden: Foundations of Mechanics. Addison-Wesley, Reading, MA, Second edition, (1978).
R. Abraham, J. E. Marsden, and T. Ratiu: Manifolds, Tensor Analysis, and Applications. AMS 75. Springer-Verlag, Berlin, Second edition, (1988).
A. I. Arnold and S.P. Novikov: Dynamical System IV. Springer Verlag, Heidelberg, (1990).
D. K. Arrowsmith and C. M. Place: Dynamical Systems: Differential Equations, Maps, and Chaotic Behavior. Chapman & Hall, New York, (1992).
V. I. Arnold: Ordinary Differential Equations. The MIT Press, New York (1978).
V. I. Arnold: Geometrical Methods in the Theory of Ordinary Differential Equations. Springer-Verlag, Berlin, (1988).
V. I. Arnold: Mathematical Methods of Classical Mechanics. Berlin Heidelberg: Springer-Verlag, GTM 60, Berlin, Second edition, (1989).
R. Berndt: An Introduction to Symplectic Geometry. AMS Providence, Rhode Island, (2000).
G. D. Birkhoff: Relativity and Modern Physics. Harvard Univ. Press, Cambridge, Mass., Second edition, (1923).
G.W. Bluman and S. Kumei: Symmetries and Differential Equations. AMS 81. Springer-Verlag, New York, (1989).
C. Carathe’odory: Calculus of Variation and Partial Differential Equations of First Order, Vol.1. Holden-Day, San Franscisco, (1965).
H. Cartan: Differential Forms. Houghton-Mifflin, Boston, (1970).
S. S. Chern: Differential Manifolds. Lecture notes. University of Chicago, (1953).
D. G. B Edelen: Applied Exterior Calculus. John Wiley and Sons, New York, First edition, (1985).
H. Flanders: Differential Forms. Academie Press, New York, Second edition. (1963).
V. Guillemin and S. Sternberg: Symplectic Techniques in Physics. Cambridge University Press, Cambridge, (1984).
S. Lang: Differential and Riemannian Manifolds. Springer-Verlag, New York, (1995).
P. Libermann and C.M. Marle: Symplectic Geometry and Analytical Mechanics. Reidel Pub. Company, Boston, First edition, (1987).
S. MacLanc: Hamiltonian mechanics and geometry. Amer. Math. Mon., 77(6):570–586, (1970).
H. Poincaré: Les Méthodes Nouvelles de la Mécanique Céleste, Tome II. Gauthier-Villars, Paris, Second edition, (1893)
H. Poincaré: Les Méthodes Nouvelles de la Mécanique Céleste. Tome III. Gauthiers-Villars, Paris, Second edition, (1899)
M. Schreiber: Differential Forms. Springer-Verlag, New York, First edition, (1977).
C.L. Siegel: Symplectic geometry. Amer.and math. J. Math, 65:1–86, (1943).
M. Spivak: Calculus on Manifolds. The Benjamin/Cummings publishing company, London, New York, First edition, (1968).
F. Treves: Pseodo-Differential Operator. Acad. Press, New York, First edition, (1975).
A. Weinstein: Lectures on symplectic manifolds. In CBMS Regional Conference, 29. American Mathematical Society, Providence, RI, (1977).
C. Von. Westenholz: Differential Forms in Mathmatical Physics. North-Holland, Amsterdam, Second edition, (1981).
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 2010 Zhejiang Publishing United Group, Zhejiang Science and Technology Publishing House, Hangzhou and Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Feng, K., Qin, M. (2010). Preliminaries of Differentiable Manifolds. In: Symplectic Geometric Algorithms for Hamiltonian Systems. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-01777-3_2
Download citation
DOI: https://doi.org/10.1007/978-3-642-01777-3_2
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-01776-6
Online ISBN: 978-3-642-01777-3
eBook Packages: Mathematics and StatisticsMathematics and Statistics (R0)