developable space

Last-modified: 2010-12-30 (木) 19:01:11

Definition

Let X be a topological space.
A development of X is a sequence {V_n}_n of open covers of X such that for each x in X, the collection {St(x,V_n)}_n is a local base at x.
X is called 'developable'' if there is a development.