One-dimensional Sobolev representative

Every element of $W^{1,p}(a,b)$ for $1\le p<\infty$ has an absolutely continuous representative. Its ordinary derivative exists almost everywhere, equals its weak derivative, and belongs to $L^p(a,b)$.

On $I=(-a,a)$, a first-order Sobolev space function has a continuous representative and obeysBound the average by the Cauchy-Schwarz inequality and average the identity $u(x)-u(y)={\int }_y^x{u}^{\prime }$. This also gives $[u{]}_{C^{0,1/2}}\le \Vert u^{\prime }{\Vert }_2$. A unit constant with the standard Sobolev norm cannot be asserted on arbitrary interval lengths: $u=1$ already disproves it when $2a<1$.