How Can We Prove Sup g(y) ≤ Inf f(x)?

  • Thread starter Thread starter jmjlt88
  • Start date Start date
jmjlt88
Messages
94
Reaction score
0
Let X and Y be nonempty sets and let h: X x Y→ℝ
Define f: X →ℝ and g: Y→ℝ by the following:

f(x)=sup{h(x,y): y in Y} and g(y) = inf{h(x,y): x in X}

Prove that sup{g(y): y in Y} ≤ inf{f(x): x in X}

Attempt at solution:
Pick y' in Y. Then g(y')≤h(x,y') for all x in X. Hence, there exist some x' such that g(y')≤h(x',y').
Then, h(x',y')≤ sup{h(x',y): y in Y} = f(x')... Not too sure where to go from here... A small hint would be great!

Thanks!
 
Physics news on Phys.org
Wait... I think I got it..

Pick any y' and x'. Then, g(y') ≤ h(x,y') for all x; therefore g(y')≤h(x',y'). Now, h(x',y')≤sup{h(x',y) : y in Y}=f(x'). This established the following inequality:

g(y')≤f(x').​

Because x' and y' were arbitrary, we conclude g(y)≤f(x) for all x,y. Thus g(y) is a lower bound for the set {f(x): x in X} for all y; it follows that g(y)≤inf{f(x):x in X} for all y. Then, since g(y)≤inf{f(x):x in X}, inf{f(x):x in X} is an upper bound for the set {g(y): y in Y} ... the rest is history! :)
 
jmjlt88 said:
Wait... I think I got it..

Pick any y' and x'. Then, g(y') ≤ h(x,y') for all x; therefore g(y')≤h(x',y'). Now, h(x',y')≤sup{h(x',y) : y in Y}=f(x'). This established the following inequality:

g(y')≤f(x').​

Because x' and y' were arbitrary, we conclude g(y)≤f(x) for all x,y. Thus g(y) is a lower bound for the set {f(x): x in X} for all y; it follows that g(y)≤inf{f(x):x in X} for all y. Then, since g(y)≤inf{f(x):x in X}, inf{f(x):x in X} is an upper bound for the set {g(y): y in Y} ... the rest is history! :)

Sounds ok to me.
 
Prove $$\int\limits_0^{\sqrt2/4}\frac{1}{\sqrt{x-x^2}}\arcsin\sqrt{\frac{(x-1)\left(x-1+x\sqrt{9-16x}\right)}{1-2x}} \, \mathrm dx = \frac{\pi^2}{8}.$$ Let $$I = \int\limits_0^{\sqrt 2 / 4}\frac{1}{\sqrt{x-x^2}}\arcsin\sqrt{\frac{(x-1)\left(x-1+x\sqrt{9-16x}\right)}{1-2x}} \, \mathrm dx. \tag{1}$$ The representation integral of ##\arcsin## is $$\arcsin u = \int\limits_{0}^{1} \frac{\mathrm dt}{\sqrt{1-t^2}}, \qquad 0 \leqslant u \leqslant 1.$$ Plugging identity above into ##(1)## with ##u...
Back
Top