Understanding the Limsup Operation in Set Theory

AI Thread Summary
The lim sup operation in set theory is defined as the intersection of unions of sets. Specifically, lim sup_n A_n is expressed as ∩(n=1,∞) U(k=n,∞) A_k, meaning that for each n, you first take the union of all sets A_k starting from index n. The resulting sets B_n are then intersected across all n to determine the lim sup. This process identifies all points that belong to an infinite number of the sets A_k. Understanding this operation clarifies how to evaluate the relationship between unions and intersections in set theory.
woundedtiger4
Messages
188
Reaction score
0
Sorry if the title of my question is wrong,

lim sup_n A_n = ∩^∞ U^∞ A_k

does it mean that first we are taking the union of A_n and then we are taking intersection? actually I am confused, what is it actually?
 
Physics news on Phys.org
when we write intersection & union together then what does it mean?
 
Hey woundedtiger4.

Usually if we do this it depends on the order that it's written in much in the same way that if you have pi symbol (multiplication) and a sigma symbol (summation), you evaluate it from right to left if there are no brackets.

So if you have pi sigma (expression) then you calculate the sigma terms first before doing the pi terms on the relevant indices.
 
You need to specify the limits. limsup = ∩(n=1,∞)U(k=n,∞)A_k
 
mathman said:
You need to specify the limits. limsup = ∩(n=1,∞)U(k=n,∞)A_k
yeah that exact expression but what does mean by the right hand side?
 
woundedtiger4 said:
yeah that exact expression but what does mean by the right hand side?

First step: Let B_n = ∪(k=n,∞)A_k, that is the union of all sets with indices starting at n.

Second step: Limsup = ∩(n=1,∞)B_n, that is the intersection of all B_n.

In essence you are getting all the points which are in an infinite number of A_k.
 
mathman said:
First step: Let B_n = ∪(k=n,∞)A_k, that is the union of all sets with indices starting at n.

Second step: Limsup = ∩(n=1,∞)B_n, that is the intersection of all B_n.

In essence you are getting all the points which are in an infinite number of A_k.

excellent explanation... this is what I asked in my main question...

Thanks a lot.
 
Back
Top