Measurable and Unif. Convergence in (a,b)

  • Context: Graduate 
  • Thread starter Thread starter Bacle2
  • Start date Start date
  • Tags Tags
    Convergence Measurable
Click For Summary

Discussion Overview

The discussion revolves around the convergence of measurable functions, specifically focusing on pointwise convergence and its implications for uniform convergence in the context of a bounded interval (a,b). Participants explore conditions that could facilitate uniform convergence rather than just almost everywhere convergence.

Discussion Character

  • Technical explanation
  • Debate/contested
  • Mathematical reasoning

Main Points Raised

  • Some participants propose that if {f_n}:ℝ→ℝ are measurable and f_n converges pointwise to f, then the convergence is almost everywhere uniform, but they seek additional conditions for uniform convergence in an interval (a,b).
  • One participant corrects an earlier claim by providing a counterexample where pointwise convergence does not imply uniform convergence, specifically noting that fn(x) converges to 0 pointwise but not uniformly in certain intervals.
  • Another participant acknowledges a lack of precision in their earlier statement, clarifying that for any ε>0, fn(x) converges uniformly outside of a set of measure ε.
  • There is a discussion about the assumptions underlying the convergence, with a reference to Egorov's theorem suggesting that under certain conditions, almost everywhere uniform convergence can be established.
  • One participant expresses a desire to identify specific conditions that would allow for uniform convergence in an interval (a,b) rather than just almost everywhere convergence.
  • A later reply indicates that the participant has found the condition they were looking for, suggesting a resolution to their inquiry.

Areas of Agreement / Disagreement

Participants exhibit disagreement regarding the implications of pointwise convergence for uniform convergence, with some providing counterexamples to challenge earlier claims. The discussion remains unresolved on the specific conditions that would guarantee uniform convergence in an interval (a,b).

Contextual Notes

Limitations include the dependence on the definitions of convergence and the specific properties of the functions involved. The discussion also highlights the need for clarity in assumptions and the conditions under which the convergence is being analyzed.

Bacle2
Science Advisor
Messages
1,089
Reaction score
10
Hi, All:

If {f_n}:ℝ→ℝ are measurable and f_n-->f pointwise, then convergence is a.e. uniform. Are there any conditions we can add to have f_n-->f in some open interval (a,b)?

Correction: convergence happens in some subset of finite measure; otherwise above not true.
 
Last edited:
Physics news on Phys.org
Bacle2 said:
Hi, All:

If {f_n}:ℝ→ℝ are measurable and f_n-->f pointwise, then convergence is a.e. uniform. Are there any conditions we can add to have f_n-->f in some open interval (a,b)?

Correction: convergence happens in some subset of finite measure; otherwise above not true.

Your original statement is incorrect. Example:

fn(x) = n2x for 0≤x≤1/n
... = n - n2(x-1/n) for 1/n<x<2/n
... = 0 otherwise.

fn(x) -> 0 pointwise, but is certainly not uniform, although it will be in any interval excluding [0,ε] for any ε.
 
Yes, I was careless. I should have said: for any ε>0 , fn(x)→0 uniformly outside of a set of measure ε. Find Nε with 1/Nε<e. Then fn(x)→0 outside of [0,1/N).
 
Last edited:
Bacle2 said:
Yes, I was careless. I should have said: for any ε>0 , fn(x)→0 uniformly outside of a set of measure ε. Find Nε with 1/Nε<e. Then fn(x)→0 outside of [0,1/N).

The statement is confusing. What is the assumption and what are you trying to prove?
 
The assumptions are the same: a sequence of measurable functions converge on a bounded subset of the real line. It follows, e.g., by Egorof's , that f_n-->f a.e. uniformly.

I am wondering if we can add some conditions , either on the functions, or on the domain/range of the functions of the sequence so that the functions converge uniformly _in some interval (a,b)_ , instead of just a.e., uniformly. Basically, we can remove a set of measure zero and get a 1st category space with empty interior.
 
Never mind, thanks; I found the condition I needed.
 

Similar threads

  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 5 ·
Replies
5
Views
4K
  • · Replies 2 ·
Replies
2
Views
3K
  • · Replies 9 ·
Replies
9
Views
2K
  • · Replies 21 ·
Replies
21
Views
3K
  • · Replies 2 ·
Replies
2
Views
3K
  • · Replies 1 ·
Replies
1
Views
3K
  • · Replies 4 ·
Replies
4
Views
3K
  • · Replies 1 ·
Replies
1
Views
5K
  • · Replies 1 ·
Replies
1
Views
3K