The open balls are a basis for the topology on X, which is induced by the metric d.

It is therefor sufficient to show that every open ball is also in .

For every consider the map

, which is the composition of

,

and

both are continious in the topology , so the composition is also continous and we have