Can you prove this thorem with details ? By relativizing the usual topology on Rn , we have a usual topology on any subary of Rn , the usual topology on A is generated by the usual metric on A .