Limit Constant Multiple/Power Laws for Convergent Sequences

Limit Constant Multiple/Power Laws for Convergent Sequences

We will now proceed to specifically look at the limit constant multiple and power laws (law 5 and law 6 from the Limit of a Sequence page) and prove their validity.

Constant Multiple Law for Convergent Sequences

Law 5 (Constant Multiple Law of Convergent Sequences): If the limit of the sequence $\{ a_n \}$ is convergent, that is $\lim_{n \to \infty} a_n = A$, and $k$ is a constant, then $\lim_{n \to \infty} ka_n = k \lim_{n \to \infty} a_n = kA$.
  • Proof of Law 5:
  • Let $k$ be a constant such that $k \neq 0$. We note that the case that $k = 0$ is trivial since then $\lim_{n\ \to \infty} 0a_n = \lim_{n \to \infty} 0 = 0$. Let $\{ a_n \}$ be a convergent sequence so that $\lim_{n \to \infty} a_n = A$ which implies that $\forall \epsilon \: \exists N_1 \in \mathbb{N}$ such that if $n ≥ N_1$ then $\mid a_n - A \mid < \frac{\epsilon}{\mid k \mid}$.
  • Now let $\epsilon > 0$ be given. We want to show $\lim_{n \to \infty} ka_n = kA$, that is, $\forall \epsilon > 0 \: \exists N \in \mathbb{N}$ such that if $n ≥ N$ then $\mid k_an - kA \mid < \epsilon$. Working with this inequality:
(1)
\begin{align} \quad \mid k a_n - kA \mid = \mid k(a_n - A) \mid = \mid k \mid \mid a_n - A \mid < \epsilon \end{align}
  • We choose $N = N_1$ and therefore if $n ≥ N$ then $\mid a_n - A \mid < \frac{\epsilon}{\mid k \mid}$ and so $\lim_{n \to \infty} ka_n = kA$. $\blacksquare$

Power Law for Convergent Sequences

Law 6 (Power Law of Convergent Sequences): If the limit of the sequence $\{ a_n \}$ is convergent, that is $\lim_{n \to \infty} a_n = A$ and $k$ is a non-negative integer, then $\lim_{n \to \infty} (a_n)^k = \left ( \lim_{n \to \infty} a_n \right )^k = (A)^k$ provided that $k \in \mathbb{N}$.
  • Proof of Law 6: Recall that from the power law for sequences that if $\{ a_n \}$ and $\{ b_n \}$ are convergent sequences such that $\lim_{n \to \infty} a_n = A$ and $\lim_{n \to \infty} b_n = B$, then $\lim_{n \to \infty} [a_n b_n] = AB$. The power law is just a special case of this.
  • Consider $\{ b_n \} = \{ a_n \}$ and therefore by the power law $\lim_{n \to \infty} [a_n a_n] = \lim_{n \to \infty} (a_n)^2 = AA = A^2$. Therefore $\{ a_n^2 \}$ is a convergent sequence. Now continue to the process by letting $\{b_n \} = \{ a_n \}^2$ and therefore $\lim_{n \to \infty} a_n a_n^2 = AA^2 = A^3$, etc… so we deduce if $\{ a_n \}$ is convergent then $\lim_{n \to \infty} (a_n)^k = A^k$.
Unless otherwise stated, the content of this page is licensed under Creative Commons Attribution-ShareAlike 3.0 License