Spooky geometry II

Find a compact metric space that does not embed in \Bbb{R}^n for any n.

Spooky geometry II

2 thoughts on “Spooky geometry II

  1. Consider the subspace X of \ell^\infty of all sequences (x_n) such that x_n \in [0, 1/n]. It is easy to see that X is compact, since it is closed in \ell^\infty and totally bounded.

    On the other hand, for any k\in \Bbb{N} the convex hull of the points of the form e_j/k with j\in\{1,\dots k\} and 0 is contained in X. In other words, we can embed a k-simplex in X for all k, so X has infinite topological dimension, and therefore does not embed in \Bbb{R}^n.

    Liked by 1 person

  2. Consider the countable product of copies of [0,1]. This is metrizable and compact, but doesn’t embbed in any Euclidean space by the same argument above. (This is homeomorphic to the example given above, in fact.)

    Liked by 1 person

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 )

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