Can the reals be characterized by topological properties?

  • Thread starter DeadWolfe
  • Start date
  • #1
453
0

Main Question or Discussion Point

Specifically, can they be determined (up to isomorphism of ordered fields) as the smallest connected ordered field?
 

Answers and Replies

  • #2
matt grime
Science Advisor
Homework Helper
9,395
3
They are the unique complete ordered field. Completeness is a topological property (complete in the euclidean metric).

Any ordered field can be considered connected if one simply uses the trivial topology.
 
  • #3
HallsofIvy
Science Advisor
Homework Helper
41,805
932
Given the standard Euclidean metric, then yes, properties such as the "least upper bound property", "monotone convergence", and the "Cauchy Criterion", all equivalent to "completeness", can be proven from the fact that the Real numbers are connected. As matt grime said, any set is connected in the trivial topology (where the only open sets are the empty set and the entire set).

Actually, both connectedness and the Heine-Borel theorem (that all closed and bounded sets are compact) can be shown to be equivalent to mono-tone convergence, least upper bound property, and Cauchy criterion. That is, given any one, you can prove the others. (Again, assuming the Eucliden metric: d(x,y)= |x- y|.)
 
  • #4
453
0
I thought it would be clear that the topology implied would be the order topology.

Anyway, thank you both.
 

Related Threads on Can the reals be characterized by topological properties?

  • Last Post
Replies
2
Views
9K
  • Last Post
Replies
8
Views
2K
Replies
3
Views
1K
Replies
1
Views
1K
Replies
21
Views
3K
Replies
5
Views
1K
  • Last Post
Replies
3
Views
2K
  • Last Post
2
Replies
30
Views
15K
Replies
1
Views
6K
  • Last Post
Replies
4
Views
2K
Top