Nondifferentiable functions, Haar null sets and Wiener measure

Abstrakt

Let S be the set of continuous functions f in C[0,1] which have a finite derivative at a point x of (0,1). It is shown, using a method of Dvoretzky, Erdos and Kakutani, that any shift of S has Wiener measure zero.