Definition of *straight* lines

In summary, straightness is a concept that has been historically taken to be intuitively obvious, but has been more precisely defined in mathematics as a path that minimizes distance or has no acceleration. This notion relies on a prior understanding of length and can be applied to arbitrary metric spaces through the comparison of paths to similar paths in Euclidean space.
  • #1
tauon
90
0
How is a straight line/straight curve defined (in contexts where it is meaningful) ?

I am trying to wrap my mind around this concept, but I can't understand it at all : how is straight-ness defined? is it defined ? or should I take it as an axiom, or just think about it at an intuitive level and say "a straight line is something that looks like this _____________" ?

To clear things up a bit : is there a concrete synthetic definition of straightness that precisely describes something which looks like this ____ (beyond the circular attempts of algebraic/analytic geometry) ?
 
Physics news on Phys.org
  • #2
If you just care about Euclidean space, you can define a straight line to be the set of all points u+tv where u and v are vectors and t ranges over some interval on the real line.

Another description (which generalizes arbitrary spaces with a metric) is that a curve between two points is "straight" if its length is minimal among all curves that connect the two points.
 
  • #3
eok20 said:
If you just care about Euclidean space, you can define a straight line to be the set of all points u+tv where u and v are vectors and t ranges over some interval on the real line.

but going that way, that vector equation "is" a straight line if we draw it in a system formed by some perpendicular "straight" lines... like I said, using algebraic geometry seems a little like going in circles to me... that equation doesn't characterize straightness, only some abstract 1-dimensional affine plane corresponding to a certain vector space...

eok20 said:
Another description (which generalizes arbitrary spaces with a metric) is that a curve between two points is "straight" if its length is minimal among all curves that connect the two points.

yeah, but which metric of which space... and on this side we again return to the same issue as above: you need to represent that curve inside a system formed by perpendicular straight lines to get what we want... not to mention that it's again a pretty detached and abstract notion.

I'm interested about this thing at an elementary level of sorts... we use "straight" lines all the time in math(geometry) but I never read anywhere about a definition for "straight" line...

sorry if I'm being a pain in the ***.
 
  • #4
I think your issue is in going from mathematics to a pictorial representation. Mathematically, I don't think there is anything vague in saying that a straight line in R^n (and we understand R^n as a topological vector space) is a set of points of the form u + tv. This agrees with our intuitive understanding: if we think of R^n as having coordinate axes formed by straight lines (they don't even have to be perpendicular), and plot the points accordingly, we get something that looks like _____ . Of course, we could draw the coordinate axes in some weird way and what we would get wouldn't look like ____. But topologically, their the same, and if we introduce the metric dx_1^2+...+dx_n^2, curves of the form u + tv minimize distance.
 
  • #5
tauon said:
How is a straight line/straight curve defined (in contexts where it is meaningful) ?

I am trying to wrap my mind around this concept, but I can't understand it at all : how is straight-ness defined? is it defined ? or should I take it as an axiom, or just think about it at an intuitive level and say "a straight line is something that looks like this _____________" ?

To clear things up a bit : is there a concrete synthetic definition of straightness that precisely describes something which looks like this ____ (beyond the circular attempts of algebraic/analytic geometry) ?

I think historically the concept of straightness was taken to be intuitively obvious, something that we can see with our mind's eye. The same would be true of circular or any other geometric shape.

Mathematically, is was finally realized that a path "looks straight" if an object that moves along it at constant speed has no acceleration or what is the same physically, feels no forces.
This is the idea of a geodesic. The key insight is that geodesics may not actually be Euclidean straight lines but they still "look straight."
 
  • #6
I think eok20 hit the nail on the head with this:
eok20 said:
Another description (which generalizes arbitrary spaces with a metric) is that a curve between two points is "straight" if its length is minimal among all curves that connect the two points.
This notion of "straightness" relies only on a prior notion of "length". So, if you can assign a real number to each one-dimensional connected set of points, then you have enough to define straightness.
 
  • #7
Curvature of metric spaces is defined: given a curve (a continuous function from an interval to a metric space X) [tex]\gamma : [a, b] \rightarrow X[/tex], choose some arbitrary [tex]p \in X[/tex] and choose two points [tex]x, y \in \mathbb{R}^n[/tex] that are the same distance from one another as [tex]\gamma(a)[/tex] and [tex]\gamma(b)[/tex].

Next choose a point [tex]p_0 \in \mathbb{R}^n[/tex] that is the same distance from each of [tex]x, y[/tex] as [tex]p[/tex] is from each of [tex]\gamma(a),\ \gamma(b)[/tex] respectively (i.e.,

[tex]\Vert x - p_0) \Vert = distance(\gamma(a),\ p)[/tex], and
[tex]\Vert y - p_0 \Vert = distance(\gamma(b),\ p)[/tex] ).

Then you can consider points along the curve in the metric space and compare them to points along the straight line between the two points in Euclidean space to see how your curve compares.

A few more assumptions I left out are required (in particular about how [tex]\gamma[/tex] is parameterized, and the existence of the other points), but the gist of it is you can measure curvature in a general setting by comparing paths (particularly "shortest paths", but again that requires more assumptions) in said space to "similar" paths in Euclidean space. Try googling/looking up info about length spaces, comparison geometry and geodesics.
 
Last edited:
  • #8
jgm340 said:
I think eok20 hit the nail on the head with this: This notion of "straightness" relies only on a prior notion of "length". So, if you can assign a real number to each one-dimensional connected set of points, then you have enough to define straightness.

not on the head. The reason is that a straight line does not need to be the shortest line. The idea of straightness is different - it is the idea of a geodesic.

Further, in some spaces there may be no shortest line between two points.

Mathematically, it is possible to define straightness without any notion of distance though in Levi Cevita connections, the connection is compatible with a Riemannian metric on the tangent space.
 

What is the definition of a straight line?

A straight line is a one-dimensional geometric figure that extends infinitely in both directions and has no curvature. It is the shortest distance between two points.

How is a straight line different from a curved line?

A straight line has a constant direction and does not deviate from its path, while a curved line changes direction and has varying degrees of curvature.

What are the properties of a straight line?

Some key properties of a straight line include: it has no thickness, it has infinite length, any two points on the line can be connected by a straight line segment, and it has a constant slope or gradient.

Can a straight line ever be curved?

No, by definition, a straight line cannot have any curvature. However, a series of connected straight line segments can form a curved shape.

How can you represent a straight line mathematically?

A straight line can be represented by the equation y=mx+b, where m is the slope and b is the y-intercept. It can also be represented by the equation ax+by+c=0, where a and b are constants and x and y are variables.

Similar threads

Replies
7
Views
2K
  • Precalculus Mathematics Homework Help
Replies
18
Views
1K
  • General Math
Replies
3
Views
1K
Replies
16
Views
2K
  • Electromagnetism
Replies
3
Views
1K
  • Differential Geometry
Replies
1
Views
1K
Replies
4
Views
606
  • Linear and Abstract Algebra
Replies
13
Views
381
Replies
2
Views
2K
  • Introductory Physics Homework Help
3
Replies
98
Views
4K
Back
Top