Supremum

In mathematics, the infimum (abbreviated inf; plural infima) of a subset



S


{\displaystyle S}
of a partially ordered set



T


{\displaystyle T}
is the greatest element in



T


{\displaystyle T}
that is less than or equal to all elements of



S
,


{\displaystyle S,}
if such an element exists. Consequently, the term greatest lower bound (abbreviated as GLB) is also commonly used.The supremum (abbreviated sup; plural suprema) of a subset



S


{\displaystyle S}
of a partially ordered set



T


{\displaystyle T}
is the least element in



T


{\displaystyle T}
that is greater than or equal to all elements of



S
,


{\displaystyle S,}
if such an element exists. Consequently, the supremum is also referred to as the least upper bound (or LUB).The infimum is in a precise sense dual to the concept of a supremum. Infima and suprema of real numbers are common special cases that are important in analysis, and especially in Lebesgue integration. However, the general definitions remain valid in the more abstract setting of order theory where arbitrary partially ordered sets are considered.
The concepts of infimum and supremum are similar to minimum and maximum, but are more useful in analysis because they better characterize special sets which may have no minimum or maximum. For instance, the set of positive real numbers





R


+




{\displaystyle \mathbb {R} ^{+}}
(not including 0) does not have a minimum, because any given element of





R


+




{\displaystyle \mathbb {R} ^{+}}
could simply be divided in half resulting in a smaller number that is still in





R


+




{\displaystyle \mathbb {R} ^{+}}
. There is, however, exactly one infimum of the positive real numbers: 0, which is smaller than all the positive real numbers and greater than any other real number which could be used as a lower bound.

View More On Wikipedia.org
  • 131

    Greg Bernhardt

    A PF Singularity From USA
    • Messages
      19,447
    • Media
      227
    • Reaction score
      10,036
    • Points
      1,237
  • 1

    JVEK7713

    A PF Quark
    • Messages
      1
    • Reaction score
      0
    • Points
      1
  • 1

    schniefen

    A PF Atom
    • Messages
      178
    • Reaction score
      4
    • Points
      41
  • 1

    Lambda96

    A PF Atom
    • Messages
      171
    • Reaction score
      63
    • Points
      28
  • 1

    chwala

    A PF Organism 45 From Nairobi, Kenya.
    • Messages
      2,664
    • Reaction score
      352
    • Points
      167
  • 1

    psie

    A PF Quark
    • Messages
      126
    • Reaction score
      12
    • Points
      8
  • 1

    ChiralSuperfields

    A PF Molecule
    • Messages
      1,276
    • Reaction score
      134
    • Points
      73
  • 1

    lys04

    A PF Quark
    • Messages
      52
    • Reaction score
      3
    • Points
      3
  • 1

    Alpharup

    A PF Molecule
    • Messages
      225
    • Reaction score
      17
    • Points
      67
  • 1

    mr_persistance

    A PF Electron
    • Messages
      7
    • Reaction score
      2
    • Points
      11
  • 1

    Bunny-chan

    A PF Electron From Brazil
    • Messages
      105
    • Reaction score
      4
    • Points
      15
  • 1

    NihalRi

    A PF Atom From Atlanta
    • Messages
      134
    • Reaction score
      12
    • Points
      26
  • 1

    CGandC

    A PF Molecule
    • Messages
      326
    • Reaction score
      34
    • Points
      73
  • 1

    Mike400

    A PF Atom
    • Messages
      59
    • Reaction score
      6
    • Points
      36
  • Back
    Top