Is it possible to define “Straight-line” logically? If it is possible, How you will define it? [duplicate]

Clash Royale CLAN TAG#URR8PPP

up vote
4
down vote

favorite

2

This question already has an answer here:

• 
  Is there a rigorous definition of a line?
  
  2 answers
  
  

Recently I am studying the "ELEMENTS" of Euclid. It is a translation of SIR THOMAS L. HEATH. In the definition part of the first book, the second definition is, "A line is Breathless length". My question is what we understand by Length And Breadth? Is it not straight line? how we can define line with the help of the concept of straight line? Can we define a "Dimension" logically?

geometry definition

share|cite|improve this question

edited Aug 17 at 11:44

asked Aug 17 at 10:16

MD SHAHED HUSSAIN

212

marked as duplicate by Jam, Jyrki Lahtonen, John Ma, Sil, amWhy Aug 18 at 0:24

This question has been asked before and already has an answer. If those answers do not fully address your question, please ask a new question.

• 
  
  
  

  
  1
  

  
  
  
  
  
  

  
  And you have now stumbled upon part of why the Elements aren't used as much in teaching modern mathematics: It doesn't stand up to the rigor we began requiring of math at the end of the 19th century.
  – Arthur
  Aug 17 at 10:20
  
  

  
  
  
  


• 
  
  
  

  
  

  
  
  
  
  
  

  
  Then please state what is the modern definition of straight line? And please explain me the dimension?
  – MD SHAHED HUSSAIN
  Aug 17 at 10:25
  

  
  
  
  


• 
  
  
  

  
  

  
  
  
  
  
  

  
  There have been books written on the subject, taking a more modern approach. The two I have seen are by Marvin Greenberg and Robin Hartshorne. It is actually pretty common to not define what a line is (and "straight" is just never used at all), but just declare that there is a concept with the name "line" and give axioms to state how such things behave.
  – Arthur
  Aug 17 at 10:28
  
  

  
  
  
  


• 
  
  
  

  
  1
  

  
  
  
  
  
  

  
  Can we not just define a line as the set of all points in the plane satisfying the equation of the line?
  – Jam
  Aug 17 at 10:56
  

  
  
  
  


• 
  
  
  

  
  

  
  
  
  
  
  

  
  @Jam You're now doing what The_Sympathizer in his answer calls "taking the opposite approach of using analytic geometry". It's possible, but if you go down that route you first need an axiomatic definition of the real number line and the Cartesian coordinate plane. I don't think you necessarily gain as much as you hope that way. Also, in axiomatic geometry, a line is distinct from the collection of points on that line.
  – Arthur
  Aug 17 at 11:03
  

  
  
  
  

 | 
show 2 more comments

up vote
4
down vote

favorite

2

This question already has an answer here:

• 
  Is there a rigorous definition of a line?
  
  2 answers
  
  

Recently I am studying the "ELEMENTS" of Euclid. It is a translation of SIR THOMAS L. HEATH. In the definition part of the first book, the second definition is, "A line is Breathless length". My question is what we understand by Length And Breadth? Is it not straight line? how we can define line with the help of the concept of straight line? Can we define a "Dimension" logically?

geometry definition

share|cite|improve this question

edited Aug 17 at 11:44

asked Aug 17 at 10:16

MD SHAHED HUSSAIN

212

marked as duplicate by Jam, Jyrki Lahtonen, John Ma, Sil, amWhy Aug 18 at 0:24

This question has been asked before and already has an answer. If those answers do not fully address your question, please ask a new question.

• 
  
  
  

  
  1
  

  
  
  
  
  
  

  
  And you have now stumbled upon part of why the Elements aren't used as much in teaching modern mathematics: It doesn't stand up to the rigor we began requiring of math at the end of the 19th century.
  – Arthur
  Aug 17 at 10:20
  
  

  
  
  
  


• 
  
  
  

  
  

  
  
  
  
  
  

  
  Then please state what is the modern definition of straight line? And please explain me the dimension?
  – MD SHAHED HUSSAIN
  Aug 17 at 10:25
  

  
  
  
  


• 
  
  
  

  
  

  
  
  
  
  
  

  
  There have been books written on the subject, taking a more modern approach. The two I have seen are by Marvin Greenberg and Robin Hartshorne. It is actually pretty common to not define what a line is (and "straight" is just never used at all), but just declare that there is a concept with the name "line" and give axioms to state how such things behave.
  – Arthur
  Aug 17 at 10:28
  
  

  
  
  
  


• 
  
  
  

  
  1
  

  
  
  
  
  
  

  
  Can we not just define a line as the set of all points in the plane satisfying the equation of the line?
  – Jam
  Aug 17 at 10:56
  

  
  
  
  


• 
  
  
  

  
  

  
  
  
  
  
  

  
  @Jam You're now doing what The_Sympathizer in his answer calls "taking the opposite approach of using analytic geometry". It's possible, but if you go down that route you first need an axiomatic definition of the real number line and the Cartesian coordinate plane. I don't think you necessarily gain as much as you hope that way. Also, in axiomatic geometry, a line is distinct from the collection of points on that line.
  – Arthur
  Aug 17 at 11:03
  

  
  
  
  

 | 
show 2 more comments

up vote
4
down vote

favorite

2

up vote
4
down vote

favorite

2

2

This question already has an answer here:

• 
  Is there a rigorous definition of a line?
  
  2 answers
  
  

Recently I am studying the "ELEMENTS" of Euclid. It is a translation of SIR THOMAS L. HEATH. In the definition part of the first book, the second definition is, "A line is Breathless length". My question is what we understand by Length And Breadth? Is it not straight line? how we can define line with the help of the concept of straight line? Can we define a "Dimension" logically?

geometry definition

share|cite|improve this question

edited Aug 17 at 11:44

asked Aug 17 at 10:16

MD SHAHED HUSSAIN

212

This question already has an answer here:

• 
  Is there a rigorous definition of a line?
  
  2 answers
  
  

Recently I am studying the "ELEMENTS" of Euclid. It is a translation of SIR THOMAS L. HEATH. In the definition part of the first book, the second definition is, "A line is Breathless length". My question is what we understand by Length And Breadth? Is it not straight line? how we can define line with the help of the concept of straight line? Can we define a "Dimension" logically?

This question already has an answer here:

• 
  Is there a rigorous definition of a line?
  
  2 answers
  
  

geometry definition

share|cite|improve this question

edited Aug 17 at 11:44

asked Aug 17 at 10:16

MD SHAHED HUSSAIN

212

share|cite|improve this question

share|cite|improve this question

edited Aug 17 at 11:44

edited Aug 17 at 11:44

edited Aug 17 at 11:44

asked Aug 17 at 10:16

MD SHAHED HUSSAIN

212

asked Aug 17 at 10:16

MD SHAHED HUSSAIN

212

asked Aug 17 at 10:16

MD SHAHED HUSSAIN

212

212

marked as duplicate by Jam, Jyrki Lahtonen, John Ma, Sil, amWhy Aug 18 at 0:24

This question has been asked before and already has an answer. If those answers do not fully address your question, please ask a new question.

marked as duplicate by Jam, Jyrki Lahtonen, John Ma, Sil, amWhy Aug 18 at 0:24

This question has been asked before and already has an answer. If those answers do not fully address your question, please ask a new question.

• 
  
  
  

  
  1
  

  
  
  
  
  
  

  
  And you have now stumbled upon part of why the Elements aren't used as much in teaching modern mathematics: It doesn't stand up to the rigor we began requiring of math at the end of the 19th century.
  – Arthur
  Aug 17 at 10:20
  
  

  
  
  
  


• 
  
  
  

  
  

  
  
  
  
  
  

  
  Then please state what is the modern definition of straight line? And please explain me the dimension?
  – MD SHAHED HUSSAIN
  Aug 17 at 10:25
  

  
  
  
  


• 
  
  
  

  
  

  
  
  
  
  
  

  
  There have been books written on the subject, taking a more modern approach. The two I have seen are by Marvin Greenberg and Robin Hartshorne. It is actually pretty common to not define what a line is (and "straight" is just never used at all), but just declare that there is a concept with the name "line" and give axioms to state how such things behave.
  – Arthur
  Aug 17 at 10:28
  
  

  
  
  
  


• 
  
  
  

  
  1
  

  
  
  
  
  
  

  
  Can we not just define a line as the set of all points in the plane satisfying the equation of the line?
  – Jam
  Aug 17 at 10:56
  

  
  
  
  


• 
  
  
  

  
  

  
  
  
  
  
  

  
  @Jam You're now doing what The_Sympathizer in his answer calls "taking the opposite approach of using analytic geometry". It's possible, but if you go down that route you first need an axiomatic definition of the real number line and the Cartesian coordinate plane. I don't think you necessarily gain as much as you hope that way. Also, in axiomatic geometry, a line is distinct from the collection of points on that line.
  – Arthur
  Aug 17 at 11:03
  

  
  
  
  

 | 
show 2 more comments

• 
  
  
  

  
  1
  

  
  
  
  
  
  

  
  And you have now stumbled upon part of why the Elements aren't used as much in teaching modern mathematics: It doesn't stand up to the rigor we began requiring of math at the end of the 19th century.
  – Arthur
  Aug 17 at 10:20
  
  

  
  
  
  


• 
  
  
  

  
  

  
  
  
  
  
  

  
  Then please state what is the modern definition of straight line? And please explain me the dimension?
  – MD SHAHED HUSSAIN
  Aug 17 at 10:25
  

  
  
  
  


• 
  
  
  

  
  

  
  
  
  
  
  

  
  There have been books written on the subject, taking a more modern approach. The two I have seen are by Marvin Greenberg and Robin Hartshorne. It is actually pretty common to not define what a line is (and "straight" is just never used at all), but just declare that there is a concept with the name "line" and give axioms to state how such things behave.
  – Arthur
  Aug 17 at 10:28
  
  

  
  
  
  


• 
  
  
  

  
  1
  

  
  
  
  
  
  

  
  Can we not just define a line as the set of all points in the plane satisfying the equation of the line?
  – Jam
  Aug 17 at 10:56
  

  
  
  
  


• 
  
  
  

  
  

  
  
  
  
  
  

  
  @Jam You're now doing what The_Sympathizer in his answer calls "taking the opposite approach of using analytic geometry". It's possible, but if you go down that route you first need an axiomatic definition of the real number line and the Cartesian coordinate plane. I don't think you necessarily gain as much as you hope that way. Also, in axiomatic geometry, a line is distinct from the collection of points on that line.
  – Arthur
  Aug 17 at 11:03
  

  
  
  
  

1

1

And you have now stumbled upon part of why the Elements aren't used as much in teaching modern mathematics: It doesn't stand up to the rigor we began requiring of math at the end of the 19th century.
– Arthur
Aug 17 at 10:20

And you have now stumbled upon part of why the Elements aren't used as much in teaching modern mathematics: It doesn't stand up to the rigor we began requiring of math at the end of the 19th century.
– Arthur
Aug 17 at 10:20

Then please state what is the modern definition of straight line? And please explain me the dimension?
– MD SHAHED HUSSAIN
Aug 17 at 10:25

Then please state what is the modern definition of straight line? And please explain me the dimension?
– MD SHAHED HUSSAIN
Aug 17 at 10:25

There have been books written on the subject, taking a more modern approach. The two I have seen are by Marvin Greenberg and Robin Hartshorne. It is actually pretty common to not define what a line is (and "straight" is just never used at all), but just declare that there is a concept with the name "line" and give axioms to state how such things behave.
– Arthur
Aug 17 at 10:28

There have been books written on the subject, taking a more modern approach. The two I have seen are by Marvin Greenberg and Robin Hartshorne. It is actually pretty common to not define what a line is (and "straight" is just never used at all), but just declare that there is a concept with the name "line" and give axioms to state how such things behave.
– Arthur
Aug 17 at 10:28

1

1

Can we not just define a line as the set of all points in the plane satisfying the equation of the line?
– Jam
Aug 17 at 10:56

Can we not just define a line as the set of all points in the plane satisfying the equation of the line?
– Jam
Aug 17 at 10:56

@Jam You're now doing what The_Sympathizer in his answer calls "taking the opposite approach of using analytic geometry". It's possible, but if you go down that route you first need an axiomatic definition of the real number line and the Cartesian coordinate plane. I don't think you necessarily gain as much as you hope that way. Also, in axiomatic geometry, a line is distinct from the collection of points on that line.
– Arthur
Aug 17 at 11:03

@Jam You're now doing what The_Sympathizer in his answer calls "taking the opposite approach of using analytic geometry". It's possible, but if you go down that route you first need an axiomatic definition of the real number line and the Cartesian coordinate plane. I don't think you necessarily gain as much as you hope that way. Also, in axiomatic geometry, a line is distinct from the collection of points on that line.
– Arthur
Aug 17 at 11:03

 | 
show 2 more comments

4 Answers
4

active

oldest

votes

up vote
7
down vote

In axiomatic geometry, generally one does not give a definition - or in particular, the definition cannot be mathematical. Definitions like those in Euclid have no mathematical flavor, but are rather in human language, and meant to convey intuitive concepts and imagery so as to connect what the axioms are talking about to understandable experience and make their intent clear. The situation is not any different in the modern mathematical treatments - the difference is that our axioms are logically airtight for the manner in which modern mathematics is carried out and moreover that in a modern treatment one is up-front and honest that the terms like "straight line", etc. cannot be defined mathematically. They are what are called "primitive" concepts. Intuition, and intuitive understandings and concepts are, in my mind, VERY important, but they have to be guided with rigor. Rigor is the scaffolding, intuition is that in which it is dressed. The rigor cannot be truly understood without the intuition (and much problem solving is done on an intuitive level first), and intuition can lead one wrong if one does not also make sure it can be followed in rigor.

That said, if one takes the opposite approach of using analytic geometry, in which geometry is constructed out of the real number line using coordinate planes or spaces, then one can define the concept of a direction in space using calculus, and say a straight line is a curve that preserves a constant direction. The analytic approach, of course, is equivalent, but it admits of more generality in that it can be generalized to highly non-Euclidean, fluid spaces; it is the only approach in which things like Einstein's theory of general relativity can best be formulated.

(Historical note: This is, by the way, not saying Euclid was bad. The mathematics in his cultural area and time simply did not have the same methodology as now. His axioms are more like recipes for stating what sort of figures one is allowed to construct, but not so much recipes for how they are to behave and to interact. In particular, some scholars analyzing Euclid have suggested that his axioms, where they did more than prescribe constructions to make, were designed to convey what we would call the "metrical" - measuring or distance - aspect of Euclidean geometry, while the "topological" part - i.e. intersections - was to be handled by the use of diagrams and the diagram itself was an important reasoning tool. One can actually axiomatize diagrams separately to use them in a modern framework, but this approach is a bit wordier than it needs to be and most approaches just combine the topologic and metric axioms together. Though even with that, I still think a case can be made Euclid was truly incomplete, as some of his contemporaries or slightly later successors criticized his work on incompleteness grounds as well, for example, one criticism amounted to that he did not really know that a straight line could not meet with another in more than one point.)

share|cite|improve this answer

edited Aug 17 at 10:41

answered Aug 17 at 10:35

The_Sympathizer

6,6072241

add a comment | 

up vote
4
down vote

A straight line is nowadays defined in a abstract way, using axioms:

• By two distinct points of the plane passes one and only one straight line.




• Any straight line contains at least two points.




• There are at least three non-aligned points.




• If B lies between A and C, then B lies between C and A.




• Let B and D be two distinct points. There are three points A, C, E of
  (BD) such that B ∈]AD[, C ∈]BD[ and D ∈]BE[.




• Given three points of a straight line, one and only one of them lies between the two others.




• ...

The straight line is in fact not given a definition in the sense you have in mind. Only essential properties of lines and points are listed.

share|cite|improve this answer

edited Aug 17 at 15:41

answered Aug 17 at 10:31

Yves Daoust

113k665207

• 
  
  
  

  
  

  
  
  
  
  
  

  
  Please provide the English translation of it or mention any book from where I can get the meaning of it.
  – MD SHAHED HUSSAIN
  Aug 17 at 10:39
  

  
  
  
  


• 
  
  
  

  
  

  
  
  
  
  
  

  
  @Yves_Daoust "The straight line is in fact not given a real definition. Only essential properties of lines and points are listed." In what way do you think these are different things? If I describe the properties of an object, is this not equivalent to defining it as an object with those properties?
  – Jam
  Aug 17 at 11:11
  

  
  
  
  


• 
  
  
  

  
  

  
  
  
  
  
  

  
  @MDSHAHEDHUSSAIN: the content is unimportant. The point is that geometry is formalized by axioms rather than definitions.
  – Yves Daoust
  Aug 17 at 12:06
  
  

  
  
  
  


• 
  
  
  

  
  

  
  
  
  
  
  

  
  "A straight line is an object which satisfies the following axioms: ..." is a perfectly good definition; it's just not a constructive definition.
  – chepner
  Aug 17 at 15:28
  

  
  
  
  


• 
  
  
  

  
  

  
  
  
  
  
  

  
  @chepner: I never said it was bad, did I ?
  – Yves Daoust
  Aug 17 at 15:30
  

  
  
  
  

add a comment | 

up vote
0
down vote

Yes, you can define dimension in a rather consistent way across all categories see there. The only thing all these definition have in common is that the cartesian vector space $R^n$ has dimension $n$.

Be warned however of some un-intuitive facts, like negative Lebesgue dimension of topological spaces or non-integer Hausdorff dimension of metrical spaces.

Note also that the cohomological dimension is more than a unique number, as you need not only to measure the dimension of the space, but the dimension of the holes in it.

share|cite|improve this answer

answered Aug 17 at 15:34

AlainD

62636

add a comment | 

up vote
0
down vote

Whether you can define "line" depends on what other undefined terms there are (every theory has to have some primitives, after all).

I once played with developing axioms for Euclidean geometry where the only primitives were "point" and the relation "Points A and B are closer together than points C and D" (symbolized as $AB prec CD$). Then defining

• Equidistance: $AB sim CD$ if $AB notprec CD$ and $CD notprec AB$. Equivalence classes of $sim$ defined lengths.


• $B$ is between $A$ and $C$ if among all points $D$ with $BD sim BC$, it holds that $AD preceq AC$.


• $A, B, C$ are colinear if one of the points is between the other two.


• A linear space is a collection of points such that for every two points in it, all other points colinear with them are also contained in it.


• The span of a collection of points is the smallest linear space containing the entire collection.


• A line is a linear space spanned by two points. A plane is a linear space spanned by three points, etc.

There were no logical problems with the project, but I abandoned it because the axioms necessary to make sure everything behaved properly were getting out-of-hand, which made this approach conceptually much harder than the more common approaches.

share|cite|improve this answer

answered Aug 17 at 16:29

Paul Sinclair

18.6k21439

add a comment | 

4 Answers
4

active

oldest

votes

4 Answers
4

active

oldest

votes

active

oldest

votes

active

oldest

votes

up vote
7
down vote

In axiomatic geometry, generally one does not give a definition - or in particular, the definition cannot be mathematical. Definitions like those in Euclid have no mathematical flavor, but are rather in human language, and meant to convey intuitive concepts and imagery so as to connect what the axioms are talking about to understandable experience and make their intent clear. The situation is not any different in the modern mathematical treatments - the difference is that our axioms are logically airtight for the manner in which modern mathematics is carried out and moreover that in a modern treatment one is up-front and honest that the terms like "straight line", etc. cannot be defined mathematically. They are what are called "primitive" concepts. Intuition, and intuitive understandings and concepts are, in my mind, VERY important, but they have to be guided with rigor. Rigor is the scaffolding, intuition is that in which it is dressed. The rigor cannot be truly understood without the intuition (and much problem solving is done on an intuitive level first), and intuition can lead one wrong if one does not also make sure it can be followed in rigor.

That said, if one takes the opposite approach of using analytic geometry, in which geometry is constructed out of the real number line using coordinate planes or spaces, then one can define the concept of a direction in space using calculus, and say a straight line is a curve that preserves a constant direction. The analytic approach, of course, is equivalent, but it admits of more generality in that it can be generalized to highly non-Euclidean, fluid spaces; it is the only approach in which things like Einstein's theory of general relativity can best be formulated.

(Historical note: This is, by the way, not saying Euclid was bad. The mathematics in his cultural area and time simply did not have the same methodology as now. His axioms are more like recipes for stating what sort of figures one is allowed to construct, but not so much recipes for how they are to behave and to interact. In particular, some scholars analyzing Euclid have suggested that his axioms, where they did more than prescribe constructions to make, were designed to convey what we would call the "metrical" - measuring or distance - aspect of Euclidean geometry, while the "topological" part - i.e. intersections - was to be handled by the use of diagrams and the diagram itself was an important reasoning tool. One can actually axiomatize diagrams separately to use them in a modern framework, but this approach is a bit wordier than it needs to be and most approaches just combine the topologic and metric axioms together. Though even with that, I still think a case can be made Euclid was truly incomplete, as some of his contemporaries or slightly later successors criticized his work on incompleteness grounds as well, for example, one criticism amounted to that he did not really know that a straight line could not meet with another in more than one point.)

share|cite|improve this answer

edited Aug 17 at 10:41

answered Aug 17 at 10:35

The_Sympathizer

6,6072241

add a comment | 

up vote
7
down vote

In axiomatic geometry, generally one does not give a definition - or in particular, the definition cannot be mathematical. Definitions like those in Euclid have no mathematical flavor, but are rather in human language, and meant to convey intuitive concepts and imagery so as to connect what the axioms are talking about to understandable experience and make their intent clear. The situation is not any different in the modern mathematical treatments - the difference is that our axioms are logically airtight for the manner in which modern mathematics is carried out and moreover that in a modern treatment one is up-front and honest that the terms like "straight line", etc. cannot be defined mathematically. They are what are called "primitive" concepts. Intuition, and intuitive understandings and concepts are, in my mind, VERY important, but they have to be guided with rigor. Rigor is the scaffolding, intuition is that in which it is dressed. The rigor cannot be truly understood without the intuition (and much problem solving is done on an intuitive level first), and intuition can lead one wrong if one does not also make sure it can be followed in rigor.

That said, if one takes the opposite approach of using analytic geometry, in which geometry is constructed out of the real number line using coordinate planes or spaces, then one can define the concept of a direction in space using calculus, and say a straight line is a curve that preserves a constant direction. The analytic approach, of course, is equivalent, but it admits of more generality in that it can be generalized to highly non-Euclidean, fluid spaces; it is the only approach in which things like Einstein's theory of general relativity can best be formulated.

(Historical note: This is, by the way, not saying Euclid was bad. The mathematics in his cultural area and time simply did not have the same methodology as now. His axioms are more like recipes for stating what sort of figures one is allowed to construct, but not so much recipes for how they are to behave and to interact. In particular, some scholars analyzing Euclid have suggested that his axioms, where they did more than prescribe constructions to make, were designed to convey what we would call the "metrical" - measuring or distance - aspect of Euclidean geometry, while the "topological" part - i.e. intersections - was to be handled by the use of diagrams and the diagram itself was an important reasoning tool. One can actually axiomatize diagrams separately to use them in a modern framework, but this approach is a bit wordier than it needs to be and most approaches just combine the topologic and metric axioms together. Though even with that, I still think a case can be made Euclid was truly incomplete, as some of his contemporaries or slightly later successors criticized his work on incompleteness grounds as well, for example, one criticism amounted to that he did not really know that a straight line could not meet with another in more than one point.)

share|cite|improve this answer

edited Aug 17 at 10:41

answered Aug 17 at 10:35

The_Sympathizer

6,6072241

add a comment | 

up vote
7
down vote

up vote
7
down vote

In axiomatic geometry, generally one does not give a definition - or in particular, the definition cannot be mathematical. Definitions like those in Euclid have no mathematical flavor, but are rather in human language, and meant to convey intuitive concepts and imagery so as to connect what the axioms are talking about to understandable experience and make their intent clear. The situation is not any different in the modern mathematical treatments - the difference is that our axioms are logically airtight for the manner in which modern mathematics is carried out and moreover that in a modern treatment one is up-front and honest that the terms like "straight line", etc. cannot be defined mathematically. They are what are called "primitive" concepts. Intuition, and intuitive understandings and concepts are, in my mind, VERY important, but they have to be guided with rigor. Rigor is the scaffolding, intuition is that in which it is dressed. The rigor cannot be truly understood without the intuition (and much problem solving is done on an intuitive level first), and intuition can lead one wrong if one does not also make sure it can be followed in rigor.

That said, if one takes the opposite approach of using analytic geometry, in which geometry is constructed out of the real number line using coordinate planes or spaces, then one can define the concept of a direction in space using calculus, and say a straight line is a curve that preserves a constant direction. The analytic approach, of course, is equivalent, but it admits of more generality in that it can be generalized to highly non-Euclidean, fluid spaces; it is the only approach in which things like Einstein's theory of general relativity can best be formulated.

(Historical note: This is, by the way, not saying Euclid was bad. The mathematics in his cultural area and time simply did not have the same methodology as now. His axioms are more like recipes for stating what sort of figures one is allowed to construct, but not so much recipes for how they are to behave and to interact. In particular, some scholars analyzing Euclid have suggested that his axioms, where they did more than prescribe constructions to make, were designed to convey what we would call the "metrical" - measuring or distance - aspect of Euclidean geometry, while the "topological" part - i.e. intersections - was to be handled by the use of diagrams and the diagram itself was an important reasoning tool. One can actually axiomatize diagrams separately to use them in a modern framework, but this approach is a bit wordier than it needs to be and most approaches just combine the topologic and metric axioms together. Though even with that, I still think a case can be made Euclid was truly incomplete, as some of his contemporaries or slightly later successors criticized his work on incompleteness grounds as well, for example, one criticism amounted to that he did not really know that a straight line could not meet with another in more than one point.)

share|cite|improve this answer

edited Aug 17 at 10:41

answered Aug 17 at 10:35

The_Sympathizer

6,6072241

In axiomatic geometry, generally one does not give a definition - or in particular, the definition cannot be mathematical. Definitions like those in Euclid have no mathematical flavor, but are rather in human language, and meant to convey intuitive concepts and imagery so as to connect what the axioms are talking about to understandable experience and make their intent clear. The situation is not any different in the modern mathematical treatments - the difference is that our axioms are logically airtight for the manner in which modern mathematics is carried out and moreover that in a modern treatment one is up-front and honest that the terms like "straight line", etc. cannot be defined mathematically. They are what are called "primitive" concepts. Intuition, and intuitive understandings and concepts are, in my mind, VERY important, but they have to be guided with rigor. Rigor is the scaffolding, intuition is that in which it is dressed. The rigor cannot be truly understood without the intuition (and much problem solving is done on an intuitive level first), and intuition can lead one wrong if one does not also make sure it can be followed in rigor.

That said, if one takes the opposite approach of using analytic geometry, in which geometry is constructed out of the real number line using coordinate planes or spaces, then one can define the concept of a direction in space using calculus, and say a straight line is a curve that preserves a constant direction. The analytic approach, of course, is equivalent, but it admits of more generality in that it can be generalized to highly non-Euclidean, fluid spaces; it is the only approach in which things like Einstein's theory of general relativity can best be formulated.

(Historical note: This is, by the way, not saying Euclid was bad. The mathematics in his cultural area and time simply did not have the same methodology as now. His axioms are more like recipes for stating what sort of figures one is allowed to construct, but not so much recipes for how they are to behave and to interact. In particular, some scholars analyzing Euclid have suggested that his axioms, where they did more than prescribe constructions to make, were designed to convey what we would call the "metrical" - measuring or distance - aspect of Euclidean geometry, while the "topological" part - i.e. intersections - was to be handled by the use of diagrams and the diagram itself was an important reasoning tool. One can actually axiomatize diagrams separately to use them in a modern framework, but this approach is a bit wordier than it needs to be and most approaches just combine the topologic and metric axioms together. Though even with that, I still think a case can be made Euclid was truly incomplete, as some of his contemporaries or slightly later successors criticized his work on incompleteness grounds as well, for example, one criticism amounted to that he did not really know that a straight line could not meet with another in more than one point.)

share|cite|improve this answer

edited Aug 17 at 10:41

answered Aug 17 at 10:35

The_Sympathizer

6,6072241

share|cite|improve this answer

share|cite|improve this answer

edited Aug 17 at 10:41

edited Aug 17 at 10:41

edited Aug 17 at 10:41

answered Aug 17 at 10:35

The_Sympathizer

6,6072241

answered Aug 17 at 10:35

The_Sympathizer

6,6072241

answered Aug 17 at 10:35

The_Sympathizer

6,6072241

6,6072241

add a comment | 

add a comment | 

up vote
4
down vote

A straight line is nowadays defined in a abstract way, using axioms:

• By two distinct points of the plane passes one and only one straight line.




• Any straight line contains at least two points.




• There are at least three non-aligned points.




• If B lies between A and C, then B lies between C and A.




• Let B and D be two distinct points. There are three points A, C, E of
  (BD) such that B ∈]AD[, C ∈]BD[ and D ∈]BE[.




• Given three points of a straight line, one and only one of them lies between the two others.




• ...

The straight line is in fact not given a definition in the sense you have in mind. Only essential properties of lines and points are listed.

share|cite|improve this answer

edited Aug 17 at 15:41

answered Aug 17 at 10:31

Yves Daoust

113k665207

• 
  
  
  

  
  

  
  
  
  
  
  

  
  Please provide the English translation of it or mention any book from where I can get the meaning of it.
  – MD SHAHED HUSSAIN
  Aug 17 at 10:39
  

  
  
  
  


• 
  
  
  

  
  

  
  
  
  
  
  

  
  @Yves_Daoust "The straight line is in fact not given a real definition. Only essential properties of lines and points are listed." In what way do you think these are different things? If I describe the properties of an object, is this not equivalent to defining it as an object with those properties?
  – Jam
  Aug 17 at 11:11
  

  
  
  
  


• 
  
  
  

  
  

  
  
  
  
  
  

  
  @MDSHAHEDHUSSAIN: the content is unimportant. The point is that geometry is formalized by axioms rather than definitions.
  – Yves Daoust
  Aug 17 at 12:06
  
  

  
  
  
  


• 
  
  
  

  
  

  
  
  
  
  
  

  
  "A straight line is an object which satisfies the following axioms: ..." is a perfectly good definition; it's just not a constructive definition.
  – chepner
  Aug 17 at 15:28
  

  
  
  
  


• 
  
  
  

  
  

  
  
  
  
  
  

  
  @chepner: I never said it was bad, did I ?
  – Yves Daoust
  Aug 17 at 15:30
  

  
  
  
  

add a comment | 

up vote
4
down vote

A straight line is nowadays defined in a abstract way, using axioms:

• By two distinct points of the plane passes one and only one straight line.




• Any straight line contains at least two points.




• There are at least three non-aligned points.




• If B lies between A and C, then B lies between C and A.




• Let B and D be two distinct points. There are three points A, C, E of
  (BD) such that B ∈]AD[, C ∈]BD[ and D ∈]BE[.




• Given three points of a straight line, one and only one of them lies between the two others.




• ...

The straight line is in fact not given a definition in the sense you have in mind. Only essential properties of lines and points are listed.

share|cite|improve this answer

edited Aug 17 at 15:41

answered Aug 17 at 10:31

Yves Daoust

113k665207

• 
  
  
  

  
  

  
  
  
  
  
  

  
  Please provide the English translation of it or mention any book from where I can get the meaning of it.
  – MD SHAHED HUSSAIN
  Aug 17 at 10:39
  

  
  
  
  


• 
  
  
  

  
  

  
  
  
  
  
  

  
  @Yves_Daoust "The straight line is in fact not given a real definition. Only essential properties of lines and points are listed." In what way do you think these are different things? If I describe the properties of an object, is this not equivalent to defining it as an object with those properties?
  – Jam
  Aug 17 at 11:11
  

  
  
  
  


• 
  
  
  

  
  

  
  
  
  
  
  

  
  @MDSHAHEDHUSSAIN: the content is unimportant. The point is that geometry is formalized by axioms rather than definitions.
  – Yves Daoust
  Aug 17 at 12:06
  
  

  
  
  
  


• 
  
  
  

  
  

  
  
  
  
  
  

  
  "A straight line is an object which satisfies the following axioms: ..." is a perfectly good definition; it's just not a constructive definition.
  – chepner
  Aug 17 at 15:28
  

  
  
  
  


• 
  
  
  

  
  

  
  
  
  
  
  

  
  @chepner: I never said it was bad, did I ?
  – Yves Daoust
  Aug 17 at 15:30
  

  
  
  
  

add a comment | 

up vote
4
down vote

up vote
4
down vote

A straight line is nowadays defined in a abstract way, using axioms:

• By two distinct points of the plane passes one and only one straight line.




• Any straight line contains at least two points.




• There are at least three non-aligned points.




• If B lies between A and C, then B lies between C and A.




• Let B and D be two distinct points. There are three points A, C, E of
  (BD) such that B ∈]AD[, C ∈]BD[ and D ∈]BE[.




• Given three points of a straight line, one and only one of them lies between the two others.




• ...

The straight line is in fact not given a definition in the sense you have in mind. Only essential properties of lines and points are listed.

share|cite|improve this answer

edited Aug 17 at 15:41

answered Aug 17 at 10:31

Yves Daoust

113k665207

A straight line is nowadays defined in a abstract way, using axioms:

• By two distinct points of the plane passes one and only one straight line.




• Any straight line contains at least two points.




• There are at least three non-aligned points.




• If B lies between A and C, then B lies between C and A.




• Let B and D be two distinct points. There are three points A, C, E of
  (BD) such that B ∈]AD[, C ∈]BD[ and D ∈]BE[.




• Given three points of a straight line, one and only one of them lies between the two others.




• ...

The straight line is in fact not given a definition in the sense you have in mind. Only essential properties of lines and points are listed.

share|cite|improve this answer

edited Aug 17 at 15:41

answered Aug 17 at 10:31

Yves Daoust

113k665207

share|cite|improve this answer

share|cite|improve this answer

edited Aug 17 at 15:41

edited Aug 17 at 15:41

edited Aug 17 at 15:41

answered Aug 17 at 10:31

Yves Daoust

113k665207

answered Aug 17 at 10:31

Yves Daoust

113k665207

answered Aug 17 at 10:31

Yves Daoust

113k665207

113k665207

• 
  
  
  

  
  

  
  
  
  
  
  

  
  Please provide the English translation of it or mention any book from where I can get the meaning of it.
  – MD SHAHED HUSSAIN
  Aug 17 at 10:39
  

  
  
  
  


• 
  
  
  

  
  

  
  
  
  
  
  

  
  @Yves_Daoust "The straight line is in fact not given a real definition. Only essential properties of lines and points are listed." In what way do you think these are different things? If I describe the properties of an object, is this not equivalent to defining it as an object with those properties?
  – Jam
  Aug 17 at 11:11
  

  
  
  
  


• 
  
  
  

  
  

  
  
  
  
  
  

  
  @MDSHAHEDHUSSAIN: the content is unimportant. The point is that geometry is formalized by axioms rather than definitions.
  – Yves Daoust
  Aug 17 at 12:06
  
  

  
  
  
  


• 
  
  
  

  
  

  
  
  
  
  
  

  
  "A straight line is an object which satisfies the following axioms: ..." is a perfectly good definition; it's just not a constructive definition.
  – chepner
  Aug 17 at 15:28
  

  
  
  
  


• 
  
  
  

  
  

  
  
  
  
  
  

  
  @chepner: I never said it was bad, did I ?
  – Yves Daoust
  Aug 17 at 15:30
  

  
  
  
  

add a comment | 

• 
  
  
  

  
  

  
  
  
  
  
  

  
  Please provide the English translation of it or mention any book from where I can get the meaning of it.
  – MD SHAHED HUSSAIN
  Aug 17 at 10:39
  

  
  
  
  


• 
  
  
  

  
  

  
  
  
  
  
  

  
  @Yves_Daoust "The straight line is in fact not given a real definition. Only essential properties of lines and points are listed." In what way do you think these are different things? If I describe the properties of an object, is this not equivalent to defining it as an object with those properties?
  – Jam
  Aug 17 at 11:11
  

  
  
  
  


• 
  
  
  

  
  

  
  
  
  
  
  

  
  @MDSHAHEDHUSSAIN: the content is unimportant. The point is that geometry is formalized by axioms rather than definitions.
  – Yves Daoust
  Aug 17 at 12:06
  
  

  
  
  
  


• 
  
  
  

  
  

  
  
  
  
  
  

  
  "A straight line is an object which satisfies the following axioms: ..." is a perfectly good definition; it's just not a constructive definition.
  – chepner
  Aug 17 at 15:28
  

  
  
  
  


• 
  
  
  

  
  

  
  
  
  
  
  

  
  @chepner: I never said it was bad, did I ?
  – Yves Daoust
  Aug 17 at 15:30
  

  
  
  
  

Please provide the English translation of it or mention any book from where I can get the meaning of it.
– MD SHAHED HUSSAIN
Aug 17 at 10:39

Please provide the English translation of it or mention any book from where I can get the meaning of it.
– MD SHAHED HUSSAIN
Aug 17 at 10:39

@Yves_Daoust "The straight line is in fact not given a real definition. Only essential properties of lines and points are listed." In what way do you think these are different things? If I describe the properties of an object, is this not equivalent to defining it as an object with those properties?
– Jam
Aug 17 at 11:11

@Yves_Daoust "The straight line is in fact not given a real definition. Only essential properties of lines and points are listed." In what way do you think these are different things? If I describe the properties of an object, is this not equivalent to defining it as an object with those properties?
– Jam
Aug 17 at 11:11

@MDSHAHEDHUSSAIN: the content is unimportant. The point is that geometry is formalized by axioms rather than definitions.
– Yves Daoust
Aug 17 at 12:06

@MDSHAHEDHUSSAIN: the content is unimportant. The point is that geometry is formalized by axioms rather than definitions.
– Yves Daoust
Aug 17 at 12:06

"A straight line is an object which satisfies the following axioms: ..." is a perfectly good definition; it's just not a constructive definition.
– chepner
Aug 17 at 15:28

"A straight line is an object which satisfies the following axioms: ..." is a perfectly good definition; it's just not a constructive definition.
– chepner
Aug 17 at 15:28

@chepner: I never said it was bad, did I ?
– Yves Daoust
Aug 17 at 15:30

@chepner: I never said it was bad, did I ?
– Yves Daoust
Aug 17 at 15:30

add a comment | 

up vote
0
down vote

Yes, you can define dimension in a rather consistent way across all categories see there. The only thing all these definition have in common is that the cartesian vector space $R^n$ has dimension $n$.

Be warned however of some un-intuitive facts, like negative Lebesgue dimension of topological spaces or non-integer Hausdorff dimension of metrical spaces.

Note also that the cohomological dimension is more than a unique number, as you need not only to measure the dimension of the space, but the dimension of the holes in it.

share|cite|improve this answer

answered Aug 17 at 15:34

AlainD

62636

add a comment | 

up vote
0
down vote

Yes, you can define dimension in a rather consistent way across all categories see there. The only thing all these definition have in common is that the cartesian vector space $R^n$ has dimension $n$.

Be warned however of some un-intuitive facts, like negative Lebesgue dimension of topological spaces or non-integer Hausdorff dimension of metrical spaces.

Note also that the cohomological dimension is more than a unique number, as you need not only to measure the dimension of the space, but the dimension of the holes in it.

share|cite|improve this answer

answered Aug 17 at 15:34

AlainD

62636

add a comment | 

up vote
0
down vote

up vote
0
down vote

Yes, you can define dimension in a rather consistent way across all categories see there. The only thing all these definition have in common is that the cartesian vector space $R^n$ has dimension $n$.

Be warned however of some un-intuitive facts, like negative Lebesgue dimension of topological spaces or non-integer Hausdorff dimension of metrical spaces.

Note also that the cohomological dimension is more than a unique number, as you need not only to measure the dimension of the space, but the dimension of the holes in it.

share|cite|improve this answer

answered Aug 17 at 15:34

AlainD

62636

Yes, you can define dimension in a rather consistent way across all categories see there. The only thing all these definition have in common is that the cartesian vector space $R^n$ has dimension $n$.

Be warned however of some un-intuitive facts, like negative Lebesgue dimension of topological spaces or non-integer Hausdorff dimension of metrical spaces.

Note also that the cohomological dimension is more than a unique number, as you need not only to measure the dimension of the space, but the dimension of the holes in it.

share|cite|improve this answer

answered Aug 17 at 15:34

AlainD

62636

share|cite|improve this answer

share|cite|improve this answer

answered Aug 17 at 15:34

AlainD

62636

answered Aug 17 at 15:34

AlainD

62636

answered Aug 17 at 15:34

AlainD

62636

62636

add a comment | 

add a comment | 

up vote
0
down vote

Whether you can define "line" depends on what other undefined terms there are (every theory has to have some primitives, after all).

I once played with developing axioms for Euclidean geometry where the only primitives were "point" and the relation "Points A and B are closer together than points C and D" (symbolized as $AB prec CD$). Then defining

• Equidistance: $AB sim CD$ if $AB notprec CD$ and $CD notprec AB$. Equivalence classes of $sim$ defined lengths.


• $B$ is between $A$ and $C$ if among all points $D$ with $BD sim BC$, it holds that $AD preceq AC$.


• $A, B, C$ are colinear if one of the points is between the other two.


• A linear space is a collection of points such that for every two points in it, all other points colinear with them are also contained in it.


• The span of a collection of points is the smallest linear space containing the entire collection.


• A line is a linear space spanned by two points. A plane is a linear space spanned by three points, etc.

There were no logical problems with the project, but I abandoned it because the axioms necessary to make sure everything behaved properly were getting out-of-hand, which made this approach conceptually much harder than the more common approaches.

share|cite|improve this answer

answered Aug 17 at 16:29

Paul Sinclair

18.6k21439

add a comment | 

up vote
0
down vote

Whether you can define "line" depends on what other undefined terms there are (every theory has to have some primitives, after all).

I once played with developing axioms for Euclidean geometry where the only primitives were "point" and the relation "Points A and B are closer together than points C and D" (symbolized as $AB prec CD$). Then defining

• Equidistance: $AB sim CD$ if $AB notprec CD$ and $CD notprec AB$. Equivalence classes of $sim$ defined lengths.


• $B$ is between $A$ and $C$ if among all points $D$ with $BD sim BC$, it holds that $AD preceq AC$.


• $A, B, C$ are colinear if one of the points is between the other two.


• A linear space is a collection of points such that for every two points in it, all other points colinear with them are also contained in it.


• The span of a collection of points is the smallest linear space containing the entire collection.


• A line is a linear space spanned by two points. A plane is a linear space spanned by three points, etc.

There were no logical problems with the project, but I abandoned it because the axioms necessary to make sure everything behaved properly were getting out-of-hand, which made this approach conceptually much harder than the more common approaches.

share|cite|improve this answer

answered Aug 17 at 16:29

Paul Sinclair

18.6k21439

add a comment | 

up vote
0
down vote

up vote
0
down vote

Whether you can define "line" depends on what other undefined terms there are (every theory has to have some primitives, after all).

I once played with developing axioms for Euclidean geometry where the only primitives were "point" and the relation "Points A and B are closer together than points C and D" (symbolized as $AB prec CD$). Then defining

• Equidistance: $AB sim CD$ if $AB notprec CD$ and $CD notprec AB$. Equivalence classes of $sim$ defined lengths.


• $B$ is between $A$ and $C$ if among all points $D$ with $BD sim BC$, it holds that $AD preceq AC$.


• $A, B, C$ are colinear if one of the points is between the other two.


• A linear space is a collection of points such that for every two points in it, all other points colinear with them are also contained in it.


• The span of a collection of points is the smallest linear space containing the entire collection.


• A line is a linear space spanned by two points. A plane is a linear space spanned by three points, etc.

There were no logical problems with the project, but I abandoned it because the axioms necessary to make sure everything behaved properly were getting out-of-hand, which made this approach conceptually much harder than the more common approaches.

share|cite|improve this answer

answered Aug 17 at 16:29

Paul Sinclair

18.6k21439

Whether you can define "line" depends on what other undefined terms there are (every theory has to have some primitives, after all).

I once played with developing axioms for Euclidean geometry where the only primitives were "point" and the relation "Points A and B are closer together than points C and D" (symbolized as $AB prec CD$). Then defining

• Equidistance: $AB sim CD$ if $AB notprec CD$ and $CD notprec AB$. Equivalence classes of $sim$ defined lengths.


• $B$ is between $A$ and $C$ if among all points $D$ with $BD sim BC$, it holds that $AD preceq AC$.


• $A, B, C$ are colinear if one of the points is between the other two.


• A linear space is a collection of points such that for every two points in it, all other points colinear with them are also contained in it.


• The span of a collection of points is the smallest linear space containing the entire collection.


• A line is a linear space spanned by two points. A plane is a linear space spanned by three points, etc.

There were no logical problems with the project, but I abandoned it because the axioms necessary to make sure everything behaved properly were getting out-of-hand, which made this approach conceptually much harder than the more common approaches.

share|cite|improve this answer

answered Aug 17 at 16:29

Paul Sinclair

18.6k21439

share|cite|improve this answer

share|cite|improve this answer

answered Aug 17 at 16:29

Paul Sinclair

18.6k21439

answered Aug 17 at 16:29

Paul Sinclair

18.6k21439

answered Aug 17 at 16:29

Paul Sinclair

18.6k21439

18.6k21439

add a comment | 

add a comment |