3.6Limit Point Compactness
Chapter (PDF)A space is said to be limit point compact if every infinite subset of has a limit point in .
A compact space is limit point compact.
Suppose is compact. We seek to show if is infinite, then it contains a limit point in . We prove by contrapositive: that if has no limit points, then it is finite. Indeed, take to have no limit points. Then is trivially closed, since it contains all its limit points. Since is a closed subset of a compact space, we have that is compact as well. For each , note that forms an open neighborhood of in , and so is an open cover for . Since is compact, we have that forms a finite subcover, meaning has finitely many elements.
Note the converse is not true in general. Consider the set with the indiscrete topology. Then consider the set
Let be nonempty. If has any any integer paired with either or , then the same integer paired with the other element is a limit point. Since all nonempty subsets of have a limit point, we have that is limit point compact. However, note the open covering for has no finite subcover, and so is not compact.
A topological space is said to be sequentially compact if, for every sequence , there is some subsequence that converges in .
In the context of metric spaces, we note that compactness, limit point compactness, and sequential compactness all coincide.
Suppose is a metrizable topological space. Then the following are equivalent.
is compact.
is limit point compact.
is sequentially compact.
: We have proven this already.
: Suppose is limit point compact. Let be an arbitrary sequence in , and let . If is finite, then there is one number that repeats a countably infinite number of times in the sequence, so choose this as a subsequence and note it converges. Otherwise, if is infinite, then by hypothesis we have a limit point . For each , let both be greater than all for and be such that . Then , and so is sequentially compact.
: Suppose is sequentially compact. We prove that the Lebesgue covering lemma applies to , then we prove that finitely many -balls can cover , then we finally prove is compact.
Let be an arbitrary open cover of . For the sake of contradiction, suppose the Lebesgue covering lemma doesn't apply to . Then, for each , there exists a nonempty set whose diameter is less than and does not lie in a single member of . Choosing for each and forming a sequence, we use our hypothesis to get a convergent subsequence . Note that belongs to some member of the open cover , and since is open, there is some such that . We may choose an index large enough such that , and since , we have that ; moreover, we may choose large enough such that . For any point , note that
and so . Thus , contrary to assumption.
Suppose, for the sake of contradiction, that cannot be covered by finitely many -balls, for a fixed . Let , then note , otherwise could be covered by finitely (namely one) -ball. Thus choose , and note for the same reason as before. In general, given distinct points of , choose such that . By construction, we have that for every , so there is no chance of having a convergent subsequence, contrary to the fact that is sequentially compact.
Finally, we show is compact. Let be an arbitrary open cover ofr . Since is sequentially compact, it has a Lebesgue number . Choose , then note that we may cover with finitely many -balls. Each of these balls has a diameter of , so each ball fits in one member of the open cover. There are finitely members of the cover that contain all the balls, which cover , and so is compact.
A set is limit point compact if, for every infinite subset , has a limit point in .
If is compact, then is limit point compact.
Intuition.Suppose is compact, and let be an arbitrary subset. To prove is limit point compact, we need to show that if is infinite, then it has a limit point. We proceed by contrapositive, so suppose has no limit points. Vacuously, contains all its limit points, so is closed. Since is a closed subset of a compact space, is also compact. Note that has no limit points, so all its elements are isolated, meaning forms an open cover for for each . Since is compact, there is a finite subcover comprised of singletons for , so is finite (i.e., not infinite).
Limit point compactness does not imply compactness in general. Consider with the indiscrete topology and . Then is limit point compact (each is a limit point of and vice versa), but it is not compact (consider the open cover for , and note it has no finite subcover).
A set is sequentially compact if every sequence in has a convergent subsequence.
In a metrizable space, compactness, limit point compactness, and sequential compactness are all equivalent.
Intuition.Our proof of compactness implying limit point compactness is done.
To show limit point compactness implies sequential compactness, we take some sequence and consider . If is finite, then one term in the sequence repeats countably infinite amount of times, so a constant subsequence made from it converges, of course. Otherwise, if is finite, it has a limit point . For each , we may define an increasing sequence of indices such that , and so .
Suppose is sequentially compact.
We first show admits the Lebesgue covering lemma by contradiction. If it didn't, then—given a cover —we could define a sequence of nonempty sets such that and doesn't lie in a single member of the cover. We may define a sequence such that for each , then note there is a convergent subsequence . Then lies in a single member of the open cover , and since is open, there is some such that . Choose an index large enough such that (and so , meaning ), and choose large enough so that . Then, for any , we have that
so , a contradiction.
Next, we show that can be covered by finitely many -balls by contradiction. Fix , and suppose the result is false. Choose , then note (since finitely many -balls may not cover ), so there is some . Proceed inductively: that is, for distinct points , there is some such that . Then for every , and so has no convergent subsequences, a contradiction.
Finally, we show is compact. Let be an open cover for , and choose a Lebesgue number . Let , then note there are finitely many -balls that cover . Each -ball has diameter , and so each belongs to one member of . Since there are finitely many of them, we choose a finite subcover of that encompasses all the finitely many -balls that cover , completing the proof.
3.6.1Exercises#
Show that equipped with the uniform topology is not limit point compact.
We seek to find some infinite subset with no limit points. Consider the set of all standard basis vectors of —that is, the set , where is defined by . Then, for any for , we have that
For the sake of contradiction, suppose is a limit point. Then . In fact, intersects infinitely many times outside of . If , then we could take and choose so that (and so not a limit point), a contradiction. Thus let . Then note
which means , a contradiction.
Suppose is limit point compact.
Suppose is continuous. Is limit point compact?
If is closed, is limit point compact?
If is a subspace of a Hausdorff space , is closed?
No. Let , where with the indiscrete topology. Then define (where takes its subspace topology from ) by . Note that any singleton subset is a basic, open set, so showing is open guarantees continuity. Indeed, the inverse image is , which is an open subset of . Of course, is not limit point compact in its metric topology, completing the disproof.
Yes. Suppose is infinite. Since , we have that has a limit point . Since contains all its limit points, it follows that , and so is limit point compact.
No. For our counterexample, we want to have a limit point in , meaning is not closed (it does not contain all of its limit points). Consider , which is limit point compact, and , which is Hausdorff (all order topologies are Hausdorff). Note the subset has a limit point , but , and so is not closed.
A space is said to be countably compact if, for any countable family of open sets that cover , a finite subcover exists. Show that if is , then is countably compact if and only if it is limit point compact.
: Suppose is and countably compact: we proceed by contrapositive. Suppose has no limit points: we show that is finite. Indeed, note that contains all of its limit points, and so it is closed and contains only isolated points. Thus singleton subsets are open in . For the sake of contradiction, suppose is infinite. Then we may choose a countably infinite set of distinct points . Consider the countably infinite cover of formed by taking each singleton subset of and adjoining it to . By countable compactness of , we take a finite subcover; discarding the element, we get a covering of by finitely many singletons, a contradiction. Thus is finite, meaning is limit point compact.
: Suppose is and limit point compact: we show is countably compact by contradiction. Suppose is not countably compact, and take a countable open cover of . Note that there is no finite subcover, so for each , choose . Since , the set is infinite. By limit point compactness, has a limit point . Since covers , for some . Since is , the neighborhood of the limit point must contain infinitely many points of . However, by construction, for all , implying . This finite intersection contradicts being a limit point. Thus, is countably compact.
Suppose is a metric space. If is such that
we say is an isometry.
Show that is an embedding.
If is compact, show that is a homeomorphism.
Suppose for some . Then note , meaning and so is injective. Next, choose , and consider the ball , a basic open set. For any , note that , so . Indeed, , meaning is continuous. Showing is continuous follows almost exactly the same idea. Thus is a homeomorphism onto its image, i.e. is an embedding.
By continuity of , we have that is compact. Note that is a compact subspace of a Hausdorff space, and so is closed. For the sake of contradiction, suppose . Since belongs to an open set, there is some such that . Note then that . Moreover, , where the equality is by hypothesis. Indeed, for and , we have that for every . Note the sequence has no convergent subsequence, and so is not sequentially compact, a contradiction (since compactness and sequential compactness are equivalent in metrizable spaces). Thus , and so , meaning is a surjective embedding and thus a homeomorphism.
Let be a metric space. If satisfies the condition
then is a shrinking map. If there is a number such that
then is a contraction. A fixed point of is a point such that .
If is a contraction with compact, show has a unique fixed point.
If is a shrinking map with compact, show has a unique fixed point.
Let , where denotes applying the function times. Note that , and so since is a subset of the codomain. We will show , and then by induction, it will follow that for any . If , there is some , and so as desired.
Note that contractions are Lipschitz and thus continuous. Since is compact, each is compact, and as a subspace of a metric (thus Hausdorff) space, each is closed. Since forms a sequence of nested closed sets, by compactness of we have that there is some . We show is our desired fixed point.
Let , and note . Note that all potential fixed points must live in , so to show is unique, we show has only one point. Since , we have that . Since is a compact metric space, we have that is bounded, meaning for some . Then , and as , we have , implying . Thus .
Finally, to show is a fixed point, we show . If , then . Since for each , we have that for each . Thus , meaning . This forces , meaning is a fixed point of , and by the previous argument, this fixed point is unique.
Let and . As in the previous part, is continuous (since it is a shrinking map, it is 1-Lipschitz), each is closed and nested, and is a nonempty compact set with . We show .
Let . For each , since , there exists such that . Define , noting and for all . Since is sequentially compact, has a convergent subsequence . For any fixed , the tail of the subsequence lies entirely in the closed set , so . Thus . By continuity of , . Thus , so .
We now show . Since is compact, if , the continuous function attains a maximum on , so there exist such that . Since , we can choose such that and . Since , we must have . Because is a shrinking map,
which is a contradiction. Thus , meaning .
Since , we have . If is another fixed point, , a contradiction. Thus is unique.