×

An axiomatic basis of space-time theory. I: Construction of a causal space with coordinates. (English) Zbl 0723.53063

The author gives a short account of the L-concept which has been developed by G. Ludwig [Die Grundstrukturen einer physikalischen Theorie, Springer-Verlag (1978; Zbl 0387.00010)] for the description of physical theories and which includes as a particular component a mathematical theory in the sense of N. Bourbaki [Elements of mathematics. Theory of sets, Paris (1968; Zbl 0175.270)]. Within this methodological framework a space-time theory is developed starting with rather primitive notions. This is done by a stepwise extension of a preliminary theory where events, signals and other elementary objects are studied. In this context every set of axioms is preceded by intuitive descriptions before the precise formulations are written down.
The subjects which lead to the first and second extensions of the preliminary theory are clocks and light signals. In this framework causal structures and light rays are investigated. Also some topological considerations are exhibited on this base. The next extension introduces special requirements for the distributions of light rays. In this context radar coordinates can be introduced. But the framework is not sufficient to derive the manifold structure of space-time under these general conditions. To this purpose additional assumptions will have to be made which are to appear in the second part of the paper under consideration.

MSC:

53C80 Applications of global differential geometry to the sciences
83C99 General relativity
00A71 General theory of mathematical modeling
Full Text: DOI

References:

[1] Ehlers, J.; Pirani, F. A.E.; Schild, A., The Geometry of Free Fall and Light Propagation, (O’Raifeartaigh, L., General Relativity (1972), Clarendon Press: Clarendon Press Oxford) · Zbl 0267.53036
[2] Woodhouse, N. M.J., J. Math. Phys., 14, 495 (1973) · Zbl 0269.53026
[3] Reichenbach, H., Axiomatik der relativistischen Raum-Zeit-Lehre, (Gesammelte Werke, Band 3 (1979), Vieweg) · Zbl 0132.43001
[4] J. Meyer: Theoretische Physik; J. Meyer: Theoretische Physik
[5] Ludwig, G., Die Grundstrukturen einer physikalischen Theorie (1978), Springer Verlag: Springer Verlag Berlin, Heidelberg, New York · Zbl 0387.00010
[6] Sneed, J. D., The Logical Structure of Mathematical Physics (1971), D. Reidel Publishing Company, Dordrecht—Holland · Zbl 0324.02001
[7] Hartkämper, A.; Schmidt, H. J., Structure and Approximation in Physical Theories (1981), Plenum Press: Plenum Press New York and London
[8] Bourbaki, N., Elements of Mathematics, Theory of Sets (1968), Hermann, Publishers in Arts and Science · Zbl 0175.27001
[9] Edwards, R. E., A Formal Background to Mathematics Ia, b. Logic, Sets and Numbers (1979), Springer Verlag: Springer Verlag New York, Heidelberg, Berlin · Zbl 0413.03001
[10] Hawking, S. W.; Ellis, G. F.R., The Large Scale Structure of Space-Time (1980), Cambridge University Press
[11] Kuratowski, K.; Mostowski, A., Set Theory (1976), North-Holland Publ. Comp: North-Holland Publ. Comp Amsterdam · Zbl 0337.02034
[12] Kronheimer, E. H.; Penrose, R., Proc. Camb. Phil. Soc., 63, 481 (1967) · Zbl 0148.46502
[13] Schröter, J., Ein diskretes Modell der Raum-Zeit-Theorie (1985), Paderborn, Preprint
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.