Finding limsup & liminf of Sequence of Sets $A_n$

In summary, the $\limsup$ and $\liminf$ of a sequence of sets $A_n$ as $n\rightarrow \infty$ can be defined as $\limsup_n A_n=\bigcap_{n\geqslant 1}\bigcup_{k\geqslant n}A_k$ and $\liminf_n A_n=\bigcup_{n\geqslant 1}\bigcap_{k\geqslant n}A_k$. This definition applies to any arbitrary sequence of sets, not just intervals.
  • #1
kalish1
99
0
I would like to know if there is a general formula, and if so, what it is, for finding the $limsup$ and $liminf$ of a sequence of sets $A_n$ as $n\rightarrow \infty$.

I know the following examples:

**(1)**

for $A_n=(0,a_n], (a_1,a_2)=(10,200)$, $a_n=1+1/n$ for $n$ odd and $a_n=5-1/n$ for $n$ even, and $n\geq 3$,

$limsup_{n\rightarrow \infty}a_n = 5$, $liminf_{n\rightarrow \infty}a_n = 1$, $limsup_{n\rightarrow \infty}A_n = (0,5)$, $liminf_{n\rightarrow \infty}A_n = (0,1]$.

**(2)**

for $A_n=[0,a_n), (a_1,a_2,a_3,a_4)=(10,100,1000,10000)$, $a_{2n+1}=2-1/(2n+1)$ for $n\geq2$ and $a_{2n}=4+1/(2n)$ for $n\geq4$,

$limsup_{n\rightarrow \infty}a_n = 4$, $liminf_{n\rightarrow \infty}a_n = 2$, $limsup_{n\rightarrow \infty}A_n = [0,4]$, $liminf_{n\rightarrow \infty}A_n = [0,2)$.

**(3)**

for $A_n=(0,a_n], (a_1,a_2)=(50,20)$, $a_{3n}=1+1/(3n), a_{3n+1}=1+1/(3n+1), a_{3n+2}=3-(1/3n+2)$ for $n\geq1$,

$limsup_{n\rightarrow \infty}a_n = 3$, $liminf_{n\rightarrow \infty}a_n = 1$, $limsup_{n\rightarrow \infty}A_n = (0,3)$, $liminf_{n\rightarrow \infty}A_n = (0,1)$.

**Is there a general formula describing $limsup_{n\rightarrow \infty}A_n$ and $liminf_{n\rightarrow \infty}A_n$ with the open/closed interval notation, for an arbitrarily defined $\{a_n\}$?**

Thanks for any help!
 
Physics news on Phys.org
  • #2
In general, when we consider the $\limsup$ and $\liminf$ of an arbitrary sequence of sets (not necessarily intervals), we have the definition $\limsup_n A_n:=\bigcap_{n\geqslant 1}\bigcup_{k\geqslant n}A_k$ and $\liminf_n A_n:=\bigcup_{n\geqslant 1}\bigcap_{k\geqslant n}A_k$. That is, $x\in\limsup_n A_n$ if the set $\{n,x\in A_n\}$ is infinite, while $x\in\liminf_nA_n$ if $\{n,x\in A_n\}$ contains all but finitely many positive integers.
 

FAQ: Finding limsup & liminf of Sequence of Sets $A_n$

What is the definition of limsup and liminf of a sequence of sets?

The limsup (limit superior) and liminf (limit inferior) of a sequence of sets $A_n$ are defined as follows:

  • limsup $A_n$ = $\bigcap_{k=1}^{\infty} \bigcup_{n=k}^{\infty} A_n$
  • liminf $A_n$ = $\bigcup_{k=1}^{\infty} \bigcap_{n=k}^{\infty} A_n$
In other words, the limsup is the set of elements that appear in infinitely many of the sets $A_n$, while the liminf is the set of elements that appear in all but finitely many of the sets $A_n$.

How can limsup and liminf be calculated for a sequence of sets?

To calculate the limsup and liminf of a sequence of sets $A_n$, we can use the following steps:

  1. Find the union of all sets $A_k$ for $k \geq n$, and take the intersection of these unions for all $n$ to get the limsup.
  2. Find the intersection of all sets $A_k$ for $k \geq n$, and take the union of these intersections for all $n$ to get the liminf.
Alternatively, we can also use the definition of limsup and liminf as mentioned in the previous answer to calculate these values.

What is the relationship between limsup and liminf of a sequence of sets?

The limsup and liminf of a sequence of sets have a special relationship, known as the "sandwich theorem". This states that

  • limsup $A_n \subseteq$ liminf $A_n$
  • If $A_n$ is an increasing sequence of sets, then limsup $A_n = $ liminf $A_n$
  • If $A_n$ is a decreasing sequence of sets, then limsup $A_n = $ liminf $A_n = A_1$
In simpler terms, the limsup is always a subset of the liminf, and if the sequence of sets is either increasing or decreasing, then the two are equal.

How do limsup and liminf of a sequence of sets relate to the limit of the sets' measures?

There is a direct relationship between the limsup and liminf of a sequence of sets and the limit of the sets' measures. Specifically, if the sequence of sets $A_n$ is a decreasing sequence, then the limit of the sets' measures is equal to the limsup of the sets. On the other hand, if the sequence is an increasing sequence, then the limit of the sets' measures is equal to the liminf of the sets. This relationship is known as the "measure theorem" for limsup and liminf.

What are some real-world applications of finding limsup and liminf of a sequence of sets?

Finding the limsup and liminf of a sequence of sets has various applications in different fields, such as:

  • In probability theory, limsup and liminf are used to define the concepts of "almost sure" and "almost never" events, respectively.
  • In computer science, these values are used in the analysis of algorithms and data structures to determine their time and space complexities.
  • In economics, limsup and liminf are used in game theory to analyze the behavior of players and the convergence of strategies.
  • In signal processing, these values are used to determine the stability and convergence of systems.
These are just a few examples; there are many more real-world applications of finding limsup and liminf of a sequence of sets in various fields of study.

Back
Top