Compact metrizable space: Difference between revisions
m (1 revision) |
No edit summary |
||
| Line 1: | Line 1: | ||
{{topospace property conjunction| | ==Definition== | ||
A [[topological space]] is termed '''compact metrizable''' if it is [[compact space|compact]] and [[metrizable space|metrizable]], or eqiuvalently, if it can be given the structure of a [[compact metric space]]. | |||
{{topospace property conjunction|compact space|metrizable space}} | |||
== | ==Relation with other properties== | ||
=== | ===Weaker properties=== | ||
{| class="sortable" border="1" | |||
! Property !! Meaning !! Proof of implication !! Proof of strictness (reverse implication failure) !! Intermediate notions | |||
|- | |||
| [[Stronger than::supercompact space]]|| || || || | |||
|- | |||
| [[Stronger than::compact space]] || || || || | |||
|- | |||
|[[Stronger than::completely metrizable space]] || || || || | |||
|- | |||
| [[Stronger than::compact Hausdorff space]] || || || || | |||
|} | |||
Revision as of 18:41, 28 January 2012
Definition
A topological space is termed compact metrizable if it is compact and metrizable, or eqiuvalently, if it can be given the structure of a compact metric space.
This article describes a property of topological spaces obtained as a conjunction of the following two properties: compact space and metrizable space
Relation with other properties
Weaker properties
| Property | Meaning | Proof of implication | Proof of strictness (reverse implication failure) | Intermediate notions |
|---|---|---|---|---|
| supercompact space | ||||
| compact space | ||||
| completely metrizable space | ||||
| compact Hausdorff space |