Assume the diagonal is closed. For continuous , the map , , is continuous: the inverse image of a basic rectangle is . Thereforeis closed as the inverse image of a closed set under a continuous map. This proves (ii) implies (iii).
Articles by others on the same topic
There are currently no matching articles.