Sigma-algebra generated by a function

  • Context: Graduate 
  • Thread starter Thread starter cappadonza
  • Start date Start date
  • Tags Tags
    Function
Click For Summary
SUMMARY

The discussion centers on the sigma-algebra generated by the function f defined on the interval X = [0,1] as f(x) = 1 - |2x - 1|. The user initially proposed that the sigma-algebra σ(f(x)) equals the Borel sigma-algebra B([0,1]). However, through further analysis, they recognized that the function is symmetrical, leading to the conclusion that σ(f(x)) consists of the inverse images of Borel sets, specifically structured as σ(f(x)) = { f^{-1}(B) : B ∈ B } where B represents Borel sets. This refined understanding emphasizes the importance of symmetry in determining the generated sigma-algebra.

PREREQUISITES
  • Understanding of sigma-algebras and their properties
  • Familiarity with Borel sets and Borel sigma-algebras
  • Knowledge of functions and their inverse images
  • Basic graphing skills to visualize functions
NEXT STEPS
  • Study the properties of Borel sigma-algebras in detail
  • Learn about the relationship between functions and their inverse images
  • Explore symmetry in mathematical functions and its implications on generated sets
  • Investigate alternative methods for generating sigma-algebras beyond pre-images
USEFUL FOR

Mathematicians, statisticians, and students studying measure theory or functional analysis, particularly those interested in sigma-algebras and Borel sets.

cappadonza
Messages
26
Reaction score
0
suppose we have a X = [0,1] and a function f\colon X \to \Re where
f(x) = 1 - |2x -1|.
i'm bit confused on finding the sigma-algebra generated by this function. This is what i did

f(x)= \begin{cases} <br /> 2 -2x &amp; x \in [\frac{1}{2},1] , \\<br /> 2x&amp; x \in [0, \frac{1}{2})<br /> \end{cases}<br />

so then is the sigma-algebra \sigma(f(x)) = \mathcal{B}([\frac{1}{2},1] \bigcup \mathcal{B}([0, \frac{1}{2}) = \mathcal{B}([0,1]) ?

some thing about this doesn't feel quite right to me, could someone show me where i have made a mistake.
Also what is a systematic way or method of finding the sigma-algebra generated by a function.
the i do it is find the pre-image of the function of any open set in \Re it far to easy for me to make mistakes when doing it this way. are alternative methods ?

any comments, help much appreciated
 
Physics news on Phys.org
i think i may have figured it out. i graphed the function f(x) and realized it was symmetrical, f(x) = f(1-x) \, x \in [0,1] i then realized to find to generated sigma-field \sigma(f(x)) = \{ f^{-1}(B) \colon B \in \mathcal{B} \} the inverse image for any borel set is the union of two intervals in [0,1] since the function symetrical.
\sigma(f(x) = \{[\frac{1}{2},1] \bigcap \{1-\frac{B}{2} \colon B \in \mathcal{B} \} \bigcup [0, \frac{1}{2}] \bigcap \{\frac{B}{2} \colon B \in \mathcal{B} \}
where 1-\frac{B}{2} = \{ 1-\frac{x}{2} \colon x \in B\}

This seems right to me, since the sigma-algebra contains 'coarser' sets that those contained in \mathcal{B}([0,1])
 
Last edited:

Similar threads

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