Convergence of Sequence Proof: Is This Correct?

Click For Summary

Homework Help Overview

The discussion revolves around proving the convergence of the sequence defined by ##\displaystyle \lim \frac{n}{n^2 + 1} = 0##. Participants are examining the rigor of the proof presented and the implications of the definition of convergence in relation to the choice of ##N##.

Discussion Character

  • Conceptual clarification, Assumption checking

Approaches and Questions Raised

  • Participants discuss the validity of the proof and the choice of ##N = \frac{1}{\epsilon}##, questioning whether ##N## needs to be an integer. Some suggest using the ceiling function to ensure ##N## is a natural number.

Discussion Status

There is an ongoing exploration of the definition of convergence and whether the choice of ##N## as a non-integer poses a problem. Some participants provide alternative suggestions and resources, while others express concerns about the implications of their definitions.

Contextual Notes

Participants reference different definitions of convergence, indicating potential discrepancies in their understanding of the requirements for ##N##. The discussion reflects varying interpretations of the convergence criteria based on different sources.

Mr Davis 97
Messages
1,461
Reaction score
44

Homework Statement


Prove rigorously that ##\displaystyle \lim \frac{n}{n^2 + 1} = 0##.

Homework Equations


A sequence ##(s_n)## converges to ##s## if ##\forall \epsilon > 0 \exists N \in \mathbb{N} \forall n \in \mathbb{N} (n> N \implies |s_n - s| < \epsilon)##

The Attempt at a Solution


Let ##\epsilon > 0##. Let ##\displaystyle N = \frac{1}{\epsilon}##. Let ##n \in \mathbb{N}##.
Then, if ##n > N##, we have that ##\displaystyle n > \frac{1}{\epsilon}## and so ##\displaystyle \frac{1}{n} < \epsilon##. Therefore, ##\displaystyle |\frac{n}{n^2+1} - 0| = \frac{n}{n^2+1} < \frac{n}{n^2} = \frac{1}{n} < \epsilon##. This proves that ##\displaystyle \lim \frac{n}{n^2 + 1} = 0##.

Is this a correct convergence proof?
 
  • Like
Likes   Reactions: Charles Link
Physics news on Phys.org
Looks OK to me.
 
LCKurtz said:
Looks OK to me.
I actually have a concern. I let ##\displaystyle N = \frac{1}{\epsilon}##, but by the definition of sequence convergence, shouldn't ##N## be an integer? Is this a problem? How could I fix it?
 
Mr Davis 97 said:
I actually have a concern. I let ##\displaystyle N = \frac{1}{\epsilon}##, but by the definition of sequence convergence, shouldn't ##N## be an integer? Is this a problem? How could I fix it?
Take N = ##\lceil \frac 1 \epsilon \rceil##, IOW, the smallest integer greater than or equal to ##\frac 1 \epsilon##.
 
Mr Davis 97 said:
I actually have a concern. I let ##\displaystyle N = \frac{1}{\epsilon}##, but by the definition of sequence convergence, shouldn't ##N## be an integer? Is this a problem? How could I fix it?

Nothing requires N to be an integer. It is the n > N that is an integer.
 
LCKurtz said:
Nothing requires N to be an integer. It is the n > N that is an integer.
Well my definition claims that ##N## is a natural number. Would Mark44's approach suffice?
 
@Mr Davis 97, you're overthinking this. If ##\frac 1 \epsilon## isn't an integer, just take N to be the next-larger integer, which is basically what I said before. After all, N is just a lower bound on the indexes of the sequence elements that are "small enough." Elements further in the sequence will be even smaller; i.e., closer to zero.
 

Similar threads

  • · Replies 7 ·
Replies
7
Views
2K
  • · Replies 13 ·
Replies
13
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 13 ·
Replies
13
Views
4K
  • · Replies 11 ·
Replies
11
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 13 ·
Replies
13
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 8 ·
Replies
8
Views
2K
  • · Replies 7 ·
Replies
7
Views
2K