Prove Xn->x is Integer if Xn is Sequence of Real Numbers

  • Thread starter Thread starter sleventh
  • Start date Start date
  • Tags Tags
    Integers Sequence
Click For Summary

Homework Help Overview

The discussion revolves around proving that if a sequence of integers \(X_n\) converges to a limit \(x\) in the real numbers, then \(x\) must also be an integer. Participants explore the properties of convergent sequences, particularly focusing on boundedness and the implications of being a Cauchy sequence.

Discussion Character

  • Conceptual clarification, Assumption checking, Mathematical reasoning

Approaches and Questions Raised

  • Participants discuss the relationship between convergence and the nature of the limit, questioning whether a real limit can exist if the sequence consists solely of integers. Some explore the implications of the Cauchy property and the boundedness of the sequence.

Discussion Status

The discussion is ongoing, with various participants offering insights and questioning assumptions. Some have suggested that the limit must be an integer based on the properties of the sequence, while others are clarifying misunderstandings about convergence and the nature of integers versus real numbers.

Contextual Notes

There is a focus on the definitions of convergence and the properties of integers and real numbers. Participants are examining the implications of the limit being a real number versus an integer, and the constraints that arise from the nature of the sequence.

sleventh
Messages
61
Reaction score
0
if Xn is a sequence of integers and Xn--->x as n----> infinity and x is an element of the reals. show that x must be an integer.

i know that since the sequence is convergent it will be bounded. i don't however see how i can prove the above. thank you very much for any help.
 
Physics news on Phys.org
A convergent sequence also has to be Cauchy. See what you can get out of that
 
im not exactly sure what you mean by ''bounded away'', is this the same as will not converge? it seems to me that even if x were a real value that |Xn-x|<e given that e>0. is this wrong?
 
If [itex]x_n\to x[/itex], then, given any [itex]\epsilon[/itex], there exist N such that if n> N, [itex]|x- x_n|< \epsilon[/itex]. Take [itex]\epsilon[/itex] to be less than 1 and remember that [itex]x_n[/itex] is an integer.
 
using what you said in that a convergent sequence has a cauchy sequence, and from hallsofly, could the argument go as follows:
the sequence Xn converges and therefore is a cauchy sequence, by definition for any value n,m>N where N is a natural number |Xn-Xm|<e, given e>0 must be true. each element of Xn,m however is an integer and by the commutative ring of integers Xn-Xm will also produce an integer. if x were a real number it would then be between to integer values. The nearest value Xn can assume are these two integers, therefore taking e<1 |Xn-Xm|<e will not hold
 
No, that's not true and not my point. The difference of two integers can be 0!
 
it seems like i need to show that x must be an integer in order for the |Xn-x| to equal zero, but i do not see why |Xn-x|<e would not hold if Xn was an integer and x Real. is it because there is a set distance between a integer and a real value, and if epsilon was set to be this value, |Xn-x|could not be less then epsilon?
 
sleventh said:
it seems like i need to show that x must be an integer in order for the |Xn-x| to equal zero, but i do not see why |Xn-x|<e would not hold if Xn was an integer and x Real. is it because there is a set distance between a integer and a real value, and if epsilon was set to be this value, |Xn-x|could not be less then epsilon?
Integers are real numbers! The converse is not necessarily true, though.

If you have a sequence of integers, it either doesn't converge or converges to an integer. Examples of each kind:
{1, 2, 3, 4, ..., n, ...}
{4, 3, 2, 1, 0, 0, 0, ..., 0, ...}
 
assuming x is a value between two successive integers, there will be a finite distance E between x and the nearest integer. if e<E then |Xn-x|<e will not hold. therefore by contradiction x must be an integer. This also shows that |Xn-x|=0, and therefore Xn will eventually be a constant value.
How does that sound?
 

Similar threads

  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 34 ·
2
Replies
34
Views
4K
Replies
4
Views
2K
Replies
2
Views
1K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K