いかなるformula_9のコンパクト部分集合も有限次元であることが期待されるかもしれないが、ヒルベルト立方体はその反例を与える。