Open covers are the language topology uses for turning local information into global information. A single [open set](/page/Open%20Set) records a region in which nearby points are available; a family of open sets records many such local regions at once. When those regions cover a whole space, or a chosen subset of it, they let us ask whether the object can be understood by finitely many local pieces, by smaller basic pieces, or by pieces arranged with controlled overlap. This is why open covers appear in [compactness](/page/Compact%20Space), [continuity](/page/Continuity), manifold theory, sheaf theory, and partitions of unity.

The ordinary word "cover" is too broad for topology. A set can be covered by arbitrary subsets that ignore the topology, but local arguments depend on openness: if a point lies in an open member of the cover, then a whole neighbourhood of that point lies in the same member. Open covers are designed to preserve that neighbourhood information.

## Definition

The basic object is a family of open subsets whose union is the space under discussion. The index set is allowed to be finite, countably infinite, or uncountable; the topology controls the members of the family, not the size of the family.

[definition: Open Cover] Let $(X, \tau)$ be a [topological space](/page/Topological%20Space). An open cover of $X$ is a collection $\mathcal U \subset \tau$ such that \begin{align*} X &= \bigcup_{U \in \mathcal U} U. \end{align*} [/definition]

Thus an open cover is not just any family whose union is $X$; each member must be open in the topology $\tau$. The condition says that every point $x \in X$ belongs to at least one member $U \in \mathcal U$. Many arguments, however, do not need to cover the entire ambient space. They focus on a subset whose points must be reached by ambient open neighbourhoods.

[definition: Open Cover of a Subset] Let $(X, \tau)$ be a topological space, and let $A \subset X$. An open cover of $A$ in $X$ is a collection $\mathcal U \subset \tau$ such that \begin{align*} A &\subset \bigcup_{U \in \mathcal U} U. \end{align*} [/definition]

If $A=X$, this reduces to the preceding definition. The phrase "in $X$" matters: if $A$ has the [subspace topology](/page/Subspace%20Topology), some sets may be open in $A$ without being open in $X$. Once a cover is available, the next question is whether all its members are actually needed, which leads to the language of subcovers.

[definition: Subcover] Let $\mathcal U$ be a cover of a set $A$. A subcover of $\mathcal U$ is a subcollection $\mathcal V \subset \mathcal U$ such that \begin{align*} A &\subset \bigcup_{V \in \mathcal V} V. \end{align*} [/definition]

Subcovers only delete members from a cover, so they measure economy rather than precision. Many local arguments require a different operation: replace coarse neighbourhoods by smaller ones that still sit inside the original cover. That need is captured by refinement.

[definition: Refinement of a Cover] Let $\mathcal U$ and $\mathcal V$ be covers of a set $A \subset X$. The cover $\mathcal V$ refines $\mathcal U$ if for every $V \in \mathcal V$ there exists $U \in \mathcal U$ such that \begin{align*} V &\subset U. \end{align*} [/definition]

To construct functions by summing local contributions, topology must prevent infinitely many cover elements from interacting near a single point. The cover condition alone does not provide this control. Local finiteness is the standard hypothesis that makes such local sums and choices behave well.

[definition: Locally Finite Open Cover] Let $(X, \tau)$ be a topological space. A locally finite open cover of $X$ is an open cover $\mathcal U$ of $X$ such that for every $x \in X$ there exists an open set $W \in \tau$ with $x \in W$ and \begin{align*} \{U \in \mathcal U : U \cap W \neq \varnothing\} \end{align*} is finite. [/definition]

Local finiteness is stronger than saying each point lies in finitely many members. It asks for a neighbourhood on which only finitely many members of the cover can appear.

## Equivalent Characterisations

The definition of open cover can be read pointwise. This viewpoint is useful when constructing covers, because it turns a union condition into a local membership condition.

[quotetheorem:8483]

This statement is often the most convenient way to verify that a family covers. It also explains why covers behave like local data: each point is assigned at least one open neighbourhood from the family. The same pointwise test should adapt to subsets, but now the quantifier is restricted to the subset being covered.

[quotetheorem:8484]

This form is especially common in metric and analytic arguments, where a neighbourhood is chosen separately around each point of a set. If those choices need to be tracked by parameters, it is helpful to record the cover as an indexed family rather than as an unindexed collection.