Skip to content
Back to exploration
Calculus / Chinese

Supremum and infimum

Charles队长 · Bilibili · 0:42

Open original
READ & KEEP

The explanation, unpacked.

Reviewed learning material · Video analysis · English
Read the full overview

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.

Chapters

0:00Visualizing Multiple Upper Bounds0:11Condition 1: Being an Upper Bound0:23Condition 2: Being the Least Upper Bound

Learning script

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 x>γx > γ. Since any number smaller than β fails to contain the whole set, β is conclusively identified as the supremum.

Knowledge cards

01

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.

∀x∈S,x≤M\forall x \in S, x \le M
02

Two Criteria for Supremum

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.

03

Proving Minimality via Contradiction

The second criterion is often verified by checking values slightly smaller than β. If for every γ<βγ < β, there is some x in S such that x>γx > γ, then γ cannot be an upper bound, forcing β to be the minimum one.

∀γ<β,∃x∈S,x>γ\forall \gamma < \beta, \exists x \in S, x > \gamma

Explore the knowledge in this video

Reviewed subject paths

Questions this video answers

Meet the concept

↗
Find a method

↗