Very badly stuck (Prove that X is compact)

In summary, if X is a metric space with a countable base and every infinite subset has a limit point, then it is compact. This can be proven by assuming that X is not compact, taking a complement of a finite subcover, and obtaining a contradiction using the fact that every open cover has a countable subcover and the existence of a limit point for infinite subsets.
  • #1
rumjum
40
0

Homework Statement



If X is a metric space such that every infinite subset has a limit point,
then prove that X is compact.

Homework Equations



Hint from Rudin: X is separable and has a countable base. So, it has
countable subcover {Gn} , n=1,2,3... Now, assume that no finite sub
collection of {Gn} covers X and take complement Fn of Union of {Gn}
n=1,2...n. Now, Fn is nonempty as it shall have some element of X not covered
by the finite subcover of {Gn}. Now, if E is a set that contains one
element from each of Fn, then consider a limit point of E & obtain a
contradiction.

The Attempt at a Solution



My attempt:

I can't understand the last part of the hint as how to obtain a contradiction.
Here is my attempt anyways.Please do help.

Given that X has a countable base , say, {Vn} , such that for all x belongs
to an open space G, x belongs to some Vi. In other words,
Gn = Union of {Vn}, say from i = 1,2...n. (finitely many).
Hence, every open cover of X shall have countable subcover

Now,let there be an open cover G1 U G2 ... Gn U..
such that X is a subset of this cover. And
let there be no sub-cover such that X is a subset of {Gi} i=1,2...n.
(finitely many).

Let Fn = complement of (G1 U G2 ...Gn).i.e, complement of any combinations
of Gi's. Now, Fn is non empty as any finite collection of Gi's do not cover
X. Let us chose a point from each Fn, and form a set E.

Now, E shall be an infinite subset of X as otherwise, there shall be finite
number of Fn's. Hence, E should have a limit point. Let the limit point be
"p".

[I am stuck as to what the contradiction should be]. Pls. help!
 
Physics news on Phys.org
  • #2
X is the union of all of the G's and p is in X. So p is in one of the Gn's and the Gn's are open. Do you see it now?
 
  • #3
I think I do see what you are saying. If I understand this correctly, "p" is in one of the Gn's as you said and Gn is open. Hence, all points of Gn are internal points. In other words, one can find a neighborhood Nr(p) such that it is a subset of a Gn. But E contains points of Fn that are not in Gn, and so the intersection of Nr(p) with E shall give finitely many points of X or E. [The only other way one can obtain infinitely many points of intersection is such that for m >n, the {Gm} covers X entirely.

Am I on the right track?
 
  • #4
Right. For m>n, where Gn is the set that contains p, the sequence point m was chosen so that it was in Fm, so it's not in Gn. So you know it can't be very close to p. Contradiction. So the sequence doesn't have a limit point.
 
  • #5
Thank you very much!
 

Related to Very badly stuck (Prove that X is compact)

1. What does it mean for X to be compact?

Compactness is a topological property of a space that implies that the space is both closed and bounded. This means that every sequence in the space has a convergent subsequence and the space can be contained within a finite region.

2. How do you prove that X is compact?

There are several ways to prove that a space is compact, but the most common methods include using the Heine-Borel Theorem or the definition of compactness. The Heine-Borel Theorem states that a subset of R^n is compact if and only if it is closed and bounded, while the definition of compactness states that every open cover of the space has a finite subcover.

3. Can a non-compact space ever be considered "very badly stuck"?

Yes, a non-compact space could be considered "very badly stuck" if it has properties that make it difficult to prove or work with. For example, a non-compact space that is not locally compact or has a complicated topology could be considered "very badly stuck."

4. Does compactness always imply that X is finite?

No, compactness does not necessarily imply that X is finite. For example, the interval [0,1] is compact, but it contains infinitely many points. Compactness only requires that the space is closed and bounded, not that it has a finite number of elements.

5. Are there any real-world applications of proving that X is compact?

Yes, compactness is an important concept in many areas of mathematics and science. For example, in physics, compactness is used to describe the behavior of particles or objects in a confined space. In economics, compactness is used to model the behavior of markets and the distribution of resources. And in computer science, compactness is used to optimize algorithms and data structures.

Similar threads

  • Calculus and Beyond Homework Help
Replies
12
Views
1K
  • Calculus and Beyond Homework Help
Replies
12
Views
1K
  • Calculus and Beyond Homework Help
Replies
1
Views
535
  • Calculus and Beyond Homework Help
Replies
1
Views
1K
  • Calculus and Beyond Homework Help
Replies
5
Views
1K
  • Calculus and Beyond Homework Help
Replies
7
Views
2K
  • Calculus and Beyond Homework Help
Replies
4
Views
2K
  • Calculus and Beyond Homework Help
Replies
3
Views
2K
  • Calculus and Beyond Homework Help
Replies
10
Views
3K
  • Calculus and Beyond Homework Help
Replies
12
Views
7K
Back
Top