Question 8.2
Solutions
3 months ago
We have that because and there exists a mapping defined as .
Let be a lower bound of . Also, let . It follows that and
Hence, is bounded above.
We prove that is the greatest lower bound of by contradiction. If , then for ,
and
which contradicts the definition of since . Alternatively, if , then for ,
and
which contradicts the definition of since .
b) Since is bounded below and is the set of all lower bounds, . Also, is bounded above because otherwise there would exist and such that , which would contradict the definition of .
Again for contradiction, suppose . If , then there exists such that
But is then a lower bound of and thus belongs to , which contradicts .
Likewise, if , then there exists such that
But by definition is a lower bound of , which contradicts .
Submit a solutionOptional • Markdown
Sign in to share your solution for this question.
Sign in