Английская Википедия:Development (topology)

Содержание

Текст

Текст

Текст

Текст

Текст

Текст

Текст

Текст

Текст

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 <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 coverings of <math>X</math>, such that for any closed subset <math>C \subset X</math> and any point <math>p</math> in the complement of <math>C</math>, there exists a cover <math>F_j</math> such that no element of <math>F_j</math> which contains <math>p</math> intersects <math>C</math>. A space with a development is called developable.

A development <math>F_1, F_2,\ldots</math> such that <math>F_{i+1}\subset F_i</math> for all <math>i</math> is called a nested development. A theorem from Vickery states that every developable space in fact has a nested development. If <math>F_{i+1}</math> is a refinement of <math>F_i</math>, for all <math>i</math>, then the development is called a refined development.

Vickery's theorem implies that a topological space is a Moore space if and only if it is regular and developable.

References

• Шаблон:Cite book
• Шаблон:Cite journal
• Шаблон:PlanetMath attribution