Paper 2, Section I, E

Metric and Topological Spaces
Part IB, 2018

What does it mean to say that dd is a metric on a set XX ? What does it mean to say that a subset of XX is open with respect to the metric dd ? Show that the collection of subsets of XX that are open with respect to dd satisfies the axioms of a topology.

For X=C[0,1]X=C[0,1], the set of continuous functions f:[0,1]Rf:[0,1] \rightarrow \mathbb{R}, show that the metrics

d1(f,g)=01f(x)g(x)dxd2(f,g)=[01f(x)g(x)2 dx]1/2\begin{aligned} &d_{1}(f, g)=\int_{0}^{1}|f(x)-g(x)| \mathrm{d} x \\ &d_{2}(f, g)=\left[\int_{0}^{1}|f(x)-g(x)|^{2} \mathrm{~d} x\right]^{1 / 2} \end{aligned}

give different topologies.