supremaali

Supremaali is a term that appears in some mathematical texts as a variant or translation of the concept of supremum, also known as the least upper bound. In standard terminology, the fundamental idea is the same: a supremum is the smallest element that is greater than or equal to every element of a given subset within a partially ordered set. The use of the word supremum or least upper bound is more common in English-language literature, while supremali may appear in translations or specific regional writings.

Formally, let (P, ≤) be a partially ordered set and let S be a subset of P. An element u in P is called a supremum of S if

- u is an upper bound of S, meaning s ≤ u for all s in S, and

- for every upper bound v of S (i.e., s ≤ v for all s in S), we have u ≤ v.

When such a u exists, we write sup S = u. If, in addition, u belongs to S itself, then u is also the maximum of S.

Existence and distinguishing examples are central to the notion. In the real numbers with the usual order, every nonempty set that is bounded above has a supremum. For instance, the supremum of the open interval (0, 1) is 1, and the supremum of the set {−1/n : n ∈ N} is 0. This differs from a maximum: a set may have a supremum without containing it, as in these examples.

Supremaali, like supremum in general, is a key concept in order theory and analysis. It is unique when it exists, and it interacts with infimum (greatest lower bound) through duality. In complete lattices or in the context of domain theory, one can take the supremum of arbitrary collections, not just of pairs or finite sets, reflecting a broader notion of "least upper bound" that applies beyond real-valued numbers.

Applications of the supremum concept are widespread. It is fundamental in real analysis for defining limits and convergence, in measure theory for integrating and handling sets and functions, and in optimization for characterizing optimal values. The idea also underpins lattice theory and various algebraic structures where joins represent the supremum operation. When encountered, the term supremali is typically interchangeable with supremum or least upper bound, depending on linguistic or stylistic choices in a given text.