Lipschitz image of a measure-null set can have a null complement (Q1580506)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Lipschitz image of a measure-null set can have a null complement
scientific article

    Statements

    Lipschitz image of a measure-null set can have a null complement (English)
    0 references
    23 September 2001
    0 references
    In finite dimensions, a Lipschitz map takes null sets to null sets. Here the authors provide the following infinite-dimensional counterexamples for the class of Haar null sets: (1) There exists a closed set \(D\subset \ell_{2}\) which contains a translate of any compact set in the unit ball of \(\ell_{2}\) and a Lipschitz isomorphism \(F\) of \(\ell_{2}\) onto \(\ell_{2}\) so that \(F(D)\) is contained in a hyperplane. (2) In every infinite-dimensional Banach space \(X\) with an unconditional basis there exist a Borel subset \(A\) and a Lipschitz isomorphism of \(X\) onto itself so that the sets \(X\setminus A\) and \(F(A)\) are both Haar null. The authors also prove that -- unlike the finite-dimensional case -- in an infinite-dimensional space any two nets are Lipschitz equivalent.
    0 references
    0 references
    Haar null set
    0 references
    Lipschitz isomorphism
    0 references
    nets in metric spaces
    0 references
    compact set
    0 references
    unconditional basis
    0 references
    0 references
    0 references
    0 references

    Identifiers