3

Assume that f is a continuous function on $[a,b]$ such that for any continuous function g on $[a,b]$ $\int_a^b f(x)g(x)dx = 0$, then how can I show that f(x) = 0 for all $x\in [a,b]$?

Qiaochu Yuan
  • 468,795
Sam
  • 769
  • 1
  • 9
  • 20

3 Answers3

7

Hint: What happens if $g(x)=f(x)$? Since $g$ can be any continuous function, beginning with this is okay.

Clayton
  • 25,087
  • 7
  • 60
  • 115
4

What happens if you take $g=\bar{f}$? In case $f$ is complex-valued. If it is real-valued, this becomes $g=f$, of course.

Julien
  • 45,674
4

Write $g = f$. Then $g(x)\cdot f(x)=f(x)^2\geq 0$ for all $x\in[a,b]$. Deduce the result of $$ \int_a^bf(x)^2 \, dx=0. $$ If exist $x_o\in[a,b]$ such that $f(x_o)>0$ and $f$ continuous then $$ \int_a^bf(x)^2 \, dx>0. $$

Elias Costa
  • 15,282