Proof that Every Point of an Open Ball in a Metric Space is the Centre of an Open Ball

Theorem

Letbe an open ball in the metric spaceFor every pointthere exists an open ballsuch that

hence

Define

We must show

Supposethenor equivalentlyhence

is a metric so

Hence