Let $f, g\in C_0(\mathbb R^n)$ where $C_0(\mathbb R^n)$ is the set of all continuous functions on $\mathbb R^n$ with compact support. In this case $$(f*g)(x)=\int_{\mathbb R^n} f(x-y)g(y)\ dy,$$ is well defined.
How can I show $\textrm{supp}(f*g)\subseteq \textrm{supp}(f)+\textrm{supp}(g)$?
This should be easy but I can't prove it.
I tried to proceed by contradiction as follows: Let $x\in \textrm{supp}(f*g)$. If $x\not\in \textrm{supp}(f)+\textrm{supp}(g)$ then $(x-\textrm{supp}(f))\cap \textrm{supp}(g)=\phi$. This should give me a contradiction but I can't see it.
Answer
If $f*g(x)\neq 0$ then $\int_{\Bbb R^n}f(x-y)g(y)dy\neq 0$, so there exists $y\in \Bbb R^n$ such that $f(x-y)g(y)\neq 0$, hence $g(y)\neq 0$ and $f(x-y)\neq 0$, take $z=x-y$ then $x=z+y$ with $f(z)\neq 0$ and $g(y)\neq 0$. Now we get $\{f*g\neq 0\}\subset \{f\neq 0\}+\{g\neq 0\}\subset \text{supp}(f)+\text{supp}(g)$, so $\text{supp}(f*g)\subset \text{supp}(f)+\text{supp}(g)$.
No comments:
Post a Comment