Let us define the following "dimension" of a Borel subet BsubsetmathbbRk:
dim(B)=minninmathbbN:existsKsubsetmathbbRn, rms.t. BsimK,
where sim denotes "homeomorphic to". Obviously, 0leqdim(B)leqk.
I have three questions: Given a BsubsetmathbbR,
1) As ktoinfty, how slow can dim(Bk) grow? Can we choose some B such that dim(Bk)=o(k) or even O(1)?
2) Will it make a difference if we drop the Borel measurability of B or add the condition that B has positive Lebesgue measure?
3) Does this dimension-like notion have a name? The dimension concepts I usually see are Lebesgue's covering dimension, inductive dimension, Hausdorff dimension, Minkowski dimension, etc. I do not think the quantity defined above coincides with any of these, but of course bounds exist.
Thanks!
No comments:
Post a Comment