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: Real Analysis related to Least Upper Bound

  1. Jan 16, 2008 #1
    Give an example of a function f for which [tex]\exists s \epsilon R P(s)[/tex] ^ Q(s) ^ U(s)
    P(s) is [tex]\forall x \epsilon R f(x) >= s[/tex]
    Q(s) is [tex]\forall t \epsilon R ( P(t) => s >= t )[/tex]
    U(s) is [tex]\exists y\epsilon R s.t. \forall x\epsilon R (f(x) = s => x = y)
    [/tex]
    So this was actually a two part question, and this is the second part, the first part involved the function f(x) = sin(x) for which P(s)^Q(s)^U(s) could never be true.
    I am not sure how to approach this, should I just think of random functions? or is there a logical way to do this.

    The only thing I know is what I found from the first part of this question which is
    P(s) defines the lower bound when true
    Q(s) defines the greatest lower bound when true
    U(s) I'm not so sure, I think something along the lines of y exist in reals, so the function must be all values of reals.. but this makes no sense as the function would not be bounded then. so I guess I am wrong.

    Any help would be greatly appreciated.
     
  2. jcsd
  3. Jan 17, 2008 #2
    dear braindead101
    let us consider a function [tex]f[/tex] such that [tex]f(0) =0[/tex] and [tex] f(x) \neq 0 \forall x \in \mathbf{R}\backslash\{0\} [/tex]. Does U(0) hold?
     
  4. Jan 17, 2008 #3
    okay so, f(x) does not equal 0 for all x in reals, and then what does the last part mean? the backslash {0}
     
  5. Jan 17, 2008 #4
    [tex] \mathbf{R} \backslash \{0\} [/tex] is the set R with the element 0 removed. well i will give you an example of what i had in mind.
    consider the function f(x)=x.
    U(x) will hold for all x because f is a bijective map, so the inverse image of each [tex]y \in R [/tex] will consist of a set with one element.
     
  6. Jan 17, 2008 #5
    so f(x) = x but with no 0
    i don't understand how p(x) and q(x) will be satisfied, arn't they not bounded in f(x) = x?
     
  7. Jan 18, 2008 #6
    dear braindead101
    i gave you an example of an function where U(s) holds for all s because you seemed unsure about what the meaning of U(s) is. Of course you are looking after a function which has a unique minimum (so that p(x) and q(x) will be satisfied).
     
Share this great discussion with others via Reddit, Google+, Twitter, or Facebook




Loading...
Similar Threads for Real Analysis related Date
If A is dense in [0,1] and f(x) = 0, x in A, prove ∫fdx = 0. Apr 13, 2018
Real Analysis Definition and Explanation Mar 27, 2018
Real Analysis Proof Mar 11, 2018
Rudin POMA: chapter 4 problem 14 Feb 28, 2018