Are Sigma-Finite Measures Always Lebesgue Measurable?

  • Thread starter Thread starter island-boy
  • Start date Start date
Click For Summary
SUMMARY

This discussion addresses the properties of sigma-finite measures and their relationship with Lebesgue measurability. It establishes that if a function f is Lebesgue measurable and positive over a measure space (X, M, m), then the measure m is sigma-finite. The user also explores constructing a Lebesgue measurable function from a sigma-finite measure, concluding that if the integral of f(x) over X equals 1, then f(x) can be expressed as 1/m(X), confirming its finiteness and measurability.

PREREQUISITES
  • Understanding of sigma-finite measures
  • Knowledge of Lebesgue measurability
  • Familiarity with measure theory concepts
  • Basic calculus, specifically integration
NEXT STEPS
  • Study the properties of sigma-finite measures in detail
  • Learn about Lebesgue integration and its applications
  • Explore the implications of measure theory on functional analysis
  • Investigate examples of Lebesgue measurable functions
USEFUL FOR

Mathematicians, students of measure theory, and anyone interested in the foundational aspects of Lebesgue measures and their applications in analysis.

island-boy
Messages
93
Reaction score
0
hello, I need some help with 2 problesm involving sigma-finite measures.

*note* a set X is sigma-finite if X can be written as a compact union of subsets, i.e. X = Union of Xi for i = 1,2,3,...n, and the measure of each Xi is finite.

q1)Given a measure space (X, M, m), let f be lebesgue measurable such that f(x)>0 for every x element of X, show that m is sigma-finite.
----
I think I may have solved this. Please see if I did anything wrong.

Let X = union of arbitrary disjoint subsets Xi where i =1,2,3...n

since f is lebesgue measurable, then f(x)m(X) is finite, hence m(X) is finite.
Since m(X) = m (UXi) = summation m(Xi) is finite. Hence m(Xi) is finite.
hence m is sigma finite. Is this correct?

----------

q2) suppose f is sigma-finite, constrauct a lebesgue measurable function s.t. f(x) > 0 for every x element of X abd the integral of f(x)dx over X = 1.

-----
I'm thinking this is how to solve this.
since the integral of f(x)dx over X = 1 then
f(x)m(X) = 1
and
f(x) = 1/m(X)...this f(x) is finite, hence it is lebesgue meaurable.

I'm thinking I need to get rid of the m(x) part, but I have no idea how. help please?
 
Physics news on Phys.org
anyone? help please. thanks!
 

Similar threads

Replies
1
Views
2K
Replies
15
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 3 ·
Replies
3
Views
1K
  • · Replies 3 ·
Replies
3
Views
3K
Replies
34
Views
3K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 4 ·
Replies
4
Views
1K
Replies
6
Views
2K