PhilSci Archive

Length Abstraction in Euclidean Geometry

Ketland, Jeffrey (2023) Length Abstraction in Euclidean Geometry. [Preprint]

This is the latest version of this item.

Length_Abstraction_EJPS.pdf - Submitted Version

Download (1MB) | Preview


I define abstract lengths in Euclidean geometry, by introducing an abstraction axiom: $\lambda(a,b) = \lambda(c,d) \iff ab \equiv cd$. By geometric constructions and explicit definitions, one may define the \emph{Length structure}: $\Len = (\Len, \oplus, \preceq, \bigcdot)$, ``instantiated by Euclidean geometry'', so to speak. I define the notion of a ``(continuous) positive extensive quantity'' and prove that $\Len$ is such a (continuous) positive extensive quantity. The main results given provide the general characterization of $\Len$ and its symmetry group (the multiplicative group of the positive reals); along with the relevant mathematical relationships between (abstract) lengths and \emph{coordinate} lengths (relative to a coordinate system); and also between lengths, measurement scales and units for length.

Export/Citation: EndNote | BibTeX | Dublin Core | ASCII/Text Citation (Chicago) | HTML Citation | OpenURL
Social Networking:
Share |

Item Type: Preprint
Ketland, Jeffreyjeffreyketland@gmail.com0000-0002-5128-4387
Keywords: Geometry; quantities; measurement; abstraction principle; representation theorem; length
Subjects: Specific Sciences > Physics
General Issues > Structure of Theories
Depositing User: Dr Jeffrey Ketland
Date Deposited: 02 Jun 2024 15:34
Last Modified: 02 Jun 2024 15:34
Item ID: 23514
Subjects: Specific Sciences > Physics
General Issues > Structure of Theories
Date: 3 February 2023

Available Versions of this Item

Monthly Views for the past 3 years

Monthly Downloads for the past 3 years

Plum Analytics

Actions (login required)

View Item View Item