A compact null set containing a differentiability point of every Lipschitz function (Q652236): Difference between revisions

From MaRDI portal
Added link to MaRDI item.
ReferenceBot (talk | contribs)
Changed an Item
 
(3 intermediate revisions by 3 users not shown)
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W2001325428 / rank
 
Normal rank
Property / arXiv ID
 
Property / arXiv ID: 0804.4576 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3096651 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4938152 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Solution to the gradient problem of C. E. Weil / rank
 
Normal rank
Property / cites work
 
Property / cites work: ALMOST FRÉCHET DIFFERENTIABILITY OF LIPSCHITZ MAPPINGS BETWEEN INFINITE-DIMENSIONAL BANACH SPACES / rank
 
Normal rank
Property / cites work
 
Property / cites work: On Fréchet differentiability of Lipschitz maps between Banach spaces / rank
 
Normal rank
Property / cites work
 
Property / cites work: POINTS OF $\varepsilon$ -DIFFERENTIABILITY OF LIPSCHITZ FUNCTIONS FROM ${\bb R}^n$ TO ${\bb R}^{n-1}$ / rank
 
Normal rank
Property / cites work
 
Property / cites work: Differentiability of Lipschitz functions on Banach spaces / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4839531 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Directional derivatives of Lipschitz functions / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5838632 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Small non-σ-porous sets in topologically complete metric spaces / rank
 
Normal rank
Property / cites work
 
Property / cites work: Porosity and \(\sigma\)-porosity / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5488156 / rank
 
Normal rank

Latest revision as of 17:23, 4 July 2024

scientific article
Language Label Description Also known as
English
A compact null set containing a differentiability point of every Lipschitz function
scientific article

    Statements

    A compact null set containing a differentiability point of every Lipschitz function (English)
    0 references
    0 references
    0 references
    14 December 2011
    0 references
    Lebesgue's differentiation theorem says that every Lipschitz function \(f : {\mathbb R} \to {\mathbb R}\) is differentiable almost everywhere and it is known that for every subset \(A\) of \({\mathbb R}\) of measure \(0\), there exists a Lipschitz function \(f : {\mathbb R} \to {\mathbb R}\) which is differentiable at no point of \(A\). In higher dimension, Rademacher's theorem asserts that every Lipschitz function \(f : {\mathbb R}^n \to {\mathbb R}\) is differentiable almost everywhere. If \(A \subseteq {\mathbb R}^n\) (or more generally if \(A\) is contained in a separable Banach space \(X\)) and \(A\) is \(\sigma\)-porous, then, one can find a Lipschitz function \(f : X \to {\mathbb R}\) which is differentiable at no point of \(A\) (see \textit{Y. Benyamini} and \textit{J. Lindenstrauss} [Geometric nonlinear functional analysis. Volume 1. Providence, RI: American Mathematical Society (2000; Zbl 0946.46002), Chapter 6]). However, for \(n \geq 2\), \textit{D. Preiss} [``Differentiability of Lipschitz functions on Banach spaces'', J. Funct. Anal. 91, No. 2, 312--345 (1990; Zbl 0711.46036)] constructed subsets \(E \subseteq {\mathbb R}^n\) of Lebesgue measure \(0\) such that every Lipschitz function \(f : {\mathbb R}^n \to {\mathbb R}\) has a point of differentiability in \(E\). These sets were dense in \({\mathbb R}^n\). In the paper under review, the authors construct a \textit{compact} set \(E\) of measure \(0\) having the same property. Their construction is long, but explicit.
    0 references
    0 references
    Fréchet derivative
    0 references
    Lipschitz function
    0 references
    porous set
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references