Nilpotent Infinitesimals and Synthetic Differential Geometry in Classical Logic
An extension of ℝ (and *ℝ) with nilpotent infinitesimals (e.g. h ≠ 0 but h2 = 0) is presented in order to obtain results similar to KockLawvere’s synthetic differential geometry , but in a classical and not intuitionistic context. The same extension can be used to add new infinitesimal points to spaces similar to Chen’s ones . In the category of extended spaces we can develop differential geometry not only of usual manifolds but also of infinite dimensional spaces, without coordinates and with a strong geometric intuition, that is in a way that we will call “synthetic”.
KeywordsSynthetic differential geometry Differential manifolds foundations
Unable to display preview. Download preview PDF.
- K.T. Chen, On differentiable spaces, Categories in continuum physics, Lecture Notes in Mathematics 1174, Springer-Verlag (1982), 38–42.Google Scholar
- A. Frölicher, A. Kriegl, Linear spaces and differentation theory, John Wiley & sons (1988).Google Scholar
- A. Kock, Synthetic Differential Geometry, London Math. Soc. Lect. Note Series 51, Cambrige Univ. Press (1981).Google Scholar
- R. Lavendhomme, Lecons de géométrie différentielle synthétique naïve, Ciaco (1987).Google Scholar