In Euclidean space, there can be several definitions that makes a straght line:
- Line of shortest distance between two points
- Line that is linear, i.e with the points satisfying a linear equation
- Line of zero curvature everywhere
- Line with constant curvature that is equal from both sides
The Wikipedia article states:
In geometry, it is frequently the case that the concept of line is taken as a primitive.
When one enters non-Euclidean geometry, are the above definitions consistent with each other? Definition 1, for example, becomes a geodesic.
$\endgroup$ 102 Answers
$\begingroup$None of these definitions as satisfactory as they rely on other concepts, such as distance or curvature, even less defined.
$\endgroup$ $\begingroup$A line is straight(in plane or curved space) if the covariant derivative of the velocity curve along the tangent space of it is $0$, i.e. $\nabla_\dot\gamma\dot\gamma=0$. It can be thought as a geodesic.
$\endgroup$