Closed diagonal of a metric space

ID: closed-diagonal-of-a-metric-space

For a metric space with the same metric on both factors, the diagonal is a closed subset of its product. At an off-diagonal point let . A maximum-metric ball of radius misses the diagonal, since a common coordinate would give . Equality of underlying sets without equality or compatibility of the metrics is a different assertion.

New to topics? Read the docs here!