Compact space

A topological space is called compact if for every open covering has a finite subcovering.

In other words, can we always find a way to “fill up” the space using a finite amount of open sets.

Examples

• with the Euclidean topology is NOT compact.
• is compact