Smallest infinity for Euclidean geometry to work

  • #1

Main Question or Discussion Point

If we choose rational numbers to represent points on a line then there will be gaps on the line and consequently the plane will be full of holes. Then we cannot say that two non-parallel line must intersect on a point (because they may meet at the gaps). So obviously we need point arranged more densely than rational number. I was wondering do we necessarily need real number line for euclidean geometry or we can stop at earlier infinity. After writing this far I realize it points to continuum hypothesis. But I don't know enough and will highly appreciate your input and comment.
I am not a student of mathematics but dabble with its concept every now and then.
 

Answers and Replies

  • #2
33,316
5,007
If we choose rational numbers to represent points on a line then there will be gaps on the line and consequently the plane will be full of holes. Then we cannot say that two non-parallel line must intersect on a point (because they may meet at the gaps). So obviously we need point arranged more densely than rational number. I was wondering do we necessarily need real number line for euclidean geometry or we can stop at earlier infinity. After writing this far I realize it points to continuum hypothesis. But I don't know enough and will highly appreciate your input and comment.
I am not a student of mathematics but dabble with its concept every now and then.
What do you mean by "earlier infinity?"
 
  • #3
What do you mean by "earlier infinity?"
Now I understand i was looking for infinity that is bigger than infinity associated with rational number but smaller than that of real number. I know that it is undecidable.
But i was originally wondering what kind of infinity is necessary for continuity in the sense of euclidean geometry.
 
  • #4
jbriggs444
Science Advisor
Homework Helper
2019 Award
8,365
3,197
A countable set should suffice. Model the "points" in plane geometry as ordered pairs of algebraic numbers. Then two lines defined by two pairs of "points" will always have a "point" at which they intersect.
 
  • Like
Likes Ahmed Abdullah
  • #5
537
146
Seems to me you do need to the full set. If all you care about are lines, then you'll only need the rational numbers since if you restrict the coefficients of a line, [itex] y = ax+b[/itex] to rational numbers, you'll always get a rational solution for the intersection of two lines.

However, what happens when I want to know the length of the diagonal of a square of side length 1? The answer is [itex] \sqrt{2}[/itex]. What about the circumference of a circle of radius 1? The answer is [itex]2\pi[/itex].

You quickly move from rational numbers to irrational as you start looking at polygons, and then quickly to transcendental when you start looking at curves.
 
  • #6
jbriggs444
Science Advisor
Homework Helper
2019 Award
8,365
3,197
Even if you start looking at curve lengths, that won't take you past the computable numbers. Those are still countable.
 
  • #7
Even if you start looking at curve lengths, that won't take you past the computable numbers. Those are still countable.
Thank you for your response. I understand your point about algebraic number. If points of the plane is defined by pair of algebraic number, then the intersection of any two lines will also be a point (I get it). But i don't get your last response about computable number. I'll really appreciate if you elaborate the point.
 
  • #8
jbriggs444
Science Advisor
Homework Helper
2019 Award
8,365
3,197
Computable numbers, http://en.wikipedia.org/wiki/Computable_number, are numbers that can be calculated to any desired precision by a fixed and finite program. Since there are at most countably many programs, there are at most countably many computable numbers.

The value of a trigonometric function or inverse trigonometric function evaluated at a computable number is, if defined at all, computable. The length of a circular arc with a computable radius between two computable endpoints is, therefore, computable.
 
  • Like
Likes Ahmed Abdullah
  • #9
Computable numbers, http://en.wikipedia.org/wiki/Computable_number, are numbers that can be calculated to any desired precision by a fixed and finite program. Since there are at most countably many programs, there are at most countably many computable numbers.

The value of a trigonometric function or inverse trigonometric function evaluated at a computable number is, if defined at all, computable. The length of a circular arc with a computable radius between two computable endpoints is, therefore, computable.
What are some examples of non-computable numbers?
 
  • #10
jbriggs444
Science Advisor
Homework Helper
2019 Award
8,365
3,197
It is impossible to explicitly display a non-computable number. It is impossible to even present an algorithm that could produce one. After all, if such an algorithm existed, the number would have to be computable.

One can nonetheless write down a definition for a non-computable number. For instance, http://en.wikipedia.org/wiki/Chaitin's_constant
 

Related Threads on Smallest infinity for Euclidean geometry to work

  • Last Post
Replies
3
Views
3K
  • Last Post
Replies
8
Views
4K
  • Last Post
Replies
1
Views
3K
Replies
29
Views
7K
  • Last Post
Replies
12
Views
2K
Replies
6
Views
3K
Replies
1
Views
545
Replies
1
Views
6K
Replies
2
Views
1K
Top