Is Every Connected Metric Space Compact?

  • Thread starter Thread starter facenian
  • Start date Start date
  • Tags Tags
    Metric Topology
Click For Summary
SUMMARY

The discussion centers on the properties of connected metric spaces, specifically addressing whether every connected metric space is compact. It is established that a connected metric space \( M \) with more than one point cannot be compact, as demonstrated through a theorem from Munkres' "Topology." The theorem states that if \( X \) is a nonempty compact Hausdorff space and no singleton in \( X \) is open, then \( X \) is uncountable. The example of \( \mathbb{R} \) with the usual topology is provided to illustrate that not all connected metric spaces are compact.

PREREQUISITES
  • Understanding of connected metric spaces
  • Familiarity with compact Hausdorff spaces
  • Knowledge of Munkres' "Topology" and its theorems
  • Basic concepts of metric space topology
NEXT STEPS
  • Study the properties of compact Hausdorff spaces in detail
  • Explore examples of connected metric spaces that are not compact
  • Learn about the implications of connectedness in metric spaces
  • Investigate the role of intervals in metric space topology
USEFUL FOR

Mathematicians, topology students, and anyone interested in the properties of metric spaces and their implications in advanced mathematics.

facenian
Messages
433
Reaction score
25

Homework Statement


This is a problem from Munkres(Topology): Show that a connected metric space ##M## having having more than one point is uncountable.

Homework Equations


A theorem of that section of the book states: Let ##X## be a nonempty compact Hausdorff space. If no singleton in ##X## is open, then ##X## is uncountable

The Attempt at a Solution

d[/B]
If ##M## is connected and has more than one point then no singleton can be an open set since ##\{x\}\,\text{and}\,X\setminus\{x\}## would be a separation. Then if ##M## were compact application of the above mentioned theorem shows that ##M## is uncountable.
However the problem only states that ##M## is connected.
Is it possible that that every connected metric space be compact? or the problem should be solved without using the above mentioned theorem?
 
Physics news on Phys.org
No. Certainly not every connected metric space is compact. Take for example ##\mathbb{R}## with the usual topology.

I don't see a way to use the theorem you listed. Here's a hint for a proof:

Let ##x,y## be 2 distinct points in the metric space ##M##. Consider the set ##S :=\{d(x,z): z \in M\}##.

You have to distinguish 2 cases:

(1) S contains the interval ##[0,d(x,y)]##
(2) S does not contain the interval ##[0,d(x,y)]##

The second will lead to a contradiction as ##M## is connected, and the first shows you that ##S## must be uncountable, as it contains an interval.
 
  • Like
Likes   Reactions: facenian

Similar threads

Replies
1
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 5 ·
Replies
5
Views
1K
  • · Replies 32 ·
2
Replies
32
Views
3K
  • · Replies 5 ·
Replies
5
Views
3K
Replies
20
Views
5K
  • · Replies 12 ·
Replies
12
Views
3K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 9 ·
Replies
9
Views
7K
  • · Replies 10 ·
Replies
10
Views
2K