Topology/Compactness

From Wikibooks, the open-content textbooks collection

Current revision (unreviewed)

The notion of Compactness appears in a wide variety of contexts. In particular, compactness is a "tameness property" that tells you that the objects you are dealing with are in some sense well-behaved.

[edit] Definition

Let $X$ be a topological space and let $S\subseteq X$

A collection $\mathcal{G}$ of open sets ${G α}$ is said to be an Open Cover of $S$ if $S\subseteq\displaystyle\bigcup_{\mathcal{G}}G_{\alpha}$

$S$ is said to be Compact if and only if every open cover of $S$ has a finite subcover. More formally, $S$ is compact iff for every open cover $\mathcal{G}$ of $S$ , there exists a finite subset $\{ G_{\alpha_1},G_{\alpha_2},\ldots,G_{\alpha_n}\}$ of $\mathcal{G}$ that is also an open cover of $S$ .

If the set $X$ itself is compact, we say that $X$ is a Compact Topological Space.

Compactness of topological spaces can also be expressed by one of the following equivalent characterisations:

Every filter on $X$ containing a filter basis of closed sets has a nonempty intersection.
Every ultrafilter on $X$ converges.

[edit] Important Properties

Every closed subset of a compact set is compact
Proof:
Let $S\subseteq X$ be a compact, and let $K$ be a closed subset of $S$ . Consider any open cover $\mathcal{G}$ of $K$ . Observe that $X\setminus K$ being open, the collection of open sets $\mathcal{G}\cup\{ X\setminus K\}$ is an open cover of $S$ . As $S$ is compact, this open cover has a finite subcover $\mathcal{G}'$ .
Now, consider the collection $\mathcal{G}'\setminus\left( X\setminus K\right)$ . This collection is obviously finite and is also a subcover of $\mathcal{G}$ . Hence, it is a finite subcover of $K$

Every compact subset of a Hausdorff space is closed.
Proof:
Let $K$ be compact. If the complement $K c$ is empty, then $K$ is the same as the space; thus closed. Suppose not; that is, there is a point $x \in K^c$ . Then for each $y \in K$ , by the Hausdorff separation axiom we can find $U y$ and $V y$ disjoint, open and such that $x \in U_y$ and $y \in V_y$ . Since $K$ is compact and the collection $\{ V_y; y \in K \}$ covers $K$ , we can find a finite number of points $y 1, y 2,... y n$ in $K$ such that:
$K \subseteq V_{y_1} \cup V_{y_2} \cup \ldots \cup V_{y_n}$
It then follows that:
$x \in U_{y_1} \cap U_{y_2} \cap \ldots \cap U_{y_n}=U_x$ . Hence, every $x\in X$ has an open neighbourhood $U x$ .
As $K c$ can be represented as the union of open sets $U x$ , $K c$ is open and $K$ is closed.

Every compact set in a metric space is bounded.
Proof:
Let $X$ be a metric space and let $K\subset X$ be compact.
Consider the collection of open balls $\mathcal{G}=\{ B_r(p)|r\in\mathbb{R}^+\}$ for some (fixed) $p\in X$ . We see that $\mathcal{G}$ is an open cover of $K$ . As $K$ is compact, it has a finite subcover, say $\{ B_{r_1}(p),B_{r_2}(p),\ldots,B_{r_n}(p)\}$ . Let $r_0=\sup\{ r_1,r_2,\ldots,r_n\}$ . We see that $K\subset B_{r_0}(p)$ , and hence, $K$ is bounded.

Heine-Borel Theorem: For any interval $[a, b]$ , and for any open cover $\mathcal{G}$ of that interval, there exists a finite subcover of $\mathcal{G}$ .
Proof:
Let $S$ be the set of all $a\leq x\leq b$ such that $[a, x]$ has a finite subcover of $\mathcal{G}$ . $S$ is non-empty because $a$ is within the set. Define $c=\sup S$ .
Assume if possible, $c < b$ . Then there is a finite cover of sets within $\mathcal{G}$ for $[a, c]$ . $c$ is within a set $A$ within the cover $\mathcal{G}$ . Thus, there exists a $\varepsilon>0$ such that $(c-\varepsilon, c+\varepsilon)\subseteq A$ . Then $c+\tfrac{\varepsilon}{2}$ is also within $S$ , contradicting the definition of $c$ . Thus, $c\geq b$ . Therefore, $\mathcal{G}$ has a finite subcover.

Sources differ as to what exactly should be called the 'Heine-Borel Theorem'. It seems that Emile Borel proved the most relevant result, dealing with compact subsets of a Euclidean Space. However, we provide the simpler case, for reals.

Let $X, Y$ be topological spaces. If $f:X\to Y$ is continuous, and $A\subset X$ is compact, then the image of $A$ , $f (A)$ , is compact.
Proof:
Let $\mathcal{G}$ be any open cover of $f (A)$ . Consider the inverses ${f - 1 (B)}$ where $B\in \mathcal{G}$ . These inverses are open because $f$ is continuous. This covers $A$ , and thus there is a finite subcover of $A$ , ${B i}$ . Then the images ${f (B i)}$ is a finite subcover of $f (A)$ .

If a set is compact and Hausdorff, then it is normal.
Proof:
Let $X$ be compact and Hausdorff. Consider two closed subsets $A$ and $B$ which are themselves compact by theorem 1 above. For every $a\in A$ and $b\in B$ , there exist two disjoint sets $O a, b,1$ and $O a, b,2$ such that $a\in O_{a,b,1}$ and $b\in O_{a,b,2}$ . The union of all such $O a, b,2$ for a fixed $a$ is a cover for $B$ , and thus it has a finite subcover, say, $\mathcal{O}_{a,2}$ and let $O' a,2$ be the union of its members.
Let $B_a=\{ b|O_{a,b,2}\in \mathcal{O}_{a,2}\}$ , and let $O_{a,1}=\displaystyle\bigcap_{b\in B_a}O_{a,b,1}$ . Observe that $B a$ being finite, $O a,1$ is open. The union $\displaystyle\bigcup_{a\in A}O_{a,1}$ covers $A$ , and therefore it has a finite subcover $\mathcal{O}_{a,1}$ . Let $U$ be the union of all members of this subcover.
Let $A'$ denote the set of all elements $a\in A$ such that $O_{a,1}\in\mathcal{O}_{a,1}$ . Take the intersection $V= \displaystyle\bigcap_{a\in A'}O'_{a,2}$ , which is open.
Then $U$ is an open superset of $A$ , $V$ is an open superset of $B$ , and they are disjoint. Thus, $X$ is normal.

In a compact metric space X, a function from X to Y is uniformly continuous if and only if it is continuous.
Proof:

If two topological spaces are compact, then their product space is also compact.
Proof:
Let X₁ and X₂ be two compact spaces. Let S be a cover of X₁×X₂. Let x be an element of X₁. Consider the sets A_x,y within S that contain (x,y) for each y in X₂. $π 2 :(A (x, y))$ forms a cover for X₂, with a finite subcover {A_{x,y_i}}. Let B_x be the intersection of $π 1 :(A y)$ within {A_{y_i}}, which is open. Thus, {B_x} forms an open cover, which has a finite subcover, {B_{x_i}}. The corresponding sets {A_{x_i,y_i}} is finite, and forms an open subcover of the set.

All closed and bounded sets in the Euclidean Space are compact.
Proof:
Let S by any bounded closed set in $R n$ . Then since S is bounded, it is contained in some "box" of the products of closed intervals of R. Since those closed intervals are compact, their product is also compact. Therefore, S is a closed set in a compact set, and is therefore also compact.

[edit] Tychonoff's Theorem

The more general result on the compactness of product spaces is called Tychonoff's Theorem. Unlike the compactness of the product of two spaces, however, Tychonoff's Theorem requires Zorn's Lemma. (In fact, it is equivalent to Axiom of Choice.)

Theorem: Let $X=\prod_{i\in I} X_i$ , and let each $X i$ be compact. Then the X is also compact.

Proof: The proof is in terms of nets. Recall the following facts:

Lemma 1 - A net $(x_{\alpha})_{\alpha \in \mathcal{A}}$ in $\prod_{i \in I}X_i$ converges to $x \in \prod_{i \in I}X_i$ if and only if each coordinate $(x_{\alpha}^i)_{\alpha \in \mathcal{A}}$ converges to $x^i \in X_i$ .

Lemma 2 - A topological space $X$ is compact if and only if every net in $X$ has a convergent subnet.

Lemma 3 - Every net has a universal subnet.

Lemma 4 - A universal net $(x_{\alpha})_{\alpha \in \mathcal{A}}$ in a compact space $X$ is convergent.

We now prove Tychonoff's theorem.

Let $(x_{\alpha})_{\alpha \in \mathcal{A}}$ be a net in $\prod_{i \in I}X_i$ .

Using Lemma 3 we can find a universal subnet $(y_{\beta})_{\beta \in \mathcal{B}}$ of $(x_{\alpha})_{\alpha \in \mathcal{A}}$ .

It is easily seen that each coordinate net $(y_{\beta}^i)_{\beta \in \mathcal{B}}$ is a universal net in $X i$ .

Using Lemma 4 we see that each coordinate net converges, because $X i$ is compact.

Using Lemma 1 we see that the whole net $(y_{\beta})_{\beta \in \mathcal{B}}$ converges in $\prod_{i \in I}X_i$ .

We conclude that every net in $\prod_{i \in I}X_i$ has a convergent subnet, so, by Lemma 2, $\prod_{i \in I}X_i$ must be compact. $\square$

[edit] Relative Compactness

Relative compactness is another property of interest.

Definition: A subset S of a topological space X is relative compact when the closure Cl(x) is compact.

Note that relative compactness does not carry over to topological subspaces. For example, the open interval (0,1) is relatively compact in R with the usual topology, but is not relatively compact in itself.

[edit] Local Compactness

The idea of local compactness is based on the idea of relative compactness.

If, in a topological space X, every element has a neighborhood that is relatively compact, then X is locally compact.

It can be shown that all compact sets are locally compact, but not conversely.

[edit] Exercises

It is not true in general for a metric space that a closed and bounded set is compact. Take the following metric on a set X:

                           1   if x is not equal to y            
               d(x,y) =  
                           0   if x=y

a) Show that this is a metric

b) Which subspaces of X are compact

c) Show that if Y is a subspace of X and Y is compact, then Y is closed and bounded

d) Show that for any metric space, compact sets are always closed and bounded

e) Show that with this particular metric, closed and bounded sets need not be compact

Topology/Compactness

From Wikibooks, the open-content textbooks collection

Contents

[edit] Definition

[edit] Important Properties

[edit] Tychonoff's Theorem

[edit] Relative Compactness

[edit] Local Compactness

[edit] Exercises

Views

Personal tools

Navigation

Search

community

Print/export

Toolbox