# Differences

This shows you the differences between two versions of the page.

 growing_sequence [2013/09/08 15:42]nikolaj growing_sequence [2014/03/21 11:11] (current) Both sides previous revision Previous revision 2013/09/08 15:43 nikolaj 2013/09/08 15:42 nikolaj 2013/09/08 15:40 nikolaj 2013/09/06 22:04 external edit2013/08/09 16:02 nikolaj 2013/08/09 16:01 nikolaj 2013/08/09 16:00 nikolaj 2013/08/09 16:00 nikolaj 2013/08/09 15:51 nikolaj 2013/08/09 15:49 nikolaj 2013/08/09 15:43 nikolaj created Next revision Previous revision 2013/09/08 15:43 nikolaj 2013/09/08 15:42 nikolaj 2013/09/08 15:40 nikolaj 2013/09/06 22:04 external edit2013/08/09 16:02 nikolaj 2013/08/09 16:01 nikolaj 2013/08/09 16:00 nikolaj 2013/08/09 16:00 nikolaj 2013/08/09 15:51 nikolaj 2013/08/09 15:49 nikolaj 2013/08/09 15:43 nikolaj created Line 1: Line 1: ===== Growing sequence ===== ===== Growing sequence ===== - ==== Definition ​==== + ==== Set ==== - | @#88DDEE: $X$ | + | @#55CCEE: context ​    | @#55CCEE: $X$ | - | @#FFBB00: $A\in \mathrm{GrowingSequence}(X)$ | + | @#FFBB00: definiendum ​| @#FFBB00: $A\in \mathrm{GrowingSequence}(X)$ | - | @#55EE55: $A\in \mathrm{InfSequence}(X)$ | + | @#55EE55: postulate ​  | @#55EE55: $A\in \mathrm{InfSequence}(X)$ | | $n\in \mathbb N$ | | $n\in \mathbb N$ | - | @#55EE55: $A_{n}\subseteq A_{n+1}$ | + | @#55EE55: postulate ​  | @#55EE55: $A_{n}\subseteq A_{n+1}$ | ==== Discussion ==== ==== Discussion ==== Line 18: Line 18: For growing sequences we have: $\lim_{n\to\infty}A_n=\bigcup_{n=1}^\infty A_n$. For growing sequences we have: $\lim_{n\to\infty}A_n=\bigcup_{n=1}^\infty A_n$. === Predicates === === Predicates === - | @#FFBB00: $A_n\uparrow \hat A \equiv ​(A\in \mathrm{GrowingSequence}(X))\land(\lim_{n\to\infty}A_n=\hat A)$ | + | @#EEEE55: predicate ​  | @#EEEE55: $A_n\uparrow \hat A \equiv A\in \mathrm{GrowingSequence}(X)\ \land\ \lim_{n\to\infty}A_n=\hat A$ | ==== Parents ==== ==== Parents ==== === Subset of === === Subset of === [[Infinite sequence]] [[Infinite sequence]]