 Sobolev characterization by bounded difference quotients

For $f\in H^1(\mathbb{R})$, its difference quotient equals $D_{h}f={\int }_0^1{f}^{\prime }(\cdot +\theta h)d\theta$ in L2 space. Thus $\Vert D_{h}f{\Vert }_2\le \Vert f^{\prime }{\Vert }_2$, and translation of a function gives $D_{h}f\to f^{\prime }$ in L2 space. Conversely, bounded difference quotients have a weakly convergent subsequence as $h\to 0$. Against a test function, $\int D_{h}fv\to -\int f{v}^{\prime }$, so that weak limit is the weak derivative of $f$. It lies in L2 space, which is precisely the first-order Sobolev space condition.