development
Let be a topological space. A development for is a countable
collection
of open coverings of such that for any closed subset of 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.
A development such that for all is called a nested development. A theorem from Vickery states that every developable space in fact has a nested development.
References
- 1 Steen, Lynn Arthur and Seebach, J. Arthur, Counterexamples in Topology, Dover Books, 1995.