Properly Divergent Sequences

Recall that a sequence $(a_{n})$ of real numbers is said to be convergent to the real number $A$ if $\forall \epsilon >0$ there exists an $N\in \mathbb {N}$ such that if $n\geq N$ then $\mid a_{n}-A\mid <\epsilon$.

If we negate this statement we have that a sequence $(a_{n})$ of real numbers is divergent if $\forall A\in \mathbb {R}$ then $\exists \epsilon _{0}>0$ such that $\forall N\in \mathbb {N}$ such that if $n\geq N$ then $\mid a_{n}-A\mid \geq \epsilon _{0}$. However, there are different types of divergent sequences. For example, a sequence can alternate between different points and be divergent such as the sequence $((-1)^{n})$, or instead, the sequence can tend to infinity such as $(n)$ or negative infinity such as $(-n)$, or neither, such as $((-1)^{n}(n))$. We will now define properly divergent sequences.

Definition: A sequence of real numbers $(a_{n})$ is said to be Properly Divergent to $\infty$ if $\displaystyle {\lim _{n\to \infty }a_{n}=\infty }$, that is $\forall M\in \mathbb {R}$ there exists an $N\in \mathbb {N}$ such that if $n\geq N$ then $a_{n}>M$. Similarly, $(a_{n})$ is said to be Properly Divergent to $-\infty$ if $\displaystyle {\lim _{n\to \infty }a_{n}=-\infty }$, that is $\forall M\in \mathbb {R}$ there exists an $N\in \mathbb {N}$ such that if $n\geq N$ then $a_{n}<M$.

Now let's look at some theorems regarding properly divergent sequences.

Theorem 1: An increasing sequence of real numbers $(a_{n})$ is properly divergent to $\infty$ if it is unbounded. A decreasing sequence of real numbers $(a_{n})$ is properly divergent to $-\infty$ if it is unbounded.

• Proof: Suppose that $(a_{n})$ is a sequence of real numbers that is increasing. Since $(a_{n})$ is unbounded, then for any $M\in \mathbb {R}$ there exists a term $a_{M}$ (dependent on $M$) such that $M<a_{M}$. Since $(a_{n})$ is an increasing sequence, then for $n\geq M$ we have that $M<a_{n}$ and since $M$ is arbitrary we have that $\lim _{n\to \infty }a_{n}=\infty$.
• Similarly suppose that $(a_{n})$ is a sequence of real numbers that is decreasing. Since $(a_{n})$ is unbounded, then for any $M\in \mathbb {R}$ there exists a term $a_{M}$ (dependent on $M$ such that $M>a_{M}$. Since $(a_{n})$ is a decreasing sequence, then for $n\geq M$ we have that $M>a_{n}$ and since $M$ is arbitrary we have that $\lim _{n\to \infty }a_{n}=-\infty$. $\blacksquare$

Theorem 2: Let $(a_{n})$ and $(b_{n})$ be sequences of real numbers such that $a_{n}\leq b_{n}$ for all $n\in \mathbb {N}$. Then if $\lim _{n\to \infty }a_{n}=\infty$ then $\lim _{n\to \infty }b_{n}=\infty$.

• Proof: Let $(a_{n})$ and $(b_{n})$ be sequences of real numbers such that $a_{n}\leq b_{n}$ for all $n\in \mathbb {N}$, and let $\lim _{n\to \infty }a_{n}=\infty$. Then it follows that for all $M\in \mathbb {R}$ that there exists an $N$ (dependent on $M$ such that if $n\geq N$ then $a_{n}\geq M$. But we have that $b_{n}\geq a_{n}$ for all $n\in \mathbb {N}$ and so for $n\geq N$ we have that $b_{n}\geq M$. Since $M$ is arbitrary it follows that $\lim _{n\to \infty }b_{n}=\infty$. $\blacksquare$

Theorem 3: Let $(a_{n})$ and $(b_{n})$ be sequences of real numbers such that $a_{n}\leq b_{n}$ for all $n\in \mathbb {N}$. Then if $\lim _{n\to \infty }b_{n}=-\infty$ then $\lim _{n\to \infty }a_{n}=\infty$.

• Proof: Let $(a_{n})$ and $(b_{n})$ be sequences of real numbers such that $a_{n}\leq b_{n}$ for all $n\in \mathbb {N}$, and let $\lim _{n\to \infty }b_{n}=-\infty$. Then it follows that for all $M\in \mathbb {R}$ that there exists an $N$ (dependent on $M$ such that if $n\geq N$ then $b_{n}\leq M$. But we have that $a_{n}\leq b_{n}$ for all $n\in \mathbb {N}$ and so for $n\geq N$ we have that $a_{n}\leq M$. Since Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle M} is arbitrary it follows that $\lim _{n\to \infty }a_{n}=-\infty$. $\blacksquare$

Theorem 4: If $(a_{n})$ and Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle (b_n)} are sequences of positive real numbers suppose that for some real number Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle L > 0} that Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \lim_{n \to \infty} \frac{a_n}{b_n} = L} . Then Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \lim_{n \to \infty} a_n = \infty} if and only if Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \lim_{n \to \infty} b_n = \infty} .

• Proof: Suppose that Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle (a_n)} and Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle (b_n)} are convergent sequences and that Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \lim_{n \to \infty} \frac{a_n}{b_n} = L} for Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle L \in \mathbb{R}} and Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle L > 0} . Then for Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \epsilon = \frac{L}{2} > 0} we have that for some Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle N \in \mathbb{N}} if Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle n \geq N} then Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mid \frac{a_n}{b_n} - L \mid < \frac{L}{2}} or equivalently: