Definition:Supremum of Sequence

From ProofWiki
Jump to navigation Jump to search

This page is about Supremum of Sequence. For other uses, see Supremum.


A special case of a supremum of a mapping is a supremum of a sequence, where the domain of the mapping is $\N$.

Let $\struct {T, \preceq}$ be an ordered set.

Let $\sequence {x_n}$ be a sequence in $T$.

Let $\set {x_n: n \in \N}$ admit a supremum.

Then the supremum of $\sequence {x_n}$) is defined as:

$\displaystyle \map \sup {\sequence {x_n} } = \map \sup {\set {x_n: n \in \N} }$

Also known as

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 {\operatorname {lub} } T$ or $\map {\operatorname {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.

Also defined as

Some sources refer to the supremum as being the upper bound.

Using this convention, any element greater than this is not considered to be an upper bound.

Linguistic Note

The plural of supremum is suprema, although the (incorrect) form supremums can occasionally be found if you look hard enough.

Also see