An open overs of a topological space
is a collection of open sets
such that![]()
Example
Let
be the set of real numbers with topology induced by the absolute value metric.
is the set of open balls
This set of open balls is an open cover because![]()
The set
is an open subcover.
An open cover
is said to be finer or an improvement on some other open cover
if for each
there is some
such that![]()
Hence
is an improvement of![]()