- #1

- 40

- 0

You are using an out of date browser. It may not display this or other websites correctly.

You should upgrade or use an alternative browser.

You should upgrade or use an alternative browser.

- Thread starter Nedeljko
- Start date

- #1

- 40

- 0

- #2

morphism

Science Advisor

Homework Helper

- 2,015

- 4

- #3

- 40

- 0

- #4

- 40

- 0

- #5

morphism

Science Advisor

Homework Helper

- 2,015

- 4

I thought I had an elementary solution, but I discovered some holes in my reasoning. Anyway, a quick and dirty way to solve the problem is to convolve the characteristic function of K with itself. You will get a nonnegative continuous function f whose integral is m(K)^2 > 0. Thus f must be positive on some open interval - but f is positive precisely on K+K.

Last edited:

- #6

- 40

- 0

- #7

morphism

Science Advisor

Homework Helper

- 2,015

- 4

The point of my post was the following: Since f is positive precisely on K+K (this statement actually requires a line of proof) and since f is positive on an open interval, then K+K must contain an open interval.

- #8

- 533

- 5

that's very neat.

One thing though, f is positive on a subset of K+K (rather than precisely on K+K), which is exactly what was needed - and the condition that K is compact wasn't needed, only finite measure.

...and to show that convolution f*g is continuous is easy when g is continuous. The general case follows by taking limits.

One thing though, f is positive on a subset of K+K (rather than precisely on K+K), which is exactly what was needed - and the condition that K is compact wasn't needed, only finite measure.

...and to show that convolution f*g is continuous is easy when g is continuous. The general case follows by taking limits.

Last edited:

- #9

- 40

- 0

- #10

- 533

- 5

- #11

- 40

- 0

OK, application of Fubini's theorem gives [tex]\int_{\mathbb{R}}f\,dm=m(K)^2>0[/tex]. Thanks.

Share: