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

 hugecardinal on Yves Meyer wins the 2017 Abel… Anonymous on Yves Meyer wins the 2017 Abel… thegregmartin on Yves Meyer wins the 2017 Abel… Terence Tao on Yves Meyer wins the 2017 Abel… Paul D. on Yves Meyer wins the 2017 Abel… Anonymous on Yves Meyer wins the 2017 Abel… Anonymous on The divisor bound Richard Séguin on Yves Meyer wins the 2017 Abel… Anonymous on Yves Meyer wins the 2017 Abel… Matilde Marcolli on Yves Meyer wins the 2017 Abel… Anonymous on Math 246A, Notes 4: singularit… Anonymous on Math 246A, Notes 3: Cauchy… Terence Tao on 245C, Notes 1: Interpolation o… Terence Tao on Dyadic models Terence Tao on 254A, Notes 4: The semi-circul…