Skip to main content

Question 8.17

Solutions

TZ
leumasicOfficial

3 months ago

a)
i) We have y<x<αy<x<\alpha. Hence, by definition, yAy\in A.
ii) α1\alpha-1 is in AA.
iii) α+1A\alpha+1\notin A, but α+1R\alpha+1\in\mathbb{R}.
iv) Let

x=x+αx2.x'=x+\frac{\alpha-x}{2}.

b) We just need to prove that α=supA\alpha=\sup A. We have AA\ne\varnothing. Let aAa\in A. There exists δ>0\delta>0 such that a+δAa+\delta\notin A. Otherwise, A=RA=\mathbb{R} with point i). Hence, AA is bounded above by a+δa+\delta. This means that supA\sup A exists. If x<supAx<\sup A, then there must exist yAy\in A such that

x<y<supA.x<y<\sup A.

Hence, xAx\in A by i).

Now, for contradiction, suppose that xAx\in A and xsupAx\ge\sup A. By iv), there exists yAy\in A such that x<yx<y. But this implies

supAx<y,\sup A\le x<y,

which contradicts the definition of upper bounds.

0
Submit a solution
Optional • Markdown

Sign in to share your solution for this question.

Sign in

Navigate

Q 8.17

Navigate

Q 8.17