Exercise 2.2.7

Here are two useful definitions:

(i)
A sequence ( a n ) is eventually in a set A R if there exists an N N such that a n A for all n N .
(ii)
A sequence ( a n ) is frequently in a set A R if, for every N N , there exists an n N such that a n A .
(a)
Is the sequence ( 1 ) n eventually or frequently in the set { 1 } ?
(b)
Which definition is stronger? Does frequently imply eventually or does eventually imply frequently?
(c)
Give an alternate rephrasing of Definition 2.2.3B using either frequently or eventually. Which is the term we want?
(d)
Suppose an infinite number of terms of a sequence ( x n ) are equal to 2 . Is ( x n ) necessarily eventually in the interval ( 1.9 , 2.1 ) ? Is it frequently in ( 1.9 , 2.1 ) ?

Answers

(a)
Frequently, but not eventually.
(b)
Eventually is stronger, it implies frequently.
(c)
( x n ) x if and only if x n is eventually in any 𝜖 -neighborhood around x .
(d)
( x n ) is frequently in ( 1.9 , 2.1 ) but not necessarily eventually (consider x n = 2 ( 1 ) n ).
User profile picture
2022-01-27 00:00
Comments