Development (topology)
(重定向自Developable space)
In the mathematical field of topology, a development is a countable collection of open covers of a topological space that satisfies certain separation axioms.
Let be a topological space. A development for
is a countable collection
of open coverings of
, such that for any closed subset
and any point
in the complement of
, there exists a cover
such that no element of
which contains
intersects
. A space with a development is called developable.