What Is an Infimum?
An infimum is the greatest lower bound of a set. It may be a member of the set. It may also sit outside the set. The idea is useful when a set has values that approach a floor without reaching it.
Why This Calculator Helps
Many learners confuse minimum and infimum. A minimum must belong to the set. An infimum only needs to be the largest number that stays below every set element. This calculator separates those ideas. It accepts finite values and interval unions. It also checks a proposed lower bound.
Working With Data Sets
For a finite list, the infimum equals the smallest entered value. The calculator sorts the values conceptually and reports the lowest one. It also shows whether the value is attained. Finite nonempty data always attain the infimum because the smallest listed number is present.
Working With Intervals
Intervals can be open, closed, bounded, or unbounded. For a union of intervals, the infimum comes from the smallest lower endpoint. If the endpoint is included, the infimum is also a minimum. If the endpoint is open, the set can move close to it without touching it. If an interval extends to negative infinity, the infimum is negative infinity.
Checking a Lower Bound
A lower bound must be less than or equal to every set member. The greatest lower bound is the best possible lower bound. The optional candidate field helps test that idea. If the candidate is greater than the calculated infimum, it fails. If it is equal or smaller, it is a valid lower bound.
Practical Uses
Infimum calculations appear in real analysis, optimization, economics, and constraints. They help describe limits, feasible regions, and best possible guarantees. They also make interval reasoning clearer. Use this tool to verify homework examples, prepare teaching notes, or document quick set checks. Export options support records and sharing. Always review the entered set carefully. A wrong interval endpoint can change the answer.
Good Entry Tips
Use decimals when exact fractions are not needed. Keep each interval logical. The left endpoint must not exceed the right endpoint. Mark open endpoints when the boundary is not included. Recalculate after each change. Save exports only after checking results.