Proving Borel Set B: Summation of Borel Functions and Lebesgue Measure Y

Click For Summary
SUMMARY

The discussion centers on proving that the set B = {x: ∑_n f_n(x) is not convergent} is a Borel set, where f_n represents a series of Borel functions. The proof hinges on the condition that if ∫_R |F_n| dY ≤ 1/n² for every n, then the Lebesgue measure Y(B) equals 0. The participants highlight the need to demonstrate that the set A = {x: convergent} is a Borel set, which is essential for concluding that B is also a Borel set.

PREREQUISITES
  • Understanding of Borel sets and their properties
  • Familiarity with Lebesgue measure and integration
  • Knowledge of convergence of series of functions
  • Basic concepts of measure theory
NEXT STEPS
  • Study the properties of Borel sets in measure theory
  • Learn about Lebesgue integration techniques and their applications
  • Investigate the convergence criteria for series of functions
  • Explore examples of Borel functions and their measures
USEFUL FOR

Mathematicians, students of analysis, and anyone interested in measure theory and the properties of Borel sets will benefit from this discussion.

hellbike
Messages
61
Reaction score
0
let f_n be series of borel functions. Explain why set B = {x: \sum_n f_n(x) is not convergent} is borel set.

Proof, that if\int_R |F_n|dY \leq 1/n^2 for every n then Y(B) = 0.Y is lebesgue measure.for first part i thought that set of A={x: convergent} is borel, and B=X\A so it's also borel, but i got 0 points, so I'm wrong.

for second part - it seems quite obvious for me that for every x \neq 0
lim_n Y(f^{-1}_{n}[x])->0 and i think proving this would be enough.
I tried doing this using simple functions, but got 0 points.
 
Last edited:
Physics news on Phys.org
For the first part, the problem is likely that you didn't show why the set of points where (f_n) converges should be a Borel set. It's not completely obvious.
 
and for the second part?
 

Similar threads

  • · Replies 8 ·
Replies
8
Views
3K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 8 ·
Replies
8
Views
3K
  • · Replies 7 ·
Replies
7
Views
3K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 7 ·
Replies
7
Views
7K
Replies
2
Views
2K
  • · Replies 5 ·
Replies
5
Views
3K
Replies
5
Views
3K