lim inf (x_n) = inf {x: infinitely many x_n are < x }
i cant understand what they are saying here?
i was told to see lim inf as the infimum of all the limits of all the subsequences
they say something else
??
The standard definition of lim inf is . But the sequence increases with n, so its sup is equal to its limit: . That of course is why it is called lim inf.
An equivalent definition is . To see that this is equivalent to the standard definition, you need to show that if there are only finitely many x_n with x_n<x, then x≤L; and if there are infinitely many x_n<x, then x≥L.
A third possible definition is that the lim inf is the infimum of all the limits of all the convergent subsequences of the sequence . This definition is helpful because it is easier to visualise than the standard definition. It is also equivalent to the standard definition. But you have to remember to interpret convergence as including convergence to , because a sequence might not have any subsequences that converge to finite limits.
so when your are saying
"that we take sum X
for which there are infinitely many members of Xn sequence which are smaler than X"
that the definition of an upper bound
lim inf is a infimum of a group of limits of all sub sequences
i cant see how both of them are the same thing
??
and why say "infinite number of members of Xn"
we could say "all the members of Xn"