Infinitely far, yet very close

How much does the theory of metric spaces change if we let the distance function take the value +\infty? Some natural examples of “extended metric spaces”:

  • The extended real numbers.
  • Any function space Y^X where Y is a metric space (or an extended metric space) with the usual supremum distance: d(f,g) = \sup_{x\in X} d(f(x),g(x)).
Infinitely far, yet very close

One thought on “Infinitely far, yet very close

  1. Given an extended metric space, “being at finite distance” is an equivalence relation. Let’s call its equivalence classes “finite distance components”. Obviously, the restriction of the (extended) metric to every finite distance component is a metric (in the standard sense), and the open subsets of every finite distance component are exactly the open subsets of the induced metric. Therefore, as topological spaces, all extended metric spaces are disjoint unions of metric spaces.


Leave a Reply

Fill in your details below or click an icon to log in: Logo

You are commenting using your account. Log Out /  Change )

Google+ photo

You are commenting using your Google+ account. Log Out /  Change )

Twitter picture

You are commenting using your Twitter account. Log Out /  Change )

Facebook photo

You are commenting using your Facebook account. Log Out /  Change )


Connecting to %s