Synthetic Differential Geometry

By: No Information Available

Write A Review

Paperback | 22 June 2006 | Edition Number 2

At a Glance

Paperback
246 Pages

Edition Type
Revised

Dimensions(cm)
22.7 x 15.2 x 1.3

Paperback

RRP $155.95

$139.75

10%OFF

or 4 interest-free payments of $34.94 with

Ships in 5 to 7 business days

Synthetic Differential Geometry is a method of reasoning in differential geometry and differential calculus, based on the assumption of sufficiently many nilpotent elements on the number line, in particular numbers d such that d2=0. The use of nilpotent elements allows one to replace the limit processes of calculus by purely algebraic calculations and notions. For the first half of the book, first published in 2006, familiarity with differential calculus and abstract algebra is presupposed during the development of results in calculus and differential geometry on a purely axiomatic/synthetic basis. In the second half basic notions of category theory are presumed in the construction of suitable Cartesian closed categories and the interpretation of logical formulae within them. This is a second edition of Kock's classical text from 1981. Many notes have been included, with comments on developments in the field from the intermediate years, and almost 100 new bibliographic entries have been added.

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

Orders over $79.00 qualify for free shipping.

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.

Defective items

If there is a problem with any of the items received for your order then the Booktopia Customer Care team is ready to assist you.

For more info please visit our Help Centre.

You Can Find This Book In

Non-Fiction Mathematics Applied Mathematics Topology Geometry Differential & Riemannian Geometry

Preface to the Second Edition (2006)	p. vii
Preface to the First Edition (1981)	p. ix
The synthetic theory	p. 1
Basic structure on the geometric line	p. 2
Differential calculus	p. 6
Higher Taylor formulae (one variable)	p. 9
Partial derivatives	p. 12
Higher Taylor formulae in several variables. Taylor series	p. 15
Some important infinitesimal objects	p. 18
Tangent vectors and the tangent bundle	p. 23
Vector fields and infinitesimal transformations	p. 28
Lie bracket - commutator of infinitesimal transformations	p. 32
Directional derivatives	p. 36
Functional analysis. Application to proof of Jacobi identity	p. 40
The comprehensive axiom	p. 43
Order-and integration	p. 48
Forms and currents	p. 52
Currents defined using integration. Stokes' Theorem	p. 58
Weil algebras	p. 61
Formal manifolds	p. 68
Differential forms in terms of simplices	p. 75
Open covers	p. 82
Differential forms as quantities	p. 87
Pure geometry	p. 90
Categorical logic	p. 97
Generalized elements	p. 98
Satisfaction (1)	p. 99
Extensions and descriptions	p. 103
Semantics of function objects	p. 108
Axiom 1 revisited	p. 113
Comma categories	p. 115
Dense class of generators	p. 121
Satisfaction (2)	p. 123
Geometric theories	p. 127
Models	p. 131
Models for Axioms 1, 2, and 3	p. 131
Models for ?-stable geometric theories	p. 138
Axiomatic theory of well-adapted models (1)	p. 143
Axiomatic theory of well-adapted models (2)	p. 148
The algebraic theory of smooth functions	p. 154
Germ-determined T_?-algebras	p. 164
The open cover topology	p. 170
Construction of well-adapted models	p. 175
W-determined algebras, and manifolds with boundary	p. 181
A field property of R and the synthetic role of germ algebras	p. 192
Order and integration in the Cahiers topos	p. 198
Appendices	p. 207
Bibliography	p. 223
Index	p. 231
Table of Contents provided by Ingram. All Rights Reserved.

Synthetic Differential Geometry

At a Glance

Paperback

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Differential & Riemannian Geometry

An Introduction to Differentiable Manifolds and Riemannian Geometry, Revised

Volume 120

Lectures on Differential Geometry I

Differentiable Manifolds

Geometric Methods in Physical Systems

From Differentiable Structures to Applications, the Wisla 22 Winter School and Workshop

Complex Analysis in One Variable and Riemann Surfaces

Graduate Texts in Mathematics

Geometry of Integrable Systems

An Introduction

Liouville's Theory in Linear and Nonlinear Partial Differential Equations

Springer Asia Pacific Mathematics

Consensus and Synchronization

From the Euclidean Space and the Circle to Lie Groups

An Introduction to Sympletic Geometry

Graduate Studies in Mathematics

Concise Complex Analysis

Collected Papers of Y. Matsushima

SERIES IN PURE MATHEMATICS

Harmonic Maps

Topics in Integral Geometry

Series in Pure Mathematics

Two Reports on Harmonic Maps

Introductory Differential Geometry for Physicists

The Arnoldfest : Proceedings of a Conference in Honour of V. I. Arnold for His 60th Birthday

Fields Institute Communications

Least Action Principle of Crystal Formation of Dense Packing Type and the Proof of Kepler's Conjecture

Nankai Tracts in Mathematics

Lectures on Chern-Weil Theory and Witten Deformations

Nankai Traits in Mathematics

Backlund and Darboux Transformations : The Geometry of Solitons: AARMS-CRM Workshop, June 4-9, 1999, Halifax, N. S., Canada

Crm Proceedings and Lecture Notes

Interpolation and Sampling in Spaces of Analytic Functions

University Lecture Series

Web Theory and Related Topics

Sources of Hyperbolic Geometry

History of Mathematics

Lectures on Elliptic and Parabolic Equations in Holder Spaces

Graduate Studies in Mathematics

Chirurgie des Grassmanniennes

Crm Monograph Series

Trends in Complex Analysis, Differential Geometry and Mathematical Physics

This product is categorised by