compact space
(Q381892)
topological space in which from every open cover of the space, a finite cover can be extracted
topological space in which from every open cover of the space, a finite cover can be extracted
Language:
Current Data About
compact space
| (P10) |
4.Теорема о неподвижной точке.ogv
|
||
| (P279) |
(Q970119)
(Q583034) (Q5711485) (Q859275) |
||
| (P373) |
Compact space
|
||
| (P910) |
(Q8399524)
|
||
| (P1552) |
(Q18030315)
(Q5456331) |
||
| (P2534) |
\forall \mathcal U \subseteq\operatorname{Open}(X)\colon \left(\bigcup\mathcal U = X \implies\exists \mathcal U' \subseteq \mathcal U \colon \left(\bigcup\mathcal U' = X \land |\mathcal U'| < \aleph_0\right)\right)
|
||
| (P2579) |
(Q621550)
|
||
| (P5008) |
(Q6173448)
|
||
| (P6104) |
(Q8487137)
|
other details
| aliases |
quasicompact space quasi-compact space compact topological space |
| description | topological space in which from every open cover of the space, a finite cover can be extracted |
External Links