Given a metric space and , define a new metric by and for distinct points. It is the distance obtained by joining every point to a central vertex with its original distance to as edge length. Symmetry and positive definiteness are immediate. With three distinct points the triangle inequality follows from the extra nonnegative term in the route through an intermediate point; repeated-point cases are immediate.
Every is isolated, since . At the centre, however, . Thus a map out of this space is continuous exactly when it is continuous at in the original metric. The closure of is together with if and ; otherwise it is simply . This construction isolates every point except the centre while preserving exactly its original neighbourhood filter.
Articles by others on the same topic
There are currently no matching articles.