True. In a discrete topology, the singletons form an open cover. If is compact, a finite subcover exists, so is finite. Conversely, any open cover of a finite set has a finite subcover: choose one member containing each point. This converse does not require the discrete topology.
False without a separation assumption. Give the indiscrete topology , and take . Both spaces are finite and hence compact, but is not a closed set because is not open. In a Hausdorff space, a compact subset would be closed; that hypothesis is absent here.

Articles by others on the same topic (0)

There are currently no matching articles.