Are there an axioms for cartesian space?

Asked Oct 03 '19 at 20:54

Active Oct 03 '19 at 21:01

Viewed 266 times

Do we have any axioms that allow us represent Cartesian coordinates on a graph in euclidean space or is it purely intuitive? It's easy to intuitively justify where $(0,1)$ and $(1,1)$ would lie in space in relation to the origin and to each other. Is the Cartesian Coordinate system just a tool to intuitively represent real or complex, ect. functions? Or can we build it from axioms?

Is the calculus of $\mathbb R$ a model for Cartesian/Euclidean space? Can we fit real analysis into the axioms of Euclid or say Hilbert's (foundational) geometry? And if so how do we jump from Euclidean geometry where points and lines, etc. don't have actually "positions" in space to Cartesian coordinates where they do?

edited Oct 03 '19 at 21:01

asked Oct 03 '19 at 20:54

BENG

1,105

We have axioms for plane geometry and we have axioms of the real number field. Then we verify that $\mathbb R^2$ is a model of plane geometry. See D.Hilbert, Foundations of Geometry, page 17-18. – Mauro ALLEGRANZA Oct 04 '19 at 07:32
See very similar post. – Mauro ALLEGRANZA Oct 04 '19 at 07:51
At the very bottom of things, of course, the axioms themselves are supported by intuition. – David K Oct 04 '19 at 13:20

Are there an axioms for cartesian space?

0 Answers0