Supremum And Infimum Of A Set

Supremum and Infimum of a Set: A complete walkthrough

Introduction

In many areas of mathematics—real analysis, topology, optimization, and beyond—understanding the bounds of a set is essential. And two fundamental concepts that capture the idea of “largest possible lower bound” and “smallest possible upper bound” are the supremum (least upper bound) and infimum (greatest lower bound). Here's the thing — these notions generalize the familiar maximum and minimum, allowing us to talk meaningfully about sets that may not have a maximum or minimum in the traditional sense. This article explores the definitions, properties, examples, and applications of supremum and infimum, providing a solid foundation for further study.

What Are Supremum and Infimum?

The Formal Definitions

Let (S) be a subset of the real numbers (\mathbb{R}) that is bounded above (i.e., there exists some real number (M) such that (x \le M) for all (x \in S)).

The supremum of (S), denoted (\sup S) or (\operatorname{lub}(S)), is the least real number that is an upper bound of (S).
Formally:
1. (\sup S) is an upper bound: (x \le \sup S) for all (x \in S). Day to day, 2. For any other upper bound (U) of (S), (\sup S \le U).

Similarly, if (S) is bounded below (i.In real terms, e. , there exists (m) such that (x \ge m) for all (x \in S)),

The infimum of (S), denoted (\inf S) or (\operatorname{glb}(S)), is the greatest real number that is a lower bound of (S).
Formally:
1. (\inf S) is a lower bound: (x \ge \inf S) for all (x \in S).
2. For any other lower bound (L) of (S), (L \le \inf S).

Relation to Maximum and Minimum

If (S) has a maximum (i.e., a largest element), then (\sup S = \max S).
If (S) has a minimum (i.e., a smallest element), then (\inf S = \min S).

Still, many sets lack a maximum or minimum yet still possess a supremum or infimum. Here's one way to look at it: the open interval ((0,1)) has (\sup = 1) and (\inf = 0), even though neither 0 nor 1 belongs to the set.

Why Supremum and Infimum Matter

Completeness of (\mathbb{R})
The real numbers are complete: every nonempty set that is bounded above has a supremum in (\mathbb{R}). This property underpins the existence of limits, integrals, and many theorems in analysis.
Defining Limits and Convergence
Limits of sequences and functions often involve suprema and infima of tails or images. To give you an idea, the limit superior (\limsup) and limit inferior (\liminf) are defined via suprema and infima of sets of subsequence limits.
Optimization Problems
In optimization, one frequently seeks the supremum (maximum) or infimum (minimum) of a function over a domain. Even if the function does not attain these values, the supremum/infimum still characterize optimal bounds.
Measure Theory & Integration
The Lebesgue integral is built on the idea of approximating measurable sets by simple functions, whose integrals involve suprema and infima of sequences of approximations.

Visualizing Supremum and Infimum

Consider the set (S = {x \in \mathbb{R} \mid 0 < x < 1}).

Property	Description	Symbol
Upper bounds	Any number (\ge 1)
Least upper bound	Smallest number that is an upper bound	(\sup S = 1)
Lower bounds	Any number (\le 0)
Greatest lower bound	Largest number that is a lower bound	(\inf S = 0)

Graphically, the set is an open interval; the supremum and infimum sit at the endpoints, though they are not part of the set.

Key Properties and Theorems

Property	Statement
Uniqueness	If a supremum (or infimum) exists, it is unique.
Boundedness	A set has a supremum iff it is nonempty and bounded above. Because of that,
Comparison	If (A \subseteq B), then (\sup A \le \sup B) and (\inf A \ge \inf B).
Finite Unions	(\sup(A \cup B) = \max(\sup A, \sup B)).
Monotone Sequences	If ((a_n)) is increasing and bounded above, then (\sup{a_n} = \lim a_n).
Completeness	Every nonempty set (S \subseteq \mathbb{R}) bounded above has a supremum in (\mathbb{R}).
Archimedean Property	For any real (x), there exists (n \in \mathbb{N}) such that (n > x). This ensures that (\sup S) is a real number, not an infinite “ideal” element.

Calculating Supremum and Infimum: Practical Strategies

Identify Upper/Lower Bounds
Find obvious bounds: e.g., for ({1/n \mid n \in \mathbb{N}}), the set is bounded above by 1 and below by 0.

Want to learn more? We recommend why does multiplying two negatives make a positive and why are tacos important to mexican culture for further reading.
Check for Max/Min
If the set contains its endpoints, those are the supremum/infimum. Otherwise, look for limits of sequences approaching the boundary.
Use Monotonicity
For monotone sequences or intervals, the supremum/infimum often coincide with the limit of the sequence.
Apply Algebraic Manipulations
For sets defined by inequalities, solve the inequalities to find the bounds. Example: (S = {x \mid x^2 < 2}) leads to (\inf S = -\sqrt{2}) and (\sup S = \sqrt{2}).
Consider Closure
The closure of a set (S) includes its limit points. The supremum of (S) is the same as the maximum of its closure if the closure is compact.

Common Examples

Set	Description	Supremum	Infimum
((0,1))	Open interval	(1)	(0)
([0,1])	Closed interval	(1)	(0)
({1/n \mid n \in \mathbb{N}})	Harmonic reciprocals	(1)	(0)
({(-1)^n + 1/n})	Alternating sequence	(1 + 1/2)	(-1 + 1/2)
({x \in \mathbb{R} \mid x^2 < 2})	Numbers with square less than 2	(\sqrt{2})	(-\sqrt{2})
(\mathbb{Q} \cap (0,1))	Rational numbers between 0 and 1	(1)	(0)
({ \frac{p}{q} \mid p,q \in \mathbb{Z}, q>0, \frac{p}{q} < \sqrt{2}})	Rational approximations to (\sqrt{2})	(\sqrt{2})	(-\infty) (unbounded below)

Supremum and Infimum in Function Analysis

For a real-valued function (f : D \to \mathbb{R}) defined on a domain (D):

Upper Bound: Any number (M) such that (f(x) \le M) for all (x \in D).
Supremum: (\sup_{x \in D} f(x)).
Lower Bound: Any number (m) such that (f(x) \ge m) for all (x \in D).
Infimum: (\inf_{x \in D} f(x)).

These concepts are crucial in establishing boundedness and extremal values of functions, especially when dealing with continuous functions on closed intervals (Weierstrass theorem guarantees the existence of a maximum and minimum). Even for discontinuous or unbounded functions, supremum and infimum provide meaningful “best possible” bounds.

Relation to Limits: (\limsup) and (\liminf)

Limit Superior ((\limsup)) of a sequence ((a_n)) is the supremum of the set of subsequential limits.
Limit Inferior ((\liminf)) is the infimum of the set of subsequential limits.

These concepts generalize the notion of a limit, especially for sequences that oscillate or do not converge. They are defined as:

[ \limsup_{n \to \infty} a_n = \lim_{n \to \infty} \sup_{k \ge n} a_k, \qquad \liminf_{n \to \infty} a_n = \lim_{n \to \infty} \inf_{k \ge n} a_k. ]

If the sequence converges, both (\limsup) and (\liminf) equal the limit.

Frequently Asked Questions (FAQ)

Question	Answer
Does every bounded set have a supremum?In real terms,	In (\mathbb{R}), yes, thanks to completeness. In practice, in other ordered sets, not necessarily. Now,
Can a set have multiple suprema?	No. Plus, the supremum (if it exists) is unique.
What if a set is unbounded above?	The supremum is considered (+\infty) in extended real numbers, but in standard (\mathbb{R}) we say it has no supremum. In real terms,
Is the infimum always a member of the set?	Not necessarily. Day to day, it can be a limit point outside the set, like (\inf(0,1) = 0) which is not in the set.
How to compute the supremum of a set defined by an inequality?	Solve the inequality for the variable, identify the boundary points, and evaluate whether they belong to the set. Here's the thing —
What is the difference between maximum and supremum? Practically speaking,	Maximum is a member of the set that achieves the largest value. Worth adding: supremum is the least upper bound, which may or may not be in the set. And
Can a set have both supremum and maximum?	Yes. If the supremum is an element of the set, it is the maximum.

Conclusion

Supremum and infimum extend the intuitive ideas of “largest” and “smallest” to a wide variety of mathematical contexts. They play a key role in ensuring the completeness of the real numbers, in defining convergence and limits, and in solving optimization problems. By mastering these concepts, one gains powerful tools for analyzing sets, sequences, and functions, paving the way toward deeper explorations in real analysis, topology, and beyond.