probability theory - Limit inferior, limit superior and Borel Cantelli lemmas

I am having trouble trying to understand the topic of my question. For reference please use Virtual Laboratory of Probability and Statistics.

Let's start with limit superior:

$$\limsup_{n \to \infty} A_n = \bigcap_{n=1}^\infty \bigcup_{i=n}^\infty A_i$$
It works for arbitrary sequences of events $A_n$, right? Let's assume we have independent replication of the same basic event $A$ whose probability is strictly positive $\mathbb{P}(A) = p \in (0, 1]$, so that each $A_n$ is just $A$. And since set union and set intersection are both idempotent operations, we get:
$$\bigcap_{n=1}^\infty \bigcup_{i=n}^\infty A_i = \bigcap_{n=1}^\infty \bigcup_{i=n}^\infty A = A$$
so that
$$\limsup_{n \to \infty} A_n = A$$
and
$$\mathbb{P} \left( \limsup_{n \to \infty} A_n \right) = \mathbb{P} \left( A \right) = p$$
So far, so good. But from the second Borel-Cantelli lemma, since $p > 0$, we get
$$\mathbb{P} \left( \limsup_{n \to \infty} A_n \right) = 1$$
For me it's hard to accept, that arbitrarily chosen $p \in (0, 1]$ will always be equal to 1. Where's my mistake?

Anyway, what is that event $\limsup_{n \to \infty} A_n$? Since it is assigned probability 1, it must cover the entire sample space $\Omega$ of our probability space $(\Omega, \mathscr{F }, \mathbb{P})$, minus some countable subset.

The first term in the definition of limit superior is $\bigcap_{n=1}^\infty$, and it specifies a decreasing (non increasing) sequence of events. From this it follows that any of it "tails" $\bigcup_{i=n}^\infty A_i$ must have probability 1 -- $\mathbb{P} \left( \bigcup_{i=n}^\infty A_i \right) = 1$.

Putting it all together, any of the "tails" $\bigcup_{i=n}^\infty A_i$ must include every possible event from the probability space. Is this line of thinking is correct? I mean, do I use the right words to describe my intuition behind limit superior/inferior?

One last question, can limit superior/inferior of arbitrary sequence of events ever take any other probability different from 0 and 1?

Answer

This is because independent replication refers to something completely different from what you describe.

One is given a sequence $(A_n)_n$, say with common probability $\mathbb P(A_n)=p$ in $(0,1)$, and the key assumption is that the events $(A_n)_n$ are independent. This means that, for every finite collection of distinct indexes $(i_k)_{1\leqslant k\leqslant K}$, one has
$$
\mathbb P(A_{i_1}\cap\cdots\cap A_{i_K})=\prod_{k=1}^K\mathbb P(A_k).
$$
Then indeed (a special case of) Borel-Cantelli lemma ensures that the limsup of the sequence $(A_n)_n$ has probability $1$.

A sequence $(A_n)_{n\geqslant1}$ such that $A_n=A$ for every $n$, with $\mathbb P(A)$ neither $0$ or $1$, is never independent. Furthermore, to answer the last question of your post, note that in this case
$$
\limsup\limits_nA_n=\liminf\limits_nA_n=A,
$$

hence their common probability is $\mathbb P(A)$ as well, which can take every value in $(0,1)$ (a host of other examples exist, naturally).