# Compactness from Basis

This article needs proofreading.Please check it for mathematical errors.If you believe there are none, please remove `{{Proofread}}` from the code.To discuss this page in more detail, feel free to use the talk page.When this work has been completed, you may remove this instance of `{{Proofread}}` from the code. |

## Theorem

Let $\struct {S, \tau}$ be a topological space.

The following definitions of the concept of **Compact Space** in the context of **Topology** are equivalent:

### Definition by Open Covers

A topological space $T = \struct {S, \tau}$ is **compact** if and only if every open cover for $S$ has a finite subcover.

### Definition Elements of Basis

A topological space $T = \struct {S, \tau}$ is **compact** if and only if $\tau$ has a basis $\BB$ such that:

- from every cover of $S$ by elements of $\BB$, a finite subcover of $S$ can be selected.

## Proof

Let every open cover for $S$ have a finite subcover.

Let $\BB$ be a basis $\BB$.

Then every cover of $S$ by elements of $\BB$ is an open cover for $S$.

So:

- from every cover of $S$ by elements of $\BB$, a finite subcover of $S$ can be selected.

$\Box$

Let $\tau$ have a basis $\BB$ such that:

- from every cover of $S$ by elements of $\BB$, a finite subcover of $S$ can be selected.

Let $\AA$ be an open cover of $S$.

Let $f: \AA \to \powerset B$ be the mapping defined by:

- $\forall A \in \AA : \map f A = \set{B \in \BB : B \subseteq A}$

Since each element of $\AA$ is open:

- $A = \bigcup \map f A$ for each $A \in \AA$.

Let $\AA' = \bigcup f \sqbrk {\AA}$.

Then $\AA'$ is an cover of $S$ by elements of $\BB$

By the premise, $\AA'$ has a finite subset $\FF'$ that covers $S$.

Let $g: \FF' \to \AA$ be the map each element of $\FF'$ to an element of $\AA$ that contains it.

Note that since $\FF'$ is finite, this does not require the Axiom of Choice.

Let $\FF = g \sqbrk {\FF'}$.

Then $\FF$ is a finite subcover of $\AA$.

It follows that every open cover of $S$ has a finite subcover of $S$.

$\blacksquare$