How Does Generated Sigma Algebra Incorporate Intermediate Sets?

  • Context: Graduate 
  • Thread starter Thread starter woundedtiger4
  • Start date Start date
  • Tags Tags
    Algebra Sigma
Click For Summary
SUMMARY

The discussion focuses on the concept of Generated Sigma Algebra, specifically examining the sigma-algebra σ(C) generated by the set C = {{(HH), (TT)}} in the context of repeated coin tosses. The sigma-algebra σ(C) includes the empty set, the entire sample space S, and the sets {(HT), (TH)} and {(HH), (TT)}. The distinction between sigma-algebra and generated sigma-algebra is clarified, with the latter being the smallest sigma-algebra that contains the generating set C. The complement of {(HH), (TT)} is identified as {(H,T), (T,H)}, which is included in σ(C).

PREREQUISITES
  • Understanding of basic probability theory concepts, including sample spaces and events.
  • Familiarity with sigma-algebras and their axioms.
  • Knowledge of set theory, particularly the concepts of complements and subsets.
  • Basic understanding of mathematical notation used in probability and set theory.
NEXT STEPS
  • Study the axioms of sigma-algebras to solidify understanding of their properties.
  • Learn about the construction of sigma-algebras from generating sets in more complex scenarios.
  • Explore applications of sigma-algebras in measure theory and probability spaces.
  • Investigate the relationship between sigma-algebras and Borel sets in real analysis.
USEFUL FOR

Mathematicians, statisticians, and students of probability theory seeking to deepen their understanding of sigma-algebras and their applications in probability and measure theory.

woundedtiger4
Messages
188
Reaction score
0
Please help me in understanding Generated Sigma Algebra:
Consider S = {(H,H), (H,T), (T,H), (T,T)},
the repeated coin toss. The Sigma-Algebra generated by
C = {{(HH), (TT)}} is
σ(C) = { ∅ , S, {(HT), (TH)}, {(HH), (TT)} }

How does "(H,T), (T,H)" jumped in the σ(C) ? What is the difference between σ-algebra & generated σ-algebra? Why "(HT), (TH)" in σ(C) have been separated from "(HH), (TT)" with curly brackets?
 
Last edited by a moderator:
Physics news on Phys.org
{(H,T),(T,H)} is the complement of {(H,H),(T,T)}.

σ-algebra is the general term. Generated σ-algebra is a specific term, referring to the smallest σ-algebra containing the generator.
 
woundedtiger4 said:
Please help me in understanding Generated Sigma Algebra:
Consider S = {(H,H), (H,T), (T,H), (T,T)},
the repeated coin toss. The Sigma-Algebra generated by
C = {{(HH), (TT)}} is
σ(C) = { ∅ , S, {(HT), (TH)}, {(HH), (TT)} }

How does "(H,T), (T,H)" jumped in the σ(C) ? What is the difference between σ-algebra & generated σ-algebra? Why "(HT), (TH)" in σ(C) have been separated from "(HH), (TT)" with curly brackets?

This is poorly worded. A sigma algebra is a sigma algebra, regardless of where it comes. I believe your confusion is with the generating set. ##C##. ##C## is not a sigma algebra, but there is a unique minimal sigma algebra containing ##C##, you've denoted it ##\sigma (C)##. In this sense, the sigma algebra (that you have denoted by) ##\sigma (C)## is generated by ##C##.
 
mathman said:
{(H,T),(T,H)} is the complement of {(H,H),(T,T)}.

σ-algebra is the general term. Generated σ-algebra is a specific term, referring to the smallest σ-algebra containing the generator.

thanks
 
theorem4.5.9 said:
This is poorly worded. A sigma algebra is a sigma algebra, regardless of where it comes. I believe your confusion is with the generating set. ##C##. ##C## is not a sigma algebra, but there is a unique minimal sigma algebra containing ##C##, you've denoted it ##\sigma (C)##. In this sense, the sigma algebra (that you have denoted by) ##\sigma (C)## is generated by ##C##.

what does it mean that it is "poorly worded"? I have just posted it from the text, & if you think my questions are stupid then I am trying to learn it & if I have some questions in my mind then shouldn't I clarify them? :(
 
woundedtiger4 said:
what does it mean that it is "poorly worded"? I have just posted it from the text, & if you think my questions are stupid then I am trying to learn it & if I have some questions in my mind then shouldn't I clarify them? :(

He didn't say that your questions were stupid. To the contrary, he is trying to help you in your understanding.
 
woundedtiger4 said:
what does it mean that it is "poorly worded"?

When you asked
woundedtiger4 said:
What is the difference between σ-algebra & generated σ-algebra?

One entity that you named was a sigma algebra, i.e. ##\sigma (C)##. It's a sigma algebra because the set that ##\sigma (C)## represents satisfies the sigma algebra axioms. The second entity you named, ##C## is not a sigma algebra. It's a set with no special properties. However, you can generate a sigma algebra from it by finding the smallest possible sigma algebra that contains ##C##. You chose to name this sigma algebra ##\sigma (C)## because it makes it clear that ##C## is the generating set.

You could also ask what sigma algebra is generated by ##\sigma (C) ##? You might as well call it ##\sigma ( \sigma (C))##. The answer is of course the same set, ##\sigma (C)## since it was a sigma algebra to begin with, and so, in equations, ##\sigma ( \sigma (C)) = \sigma (C) ##
 

Similar threads

  • · Replies 5 ·
Replies
5
Views
5K
  • · Replies 2 ·
Replies
2
Views
1K
  • · Replies 1 ·
Replies
1
Views
3K
  • · Replies 61 ·
3
Replies
61
Views
9K
  • · Replies 26 ·
Replies
26
Views
5K
  • · Replies 1 ·
Replies
1
Views
3K
  • · Replies 61 ·
3
Replies
61
Views
10K
  • · Replies 4 ·
Replies
4
Views
4K
  • · Replies 1 ·
Replies
1
Views
4K
  • · Replies 40 ·
2
Replies
40
Views
18K