Definition:Supremum/Also known as

From ProofWiki
Jump to navigation Jump to search

Definition

Particularly in the field of analysis, the supremum of a set $T$ is often referred to as the least upper bound of $T$ and denoted $\map {\mathrm {lub} } T$ or $\map {\mathrm {l.u.b.} } T$.

Some sources refer to the supremum of a set as the supremum on a set.

Some sources refer to the supremum of a set as the join of the set and use the notation $\bigvee S$.


Some sources introduce the notation $\displaystyle \sup_{y \mathop \in S} y$, which may improve clarity in some circumstances.


Some older sources, applying the concept to a (strictly) increasing real sequence, refer to a supremum as an upper limit.


Sources