Results 1 to 2 of 2

Math Help - Some properties on supermum

  1. #1
    Member
    Joined
    Apr 2008
    Posts
    123

    Some properties on supermum

    T or F:

    Suppose that A and B are bounded sets in the real numbers.

    1) sup (A U B) = max {sup A, sup B}

    2) If the elements of A and B are positive and A.B = {ab | a is in A, b is in B}, then sup(A.B) = sup(A)sup(B)

    3) The analogous problems for the greatest lower bound.

    I believe all of them are true, but just wanted to make sure before I started on the proofs. Thanks!
    Follow Math Help Forum on Facebook and Google+

  2. #2
    Senior Member
    Joined
    Nov 2008
    From
    Paris
    Posts
    354
    Hi.

    Let C be a bounded real set, the set of upper bounds of C has always a minimal element, which is the supremum of C.

    Now for instance, 1):
    A,B two bounded real sets.
    a=supA and b=supB and c=sup(A\cup B).\ \forall t\in \mathbb{R},

    t=c
    \Leftrightarrow (\forall x\in A\cup B, x\leq c)\wedge (\forall y\in\mathbb{R}(\forall x\in A\cup B,\ y\geq x\Rightarrow y\geq c))
    \Leftrightarrow (\forall x\in A,\ x\leq c\wedge \forall x\in B, x\leq c)\wedge (\forall x \in\mathbb{R} (x\geq a\wedge x\geq b)\Rightarrow x\geq c)
    \Rightarrow (a\leq c\wedge b\leq c)\wedge (c\leq max\{a,b\})
    \Rightarrow (max\{a,b\}\leq c)\wedge (c\leq max\{a,b\})
    \Rightarrow c=max\{a,b\}
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. Zero properties
    Posted in the Algebra Forum
    Replies: 6
    Last Post: October 2nd 2011, 02:17 PM
  2. MLE and its properties
    Posted in the Advanced Statistics Forum
    Replies: 0
    Last Post: August 25th 2011, 07:05 PM
  3. About properties of set R
    Posted in the Differential Geometry Forum
    Replies: 10
    Last Post: July 9th 2009, 12:37 PM
  4. properties
    Posted in the Advanced Algebra Forum
    Replies: 1
    Last Post: July 8th 2009, 09:53 PM
  5. Properties
    Posted in the Algebra Forum
    Replies: 2
    Last Post: June 14th 2008, 07:32 PM

Search Tags


/mathhelpforum @mathhelpforum