Let be real numbers and
Assume that for some positive integer there are real numbers such that for . Prove that there is a positive integer such that for all . (Notation: ).
Solution
For real numbers and we call them equivalent (and write ), if . Then,
Note that is a bijection on . Let
Then for .
Case 1. has a fixed point outside .
Then , and therefore, and for all . On the other hand, is a permutation of , and for some positive integer , be the identity in . So we can take in this case.
Case 2. All fixed points of are in .
If , then none of for can be a fixed point of , and can not have more than fixed points. Similarly, is impossible. Therefore, . In particular, as in Case 1, there is a positive integer such that for all .
Since , is a bijection on . As is defined by on , it means that is also bijection on . It follows that for some positive integer , and therefore for all .
Hence we can choose in this case.