Development of a topological space: Difference between revisions

From Topospaces
No edit summary
 
m (2 revisions)
 
(One intermediate revision by the same user not shown)
Line 3: Line 3:
==Definition==
==Definition==


Let <math>X</math> be a [[topological space]]. A '''development''' for <math>X</math> is a countable collection <math>F_1, F_2, \ldots</math> of [[open cover]]s of <math>X</math>, such that for any [[closed subset]] <math>C \subset X</math> and
Let <math>X</math> be a [[topological space]]. A '''development''' for <math>X</math> is a countable collection <math>F_1, F_2, \ldots</math> of [[open cover]]s of <math>X</math>, such that for any [[closed subset]] <math>C \subset X</math> and any point <math>p \notin C</math>, there exists a <math>F_j</math> such that no member of <math>F_j</math> which contains <math>p</math> intersects <math>C</math>.
 
A topological space which has a development is termed a [[developable space]].

Latest revision as of 19:43, 11 May 2008

This article or section of article is sourced from:Planetmath

Definition

Let be a topological space. A development for is a countable collection of open covers of , such that for any closed subset and any point , there exists a such that no member of which contains intersects .

A topological space which has a development is termed a developable space.