blob: 6c2e27410b659933e5795f78c8e9fd59152f47f4 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46


title: Compactness
parent: General Topology
nav_order: 5
has_children: true
has_toc: false

# {{ page.title }}
## Compactness in Terms of Closed Sets
{% theorem %}
A topological space $X$ is compact
if and only if it has the following property:
 Given any collection $\mathcal{C}$ of closed subsets of $X$,
if every finite subcollection of $\mathcal{C}$ has nonempty intersection,
then $\mathcal{C}$ has nonempty intersection.
{% endtheorem %}
{% proof %}
By definition, a topological space $X$ is compact
if and only if it has the following property:
 Given any collection $\mathcal{O}$ of open subsets of $X$,
if $\mathcal{O}$ covers $X$,
then there exists a finite subcollection of $\mathcal{O}$ that covers $X$.
If $\mathcal{A}$ is a collection of subsets of $X$,
let $\mathcal{A}^c = \braces{ X \setminus A : A \in \mathcal{A}}$ denote
the collection of the complements of its members.
Clearly, $\mathcal{B}$ is a subcollection of $\mathcal{A}$
if and only if $\mathcal{B}^c$ is a subcollection of $\mathcal{A}^c$.
Moreover, note that $\mathcal{B}$ covers $X$ if and only if
$\mathcal{B}^c$ has empty intersection.
Taking the contrapositive, we reformulate above property:
 Given any collection $\mathcal{O}$ of open subsets of $X$,
if every finite subcollection of $\mathcal{O}^c$ has nonempty intersection,
then $\mathcal{O}^c$ has nonempty intersection.
To complete the proof, observe that a collection $\mathcal{A}$ consists of open subsets of $X$
if and only if $\mathcal{A}^c$ consists of closed subsets of $X$.
{% endproof %}
{% definition Finite Intersection Property%}
TODO
{% enddefinition %}
