1
$\begingroup$

I was reading a comment on MathOverflow and did not understand what was being suggested. I also don't understand Anton's response:

https://mathoverflow.net/questions/17732/difference-between-measures-and-distributions/18062#18062

I initially thought Regenbogen's comment was being applied to the derivative of the dirac distribution, i.e. he wanted to extend this continuous linear functional from $D$ to $C$. But I don't understand what dominating semi-norm (sublinear functional) he had in mind... And I don't understand Anton's response - How are the derivatives of the delta distribution not bounded linear functionals on $D$? They seem to have operator norm equal to 1.

Then I thought perhaps he literally was referring to the measure mentioned earlier, i.e. a Radon measure acting as a distribution on $C$ and trivially extending to $D$... but this also seems to be a bounded linear functional on both $C$ and $D$.

Can someone explain what was being suggested, and how Anton's response makes sense?

$\endgroup$
  • 1
    $\begingroup$ Check your $C$ and $D$. Anton said that $\delta'$ is a linear functional on $D$, but cannot be extended to a bounded linear functional on $C$. This is natural, as $\delta'(f) = f'(0)$ and you can find continuous functions with compact support that is not differentiable at the origin. $\endgroup$ – Willie Wong Dec 23 '10 at 20:33
  • 3
    $\begingroup$ Now, about Rogenbogen's comment: you cannot apply Hahn-Banach because you need that $\delta'$ is continuous (a bounded linear functional) with respect to the seminorm on $D$ inherited from its inclusion in $C$. That is, you need to use the $C^0$ seminorm, which is insufficient to control the value of $\delta'$. $\endgroup$ – Willie Wong Dec 23 '10 at 20:38
  • $\begingroup$ Thanks Willie. Somehow I thought $\sup_x f(x) \leq \sup_{x,\alpha} D^{\alpha}f(x)$ would take care of it. I'm not sure what I was (not) thinking... I've also seen the Hahn-Banach theorem stated a number of times without the continuous assumption, so this confused me. $\endgroup$ – David Ferrone Dec 24 '10 at 13:54

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.