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