Metric spaces as topological spaces

[7/86%]
Show
LaTeX

Show that the discrete topology for a non-empty set XX is a metric topology.

?

Verify that the definition of an open set for a metric space satisfies the requirements for a topology.

?

Let dd denote the usual Euclidean metric in the plane and let d′((x,y),(u,v))=∣x−u∣+∣y−v∣d'((x, y), (u, v)) = \left|x - u\right| + \left|y - v\right|. Verify that d′d' is a metric.

?

The points in a space are continuous functions defined on the interval [0,1][0, 1]. Define the distance between two such functions to be

d(f,g)=∫01∣f(x)−g(x)∣ dx. d(f, g) = \int _0^1 \left|f(x) - g(x)\right| \, dx.

Show that this definition of the distance between two functions does satisfy the three properties required of a metric. This depends on the fact, which you may assume in your argument, that the integral of a nonnegative continuous function is positive unless the function is identically 00.

?

If x,y∈R2x, y \in \mathbb {R}^{2}, let d(x,y)=∣x1−y1∣d(x, y) = \left|x_1 - y_1\right|. Which of the three properties of a metric does dd satisfy?

?

On R2∖{0}\mathbb {R}^{2} \setminus \left\{ 0\right\}, write each point in polar coordinates as (r,θ)(r, \theta ), where 0≤θ<2π0 \leq \theta < 2\pi. Define d((r1,θ1),(r2,θ2))=∣r1−r2∣+∣θ1−θ2∣d((r_1, \theta_1), (r_2, \theta_2)) = \left|r_1 - r_2\right| + \left|\theta_1 - \theta_2\right|. Show that this gives a metric on R2∖{0}\mathbb {R}^{2} \setminus \left\{ 0\right\} but the topology formed is not the usual topology.

?

References

[KiGv88] Kirillov A.A., Gvishiani A.D. Теоремы и задачи функционального анализа. 2-е изд., Наука, 1988.
[RoFi23] Royden H.L., Fitzpatrick P.M. Real Analysis. 5th ed., Pearson, 2023.
[Law06] Lawson T. Topology: A Geometric Approach. Oxford University Press, 2006.