nForum - Discussion Feed (closed subspaces of compact Hausdorff spaces are equivalently compact subspaces)2024-03-28T19:34:15+00:00https://nforum.ncatlab.org/
Lussumo Vanilla & Feed Publisher
Urs comments on "closed subspaces of compact Hausdorff spaces are equivalently compact subspaces" (62027)https://nforum.ncatlab.org/discussion/7677/?Focus=62027#Comment_620272017-04-13T10:48:15+00:002024-03-28T19:34:15+00:00Urshttps://nforum.ncatlab.org/account/4/
added statement-entry closed subspaces of compact Hausdorff spaces are equivalently compact subspaces.
with proof by pointing to the two directions:
closed subsets of compact spaces are ...