If is a completely regular space, first we characterize those spaces whose compact sets are metrizable. Then we use this result to provide a general condition for to ensure the metrizability of compact sets in . Finally, we characterize those spaces that have a -basis.
展开▼