blob: c7249ffd0da37bd1492a8291e2aad6b57afb72af (
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: Basics
parent: Compactness
grand_parent: General Topology
nav_order: 1
published: false
---
# {{ page.title }} of Compact Spaces
*Compact space* is short for compact topological space.
{% definition %}
Suppose $X$ is a topological space.
A *covering* of $X$ is a collection $\mathcal{A}$
of subsets of $X$ such that
$\bigcup \mathcal{A} = X$.
A covering $\mathcal{A}$ of $X$ is called *open*
if each member of the collection $\mathcal{A}$
is open in $X$.
A covering $\mathcal{A}$ is called *finite*
the collection $\mathcal{A}$ is finite.
A *subcovering* of a covering $\mathcal{A}$ of $X$
is a subcollection $\mathcal{B}$ of $\mathcal{A}$
such that $\mathcal{B}$ is a covering of $X$.
{% enddefinition %}
{% definition %}
A topological space $X$ is called *compact*
if every open covering of $X$
has a finite subcovering.
{% enddefinition %}
{% theorem %}
Every closed subspace of a compact space is compact.
{% endtheorem %}
{% proof %}
{% endproof %}
{% theorem %}
Every compact subspace of a Hausdorff space is closed.
{% endtheorem %}
{% proof %}
{% endproof %}
|
