Supermanifolds and sequences of computable structures: A link via a nonstandard extension of differential geometry (Q1809711)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Supermanifolds and sequences of computable structures: A link via a nonstandard extension of differential geometry |
scientific article |
Statements
Supermanifolds and sequences of computable structures: A link via a nonstandard extension of differential geometry (English)
0 references
11 September 2000
0 references
Using techniques from nonstandard analysis, the author proves that given a differentiable manifold \(M\), every tangent vector field on it defines a deformation of \(M\) into a particular kind of supermanifold. These supermanifolds are then equivalent to approximations of \(M\) by sequences of what is called computable manifold-like structures.
0 references
supermanifold
0 references
non-standard analysis
0 references
computable structures
0 references
0 references