Math 2.0

statement proposition

Limit of a product of sequences

Statement

Let (an)(a_n) and (bn)(b_n) be real sequences, and let aa and bb be real numbers. If an→aa_n \to a and bn→bb_n \to b as n→∞n \to \infty, then anbn→aba_n b_n \to a b as n→∞n \to \infty.

Remarks

The proof uses the identity anbn−ab=an(bn−b)+b(an−a)a_n b_n - a b = a_n (b_n - b) + b (a_n - a). The sequence (an)(a_n) is bounded, because convergent sequences are bounded. With a constant sequence an=ca_n = c, it gives c bn→c bc\, b_n \to c\, b. By induction, it gives ank→aka_n^k \to a^k for each natural number kk.

Explanations

L1 human

We may multiply the limits to get the limit of the product. For example, (1+1/n)(2−1/n)→1⋅2=2(1 + 1/n)(2 - 1/n) \to 1 \cdot 2 = 2.

What this node needs for W1
  • an inventory row: the row of the inventory that the node accounts for (0 of 1)

The writing levels say how complete the text of a node is. They do not measure its truth.

What this needs

To read this node, read these 8 nodes in this order. The foundations come first, and the list ends with this node.

Each node uses the nodes above it. The colour of the bar on a box shows the evidence level, and the box also gives it as text. The list below has the same nodes.
  • no evidence level
  1. Sequence definition
  2. Real sequence definition
  3. Bounded sequence definition
  4. Limit of a sequence definition
  5. Convergent sequence definition
  6. Epsilon-N definition of the limit of a sequence statement
  7. Convergent sequences are bounded statement
  8. Limit of a product of sequences statement

What depends on this

7 nodes use this node, directly or through other nodes.

Sources

  1. Web https://en.wikipedia.org/wiki/Limit_of_a_sequence, Properties