Is Every Connected Metric Space Compact?

  • Thread starter Thread starter facenian
  • Start date Start date
  • Tags Tags
    Metric Topology
Click For Summary
A connected metric space with more than one point cannot have singletons as open sets, as this would create a separation, indicating that the space is uncountable. The discussion references a theorem stating that a nonempty compact Hausdorff space with no open singletons is uncountable, but it clarifies that not all connected metric spaces are compact, using the example of the real numbers. To prove the uncountability of a connected metric space, one can analyze the distances between distinct points and consider the set of distances, leading to two cases that ultimately demonstrate uncountability. The conclusion is that while connectedness implies certain properties, it does not guarantee compactness. Thus, the problem requires a careful examination of the definitions and properties of connected metric spaces.
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 facenian
Question: A clock's minute hand has length 4 and its hour hand has length 3. What is the distance between the tips at the moment when it is increasing most rapidly?(Putnam Exam Question) Answer: Making assumption that both the hands moves at constant angular velocities, the answer is ## \sqrt{7} .## But don't you think this assumption is somewhat doubtful and wrong?

Similar threads

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