Question about baire class 1 functions

  • Context: Graduate 
  • Thread starter Thread starter hermanni
  • Start date Start date
  • Tags Tags
    Class Functions
Click For Summary
SUMMARY

The discussion centers on proving that a function f: R->R, which is continuous except on a countable set, belongs to Baire class 1. Two methods are proposed: constructing a sequence of functions f{n} from Baire class 0 that converges to f, or demonstrating that f belongs to Baire-n if and only if the preimage f^-1(O) belongs to Borel-n+1 for every open set O. The importance of understanding the non-disjoint nature of Baire classes is emphasized, clarifying that Baire class 0 is included in Baire class 1.

PREREQUISITES
  • Understanding of Baire classes, specifically Baire class 0 and Baire class 1.
  • Knowledge of measure theory and continuity of functions.
  • Familiarity with Borel sets and their properties.
  • Basic concepts of pointwise convergence in functional analysis.
NEXT STEPS
  • Research the properties and definitions of Baire classes in depth.
  • Study the relationship between Baire classes and Borel sets.
  • Explore examples of functions that belong to Baire class 1.
  • Learn about pointwise convergence and its implications in functional analysis.
USEFUL FOR

Graduate students in mathematics, particularly those studying measure theory and functional analysis, as well as researchers interested in the properties of Baire class functions.

hermanni
Messages
25
Reaction score
0
Hi all,
I'm a graduate student and while I was reading about measure theory I stuck at this question , can anyone help?

Let the function f: R->R be continuous except on a countable set. Show that f belongs to
Baire class 1 of functions.

For the solution I see 2 ways :
1. We need to construct a sequence f{n} from Baire -0 (set of continuous functions)
that converges to f.
2. Or we can use the fact that f belongs to Baire-n iff f^-1 (O) belongs to
Borel-n+1 the set for every O open.

Regards, h.
 
Physics news on Phys.org
First of all, your classes are not disjoint. This is important to know, as some others exclude Baire 0 classes from Baire 1 classe, which is not the case here.

Then your first suggestion should immediately lead to the result, as you only need pointwise convergence.
 

Similar threads

  • · Replies 3 ·
Replies
3
Views
3K
  • · Replies 9 ·
Replies
9
Views
3K
  • · Replies 22 ·
Replies
22
Views
3K
  • · Replies 2 ·
Replies
2
Views
3K
  • · Replies 11 ·
Replies
11
Views
2K
  • · Replies 6 ·
Replies
6
Views
4K
  • · Replies 2 ·
Replies
2
Views
4K
  • · Replies 17 ·
Replies
17
Views
4K
  • · Replies 7 ·
Replies
7
Views
2K
  • · Replies 3 ·
Replies
3
Views
3K