Infimum and supremum

Imagine a group of numbers. Some numbers are bigger than others. We can look for a ceiling. This is the smallest number that is still bigger than all the others. It is called a supremum. We can also look for a floor. This is the largest number that is still smaller than all the others. It is called an infimum. These special numbers help us find where a group starts or ends. They are very useful for math. They help us study how numbers work.

Imagine a group of numbers. You might want to find a ceiling for them. This ceiling is a number that is bigger than or equal to every number in the group. There can be many ceilings. But we often want the smallest one. This smallest ceiling is called a supremum. It is also known as the least upper bound.

We can also look for a floor. This floor is a number that is smaller than or equal to every number in the group. We call the largest such floor the infimum. This is also called the greatest lower bound.

These special numbers are not always part of the group itself. For example, look at all negative numbers. None of them are zero. But zero is the supremum for that group. It acts as the perfect ceiling.

These ideas help mathematicians study how sets of numbers behave. They are very important in a field called analysis. Real numbers have a special rule. This rule says that most groups will have a supremum and an infimum.

Imagine you have a collection of numbers. You might want to find a ceiling for them. This ceiling is a number that is bigger than or equal to every number in your group. There can be many different ceilings. However, we often want to find the smallest possible ceiling. This specific number is called the supremum. It is also known as the least upper bound.

We can also look for a floor for our numbers. A floor is a number that is smaller than or equal to every number in the group. Just like ceilings, there can be many different floors. We are usually looking for the largest floor possible. This largest floor is called the infimum. It is also known as the greatest lower bound.

These special numbers are different from the maximum and minimum. A maximum is the biggest number that is actually inside your group. A supremum does not have to be in the group. For example, look at all negative real numbers. None of these numbers are zero. But zero is the supremum for that group. It acts as the perfect ceiling even though it is not a negative number.

Finding these numbers is very important in a part of math called analysis. Real numbers have a special rule called the least-upper-bound property. This rule says that most groups of real numbers will have a supremum. They will also have an infimum. This is not always true for other types of numbers. For instance, the set of rational numbers does not always have a least upper bound.

Mathematicians use these ideas to study how numbers behave in large sets. The concepts of infimum and supremum are very closely linked. If you find the supremum of a set, it is unique. This means there is only one perfect ceiling. The same is true for the infimum. There is only one greatest floor. These ideas help us understand the boundaries of math.

In mathematics, we often study collections of objects known as sets. When these sets contain numbers, we frequently want to find their boundaries. Two fundamental concepts for defining these boundaries are the infimum and the supremum. The supremum, or least upper bound, is the smallest element that is greater than or equal to every member of a set. Conversely, the infimum, or greatest lower bound, is the largest element that is less than or equal to every member of a set. These concepts allow mathematicians to describe the limits of a set even when those limits are not part of the set itself.

To understand how these work, we must look at the mechanism of bounds. An upper bound is any value that is not smaller than any element in the set. A set might have many upper bounds. For example, if a set contains numbers up to 5, then 6, 7, and 10 are all upper bounds. The supremum is the unique, smallest value among all those possible upper bounds.

Similarly, a lower bound is any value that is not larger than any element in the set. The infimum is the unique, largest value among all those possible lower bounds. This makes the infimum the dual concept to the supremum.

It is vital to distinguish these terms from the maximum and minimum of a set. A maximum is a specific element that belongs to the set and is greater than or equal to all others. A supremum does not need to be a member of the set. Consider the set of all negative real numbers. This set has no greatest element because you can always find a larger negative number closer to zero. However, zero acts as the supremum because it is the least upper bound. In this case, the supremum is 0, even though 0 is not a negative number. The same logic applies to the infimum of positive real numbers, which is 0.

These values do not always exist in every mathematical system. For an infimum to exist, the set must have lower bounds, and there must be a greatest among them. For a supremum to exist, the set must have upper bounds, and there must be a least among them. In some partially ordered sets, you might find "minimal upper bounds" instead of a least upper bound. A minimal upper bound is an upper bound that has no smaller upper bound below it. However, in a totally ordered set like the real numbers, these two concepts are the same.

Some mathematical structures are defined by whether these bounds always exist. A lattice is a partially ordered set where every subset has both a supremum and an infimum. A complete lattice goes further by requiring this for all subsets. The real numbers are famous for having the "least-upper-bound property." This means that every non-empty subset of real numbers that has an upper bound also has a unique supremum. This property is a core reason why real numbers are so useful in calculus and analysis.

Not all number systems share this property. The set of rational numbers, which are fractions, does not have the least-upper-bound property. You can create a set of rational numbers that approaches an irrational number like the square root of two. This set has upper bounds in the real numbers, but it has no least upper bound that is also a rational number. This distinction helps mathematicians understand the "completeness" of different number systems. The real numbers are complete, while the rational numbers have gaps.

In advanced mathematical analysis, these concepts are used to study limits and functions. For any bounded set of real numbers, we can find a sequence of numbers within that set that approaches the supremum. We can also find a sequence that approaches the infimum. This connection allows mathematicians to use sequences to define the boundaries of complex sets. These ideas are also essential in Lebesgue integration and the study of function spaces. By using infima and suprema, we can precisely measure the behavior of functions and the spaces they inhabit.