Infinitesimal Differential Geometry
Acta mathematica Universitatis Comenianae, Tome 73 (2004) no. 2
P. Giordano. Infinitesimal Differential Geometry. Acta mathematica Universitatis Comenianae, Tome 73 (2004) no. 2. http://geodesic.mathdoc.fr/item/AMUC_2004_73_2_a10/
@article{AMUC_2004_73_2_a10,
     author = {P. Giordano},
     title = {Infinitesimal {Differential} {Geometry}},
     journal = {Acta mathematica Universitatis Comenianae},
     year = {2004},
     volume = {73},
     number = {2},
     url = {http://geodesic.mathdoc.fr/item/AMUC_2004_73_2_a10/}
}
TY  - JOUR
AU  - P. Giordano
TI  - Infinitesimal Differential Geometry
JO  - Acta mathematica Universitatis Comenianae
PY  - 2004
VL  - 73
IS  - 2
UR  - http://geodesic.mathdoc.fr/item/AMUC_2004_73_2_a10/
ID  - AMUC_2004_73_2_a10
ER  - 
%0 Journal Article
%A P. Giordano
%T Infinitesimal Differential Geometry
%J Acta mathematica Universitatis Comenianae
%D 2004
%V 73
%N 2
%U http://geodesic.mathdoc.fr/item/AMUC_2004_73_2_a10/
%F AMUC_2004_73_2_a10

Voir la notice de l'article provenant de la source Comenius University

Using standard analysis only, we present an extension $\ER$ of the real field containing nilpotent infinitesimals. On the one hand we want to present a very simple setting to formalize infinitesimal methods in Diffe\-ren\-tial Geometry, Analysis and Physics. On the other hand we want to show that these infinitesimals may be also useful in infinite dimensional Differential Geometry, e.g. to study spaces of mappings. We define a full embedding of the category $\Man$ of finite dimensional $\Cn$ manifolds in a cartesian closed category. In it we have a functor $\ext(-)$ which extends these spaces adding new infinitesimal points and with values in another full cartesian closed embedding of $\Man$. We present a first development of Differential Geometry using these infinitesimals.