Basic Concepts of Synthetic Differential Geometry

Basic Concepts of Synthetic Differential Geometry PDF Author: R. Lavendhomme
Publisher: Springer Science & Business Media
ISBN: 1475745885
Category : Mathematics
Languages : en
Pages : 331

Get Book

Book Description
Starting at an introductory level, the book leads rapidly to important and often new results in synthetic differential geometry. From rudimentary analysis the book moves to such important results as: a new proof of De Rham's theorem; the synthetic view of global action, going as far as the Weil characteristic homomorphism; the systematic account of structured Lie objects, such as Riemannian, symplectic, or Poisson Lie objects; the view of global Lie algebras as Lie algebras of a Lie group in the synthetic sense; and lastly the synthetic construction of symplectic structure on the cotangent bundle in general. Thus while the book is limited to a naive point of view developing synthetic differential geometry as a theory in itself, the author nevertheless treats somewhat advanced topics, which are classic in classical differential geometry but new in the synthetic context. Audience: The book is suitable as an introduction to synthetic differential geometry for students as well as more qualified mathematicians.

Basic Concepts of Synthetic Differential Geometry

Basic Concepts of Synthetic Differential Geometry PDF Author: R. Lavendhomme
Publisher: Springer Science & Business Media
ISBN: 1475745885
Category : Mathematics
Languages : en
Pages : 331

Get Book

Book Description
Starting at an introductory level, the book leads rapidly to important and often new results in synthetic differential geometry. From rudimentary analysis the book moves to such important results as: a new proof of De Rham's theorem; the synthetic view of global action, going as far as the Weil characteristic homomorphism; the systematic account of structured Lie objects, such as Riemannian, symplectic, or Poisson Lie objects; the view of global Lie algebras as Lie algebras of a Lie group in the synthetic sense; and lastly the synthetic construction of symplectic structure on the cotangent bundle in general. Thus while the book is limited to a naive point of view developing synthetic differential geometry as a theory in itself, the author nevertheless treats somewhat advanced topics, which are classic in classical differential geometry but new in the synthetic context. Audience: The book is suitable as an introduction to synthetic differential geometry for students as well as more qualified mathematicians.

Synthetic Geometry of Manifolds

Synthetic Geometry of Manifolds PDF Author: Anders Kock
Publisher: Cambridge University Press
ISBN: 0521116732
Category : Mathematics
Languages : en
Pages : 317

Get Book

Book Description
This elegant book is sure to become the standard introduction to synthetic differential geometry. It deals with some classical spaces in differential geometry, namely 'prolongation spaces' or neighborhoods of the diagonal. These spaces enable a natural description of some of the basic constructions in local differential geometry and, in fact, form an inviting gateway to differential geometry, and also to some differential-geometric notions that exist in algebraic geometry. The presentation conveys the real strength of this approach to differential geometry. Concepts are clarified, proofs are streamlined, and the focus on infinitesimal spaces motivates the discussion well. Some of the specific differential-geometric theories dealt with are connection theory (notably affine connections), geometric distributions, differential forms, jet bundles, differentiable groupoids, differential operators, Riemannian metrics, and harmonic maps. Ideal for graduate students and researchers wishing to familiarize themselves with the field.

Synthetic Differential Geometry

Synthetic Differential Geometry PDF Author: Anders Kock
Publisher: Cambridge University Press
ISBN: 0521687381
Category : Mathematics
Languages : en
Pages : 245

Get Book

Book Description
This book, first published in 2006, details how limit processes can be represented algebraically.

Synthetic Geometry of Manifolds

Synthetic Geometry of Manifolds PDF Author: Anders Kock
Publisher:
ISBN: 9780511691096
Category : Mathematics
Languages : en
Pages : 318

Get Book

Book Description
This elegant book is sure to become the standard introduction to synthetic differential geometry. It deals with some classical spaces in differential geometry, namely prolongation spaces or neighborhoods of the diagonal. These spaces enable a natural description of some of the basic constructions in local differential geometry and, in fact, form an inviting gateway to differential geometry, and also to some differential-geometric notions that exist in algebraic geometry. The presentation conveys the real strength of this approach to differential geometry. Concepts are clarified, proofs are streamlined, and the focus on infinitesimal spaces motivates the discussion well. Some of the specific differential-geometric theories dealt with are connection theory (notably affine connections), geometric distributions, differential forms, jet bundles, differentiable groupoids, differential operators, Riemannian metrics, and harmonic maps. Ideal for graduate students and researchers wishing to familiarize themselves with the field.

Differential Geometry

Differential Geometry PDF Author: Marcelo Epstein
Publisher: Springer
ISBN: 3319069209
Category : Mathematics
Languages : en
Pages : 147

Get Book

Book Description
Differential Geometry offers a concise introduction to some basic notions of modern differential geometry and their applications to solid mechanics and physics. Concepts such as manifolds, groups, fibre bundles and groupoids are first introduced within a purely topological framework. They are shown to be relevant to the description of space-time, configuration spaces of mechanical systems, symmetries in general, microstructure and local and distant symmetries of the constitutive response of continuous media. Once these ideas have been grasped at the topological level, the differential structure needed for the description of physical fields is introduced in terms of differentiable manifolds and principal frame bundles. These mathematical concepts are then illustrated with examples from continuum kinematics, Lagrangian and Hamiltonian mechanics, Cauchy fluxes and dislocation theory. This book will be useful for researchers and graduate students in science and engineering.

Synthetic Differential Topology

Synthetic Differential Topology PDF Author: Marta Bunge
Publisher: Cambridge University Press
ISBN: 1108692206
Category : Mathematics
Languages : en
Pages : 234

Get Book

Book Description
This book formally introduces synthetic differential topology, a natural extension of the theory of synthetic differential geometry which captures classical concepts of differential geometry and topology by means of the rich categorical structure of a necessarily non-Boolean topos and of the systematic use of logical infinitesimal objects in it. Beginning with an introduction to those parts of topos theory and synthetic differential geometry necessary for the remainder, this clear and comprehensive text covers the general theory of synthetic differential topology and several applications of it to classical mathematics, including the calculus of variations, Mather's theorem, and Morse theory on the classification of singularities. The book represents the state of the art in synthetic differential topology and will be of interest to researchers in topos theory and to mathematicians interested in the categorical foundations of differential geometry and topology.

A Primer of Infinitesimal Analysis

A Primer of Infinitesimal Analysis PDF Author: John L. Bell
Publisher: Cambridge University Press
ISBN: 0521887186
Category : Mathematics
Languages : en
Pages : 7

Get Book

Book Description
A rigorous, axiomatically formulated presentation of the 'zero-square', or 'nilpotent' infinitesimal.

Models for Smooth Infinitesimal Analysis

Models for Smooth Infinitesimal Analysis PDF Author: Ieke Moerdijk
Publisher: Springer Science & Business Media
ISBN: 147574143X
Category : Mathematics
Languages : en
Pages : 401

Get Book

Book Description
The aim of this book is to construct categories of spaces which contain all the C?-manifolds, but in addition infinitesimal spaces and arbitrary function spaces. To this end, the techniques of Grothendieck toposes (and the logic inherent to them) are explained at a leisurely pace and applied. By discussing topics such as integration, cohomology and vector bundles in the new context, the adequacy of these new spaces for analysis and geometry will be illustrated and the connection to the classical approach to C?-manifolds will be explained.

Mathematical Logic and Theoretical Computer Science

Mathematical Logic and Theoretical Computer Science PDF Author: David Kueker
Publisher: CRC Press
ISBN: 1000154602
Category : Mathematics
Languages : en
Pages : 420

Get Book

Book Description
Mathematical Logic and Theoretical Computer Science covers various topics ranging from recursion theory to Zariski topoi. Leading international authorities discuss selected topics in a number of areas, including denotational semanitcs, reccuriosn theoretic aspects fo computer science, model theory and algebra, Automath and automated reasoning, stability theory, topoi and mathematics, and topoi and logic. The most up-to-date review available in its field, Mathematical Logic and Theoretical Computer Science will be of interest to mathematical logicians, computer scientists, algebraists, algebraic geometers, differential geometers, differential topologists, and graduate students in mathematics and computer science.

New Foundations for Physical Geometry

New Foundations for Physical Geometry PDF Author: Tim Maudlin
Publisher: Oxford University Press
ISBN: 0198701306
Category : Mathematics
Languages : en
Pages : 374

Get Book

Book Description
Tim Maudlin sets out a completely new method for describing the geometrical structure of spaces, and thus a better mathematical tool for describing and understanding space-time. He presents a historical review of the development of geometry and topology, and then his original Theory of Linear Structures.