Binormal space: Difference between revisions
No edit summary |
|||
| Line 6: | Line 6: | ||
===Symbol-free definition=== | ===Symbol-free definition=== | ||
A [[topological space]] is termed '''binormal''' if it | A [[topological space]] is termed '''binormal''' if its product with the [[unit interval]] (with the [[product topology]]) is a [[normal space]]. | ||
Equivalently (??), a topological space is termed binormal if it is both a [[defining ingredient::normal space]] and a [[defining ingredient::countably paracompact space]]. | |||
==Relation with other properties== | ==Relation with other properties== | ||
Latest revision as of 15:08, 25 October 2009
This article defines a property of topological spaces: a property that can be evaluated to true/false for any topological space|View a complete list of properties of topological spaces
This is a variation of normal space. View other variations of normal space
Definition
Symbol-free definition
A topological space is termed binormal if its product with the unit interval (with the product topology) is a normal space.
Equivalently (??), a topological space is termed binormal if it is both a normal space and a countably paracompact space.
Relation with other properties
Stronger properties
| property | quick description | proof of implication | proof of strictness (reverse implication failure) | intermediate notions |
|---|---|---|---|---|
| Compact Hausdorff space | ||||
| Paracompact Hausdorff space |
Weaker properties
| property | quick description | proof of implication | proof of strictness (reverse implication failure) | intermediate notions |
|---|---|---|---|---|
| Normal space | |FULL LIST, MORE INFO |
References
Textbook references
- Algebraic Topology by Edwin H. SpanierMore info, Page 56, Exercise B-2 (definition introduced in exercise)