You are currently browsing the tag archive for the ‘precompactness’ tag.

One of the most useful concepts for analysis that arise from topology and metric spaces is the concept of compactness; recall that a space ${X}$ is compact if every open cover of ${X}$ has a finite subcover, or equivalently if any collection of closed sets with the finite intersection property (i.e. every finite subcollection of these sets has non-empty intersection) has non-empty intersection. In these notes, we explore how compactness interacts with other key topological concepts: the Hausdorff property, bases and sub-bases, product spaces, and equicontinuity, in particular establishing the useful Tychonoff and Arzelá-Ascoli theorems that give criteria for compactness (or precompactness).

Exercise 1 (Basic properties of compact sets)

• Show that any finite set is compact.
• Show that any finite union of compact subsets of a topological space is still compact.
• Show that any image of a compact space under a continuous map is still compact.

Show that these three statements continue to hold if “compact” is replaced by “sequentially compact”.

### Recent Comments

 dictate on The Lucas-Lehmer test for Mers… Anonymous on Variants of the Selberg sieve,… Jose on Quantum mechanics and Tomb… Anonymous on Variants of the Selberg sieve,… 关于「第 N 天有 N 个红眼睛自杀」的… on The blue-eyed islanders puzzle kyRYy on Polymath8b: Bounded intervals… Eytan Paldi on Variants of the Selberg sieve,… Eytan Paldi on Variants of the Selberg sieve,… Variants of the Selb… on “New equidistribution es… Eytan Paldi on Variants of the Selberg sieve,… Amancio Perez on Variants of the Selberg sieve,… Anonymous on Variants of the Selberg sieve,… Anonymous on Variants of the Selberg sieve,… Polymath 8 – a… on Variants of the Selberg sieve,… Blake Stacey on Variants of the Selberg sieve,…