# Compact Space is Sigma-Compact

## Theorem

Every compact space is $\sigma$-compact.

## Proof

By definition, a $\sigma$-compact space is the union of countably many compact sets.

A compact space is the union of exactly one compact space.

Hence the result.

$\blacksquare$