Every evaluation map is continuous in the uniform metric, so . Conversely, for ,
with the harmless restriction to for which . Thus every open ball belongs to . Separability makes every open set a countable union of balls, so and equality follows.

Articles by others on the same topic (0)

There are currently no matching articles.