Covariant derivative of forms on principal bundles -- The curvature form -- Horizontal lifts of vector fields -- Local sections and trivializations -- Horizontal lifts of curves -- Parallel transport -- Forms in associated bundles -- Covariant derivative of sections in associated vector bundles -- Covariant derivative of tensor fields -- Covariant derivative of sections along smooth maps -- Linear connections -- Koszul connections -- Structure equations -- Geodesics -- Metrical connections -- The Schwarzschild - de Sitter spacetime -- Affine transformations and Killing vector fields -- Conformal transformations -- 11 ISOMETRIC IMMERSIONS AND THE SECOND FUNDAMENTAL FORM -- Connections in reduced subbundles -- The normal bundle and the bundle of adapted orthonormal frames -- The second fundamental form -- The shape tensor -- The shape operator -- The formulae of Gauss and Weingarten -- Strain and vorticity -- The equations of Gauss, Ricci and Codazzi -- Pseudo-Riemannian hypersurfaces -- The Robertson-Walker spacetime -- The Friedmann cosmological models -- 12 JET BUNDLES -- Bundles -- Affine bundles -- Derivations and the Frölicher-Nijenhuis bracket -- First order jet bundles -- Holonomic tangent vectors -- Contact cotangent vectors -- Jet fields and connections -- Equivariant jet fields -- Second order jet bundles -- Prolongation of vector fields -- Calculus of variations -- A: PRELIMINARIES -- Maps -- The permutation group -- Group actions -- Categories and functors -- Connectivity -- Homotopy theory -- Coverings -- Topological groups -- Topological vector spaces -- Bibliography -- Index

This book provides a systematic presentation of the mathematical foundation of modern physics with applications particularly within classical mechanics and the theory of relativity. Written to be self-contained, this book provides complete and rigorous proofs of all the results presented within. Among the themes illustrated in the book are differentiable manifolds, differential forms, fiber bundles and differential geometry with non-trivial applications especially within the general theory of relativity. The emphasis is upon a systematic and logical construction of the mathematical foundations. It can be used as a textbook for a pure mathematics course in differential geometry, assuming the reader has a good understanding of basic analysis, linear algebra and point set topology. The book will also appeal to students of theoretical physics interested in the mathematical foundation of the theories.

Starting from an undergraduate level, this book systematically develops the basics of • Calculus on manifolds, vector bundles, vector fields and differential forms, • Lie groups and Lie group actions, • Linear symplectic algebra and symplectic geometry, • Hamiltonian systems, symmetries and reduction, integrable systems and Hamilton-Jacobi theory. The topics listed under the first item are relevant for virtually all areas of mathematical physics. The second and third items constitute the link between abstract calculus and the theory of Hamiltonian systems. The last item provides an introduction to various aspects of this theory, including Morse families, the Maslov class and caustics. The book guides the reader from elementary differential geometry to advanced topics in the theory of Hamiltonian systems with the aim of making current research literature accessible. The style is that of a mathematical textbook,with full proofs given in the text or as exercises. The material is illustrated by numerous detailed examples, some of which are taken up several times for demonstrating how the methods evolve and interact.

Many applied mathematical disciplines, such as dynamical systems and optimization theory as well as classical mathematical disciplines like differential geometry and the theory of Lie groups, have a common foundation in general topology and multivariate calculus in normed vector spaces. In this book, students from both pure and applied subjects are offered an opportunity to work seriously with fundamental notions from mathematical analysis that are important not only from a mathematical point of view but also occur frequently in the theoretical parts of, for example, the engineering sciences. The book provides complete proofs of the basic results from topology and differentiability of mappings in normed vector spaces. It is a useful resource for students and researchers in mathematics and the many sciences that depend on fundamental techniques from mathematical analysis.In this second edition, the notions of compactness and sequentially compactness are developed with independent proofs for the main results. Thereby the material on compactness is apt for direct applications also in functional analysis, where the notion of sequentially compactness prevails. This edition also covers a new section on partial derivatives, and new material has been incorporated to make a more complete account of higher order derivatives in Banach spaces, including full proofs for symmetry of higher order derivatives and Taylor's formula. The exercise material has been reorganized from a collection of problem sets at the end of the book to a section at the end of each chapter with further results. Readers will find numerous new exercises at different levels of difficulty for practice.

This is the first of three volumes collecting the original and now classic works in topology written in the 50s-60s. The original methods and constructions from these works are properly documented for the first time in this book. No existing book covers the beautiful ensemble of methods created in topology starting from approximately 1950, that is, from Serre's celebrated “Singular homologies of fibre spaces.”This is the translation of the Russian edition published in 2005 with one entry (Milnor's lectures on the h-cobordism) omitted.

The recent revolution in differential topology related to the discovery of non-standard (”exotic”) smoothness structures on topologically trivial manifolds such as R4 suggests many exciting opportunities for applications of potentially deep importance for the spacetime models of theoretical physics, especially general relativity. This rich panoply of new differentiable structures lies in the previously unexplored region between topology and geometry. Just as physical geometry was thought to be trivial before Einstein, physicists have continued to work under the tacit — but now shown to be incorrect — assumption that differentiability is uniquely determined by topology for simple four-manifolds. Since diffeomorphisms are the mathematical models for physical coordinate transformations, Einstein's relativity principle requires that these models be physically inequivalent. This book provides an introductory survey of some of the relevant mathematics and presents preliminary results and suggestions for further applications to spacetime models.

Author has written several excellent Springer books.; This book is a sequel to Introduction to Topological Manifolds; Careful and illuminating explanations, excellent diagrams and exemplary motivation; Includes short preliminary sections before each section explaining what is ahead and why