Cantor type sets of positive measure and Lipschitz mappings (Q1194672)

The author proves that there exist nonempty nowhere dense, perfect sets \(E_1,E_2\subset [0,1]\) such that each of their portions is of positive Lebesgue measure and there exists no Lipschitz function \(f: [0,1]\to\mathbb{R}\) satisfying \(f(E_1)=E_2\).