Skip to main content

Question 8.2

Solutions

TZ
leumasicOfficial

3 months ago

We have that A-A \ne \varnothing because AA \ne \varnothing and there exists a mapping f:AAf : A \to -A defined as f(a)=af(a) = -a.

Let λ\lambda be a lower bound of AA. Also, let aA-a \in -A. It follows that aAa \in A and

λa    aλ.\lambda \le a \implies -a \le -\lambda.

Hence, A-A is bounded above.

We prove that sup(A)-\sup(-A) is the greatest lower bound of AA by contradiction. If sup(A)>inf(A)-\sup(-A) > \inf(A), then for aA-a \in -A,

asup(A)<inf(A)-a \le \sup(-A) < -\inf(A)

and

inf(A)<sup(A)a,\inf(A) < -\sup(-A) \le a,

which contradicts the definition of inf(A)\inf(A) since aAa \in A. Alternatively, if sup(A)<inf(A)-\sup(-A) < \inf(A), then for aAa \in A,

sup(A)<inf(A)a-\sup(-A) < \inf(A) \le a

and

ainf(A)<sup(A),-a \le -\inf(A) < \sup(-A),

which contradicts the definition of sup(A)\sup(-A) since aA-a \in -A.

b) Since AA is bounded below and BB is the set of all lower bounds, BB \ne \varnothing. Also, BB is bounded above because otherwise there would exist bBb \in B and aAa \in A such that aba \le b, which would contradict the definition of BB.

Again for contradiction, suppose supBinfA\sup B \ne \inf A. If supB<infA\sup B < \inf A, then there exists cc such that

supB<c<infA.\sup B < c < \inf A.

But cc is then a lower bound of AA and thus belongs to BB, which contradicts supB<c\sup B < c.

Likewise, if supB>infA\sup B > \inf A, then there exists bBb \in B such that

infA<b<supB.\inf A < b < \sup B.

But by definition bb is a lower bound of AA, which contradicts infA<b\inf A < b.

0
Submit a solution
Optional • Markdown

Sign in to share your solution for this question.

Sign in

Navigate

Q 8.2

Navigate

Q 8.2