释义 |
Compact SpaceA Topological Space is compact if every open cover of has a finite subcover. In other words, if is theunion of a family of open sets, there is a finite subfamily whose union is . A subset of a TopologicalSpace is compact if it is compact as a Topological Space with the relative topology (i.e., every family ofopen sets of whose union contains has a finite subfamily whose union contains ).
|