Sigma Algebra elements

  • #1
190
0

Homework Statement


Suppose [itex]\Omega = \mathbb{R}[/itex]. Let [itex]A_n = [0,\frac{1}{n}][/itex]. Let [itex]\mathcal{A}=\{A_n:n\in\mathbb{N}\}[/itex].

Is [itex]\{0\}[/itex] an element of [itex]\mathcal{F}=\sigma(\mathcal{A})[/itex]?


Homework Equations





The Attempt at a Solution


Clearly [itex]\lim_{n\rightarrow\infty} A_n = \{0\}[/itex]. Not sure how to show that it need be in [itex]\mathcal{F}[/itex] though.
 

Answers and Replies

  • #2
jbunniii
Science Advisor
Homework Helper
Insights Author
Gold Member
3,470
246
Think about the kinds of operations under which a sigma algebra is closed. Also, think about what you mean by the "limit" of the sequence of sets. What operation are you really performing to assert that the "limit" is {0}?
 
  • #3
190
0
Think about the kinds of operations under which a sigma algebra is closed. Also, think about what you mean by the "limit" of the sequence of sets. What operation are you really performing to assert that the "limit" is {0}?
Hmm, I know we need countable additivity. Other than that, not quite sure how to proceed.
 
  • #4
Dick
Science Advisor
Homework Helper
26,260
619
Hmm, I know we need countable additivity. Other than that, not quite sure how to proceed.
'Countable additivity' sounds like a property of a measure on a sigma algebra. What do you know about set theoretic properties of sigma algebras, things like complements, unions and intersections??
 
  • #5
Hello!
My question will be somehow related to the topic.
I'm reading Kallenberg's Foundations now and at the very beginning I've found out that he didn't define limits before saying the following:
>> Note that any sigma-field is closed under monotone limits.
Sigma algebra A has been introduced as a non-empty subset of the set of all subsets of some set omega. The A was to be closed under certain set-theoretical operations as union, intersection and complement.
How am I to understand the limit?
My intuition (as this seems what I'm supposed to rely on) doesn't work. Could one work out the "meaning" of the limit from the information above? And, please, how?
 
  • #6
Ray Vickson
Science Advisor
Homework Helper
Dearly Missed
10,706
1,728
Hmm, I know we need countable additivity. Other than that, not quite sure how to proceed.
Additivity (countable or otherwise) has nothing to do with it. You need closure under complementation and countable unions. From that you can deduce that the empty set and the whole space belong to the σ-algebra, and do countable intersections. Of course, "countable" includes "finite".

RGV
 
  • #7
jbunniii
Science Advisor
Homework Helper
Insights Author
Gold Member
3,470
246
Hello!
My question will be somehow related to the topic.
I'm reading Kallenberg's Foundations now and at the very beginning I've found out that he didn't define limits before saying the following:
>> Note that any sigma-field is closed under monotone limits.
Sigma algebra A has been introduced as a non-empty subset of the set of all subsets of some set omega. The A was to be closed under certain set-theoretical operations as union, intersection and complement.
How am I to understand the limit?
My intuition (as this seems what I'm supposed to rely on) doesn't work. Could one work out the "meaning" of the limit from the information above? And, please, how?
If [itex]A_1 \supset A_2 \supset A_3 \supset \ldots[/itex], then you can reasonably define the "limit" as the set of points that appear in every [itex]A_n[/itex], which is simply [itex]\cap_{n=1}^{\infty} A_n[/itex].

Similarly, if [itex]A_1 \subset A_2 \subset A_3 \subset \ldots[/itex], then you can define the "limit" as the set of points that appear in at least one [itex]A_n[/itex], in other words [itex]\cup_{n = 1}^{\infty} A_n[/itex].

This notion shows up, for example, in the monotone class theorem:

http://en.wikipedia.org/wiki/Monotone_class_theorem

I don't like this nomenclature and prefer to call the intersection and the union what they are.
 
  • #8
190
0
If [itex]A_1 \supset A_2 \supset A_3 \supset \ldots[/itex], then you can reasonably define the "limit" as the set of points that appear in every [itex]A_n[/itex], which is simply [itex]\cap_{n=1}^{\infty} A_n[/itex].

Similarly, if [itex]A_1 \subset A_2 \subset A_3 \subset \ldots[/itex], then you can define the "limit" as the set of points that appear in at least one [itex]A_n[/itex], in other words [itex]\cup_{n = 1}^{\infty} A_n[/itex].

This notion shows up, for example, in the monotone class theorem:

http://en.wikipedia.org/wiki/Monotone_class_theorem

I don't like this nomenclature and prefer to call the intersection and the union what they are.
Don't you need Cantor's intersection theorem for that?
 
  • #9
jbunniii
Science Advisor
Homework Helper
Insights Author
Gold Member
3,470
246
Don't you need Cantor's intersection theorem for that?
For what? The intersection [itex]\cap_{n = 1}^\infty A_n[/itex] is well defined for any sets [itex]A_n[/itex]. Cantor's intersection theorem ensures that under certain conditions, the intersection is nonempty. But the empty set is a perfectly good set, contained in any sigma algebra.
 
  • #10
190
0
For what? The intersection [itex]\cap_{n = 1}^\infty A_n[/itex] is well defined for any sets [itex]A_n[/itex]. Cantor's intersection theorem ensures that under certain conditions, the intersection is nonempty. But the empty set is a perfectly good set, contained in any sigma algebra.
Hmm, I'm just trying to make it rigorous... Why do we know that that intersection contains only {0}, when it could conceivably be,

* Empty
* Non-empty with an infinite amount of points
 
  • #11
If [itex]A_1 \supset A_2 \supset A_3 \supset \ldots[/itex], then you can reasonably define the "limit" as the set of points that appear in every [itex]A_n[/itex], which is simply [itex]\cap_{n=1}^{\infty} A_n[/itex].

Similarly, if [itex]A_1 \subset A_2 \subset A_3 \subset \ldots[/itex], then you can define the "limit" as the set of points that appear in at least one [itex]A_n[/itex], in other words [itex]\cup_{n = 1}^{\infty} A_n[/itex].

This notion shows up, for example, in the monotone class theorem:

http://en.wikipedia.org/wiki/Monotone_class_theorem

I don't like this nomenclature and prefer to call the intersection and the union what they are.
Thank you, jbunniii.
By the way, despite the definitions are reasonable in cases of [itex]A_1 \subset A_2 \subset A_3 \subset \ldots[/itex] and [itex]A_1 \supset A_2 \supset A_3 \supset \ldots[/itex], I think we can define the limits regardless to those conditions. That is for any countable set of sets we define both intersection and union limits. The limit can be then either null set or the whole Ω.
 
  • #12
jbunniii
Science Advisor
Homework Helper
Insights Author
Gold Member
3,470
246
Hmm, I'm just trying to make it rigorous... Why do we know that that intersection contains only {0}, when it could conceivably be,

* Empty
* Non-empty with an infinite amount of points
That is true in general, but in this case you know exactly what the sets are: [itex]A_n = [0, 1/n][/itex]. Clearly, [itex]0 \in A_n[/itex] for all [itex]n[/itex], so the intersection contains 0. And for any positive number [itex]r[/itex], there is an [itex]N[/itex] such that [itex]1/N < r[/itex], so [itex]r \not\in A_N[/itex] and hence [itex]r \not\in \cap A_n[/itex]. So this establishes that [itex]\cap A_n = \{0\}[/itex].

Also note that since [itex]A_n \in \mathcal{A} \subset \mathcal{F}[/itex] for each [itex]n[/itex], and [itex]\mathcal{F}[/itex] is a sigma algebra, it follows that [itex]\cap A_n \in \mathcal{F}[/itex] regardless of whether the intersection is empty, or contains one point, or contains many points.
 
Last edited:
  • #13
190
0
Thank you. I understand it much better now.
 

Related Threads on Sigma Algebra elements

  • Last Post
Replies
3
Views
3K
  • Last Post
Replies
15
Views
5K
  • Last Post
Replies
1
Views
2K
  • Last Post
Replies
11
Views
3K
Replies
2
Views
5K
  • Last Post
Replies
2
Views
3K
  • Last Post
Replies
4
Views
3K
  • Last Post
Replies
15
Views
2K
  • Last Post
Replies
4
Views
813
  • Last Post
Replies
3
Views
2K
Top