Astronomy and Astrophysics – Astrophysics – General Relativity and Quantum Cosmology
Scientific paper
1996-08-06
Astronomy and Astrophysics
Astrophysics
General Relativity and Quantum Cosmology
19 pages
Scientific paper
W.Lawvere suggested a approach to differential geometry and to others mathematical disciplines closed to physics, which allows to give definitions of derivatives, tangent vectors and tangent bundles without passages to the limits. This approach is based on a idea of consideration of all settings not in sets but in some cartesian closed category E, particular in some elementary topos. The synthetic differential geometry (SDG) is the theory developed by A.Kock in a context of Lawvere's ideas. In a base of the theory is an assumption of that a geometric line is not a filed of real numbers, but a some nondegenerate commutative ring R of a line type in E. In this work we shall show that SDG allows to develop a Riemannian geometry and write the Einstein's equations of a field on pseudo-Riemannian formal manifold. This give a way for constructing a intuitionistic models of general relativity in suitable toposes.
No associations
LandOfFree
Synthetic Differential Geometry: A Way to Intuitionistic Models of General Relativity in Toposes does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with Synthetic Differential Geometry: A Way to Intuitionistic Models of General Relativity in Toposes, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Synthetic Differential Geometry: A Way to Intuitionistic Models of General Relativity in Toposes will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-193392