Development of a topological space: Difference between revisions
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.