Self isometries of a compact metric space

Consider an isometry from a compact metric space to itself, this is simply a function that preserves distances. Notice that this implies that the function is continuous and moreover that it is injective. What we have to prove is that such a function is also surjective. Observe that this implies that the function is indeed a homeomorphism.

A consequence of this fact is that the category that has compact metric spaces as objects and isometries as arrows enjoys a Cantor-Schröder-Bernstein-like property.

Advertisements
Self isometries of a compact metric space

2 thoughts on “Self isometries of a compact metric space

Leave a Reply

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

WordPress.com Logo

You are commenting using your WordPress.com 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 )

Google+ photo

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

Connecting to %s