Combination Theorem for Sequences/Quotient Rule/Also presented as

From ProofWiki
Jump to navigation Jump to search

Quotient Rule for Sequences: Also presented as

Some treatments of this subject specifically exclude all sequences where the denominators are zero at any point in their domain.

Thus, for example, this is how it is presented in 1960: Walter Ledermann: Complex Numbers:

If $z_n \to c$ and $w_m \to d$, then
... $\text{(iv)} \ z_n / w_n \to c / d$, where ... $w_n \ne 0$ for all $n$ and $d \ne 0$.

However, it is demonstrated within the proof that past a certain $N \in \R$, which is bound to exist, $w_n$ is guaranteed to be non-zero.

The behaviour of the sequence $S = \sequence {\dfrac {z_n} {w_n} }$ in the limit is not dependent upon the existence or otherwise of its terms for $n < N$.

Thus it is not necessary to state that $w_n \ne 0$ for all $n$, and in fact such a statement would unnecessarily restrict the applicability of the theorem to exclude otherwise well-behaved cases where it is desirable that the theorem does apply.

Hence this restriction is not supported on $\mathsf{Pr} \infty \mathsf{fWiki}$.