Non-Empty Bounded Above Subset of Banach Space with Archimedean Property has Supremum

From ProofWiki
Jump to navigation Jump to search

Theorem

Let $\BB$ be a Banach space.

Let $\BB$ have the Archimedean property.

Let $S \subseteq \BB$ be a subset of $\BB$ which is bounded above.


Then $S$ admits a supremum.


Proof



Sources