Question #30691

if A be a subset of real number and B is real number then show that sup(b+a)=b+sup(A)

Expert's answer

.

Task. If AA be a subset of real number and bb is real number then show that sup(b+A)=b+sup(A)\sup(b+A)=b+\sup(A).

Proof. By definition

x=sup(A)x=\sup(A)

if xax\geq a for every aAa\in A, and for every ε>0\varepsilon>0 there exists aAa\in A such that

a>xε.a>x-\varepsilon.

Also notice that

b+A={b+aaA}.b+A=\{b+a\mid a\in A\}.

It suffices to prove that

sup(b+A)b+sup(A).\sup(b+A)\leq b+\sup(A).

Then applying this identity to A=b+AA^{\prime}=b+A and b=bb^{\prime}=-b we will obtain that

sup(b+A)b+sup(A),\sup(b^{\prime}+A^{\prime})\leq b^{\prime}+\sup(A^{\prime}),

that is

sup(b+b+A)b+sup(b+A)\sup(-b+b+A)\leq-b+\sup(b+A)

sup(A)b+sup(b+A),\sup(A)\leq-b+\sup(b+A),

sup(A)+bsup(b+A).\sup(A)+b\leq\sup(b+A).

Which will imply that

sup(A)+b=sup(b+A).\sup(A)+b=\sup(b+A).

Let x=sup(A)x=\sup(A) and y=sup(b+A)y=\sup(b+A). We should prove that

yb+x.y\leq b+x.

Suppose y>b+xy>b+x. This means that there exist ε>0\varepsilon>0 such that

y>yε>b+x.y>y-\varepsilon>b+x.

But then there exist zb+Az\in b+A such that

z>yε>b+x.z>y-\varepsilon>b+x.

Notice that zz has the fowm z=b+az=b+a for some aAa\in A, whence

z=b+a>b+xz=b+a>b+x

and so

a>xa>x

which contradicts to the assumption that x=sup(A)ax=\sup(A)\geq a.

Hence yb+xy\leq b+x. And so

sup(A)+b=sup(b+A).\sup(A)+b=\sup(b+A).

Need a fast expert's response?

Submit order

and get a quick answer at the best price

for any assignment or question with DETAILED EXPLANATIONS!

LATEST TUTORIALS
APPROVED BY CLIENTS