Suppose is equicontinuous. At each , choose a neighbourhood such that
for every and every . If some differed from , the Urysohn lemma for the compact Hausdorff space would give a continuous function with and , a contradiction. Thus every singleton is open, so is discrete. A compact discrete space is finite, proving
Compactness is essential. Any infinite set with the discrete topology has equicontinuous , because the singleton neighbourhood works simultaneously for every function, but the space is infinite.

Articles by others on the same topic (0)

There are currently no matching articles.