The inverse tangent is a homeomorphism from the real line with its Euclidean metric onto with its subspace topology: and its inverse are continuous. It is also an isometry from onto , because . Consequently, for ,
For a direct open ball interpretation, is -open by continuity of . Conversely, continuity of at supplies a sufficiently small -ball inside any prescribed -ball about . Thus both metrics generate exactly the same open sets.

Articles by others on the same topic (0)

There are currently no matching articles.