In the answer to Characterisation of one-dimensional Sobolev space Tomás wrote

... let $\eta_\delta$ be the standard mollifier sequence. Let $u_\delta=\eta_\delta\star u$ and note that for any $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}.$$

Since I am new to this subject, I'd like to know which theorem/lemma Tomás used to get inequality (1).

  • 1
    $\begingroup$ Post it as a comment under his answer. $\endgroup$ Aug 28, 2014 at 10:18
  • $\begingroup$ I am unable to, my reputation points have to be over 50 to comment under the answer. $\endgroup$
    – user156182
    Aug 28, 2014 at 10:47
  • $\begingroup$ OK, 6 more up-votes and you're there. Here's one from me... $\endgroup$ Aug 28, 2014 at 10:48
  • $\begingroup$ @barakmanos Spurious upvotes are to be avoided. This issue was discussed, and resolved, on Meta. $\endgroup$
    – user147263
    Aug 28, 2014 at 14:46
  • $\begingroup$ @Thursday: OK, sorry, I cannot revert that by now (BTW, it looks as though I wasn't the only one)... $\endgroup$ Aug 28, 2014 at 14:47

1 Answer 1


By the fundamental theorem of calculus, we have that $$u_\delta(x)=u_\delta (c)+\int_c^xu_\delta'(t)dt,$$

Can you conclude now?

  • $\begingroup$ Indeed I can. Thank you very much for your clarification. Sorry for causing such a fuss due to my lack of reputation points. $\endgroup$
    – user156182
    Aug 28, 2014 at 15:20

You must log in to answer this question.