Integral of product of two functions = 0

[resolvent1]

If f \in L^1(0,1) and if \int_0^1 fg = 0 for any continuous g \colon (0,1) \rightarrow \mathbb{R}, then is it the case that f = 0 almost everywhere in (0,1)?

Thanks.

 

[awkward]

Consider the case g = f.

 

[resolvent1]

I've got it, thanks.

 

[TylerH]

I've got it, thanks.

Can you post your proof? This is an interesting problem, and I've been unable to prove it so far.

 

[disregardthat]

It is not necessarily so that the integral of f*g is 0 if g = f, since f isn't necessarily continuous.

 

[TylerH]

Oh! Would g(x)=0 also be a counter example? With g(x)=0, f(x)g(x)=0 for all x and thus \int^1_0 f(x)g(x)=0.

 

[disregardthat]

Oh! Would g(x)=0 also be a counter example? With g(x)=0, f(x)g(x)=0 for all x and thus \int^1_0 f(x)g(x)=0.

A counter-example must be an f which is 0 on a set of non-zero measure such that for any continuous function g, the integral of fg from 0 to 1 is 0...

By the way, is L^1(0,1) the space of riemann-integrable functions, or lebesgue integrable functions?

 

[pwsnafu]

It is not necessarily so that the integral of f*g is 0 if g = f, since f isn't necessarily continuous.

Similarly, g is not necessarily L¹. The domain is (0,1) not [0,1].

A counter-example must be an f which is 0 on a set of non-zero measure such that for any continuous function g, the integral of fg from 0 to 1 is 0...

Err...

In order to be a counter example you need to produce a f \in L^1 (0,1) and g \in C(0,1) such that

1. the integral of fg is 0,
2. the set of x such that f(x) \neq 0 is not equal to zero.

In measure notation \mu(f^{-1}(\mathbb{R}\setminus \{0\})) > 0.

By the way, is L^1(0,1) the space of riemann-integrable functions, or lebesgue integrable functions?

That would be Lebesgue.

Tyler, consider g(x) = 1.

 

[resolvent1]

Let \eps>0. Then since f is L-integrable, f^2 also is, so there is a \delt>0 such that if m(E)<\delt, then

\int_E f^2 &lt; \eps

Also, since f is L-integrable, it's measurable, so Lusin implies that there exists a measurable F contained in (0,1) such that M((0,1)-F) < \delt and for which the restriction of f to F is continuous. Define the following:

u(x) = f|_F(x) if x \in F, 0 if x \in F^C
v(x) = f|_{F^C}(x) if x \in F^C, 0 if x \in F

Then:

<br /> <br /> \int_0^1 f^2 = \int_0^1 f \cdot (u+v) = \int_0^1 f \cdot u + \int_0^1 f \cdot v = \int_F f \cdot u + \int_{F^C} f^2 = \int_{F^C} f^2 &lt; \eps<br /> <br />

So \int_0^1 f^2 = 0. Since f^2 is nonnegative on (0,1), Tschebyshev's inequality implies f^2 = 0 ae on (0,1). So f = 0 ae on (0,1).

I guess u would actually be piecewise continuous, but I think it can be patched up fairly easily.

 

[disregardthat]

Nice proof resolvent.

Err...

In order to be a counter example you need to produce a f \in L^1 (0,1) and g \in C(0,1) such that

1. the integral of fg is 0,
2. the set of x such that f(x) \neq 0 is not equal to zero.

In measure notation \mu(f^{-1}(\mathbb{R}\setminus \{0\})) &gt; 0.

I don't think so

The premise is that f is integrable, and that fg has integral = 0 for any continuous function g. A counter-example must satisfy this (you can't just bring about a single continuous g), but also not satisfy that the set of zeroes has measure 0.

 

[pwsnafu]

The premise is that f is integrable, and that fg has integral = 0 for any continuous function g. A counter-example must satisfy this (you can't just bring about a single continuous g), but also not satisfy that the set of zeroes has measure 0.

You're right.

Edit: No, you are right about g. But not about zeroes of f. The theorem concludes that "f = 0 a.e." That means the set of x where f is not 0 has zero measure.

So for a counter example you need "not f = 0 a.e." which is saying "the set of f=/=0 has non-zero measure". You can have "f=0" have measure 1/2 and "f=/=0" also have measure half, which isn't zero a.e.