En la respuesta a la Caracterización de una dimensión de espacio de Sobolev Tomás escribió
... vamos a $\eta_\delta$ ser el estándar mollifier secuencia. Deje $u_\delta=\eta_\delta\star u$ y tenga en cuenta que para cualquier $c\in (a,b)$ $$|u_\delta(x)-u_\epsilon(x)|\le \int_c^x |u'_\delta (t)-u'_\epsilon(t)|dt+|u_\delta (c)-u_\epsilon(c)|\tag{1}.$$
Ya que soy nuevo en este tema, me gustaría saber que teorema/lema Tomás utiliza para obtener la desigualdad (1).
