1. Limited time only! Sign up for a free 30min personal tutor trial with Chegg Tutors
    Dismiss Notice
Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Homework Help: A Supremum Problem

  1. Sep 23, 2008 #1
    The problem statement, all variables and given/known data
    Let [itex]a_1,a_2,\ldots[/itex] and [itex]b_1,b_2,\ldots[/itex] be bounded sequences of real numbers. Define the sets X, Y and Z as follows:

    X &=\{x \in \mathbb{R} : a_n > x \text{ for infinitely many } n \} \\
    Y &=\{y \in \mathbb{R} : b_n > y \text{ for infinitely many } n \} \\
    Z &=\{z \in \mathbb{R} : a_n + b_n > z \text{ for infinitely many } n\}

    Show that [itex]\sup Z \le \sup X + \sup Y[/itex] and that equality holds if one of the sequences converges.

    The attempt at a solution
    Let X+Y = {x + y : x in X and y in Y}. I know that sup (X+Y) = sup X + sup Y. If I can show that Z is a subset of X+Y, then sup Z ≤ sup (X+Y) and the inequality follows.

    To this end, let z belong to Z. Then [itex]b_n > z - a_n[/itex] for infinitely many n. Since these [itex]a_n[/itex] are bounded, they have a least upper bound x. Hence [itex]b_n > z - a_n \ge z - x[/itex]. Let y = z-x and notice that y belongs to Y. Unfortunately, x does not belong to X and there seems to be no fix to this problem.

    What else can I do?
  2. jcsd
  3. Sep 23, 2008 #2
    By the way, sup X, sup Y, and sup Z are the definitions of [itex]\displaystyle \limsup_{n \to \infty}a_n[/itex], [itex]\displaystyle \limsup_{n \to \infty}b_n[/itex], and [itex]\displaystyle \limsup_{n \to \infty} (a_n+b_n)[/itex], respectively.
Share this great discussion with others via Reddit, Google+, Twitter, or Facebook