# Limit of increasing sequence of sets

## Definition

Given an increasing sequence of sets [ilmath](A_n)_{n=1}^\infty[/ilmath], we define the limit of the sequence as follows^{[1]}^{[2]}:

- [math]\lim_{n\rightarrow\infty}(A_n)=A[/math] where [ilmath]A[/ilmath] is
*the limit of [ilmath]A_n[/ilmath]*, and [math]A:=\bigcup_{n=1}^\infty A_n[/math]

This may be written as:

- [ilmath]A_n\uparrow A[/ilmath]
^{[3]}- I do not like this notation, as [ilmath]\uparrow[/ilmath] only shows the notion of increasing, I prefer [ilmath]\nearrow[/ilmath] as this 'combines' (in a very vector-like sense) the [ilmath]\rightarrow[/ilmath] of limit and [ilmath]\uparrow[/ilmath] of increasing.

- [ilmath]A_n\nearrow A[/ilmath]
^{[2]}- I prefer this notation, however I always explicitly write [math]\lim_{n\rightarrow\infty}(A_n)=A[/math] myself, after letting [ilmath](A_n)_{n=1}^\infty[/ilmath] be an increasing sequence.

## Alec's definition

When I encountered this in a book(^{[2]}) I didn't read on and formulated myself the definition of [ilmath]\lim_{n\rightarrow\infty}(A_n)=A[/ilmath] if:

- [math]\forall x\in A\exists N\in\mathbb{N}\forall n\in\mathbb{N}[n> N\implies x\in A_n][/math] and
- [math]\forall n\in\mathbb{N}[A_n\subseteq A][/math]

Notice the first one alone is insufficient as any subset of some [ilmath]A_n[/ilmath] will satisfy it, so I formulated the second. The first also contains the increasing sequence idea as it requires after a certain index all sets contain [ilmath]x[/ilmath].

Proof that [math]\lim_{n\rightarrow\infty}(A_n)=A:=\bigcup_{i=1}^\infty A_n\iff[/math] those two conditions.

TODO: Be bothered, I've done this on some anonymous notepad, it isn't difficult

## References

- ↑ https://proofwiki.org/wiki/Definition:Limit_of_Increasing_Sequence_of_Sets - taken from book I left at home! - Measures, integrals and Martingales
- ↑
^{2.0}^{2.1}^{2.2}Probability and Stochastics - Erhan Cinlar - ↑ Measures, Integrals and Martingales - CHECK THIS REF