Definition of an Upper Bound
A real number M is an upper bound for a non-empty set S if no element in S exceeds M. In the diagram, M1, M2, and β all satisfy this condition relative to the scattered points.
Charles队长 · Bilibili · 0:42
This animated video explains the definition of the supremum (least upper bound) of a non-empty set of real numbers. It visually demonstrates that while multiple values can serve as upper bounds for a set, the supremum is unique because it is the smallest among them. The animation proves this by showing that any value smaller than the candidate supremum fails to be an upper bound.
Use the learning inspector for key ideas and moments, or open the reading tabs for the complete notes.
Generated from the video's visuals and explanation; not verbatim speech.
The scene opens with a scatter plot representing a non-empty set S in the first quadrant. To establish the concept of boundedness, three horizontal dashed lines labeled M1, M2, and β are drawn above the points. Visually, all data points lie below these lines, confirming that M1, M2, and β are all valid upper bounds for the set S.
Focusing on the lowest line, β, the video presents its formal mathematical property: for every element x in S, x must be less than or equal to β. An upward-pointing yellow arrow illustrates this constraint, moving from various points but stopping precisely at the red boundary of β, reinforcing that no element exceeds this limit.
To define the supremum, we must show β is the *least* upper bound. A new green line γ is introduced just below β. The logic dictates that if γ were an upper bound, it would contradict β being the least. However, the animation shows an orange point breaking through γ, proving there exists an element . Since any number smaller than β fails to contain the whole set, β is conclusively identified as the supremum.
A real number M is an upper bound for a non-empty set S if no element in S exceeds M. In the diagram, M1, M2, and β all satisfy this condition relative to the scattered points.
For a number β to be the supremum of S, it must meet two requirements simultaneously: it acts as an upper bound for the entire set, and it is smaller than or equal to any other possible upper bound.
The second criterion is often verified by checking values slightly smaller than β. If for every , there is some x in S such that , then γ cannot be an upper bound, forcing β to be the minimum one.
Reviewed subject paths
For a number β to be the supremum of a set S, it must meet two requirements simultaneously: it must act as an upper bound for the entire set, and it must be the least upper bound, meaning it is smaller than or equal to any other possible upper bound.
Conditions: The set S is non-empty.; β is a real number.
A real number M is an upper bound for a non-empty set S if no element in S exceeds M. Formally, for every element x in S, x must be less than or equal to M.
Conditions: The set S is non-empty.; M is a real number.
To prove that β is the least upper bound, assume there is a number γ smaller than . If γ were an upper bound, it would contradict β being the least.
Conditions: β is an upper bound for the set S.; γ is a real number such that .