Definition:Limit Superior of Sequence of Sets/Notation

From ProofWiki
Jump to navigation Jump to search

Definition

Let $\set {E_n : n \in \N}$ be a sequence of sets.


The limit superior of $E_n$ can also be seen denoted as:

$\ds \underset {n \mathop \to \infty} {\overline \lim} E_n$

but this notation is not used on $\mathsf{Pr} \infty \mathsf{fWiki}$.


Some sources merely present this as:

$\ds \overline \lim E_n$

The abbreviated notation $E^*$ can also be seen.


Sources