Discussion Overview
The discussion revolves around the concept of supremum, also known as the least upper bound, and whether there exists anything greater than a supremum. Participants explore the definitions and implications of upper bounds, maximums, and the nature of infinity in relation to sets of numbers.
Discussion Character
- Conceptual clarification
- Technical explanation
- Debate/contested
Main Points Raised
- Some participants assert that the supremum is defined as the "least" upper bound, suggesting that there could be a "most" upper bound or something larger than the least upper bound.
- Others clarify that the least upper bound (LUB) is not the same as a maximum, as it is the minimum of all upper bounds.
- One participant provides an example using decimal fractions, stating that any number greater than or equal to 1 is an upper bound, with the least upper bound being 1.
- Another participant questions whether the least upper bound for all real numbers could be infinity, leading to a discussion about the nature of infinity and its status as a real number.
- It is noted that infinity is not a real number, and thus there is no least upper bound for all real numbers within the real number set, although it could be considered in the context of extended real numbers.
- A participant discusses the open interval (0, 1), explaining that it has infinitely many upper bounds and that the least upper bound is 1, which is also the supremum of that interval.
- Another participant suggests that including infinity in the definitions of sup and inf is more convenient and standard in mathematics, allowing for unique definitions of these concepts for arbitrary sets of real numbers.
- Examples are provided illustrating sets with clear least upper bounds, such as {0, 1, 2, 3, 4} having a least upper bound of 4, and the set [0, 1] having a least upper bound of 1.
Areas of Agreement / Disagreement
Participants do not reach a consensus on whether the supremum for all real numbers can be considered infinity, leading to differing views on the nature of upper bounds and the role of infinity in these discussions.
Contextual Notes
Some statements rely on the definitions of upper bounds and the nature of infinity, which may vary depending on the mathematical context (e.g., real numbers vs. extended real numbers). The discussion also highlights the distinction between upper bounds and maximums, as well as the implications of including infinity in mathematical definitions.