Problem about finding sup of a set

  • Context: MHB 
  • Thread starter Thread starter issacnewton
  • Start date Start date
  • Tags Tags
    Set
Click For Summary

Discussion Overview

The discussion revolves around finding the supremum of a set defined by a function \( h(x,y) = 2x + y \) where \( x \) and \( y \) are constrained to the interval \( (0, 1) \). Participants explore the mathematical reasoning behind determining \( f(x) = \sup\{h(x,y) : y \in Y\} \) and engage in a problem-solving process to prove that the supremum is \( 2x + 1 \).

Discussion Character

  • Mathematical reasoning
  • Debate/contested

Main Points Raised

  • One participant claims that \( \sup S = 2x + 1 \) and attempts to prove it by showing that \( 2x + 1 \) is an upper bound for the set \( S = \{h(x,y) : y \in Y\} \).
  • Another participant suggests that to prove \( 2x + 1 \leq t \) for any upper bound \( t \), one can assume \( t < 2x + 1 \) and reach a contradiction by finding a suitable \( y \) in \( Y \).
  • There is a challenge regarding the validity of using \( y = 0.9 \) to show \( 2x + 0.9 \leq t \), with some participants questioning the correctness of this approach.
  • Participants discuss the introduction of an auxiliary variable \( t' \) to simplify the argument, with one participant clarifying that this is merely a convenience and not a necessary claim.
  • Concerns are raised about the assumptions made regarding the bounds of \( t' \) and the implications of \( t \) being greater than or equal to 1.

Areas of Agreement / Disagreement

Participants express differing views on the validity of certain steps in the proof process, particularly regarding the use of specific values for \( y \) and the assumptions about \( t \). The discussion remains unresolved as participants continue to seek clarity on these points.

Contextual Notes

There are unresolved mathematical steps and assumptions regarding the bounds of \( t \) and \( t' \), which may affect the validity of the arguments presented.

issacnewton
Messages
1,035
Reaction score
37
Hello

Here is the problem statement.

Let $X=Y = \{x\in \mathbb{R}\; :0<x<1\}$ . Define $ h\;:X\times Y\longrightarrow \mathbb{R}$
by $h(x,y)=2x+y$. For each $x\in X$, find $f(x) = \sup\{h(x,y)\; : y\in Y\}$.

Here is my attempt. I let $S=\{h(x,y)\; : y\in Y\}$. I claim that $\sup S = 2x+1$. To prove
this I first let x be arbitrary since we have to prove this $\forall x\in X$. And next thing
I have to prove is that $2x+1$ is the upper bound of $S$. I could do that. Next I let
$t$ be any other upper bound of $S$. I have to prove that $2x+1 \leqslant t$. Here
I start by assuming the negative. Assume $ t < 2x+1$. And now I am supposed to reach
a contradiction somewhere. Now since $t$ is the upper bound of $\{h(x,y)\; : y\in Y\}$, and since
$0<y<1$, I can claim that $2x+0.9 \leqslant t < 2x+1$, which means $0.9\leqslant t-2x <1$.
So we have $0<t-2x<1$. So I found a number which is between $0$ and $1$. I could exploit this
to come up with some contradiction. But I am stuck here. Any guidance will help.

Thanks
 
Physics news on Phys.org
Re: problem about finding sup of a set

IssacNewton said:
Hello

Here is the problem statement.

Let $X=Y = \{x\in \mathbb{R}\; :0<x<1\}$ . Define $ h\;:X\times Y\longrightarrow \mathbb{R}$
by $h(x,y)=2x+y$. For each $x\in X$, find $f(x) = \sup\{h(x,y)\; : y\in Y\}$.

Here is my attempt. I let $S=\{h(x,y)\; : y\in Y\}$. I claim that $\sup S = 2x+1$. To prove
this I first let x be arbitrary since we have to prove this $\forall x\in X$. And next thing
I have to prove is that $2x+1$ is the upper bound of $S$. I could do that. Next I let
$t$ be any other upper bound of $S$. I have to prove that $2x+1 \leqslant t$. Here
I start by assuming the negative. Assume $ t < 2x+1$. And now I am supposed to reach
a contradiction somewhere. Now since $t$ is the upper bound of $\{h(x,y)\; : y\in Y\}$, and since
$0<y<1$, I can claim that $2x+0.9 \leqslant t < 2x+1$, which means $0.9\leqslant t-2x <1$.
So we have $0<t-2x<1$. So I found a number which is between $0$ and $1$. I could exploit this
to come up with some contradiction. But I am stuck here. Any guidance will help.

Thanks
The thing marked in red is in my opinion incorrect. You can ask your doubts about that.

Here's how you can proceed. To show that $2x+1\leq t$. Say $t=2x+t'$ where WLOG, we assume that $0<t'<1$. Assume on the contrary, just as you did, that $t<2x+1$. This gives $t'<1$. Say $1-t'=\delta$. Note that $\delta>0$. Put $y_0=1-\delta/2$. So $y\in Y$. But now $2x+y_0>2x+t'=t$, contradicting the fact that $t$ was an upper bound of $\{h(x,y):y\in Y\}$.
 
Re: problem about finding sup of a set

Since t is the upper bound of $\{h(x,y)\; : y\in Y\}=\{2x+y\;:y\in Y\}$, I let $y=0.9$, then I have $2x+0.9 \leqslant t$. Why is this wrong ?
 
Re: problem about finding sup of a set

IssacNewton said:
Since t is the upper bound of $\{h(x,y)\; : y\in Y\}=\{2x+y\;:y\in Y\}$, I let $y=0.9$, then I have $2x+0.9 \leqslant t$. Why is this wrong ?
Oops! I am sorry. That was no mistake. But anyway.. did you see the solution I posted?
 
Re: problem about finding sup of a set

caffeinemachine said:
Oops! I am sorry. That was no mistake. But anyway.. did you see the solution I posted?
Yes I saw your solution. I had trouble understanding it. How can you claim $t = 2x+t'$ ?
And further how does $0<t'<1$ ? Can you connect the logical gaps please ?

Thanks
 
Re: problem about finding sup of a set

IssacNewton said:
Yes I saw your solution. I had trouble understanding it. How can you claim $t = 2x+t'$ ?
And further how does $0<t'<1$ ? Can you connect the logical gaps please ?

Thanks
I am not claiming that $t=2x+t'$. I merely introduced an extra variable $t'$ to make things neater. You can do without it too.

We can assume, without loss of generality, that $0<t'<1$ since if $t\geq 1$ then clealy $2x+1\leq 2x+t'$. If $t'\leq 0$ then $2x+t'=t$ cannot be an upper bound to $\{h(x,y):y\in Y\}$.
 

Similar threads

  • · Replies 0 ·
Replies
0
Views
2K
  • · Replies 2 ·
Replies
2
Views
3K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 18 ·
Replies
18
Views
3K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 1 ·
Replies
1
Views
3K
  • · Replies 2 ·
Replies
2
Views
3K
Replies
21
Views
2K