Proof of a set is sigma finite

Join the discussion
Registration is free. Ask a follow-up in this thread, or start your own.
3 replies · 4K views
manuel huant
Messages
4
Reaction score
0

Homework Statement



if f is integrable, then the set N(f) = {x : f(x)≠ 0} is [itex]\sigma[/itex]-finite

Homework Equations


i am stucked in this proof , somebody help me please

The Attempt at a Solution


if f is simple the it seems the set is finite since otherwise the the integral won't exist but how can it be extended to f is integrable?
 
Physics news on Phys.org
manuel huant said:

Homework Statement



if f is integrable, then the set N(f) = {x : f(x)≠ 0} is [itex]\sigma[/itex]-finite

Homework Equations


i am stucked in this proof , somebody help me please

The Attempt at a Solution


if f is simple the it seems the set is finite since otherwise the the integral won't exist but how can it be extended to f is integrable?

What's the definition of N(f) being sigma finite? N(f) doesn't have to be finite. f(x)=1/x^2 is integrable on [1,infinity). [1,infinity) isn't finite.
 
Last edited:
sorry i didn't put it right , it seems N(f) [itex]\sigma[/itex]-finite means the measure of N(f) is a countable union of finite measure sets
u(N(f))= [itex]\underbrace{\cup}_{n}[/itex]u(N(fn)) which u(N(fn)) <[itex]\infty[/itex]
 
manuel huant said:
sorry i didn't put it right , it seems N(f) [itex]\sigma[/itex]-finite means the measure of N(f) is a countable union of finite measure sets
u(N(f))= [itex]\underbrace{\cup}_{n}[/itex]u(N(fn)) which u(N(fn)) <[itex]\infty[/itex]

Define a set A(f,n)={x: |f(x)|>1/n}. A(f,n) will have finite measure, right?