Find a compact metric space that does not embed in for any .

Advertisements

Skip to content
# Spooky geometry II

##
2 thoughts on “Spooky geometry II”

### Leave a Reply

Find a compact metric space that does not embed in for any .

Advertisements

%d bloggers like this:

Consider the subspace of of all sequences such that . It is easy to see that is compact, since it is closed in and totally bounded.

On the other hand, for any the convex hull of the points of the form with and is contained in . In other words, we can embed a -simplex in for all , so has infinite topological dimension, and therefore does not embed in .

LikeLiked by 1 person

Consider the countable product of copies of . 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.)

LikeLiked by 1 person