I have encountered a characterization of compact space, but I do not know how to prove it.
$V$ is a topological space which satisfies that for any topological space $W$, the projection $V\times W\rightarrow W$ is a closed map, then $V$ is compact.
I have encountered a characterization of compact space, but I do not know how to prove it.
$V$ is a topological space which satisfies that for any topological space $W$, the projection $V\times W\rightarrow W$ is a closed map, then $V$ is compact.