We show that for @math and for measurable subsets of the unit square with Lebesgue measure @math there exist bi-Lipschitz maps with bounded Lipschitz constant (uniformly over all such sets) which are identity on the boundary and increases the Lebesgue measure of the set to at least @math .
The question of existence of bi-Lipschitz homeomorphisms between different subsets of @math , satisfying certain conditions, has been studied classically, notably by McMullen @cite_0 . It is shown in that paper that there exists a positive function @math on @math , @math , such that there does not exist a bi-Lipschitz homeomorphism @math with @math . It is also proved that there exists separated nets in @math ( @math ) which cannot be mapped into @math in a bi-Lipschitz way.
@cite_0
2171762499
We introduce a notion of quasi regularity for points with respect to the inclusion @math , where @math is a nonlinear Frechet differentiable function from @math to @math . When @math is the set of minimum points of a convex real-valued function @math on @math and @math satisfies the @math -average Lipschitz condition of Wang, we use the majorizing function technique to establish the semilocal linear quadratic convergence of sequences generated by the Gauss-Newton method (with quasi-regular initial points) for the convex composite function @math . Results are new even when the initial point is regular and @math is Lipschitz.