Differences

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

Link to this comparison view

Both sides previous revision Previous revision
Next revision
Previous revision
falling_sequence [2013/09/08 15:37]
nikolaj
falling_sequence [2013/09/08 15:43]
nikolaj
Line 5: Line 5:
 | @#FFBB00: $A\in \mathrm{FallingSequence}(X) $ | | @#FFBB00: $A\in \mathrm{FallingSequence}(X) $ |
  
-| @#88DDEE: $A\in \mathrm{InfSequence}(X) $ |+| @#55EE55: $A\in \mathrm{InfSequence}(X) $ |
  
 | $n\in \mathbb N$ | | $n\in \mathbb N$ |
Line 18: Line 18:
 For [[Growing sequence|growing sequences]] we have: $\lim_{n\to\infty}A_n=\bigcup_{n=1}^\infty A_n$. For [[Growing sequence|growing sequences]] we have: $\lim_{n\to\infty}A_n=\bigcup_{n=1}^\infty A_n$.
 === Predicates === === Predicates ===
-| @#FFBB00: $A_n\downarrow \hat A \equiv ​(A\in \mathrm{FallingSequence}(X))\land(\lim_{n\to\infty}A_n=\hat A)$ |+| @#EEEE55: $A_n\downarrow \hat A \equiv A\in \mathrm{FallingSequence}(X)\land\lim_{n\to\infty}A_n=\hat A$ |
 ==== Parents ==== ==== Parents ====
 === Subset of === === Subset of ===
 [[Infinite sequence]] [[Infinite sequence]]
  
Link to graph
Log In
Improvements of the human condition