Lebl-Basic-Analysis-I · Problem 7.1.6

Metric Spaces

Mathematics · metric-spaces-definition

Problem

Let (X,dX)(X, d_X) and (Y,dY)(Y, d_Y) be metric spaces. a) Show that (X×Y,d)(X \times Y, d) with d((x1,y1),(x2,y2))≔dX(x1,x2)+dY(y1,y2)d\bigl((x_1, y_1), (x_2, y_2)\bigr) \colonequals d_X(x_1, x_2) + d_Y(y_1, y_2) is a metric space. b) Show that (X×Y,d)(X \times Y, d) with d((x1,y1),(x2,y2))≔max⁡{dX(x1,x2),dY(y1,y2)}d\bigl((x_1, y_1), (x_2, y_2)\bigr) \colonequals \max\{d_X(x_1, x_2), d_Y(y_1, y_2)\} is a metric space.

Related theory

Browse the problem library