Prove a set is closed and bounded but not compact in metric space

Click For Summary
SUMMARY

The discussion focuses on proving that the set of integers with the discrete metric \( p(m,n) = 1 \) (for \( m \neq n \)) and \( p(n,n) = 0 \) is closed and bounded but not compact. The set is closed because it contains all its limit points, which are nonexistent in this case. It is bounded as one can find a ball that encompasses all integers. However, it is not compact since there exists an open cover that lacks a finite subcover, specifically by using open balls of radius greater than one centered at any integer.

PREREQUISITES
  • Understanding of metric spaces and their properties
  • Familiarity with the concept of compactness in topology
  • Knowledge of closed sets and limit points
  • Basic principles of open covers and finite subcovers
NEXT STEPS
  • Study the properties of discrete metric spaces
  • Learn about compactness criteria in different types of metric spaces
  • Explore examples of closed and bounded sets in various metrics
  • Investigate the implications of the Heine-Borel theorem in Euclidean spaces
USEFUL FOR

Mathematics students, particularly those studying topology and metric spaces, as well as educators looking for examples of closed and bounded sets that are not compact.

hhqqvn89
Messages
1
Reaction score
0

Homework Statement



Let X be the integers with metric p(m,n)=1, except that p(n,n)=0. Show X is closed and bounded but not compact.

Homework Equations



I already check the metric requirement.

The Attempt at a Solution



I still haven't got any clue yet. Can anyone help me out?
 
Physics news on Phys.org
What is your definition of compact? The typical definition is every open cover has a finite subcover. Thus one way you could prove this is to find just one open cover such that there is no finite subcover.
 
The set you are describing is known as the discrete metric except with integers instead of arbitrary numbers.

To determine if it is closed, you need to know if it has all its limit points. So the question you need to ask is "does this set have limit points"? If it does, are they in the set, if it does not then it is vacuously closed.

To determine if it is bounded you just need to find a ball that encompasses all the numbers which in this case is easy.

Now for non-compactness I'll give you a hint. An open ball of radius greater than one with a center at any point contains the entire set. Find a ball that does not do this then create a ball around each point.
 

Similar threads

Replies
1
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
Replies
12
Views
3K
  • · Replies 12 ·
Replies
12
Views
3K
Replies
9
Views
3K
  • · Replies 19 ·
Replies
19
Views
3K
  • · Replies 9 ·
Replies
9
Views
7K
  • · Replies 14 ·
Replies
14
Views
7K
  • · Replies 7 ·
Replies
7
Views
2K