Conjecture Let be a Cantor set embedded in . Is there a self-homeomorphism of for every greater than so that moves every point by less than and does not intersect ? Such an embedded Cantor set for which no such exists (for some ) is called "sticky". For what dimensions do sticky Cantor sets exist?
I borrowed this conjecture from this forum thread.
Certainly I understand this conjecture wrongly: is a subset of a line segment. Consider a homeomorphism which moves all points of orthogonally to this line segment by . This would be a solution of this problem. Obviously it is not what is meant.
Indeed I submit the problem to OPG as is in the hope that somebody will correct my wrong understanding and adjust the formulation to not be misunderstood as by me.
Bibliography
* indicates original appearance(s) of problem.