Abstract
We investigate the question: what structures of numbers (as physical quantities) are suitable to be used in special relativity? The answer to this question depends strongly on the auxiliary assumptions we add to the basic assumptions of special relativity. We show that there is a natural axiom system of special relativity which can be modeled even over the field of rational numbers.
Similar content being viewed by others
Notes
That our theory is two-sorted means only that there are two types of basic objects (bodies and quantities) as opposed to, e.g., Zermelo–Fraenkel set theory where there is only one type of basic objects (sets).
That is, if m is an inertial observer, there is a is a positive quantity c m such that for all coordinate points \(\bar{\mathbf{x}}\) and \(\bar{\mathbf{y}}\) there is a light signal p coordinatized at \(\bar{\mathbf{x}}\) and \(\bar{\mathbf{y}}\) by observer m if and only if equation \(\mathsf{space}^{2}(\bar{\mathbf{x}},\bar{\mathbf{y}})= c_{m}^{2}\cdot\mathsf{time}(\bar{\mathbf{x}},\bar{\mathbf{y}})^{2}\) holds.
The supremum property (i.e., that every nonempty and bounded subset of the numbers has a least upper bound) implies the Archimedean property. So if we want to get ourselves free from the Archimedean property, we have to leave this one, too.
That is, for every vector \(\bar{\mathbf{v}}=\langle v_{1},\ldots,v_{d}\rangle\) determining a spatial direction and a slower than light speed, there is another vector \(\bar{\mathbf{w}}\) in the ε-neighborhood of \(\bar {\mathbf{v}}\), such that, if points \(\bar{\mathbf{x}}\) and \(\bar{\mathbf{y}}\) are on a line parallel to \(\bar{\mathbf{w}}\) (i.e., on a line corresponding to a uniform motion with the speed and in the direction determined by \(\bar{\mathbf{w}}\)), then there is an inertial observer k moving through \(\bar{\mathbf{x}}\) and \(\bar{\mathbf{y}}\), see Fig. 1.
References
Andréka, H., Madarász, J.X., Németi, I.: Logical axiomatizations of space-time. Samples from the literature. In: Prékopa, A., Molnár, E. (eds.) Non-Euclidean Geometries, pp. 155–185. Springer, New York (2006)
Andréka, H., Madarász, J.X., Németi, I.: Logic of space-time and relativity theory. In: Aiello, M., Pratt-Hartmann, I., van Benthem, J. (eds.) Handbook of Spatial Logics, pp. 607–711. Springer, Dordrecht (2007)
Andréka, H., Madarász, J.X., Németi, I., with contributions from: Andai, A., Sági, G., Sain, I., Tőke, Cs.: On the logical structure of relativity theories. Research report, Alfréd Rényi Institute of Mathematics, Hungar. Acad. Sci., Budapest (2002). http://www.math-inst.hu/pub/algebraic-logic/Contents.html
Andréka, H., Madarász, J.X., Németi, I., Székely, G.: What are the numbers in which spacetime? (2012). arXiv:1204.1350v1 [gr-qc]
Ax, J.: The elementary foundations of spacetime. Found. Phys. 8(7–8), 507–546 (1978)
Bachman, G., Narici, L.: Functional Analysis. Dover Publications, Mineola (2000). Reprint of the 1966 original
Chang, C.C., Keisler, H.J.: Model Theory. North-Holland, Amsterdam (1990)
Enderton, H.B.: A Mathematical Introduction to Logic. Academic Press, New York (1972)
Fuchs, L.: Partially Ordered Algebraic Systems. Pergamon Press, Oxford (1963)
Guilloux, A., Jestin, J.L.: The genetic code and its optimization for kinetic energy conservation in polypeptide chains. Biosystems 109(2), 141–144 (2012)
Rosinger, E.E.: Two essays on the Archimedean versus non-Archimedean debate (2008). arXiv:0809.4509v3
Rosinger, E.E.: Special relativity in reduced power algebras (2009). arXiv:0903.0296v1
Rosinger, E.E.: Cosmic contact to be, or not to be Archimedean. Prespacetime J. 2(2), 234–248 (2011)
Rosinger, E.E.: How far should the principle of relativity go? Prespacetime J. 2(2), 249–264 (2011)
Schmutz, E.: Rational points on the unit sphere. Cent. Eur. J. Math. 6(3), 482–487 (2008)
Stannett, M.: Computing the appearance of physical reality. Appl. Math. Comput. 219(1), 54–62 (2012)
Székely, G.: First-order logic investigation of relativity theory with an emphasis on accelerated observers. Ph.D. thesis, Eötvös Loránd Univ., Budapest (2009)
Tarski, A.: What is elementary geometry? In: Henkin, L., Suppes, P., Tarski, A. (eds.) The Axiomatic Method with Special Reference to Geometry and Physics, Proceedings of an International Symposium Held at the Univ. of Calif., Berkeley, 26 December 1957–4 January 1958, pp. 16–29. North-Holland, Amsterdam (1959)
Väänänen, J.: Second-order logic and foundations of mathematics. Bull. Symb. Log. 7(4), 504–520 (2001)
Woleński, J.: First-order logic: (philosophical) pro and contra. In: Hendricks, V.F., et al. (eds.) First-Order Logic Revisited, pp. 369–398. Logos Verlag, Berlin (2004)
Author information
Authors and Affiliations
Corresponding author
Additional information
This research is supported by the Hungarian Scientific Research Fund for basic research grants No. T81188 and No. PD84093, as well as by a Bolyai grant for J.X. Madarász.
Rights and permissions
About this article
Cite this article
Madarász, J.X., Székely, G. Special Relativity over the Field of Rational Numbers. Int J Theor Phys 52, 1706–1718 (2013). https://doi.org/10.1007/s10773-013-1492-8
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10773-013-1492-8