Question regarding a sequence proof from a book

Click For Summary

Discussion Overview

The discussion revolves around the proof of limit laws for sequences as presented in Louis Brand's "Advanced Calculus: An Introduction to Classical Analysis." Participants are examining the validity of rewriting sequences that converge to the same limit, specifically in the context of the sum of two sequences.

Discussion Character

  • Debate/contested

Main Points Raised

  • One participant questions whether it is valid to express a sequence as another sequence that converges to the same limit, specifically asking about the notation ##a_n = α + x_n## where ##x_n## is a null sequence.
  • Another participant clarifies that while ##x_n## is a null sequence, it does not imply that ##a_n## is term-by-term equal to ##α + x_n##, but rather that the limits are equal.
  • A different participant asserts that defining ##x_n## as ##x_n = a_n - \alpha## is appropriate, emphasizing that this definition leads to ##x_n## being a null sequence.
  • Another participant draws an analogy between numbers and sequences, suggesting that just as a number can be expressed in terms of another number plus a difference, sequences can similarly be expressed in terms of their limits.

Areas of Agreement / Disagreement

Participants express differing views on the validity of rewriting sequences in this manner. Some argue that the notation is misleading, while others defend its use by emphasizing the definitions involved.

Contextual Notes

The discussion highlights the nuances of sequence convergence and the implications of defining sequences in terms of their limits. There is a lack of consensus on the appropriateness of the notation used in the proof.

MathMorlock
Messages
1
Reaction score
0
I have a Dover edition of Louis Brand's Advanced Calculus: An Introduction to Classical Analysis. I really like this book, but find his proof of limit laws for sequences questionable. He first proves the sum of null sequences is null and that the product of a bounded sequence with a null sequence is null. These proofs are fine, yet he then does this proof.

Suppose ##a_n → α## and ##b_n → β##. Write ##a_n = α + x_n## and ##b_n = β + y_n ## where ##x_n## and ##y_n## are both null sequences. Now
$$
a_n + b_n = \alpha + x_n + \beta+y_n
$$
$$
a_n + b_n -(\alpha+ \beta) = x_n + y_n
$$
We have shown ##a_n + b_n - (α+ β)## is the sum of two null sequences and therefore also null. Hence, $$a_n + b_n \to α + β.$$

Are we really allowed to rewrite a sequence to another one that converges to the same limit, i.e ##a_n = α + x_n##?
 
Physics news on Phys.org
MathMorlock said:
I have a Dover edition of Louis Brand's Advanced Calculus: An Introduction to Classical Analysis. I really like this book, but find his proof of limit laws for sequences questionable. He first proves the sum of null sequences is null and that the product of a bounded sequence with a null sequence is null. These proofs are fine, yet he then does this proof.

Suppose ##a_n → α## and ##b_n → β##. Write ##a_n = α + x_n## and ##b_n = β + y_n ## where ##x_n## and ##y_n## are both null sequences. Now
$$
a_n + b_n = \alpha + x_n + \beta+y_n
$$
$$
a_n + b_n -(\alpha+ \beta) = x_n + y_n
$$
We have shown ##a_n + b_n - (α+ β)## is the sum of two null sequences and therefore also null. Hence, $$a_n + b_n \to α + β.$$

Are we really allowed to rewrite a sequence to another one that converges to the same limit, i.e ##a_n = α + x_n##?
It's not clear to me what you're trying to say. It's given that ##\{x_n\}## is a null sequence; i.e., ##\lim_{n \to \infty} x_n = 0##. ##a_n## doesn't have to be equal to ##\alpha + x_n##, for every n, but ##\lim_{n \to \infty} a_n = \lim_{n \to \infty} \alpha + x_n## must be true.
 
MathMorlock said:
Are we really allowed to rewrite a sequence to another one that converges to the same limit, i.e ##a_n = α + x_n##?

Of course not. We can't claim a sequence {a_n} is term-by-term equal to another abitrarily chosen sequence that converges to the same limit. However, that's not what's being done. We define ## x_n ## to be ##x_n = a_n - \alpha##. Then ##x_n## is a null sequence and, by definition, ##x_n + \alpha = a_n##.
 
MathMorlock said:
Are we really allowed to rewrite a sequence to another one that converges to the same limit, i.e ##a_n = α + x_n##?

You could ask the same about a number. If ##a## and ##\alpha## are numbers, then we know there is a number ##x## such that ##a = \alpha + x##.

In this case, ##a## and ##\alpha + x## represent the same number. Just as ##a_n## and ##\alpha + x_n## represent the same sequence.
 

Similar threads

  • · Replies 1 ·
Replies
1
Views
3K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 3 ·
Replies
3
Views
3K
  • · Replies 13 ·
Replies
13
Views
2K
Replies
4
Views
3K
Replies
6
Views
12K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 5 ·
Replies
5
Views
4K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 7 ·
Replies
7
Views
2K