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.
Articles by others on the same topic
There are currently no matching articles.