距離空間
距離空間 (X, dX), (Y, dY) に対し X × Y 上に距離関数を
d((x0, y0),(x1, y1)) := (dX(x0, x1)+ dY(y0, y1))
によって定めることができる(ただし 0 ≤ p < ∞)。同様に距離
dmax((x0, y0),(x1, y1)) := max{dX(x0, x1), dY(y0, y1) }
を定めることも出来る。