Thread: Completeness Axiom

A=

Prove carefully that A has a least upper bound.

A is non-empty and bounded above therefore by the completeness axiom the supremum of A exists. Can you get me started please?

Also is maximum and least upper bound of a set the same thing?

Thanks

Supremum and LUB are two words for the same thing. LUB and maximum are not the same concept, since a maximum of a set must reside inside the set, whereas the LUB is not required to.

My guess is that what they are looking for is a proof that A is non-empty and bounded above, so that the LUB exists. Probably the main point is showing that it is bounded above.

Originally Posted by charikaar

A=

Prove carefully that A has a least upper bound.

A is non-empty and bounded above therefore by the completeness axiom the supremum of A exists. Can you get me started please?

Also is maximum and least upper bound of a set the same thing?

Thanks

As already said, you must first prove A is non-empty and bounded above, which seems to be fairly simple. Now take a look at and prove this number is the LUB:

1) First, prove w is an upper bound;

2) Prove that

Tonio