Differences
This shows you the differences between two versions of the page.
| Next revision | Previous revision Next revision Both sides next revision | ||
|
infinite_sequence [2013/09/08 15:32] nikolaj created |
infinite_sequence [2013/09/09 09:32] nikolaj |
||
|---|---|---|---|
| Line 3: | Line 3: | ||
| | @#88DDEE: $X$ | | | @#88DDEE: $X$ | | ||
| | | | | ||
| - | | @#FFBB00: $ A\in \mathrm{Sequence}(X) $ | | + | | @#FFBB00: $ A\in \mathrm{InfSequence}(X) $ | |
| | @#55EE55: $A: \mathbb N\to X$ | | | @#55EE55: $A: \mathbb N\to X$ | | ||
| ==== Discussion ==== | ==== Discussion ==== | ||
| - | Instead of $\langle n,A(n)\rangle$, we also write $A_n$ and denote the whole sequence by $(A_n)_{n\mathbb N}$. | + | Instead of $\langle n,A(n)\rangle$, we also write $A_n$ and denote the whole sequence by $(A_n)_{n\in\mathbb N}$. |
| ==== Parents ==== | ==== Parents ==== | ||
| === Subset of === | === Subset of === | ||
