Is f Measurable if E is a Measurable Set of Measure Zero?

Click For Summary

Homework Help Overview

The discussion revolves around the measurability of a bounded function \( f \) defined on a measurable set \( E \) with measure zero. The original poster seeks to establish whether \( f \) is measurable under these conditions.

Discussion Character

  • Conceptual clarification, Assumption checking

Approaches and Questions Raised

  • The original poster attempts to demonstrate the measurability of \( f \) by analyzing the preimages of intervals related to \( f \). Some participants question the necessity of explicitly stating why certain sets are measurable.

Discussion Status

The discussion is exploring the conditions under which the sets involved are measurable. Participants have provided guidance on the need for specific arguments regarding the measurability of the preimages, and there is an ongoing inquiry into the distinction between Borel and Lebesgue measurability.

Contextual Notes

There is a mention of the assumption that every subset of a set of measure zero is measurable, which may influence the discussion on the properties of \( f \).

sbashrawi
Messages
49
Reaction score
0

Homework Statement


If E is a measurable set of measure zero, and f is bounded function on E. Is f measurable?

I tried to prove this by saying that E = { x in E | m< f(x) <M}
= {x in E | f(x) > m }intersecting { x in E | f(x) < M } and these are measurable
so f is measurable. Am I right ?


Homework Equations





The Attempt at a Solution

 
Physics news on Phys.org
This is true as far as it goes, but you need to say specifically why the sets f^{-1}(m, \infty) and f^{-1}(-\infty, M) are measurable sets.
 
They are measurable since they are inverses of borel sets ( intervals)
 
In you original post: Are you talking about Borel measurability or Lebesgue measurability?
 
I mean lebesgue measure
 
sbashrawi said:
They are measurable since they are inverses of borel sets ( intervals)

This is what you are asked to prove. You need to give a specific argument from the hypotheses why they are measurable sets.
 
sbashrawi said:
I mean lebesgue measure

But the isn't every subset of of a set of measure zero measurable?
 

Similar threads

  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 3 ·
Replies
3
Views
3K
Replies
10
Views
2K
  • · Replies 10 ·
Replies
10
Views
3K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 2 ·
Replies
2
Views
3K
  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 7 ·
Replies
7
Views
3K