A Lipschitz function which is $C^{\infty}$ on a.e. line need not be generically differentiable

Tom 131 / 2013

Luděk Zajíček Colloquium Mathematicum 131 (2013), 29-39 MSC: Primary 46G05; Secondary 26B05. DOI: 10.4064/cm131-1-3


We construct a Lipschitz function $f$ on $X= {\mathbb R}^2$ such that, for each ${0 \not =v \in X}$, the function $f$ is $C^{\infty }$ smooth on a.e. line parallel to $v$ and $f$ is Gâteaux non-differentiable at all points of $X$ except a first category set. Consequently, the same holds if $X$ (with $\mathop{\rm dim}X >1$) is an arbitrary Banach space and “a.e.” has any usual “measure sense”. This example gives an answer to a natural question concerning the author's recent study of linearly essentially smooth functions (which generalize essentially smooth functions of Borwein and Moors).


  • Luděk ZajíčekCharles University
    Faculty of Mathematics and Physics
    Sokolovská 83
    186 75 Praha, Czech Republic

Przeszukaj wydawnictwa IMPAN

Zbyt krótkie zapytanie. Wpisz co najmniej 4 znaki.

Przepisz kod z obrazka

Odśwież obrazek

Odśwież obrazek