Compactness of (0,1) when that is the whole metric space

  • Thread starter deckoff9
  • Start date
  • #1
21
0
Hello. In my analysis book, it says that "Any closed bounded subset of E^n is compact" where E is an arbitrary metric space. I looked over the proof and it used that fact that E^n was complete, but it does not say that in the original condition so I was wondering if the book made a mistake in not adding that.

For my counter example, consider the metric space (0,1), with the usual distance metric. The subset of itself is closed by definition, and it is bounded. However, it is not compact, since (1/n, 1-1/n) covers it as n→∞. Is there something wrong with my logic or did the book screw up by not mentioning complete in the conditional?
 

Answers and Replies

  • #2
22,089
3,296
Your analysis book is wrong (or you misinterpreted it). Which book are you using? Can you quote the statement.

The only thing we can say that any closed and bounded subset of [itex]\mathbb{R}^n[/itex] is compact. It does NOT hold for arbitrary metric spaces!!
Indeed, ]0,1[ is closed and bounded in itself but not compact!!

In arbitrary metric spaces, we got the statement: any complete and totally bounded set is compact.
 
  • #3
21
0
Thanks for the quick answer micromass. Yeah that's what I thought. The book I'm using is Introduction to Analysis by Rosenlicht. The statement is exactly what I wrote, "Any closed bounded subset of E^n is compact." and the notation has been E is an arbitrary metric space.
 
  • #4
dextercioby
Science Advisor
Homework Helper
Insights Author
13,023
576
Then I guess you need to change the book. Rudin I believe wrote a good book on real analysis.
 
  • #5
360
0
..."Any closed bounded subset of E^n is compact." and the notation has been E is an arbitrary metric space.
Are you sure about this notation? In my topology text, [itex] \mathbb{E} [/itex] denotes the real numbers with the topology induced by the Euclidean norm.
 
  • #6
lavinia
Science Advisor
Gold Member
3,238
625
Hello. In my analysis book, it says that "Any closed bounded subset of E^n is compact" where E is an arbitrary metric space. I looked over the proof and it used that fact that E^n was complete, but it does not say that in the original condition so I was wondering if the book made a mistake in not adding that.

For my counter example, consider the metric space (0,1), with the usual distance metric. The subset of itself is closed by definition, and it is bounded. However, it is not compact, since (1/n, 1-1/n) covers it as n→∞. Is there something wrong with my logic or did the book screw up by not mentioning complete in the conditional?
(),1) is closed in itself but no closed in R. Any topological space is closed in itself.
 
  • #7
21
0
Since he used the fact E^n was complete in the proof I guess I'll give the benefit of the doubt and say maybe I misunderstood the notation. Anyways thanks for the helps~
 
  • #8
120
0
Use Marsden Elementary Classical Analysis.

But it is strange, I don't think any author would do that big of a mistake.
 

Related Threads on Compactness of (0,1) when that is the whole metric space

Replies
7
Views
2K
Replies
3
Views
4K
  • Last Post
2
Replies
35
Views
30K
  • Last Post
Replies
16
Views
1K
Replies
4
Views
2K
Replies
2
Views
6K
Replies
6
Views
3K
Replies
5
Views
2K
Top