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!