Analysis Problem for homework, infimum and supremum

Click For Summary
SUMMARY

The discussion centers on proving the relationship between the limits of two sequences in real numbers, specifically addressing the equation lim sup(sn + tn) = s + lim sup(tn) given that lim sn = s. The participants highlight the necessity of proving two inequalities: one straightforward and the other more complex. The straightforward inequality is derived from the property that sup(a_n + b_n) ≤ sup(a_n) + sup(b_n), which holds true when limits are taken. The complex inequality involves demonstrating that if lim sup(a_n + b_n) is less than s + lim sup(b_n), it leads to a contradiction based on the definitions of limits and supremum.

PREREQUISITES
  • Understanding of real analysis concepts, particularly limits and supremum.
  • Familiarity with sequences and their convergence properties.
  • Knowledge of inequalities and their proofs in mathematical analysis.
  • Proficiency in using LaTeX for mathematical notation and expressions.
NEXT STEPS
  • Study the properties of lim sup and lim inf in real analysis.
  • Explore proofs involving inequalities in sequences and series.
  • Learn about convergence criteria for sequences in R.
  • Practice using LaTeX for formatting mathematical proofs and expressions.
USEFUL FOR

Students studying real analysis, mathematicians focusing on sequence convergence, and educators teaching advanced calculus concepts.

retspool
Messages
35
Reaction score
0
I have this analysis homework due tomorrow.
This is one of my problems.Let (sn) and (tn) be sequences in R. Assume that lim sn = s ∈ R. Then lim sup(sn +tn) = s+limsup(tn).I don't even know how to approach it. Even though it seems very straight forward.
 
Last edited:
Physics news on Phys.org
You will have to prove 2 inequalities, a hard one and an easy one.

The easy inequality follows from

\sup_n{a_n+b_n}\leq \sup_n{a_n}+\sup_n{b_n}

just take the limit of both sides.

For the other inequality, suppose that

\limsup{a_n+b_n}<s+\limsup{b_n}

Then there exist an \epsilon>0 such that

\limsup{a_n+b_n}<\limsup{b_n}+s-\epsilon:=L

Since \limsup{a_n+b_n}<L, it follows that

\exists n_0:~\forall n>n_0:~a_n+b_n<L

But from a certain n_1 it is true that a_n-s>-\epsilon/2. Thus from \max\{n_0,n_1\}, we must have that

s-\epsilon/2+b_n<a_n+b_n<L=\limsup{b_n}+s-\epsilon

So from a certain moment, we have that b_n<\limsup{b_n}-\epsilon/2. But the definition of limsup tells us that this is impossible...

\l
 

Similar threads

  • · Replies 2 ·
Replies
2
Views
4K
  • · Replies 6 ·
Replies
6
Views
4K
  • · Replies 8 ·
Replies
8
Views
9K
Replies
6
Views
3K
  • · Replies 2 ·
Replies
2
Views
3K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 8 ·
Replies
8
Views
3K
  • · Replies 2 ·
Replies
2
Views
3K
Replies
4
Views
6K