Skip to content
Back to exploration
Calculus / Chinese

Bounded set|刘老师开讲

刘老师开讲 · Bilibili · 1:32

Open original
READ & KEEP

The explanation, unpacked.

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

This segment explains upper and lower bounds of a function. The instructor first sets up the function y=f(x)y = f(x) and notes that I is a subinterval of the domain D; then draws both the curve and interval I in the same coordinate system. Next, the definition of an upper bound is given: if there exists a real number K1K_1 such that f(x)⩽K1f(x) \leqslant K_1 for all x∈Ix \in I, then the function is said to be bounded above on I, and K1K_1 is likened to the "top". Then the definition of a lower bound is given: if there exists a real number K2K_2 such that f(x)⩾K2f(x) \geqslant K_2 for all x∈Ix \in I, then the function is said to be bounded below on I, and K2K_2 is likened to the "bottom". Throughout, graphs assist in understanding the meaning of the inequalities. This segment explains the boundedness of functions in advanced mathematics. First, upper and lower bounds are defined using geometric figures and text: if there exists a real number K1K_1 such that f(x)≤K1f(x) \le K_1, then the function has an upper bound; if there exists a real number K2K_2 such that f(x)≥K2f(x) \ge K_2, then the function has a lower bound. Then it states that the necessary and sufficient condition for a function to be bounded on a given interval is that the function has both an upper bound and a lower bound on that interval.

Use the learning inspector for key ideas and moments, or open the reading tabs for the complete notes.

Chapters

0:00Introducing upper and lower bound problems0:05Defining a function and an interval I0:18Definition of an upper bound and its graphical interpretation0:41Definition of a lower bound and its graphical interpretation1:00Concepts of upper and lower bounds of a function1:03Necessary and sufficient condition for a function to be bounded

Learning script

Generated from the video's visuals and explanation; not verbatim speech.

At the beginning of this segment, the question is raised: when does a function have an upper bound or a lower bound on some interval? Here, the object of discussion is not the entire domain, but rather a subinterval I of the domain.

Next, the screen displays y=f(x)y=f(x), and adds x∈Ix \in I and I⊆DI \subseteq D. This step fixes the symbolic relationships: ff is the function, DD is the domain, and II is the interval under current investigation for bounds.

To visualize the definition, the instructor draws the curve y=f(x)y=f(x) in a coordinate system and marks aa, bb, and the interval II on the horizontal axis. Thus, the later references to "upper bound" and "lower bound" can be directly associated with horizontal boundary lines on the graph.

Then the definition of an upper bound is given: if there exists a real number K1K_1 such that for every point x∈Ix \in I, we have f(x)⩽K1f(x) \leqslant K_1, then the function y=f(x)y=f(x) is said to have an upper bound on II. Graphically, K1K_1 is drawn as a horizontal line lying above the curve, and the instructor calls it the "top".

Next, the definition of a lower bound is given: if there exists a real number K2K_2 such that for every point x∈Ix \in I, we have f(x)⩾K2f(x) \geqslant K_2, then the function y=f(x)y=f(x) is said to have a lower bound on II. Graphically, K2K_2 is drawn as a horizontal line lying below the curve, and the instructor calls it the "bottom".

From this segment, it is clear that upper and lower bounds are uniform bounding conditions applying to all function values on the interval I; they describe the controlled range of function values, not requiring the function to actually attain the bound value at any point.

The screen shows the graph of the function y=f(x)y=f(x) over an interval I, with a horizontal line K1K_1 above and a horizontal line K2K_2 below. Text gives definitions of upper and lower bounds: if there exists a real number K1K_1 such that f(x)≤K1f(x) \le K_1 for every x∈Ix \in I, then the function y=f(x)y=f(x) is said to have an upper bound on I; if there exists a real number K2K_2 such that f(x)≥K2f(x) \ge K_2 for every x∈Ix \in I, then the function y=f(x)y=f(x) is said to have a lower bound on I.

The instructor begins discussing conditions for boundedness. New text appears at the bottom of the screen: "(3) A function is bounded on I if and only if it has both an upper bound and a lower bound on I." The instructor orally explains this logical relationship, pointing out that a function is bounded precisely when it simultaneously satisfies having an upper bound and having a lower bound—a necessary and sufficient condition.

Knowledge cards

01

An upper bound of a function on interval I

Video definition: Let there be a function y=f(x)y=f(x), x∈Ix \in I, I⊆DI \subseteq D. If there exists a real number K1K_1 such that for every point x∈Ix \in I, we have f(x)⩽K1f(x) \leqslant K_1, then the function y=f(x)y=f(x) is said to have an upper bound on II. Graphically, K1K_1 is a horizontal line covering the function's graph over interval I from above, and the instructor calls it the "top".

∀x∈I, f(x)⩽K1\forall x \in I,\ f(x) \leqslant K_1
02

a lower bound of the function on interval I

Video definition: Let there be a function y=f(x)y=f(x), x∈Ix \in I, I⊆DI \subseteq D. If there exists a real number K2K_2 such that for every point x∈Ix \in I, we have f(x)⩾K2f(x) \geqslant K_2, then the function y=f(x)y=f(x) is said to have a lower bound on II. Geometrically, K2K_2 is a horizontal line lying beneath the graph of the function over interval I, which the instructor calls the "bottom".

∀x∈I, f(x)⩾K2\forall x \in I,\ f(x) \geqslant K_2
03

Geometric comparison of upper and lower bounds

The video uses the same graph of a function to illustrate the directional difference between the two concepts: an upper bound K1K_1 restricts function values from "exceeding", while a lower bound K2K_2 restricts function values from "falling below". Thus, both impose a uniform constraint on all function values over interval I—one controlling from above, the other from below.

04

Definition of a function having an upper bound

Let y=f(x)y=f(x), where x∈Ix \in I and I⊆DI \subseteq D. If there exists a real number K1K_1 such that f(x)≤K1f(x) \le K_1 for every x∈Ix \in I, then the function y=f(x)y=f(x) is said to have an upper bound on I.

∀x∈I,f(x)≤K1\forall x \in I, f(x) \le K_1
05

Definition of a function having a lower bound

Let y=f(x)y=f(x), where x∈Ix \in I and I⊆DI \subseteq D. If there exists a real number K2K_2 such that f(x)≥K2f(x) \ge K_2 for every x∈Ix \in I, then the function y=f(x)y=f(x) is said to have a lower bound on I.

∀x∈I,f(x)≥K2\forall x \in I, f(x) \ge K_2
06

Necessary and sufficient condition for a function to be bounded

A function is bounded on interval I if and only if it has both an upper bound and a lower bound on I.

Detailed learning notes

Explore conditions, steps and evidence. Supplementary explanations are labeled separately from content shown in the video.

Symbols · 11

y=f(x)y=f(x)

Clear evidence
Shown in the video
Evidence
  1. Formula
    Observation

    The screen displays y=f(x)y = f(x)

  2. Audio
    Observation

    The instructor says, "Here is a function y=f(x)y = f(x)"

Symbol

y=f(x)y=f(x)

Meaning

the function under discussion

Domain

not specified in the video

x∈Ix \in I

Clear evidence
Shown in the video
Evidence
  1. Formula
    Observation

    The screen displays x∈Ix \in I

  2. Audio
    Observation

    The instructor says, "This I is a subinterval of its domain"

Symbol

x∈Ix \in I

Meaning

the independent variable x belongs to the interval I

Domain

I

I⊆DI \subseteq D

Clear evidence
Shown in the video
Evidence
  1. Formula
    Observation

    The screen displays I⊆DI \subseteq D

  2. Audio
    Observation

    The instructor says, "This I is a subinterval of its domain"

Symbol

I⊆DI \subseteq D

Meaning

the interval I is a subset of the domain D

Domain

not specified in the video

K1K_1

Clear evidence
Shown in the video
Evidence
  1. Formula
    Observation

    The screen displays the real number K1K_1, and f(x)⩽K1f(x) \leqslant K_1 appears.

  2. Audio
    Observation

    The instructor says, "If there exists a real number K1K_1."

Symbol

K1K_1

Meaning

A real number used to bound the function values from above, that is, an upper bound.

Domain

real number

K2K_2

Clear evidence
Shown in the video
Evidence
  1. Formula
    Observation

    The screen displays the real number K2K_2, and f(x)⩾K2f(x) \geqslant K_2 appears.

  2. Audio
    Observation

    The instructor says, "Now we have a real number K2K_2."

Symbol

K2K_2

Meaning

A real number used to bound the function values from below, that is, a lower bound.

Domain

real number

a,b

Clear evidence
Shown in the video
Evidence
  1. Diagram
    Observation

    On the horizontal axis of the coordinate system, a and b are labeled, and interval I lies between a and b.

  2. Audio
    Observation

    The instructor says, "I will draw the graph of interval ab."

Uncertainties
  1. The video does not explicitly state whether a and b strictly coincide with the endpoints of I; from the diagram alone, I lies between a and b.

Symbol

a,b

Meaning

The endpoints marked on the horizontal axis where interval I lies.

Domain

real number

f(x)f(x)

Clear evidence
Shown in the video
Evidence
  1. Formula
    Observation

    The expression y=f(x)y = f(x) appears multiple times on screen.

Symbol

f(x)f(x)

Meaning

Function expression

Domain

A function on the set of real numbers

I

Clear evidence
Shown in the video
Evidence
  1. Formula
    Observation

    The notation x∈Ix \in I appears on screen.

Symbol

I

Meaning

Interval of values for the independent variable

Domain

Real interval

D

Clear evidence
Shown in the video
Evidence
  1. Formula
    Observation

    The notation I⊆DI \subseteq D appears on screen.

Symbol

D

Meaning

Domain of the function

Domain

Subset of the set of real numbers

K1K_1

Clear evidence
Shown in the video
Evidence
  1. Formula
    Observation

    The inequality f(x)≤K1f(x) \le K_1 appears on screen.

Symbol

K1K_1

Meaning

Upper bound constant of the function

Domain

Real number

K2K_2

Clear evidence
Shown in the video
Evidence
  1. Formula
    Observation

    The expression f(x)≥K2f(x) \ge K_2 appears on screen.

Symbol

K2K_2

Meaning

a constant lower bound of the function

Domain

a real number

Knowledge points · 5

upper bound of a function on an interval

Clear evidence
Shown in the video
Evidence
  1. Formula
    Observation

    The screen displays: "If there exists a real number K1K_1 such that for every point x∈Ix \in I, f(x)⩽K1f(x) \leqslant K_1, then the function y=f(x)y = f(x) is said to be bounded above on I."

  2. Audio
    Observation

    The instructor says: "If there exists a real number K1K_1 such that the function value at any point in the interval I does not exceed this K1K_1, then the function is bounded above on I."

  3. Diagram
    Observation

    The diagram shows a horizontal line K1K_1, with the curve y=f(x)y = f(x) lying below or tangent to this line on the interval I.

Definition
Explanation

The video gives the definition of an upper bound: If there exists a real number K1K_1 such that f(x)⩽K1f(x) \leqslant K_1 for every x in the interval I, then the function y=f(x)y = f(x) is said to be bounded above on I. The instructor orally compares K1K_1 to a "ceiling".

Formula
∀x∈I, f(x)⩽K1\forall x \in I,\ f(x) \leqslant K_1
Conditions
  1. Consider a function y=f(x)y = f(x)

  2. x∈Ix \in I

  3. I⊆DI \subseteq D

  4. There exists a real number K1K_1

Prerequisites
  1. y=f(x)y=f(x)
  2. x∈Ix \in I
  3. I⊆DI \subseteq D
  4. K1K_1

A lower bound of a function on an interval

Clear evidence
Shown in the video
Evidence
  1. Formula
    Observation

    The screen displays: "If there exists a real number K2K_2 such that for every point x∈Ix \in I, f(x)⩾K2f(x) \geqslant K_2, then the function y=f(x)y = f(x) is said to be bounded below on I."

  2. Audio
    Observation

    The instructor says: "such that the function values of this function over the interval I are all greater than this K2K_2... then K2K_2 appears visually in the diagram as a "floor"."

  3. Diagram
    Observation

    A horizontal line K2K_2 is drawn in the figure; the curve y=f(x)y = f(x) lies above or is tangent to this line on interval I.

Uncertainties
  1. In the audio, the instructor says, 'All of them are greater than this K2K_2,' while the on-screen formula reads f(x)⩾K2f(x) \geqslant K_2; the on-screen formula takes precedence, and the video does not further explain this discrepancy.

Definition
Explanation

The video gives the definition of a lower bound: if there exists a real number K2K_2 such that f(x)⩾K2f(x) \geqslant K_2 for all x in interval I, then the function y=f(x)y = f(x) is said to be bounded below on I. The instructor verbally likens K2K_2 to a 'bottom'.

Formula
∀x∈I, f(x)⩾K2\forall x \in I,\ f(x) \geqslant K_2
Conditions
  1. Consider a function y=f(x)y = f(x).

  2. x is an element of I.

  3. I is a subset of D.

  4. There exists a real number K2K_2.

Prerequisites
  1. y=f(x)y=f(x)
  2. x∈Ix \in I
  3. I⊆DI \subseteq D
  4. K2K_2

definition of a function being bounded above

Clear evidence
Shown in the video
Evidence
  1. Formula
    Observation

    On-screen text: If there exists a real number K1K_1 such that f(x)≤K1f(x) \le K_1 for every point x∈Ix \in I, then the function y=f(x)y = f(x) is said to be bounded above on I.

Definition
Explanation

If there exists a real number K1K_1 such that f(x)≤K1f(x) \le K_1 for every x in the interval I, then the function is said to be bounded above on I.

Formula
∀x∈I,f(x)≤K1\forall x \in I, f(x) \le K_1
Conditions
  1. K1K_1 is a real number

  2. x∈Ix \in I

  3. I⊆DI \subseteq D

definition of a function being bounded below

Clear evidence
Shown in the video
Evidence
  1. Formula
    Observation

    On-screen text: If there exists a real number K2K_2 such that f(x)≥K2f(x) \ge K_2 for every point x∈Ix \in I, then the function y=f(x)y = f(x) is said to be bounded below on I.

Definition
Explanation

If there exists a real number K2K_2 such that f(x)≥K2f(x) \ge K_2 for every x in the interval I, then the function is said to be bounded below on I.

Formula
∀x∈I,f(x)≥K2\forall x \in I, f(x) \ge K_2
Conditions
  1. K2K_2 is a real number

  2. x is an element of I

  3. I is a subset of D

The necessary and sufficient condition for a function to be bounded

Clear evidence
Shown in the video
Evidence
  1. Formula
    Observation

    On-screen text: (3) A function is bounded on I if and only if it has both an upper bound and a lower bound on I

  2. Audio
    Observation

    Instructor says: A function is bounded if and only if it has both an upper bound and a lower bound

Method
Explanation

To determine whether a function is bounded on a given interval, we only need to check whether it simultaneously satisfies having an upper bound and having a lower bound.

Formula
Conditions
  1. Discussion of the function on the interval I

Prerequisites
  1. definition of a function being bounded above
  2. definition of a function being bounded below
Visual events · 4

Establishing the geometric context of the function's graph and interval I.

Clear evidence
Shown in the video
Evidence
  1. Diagram
    Observation

    A rectangular coordinate system appears at the center of the screen, with the horizontal axis labeled x, the vertical axis labeled y, and the origin labeled O.

  2. Animation
    Observation

    Next, the curve y=f(x)y = f(x) is drawn, and the points a, b, and the interval I are marked on the horizontal axis.

  3. Audio
    Observation

    The instructor says, 'For example, suppose the graph of the function looks like this; I will draw its graph over the interval ab.'

Objects
  1. coordinate system

  2. curve y=f(x)y=f(x)

  3. horizontal axis labeled a, b

  4. interval I

Changes
  1. first display the coordinate axes and origin O

  2. then display the curve y=f(x)y=f(x)

  3. next mark a, b, and interval I on the horizontal axis

Invariants
  1. function notation remains y=f(x)y=f(x)

  2. the object under discussion is always the function values on interval I

Interpretation

this segment uses a graph to place the abstract definition onto concrete geometric positions: subsequent upper bounds and lower bounds will all be represented by horizontal lines in the same coordinate system.

Geometric illustration of an upper bound

Clear evidence
Shown in the video
Evidence
  1. Diagram
    Observation

    draw a horizontal line above the curve and label it K1K_1

  2. Animation
    Observation

    the part of the curve y equals f of x on the interval I lies below or touches K underscore1 below or touches K underscore1

  3. Audio
    Observation

    The instructor says, "It's as if there is a ceiling."

Objects
  1. Horizontal line K1K_1

  2. Curve y=f(x)y = f(x)

  3. Interval I

Changes
  1. Add a new horizontal line K1K_1 located above the curve

  2. Emphasize that all function values within interval I do not exceed this line

Invariants
  1. The shape of the curve remains unchanged

  2. The position of interval I remains unchanged

Interpretation

K1K_1 as an upper bound does not require attaining the maximum value; rather, it provides a uniform upper limit for all function values on interval I; the image uses the word "ceiling" to convey this idea intuitively.

Geometric illustration of a lower bound

Clear evidence
Shown in the video
Evidence
  1. Diagram
    Observation

    Draw a horizontal line below the curve and label it K2K_2

  2. Animation
    Observation

    the part of the curve y equals f of x on the interval I lies above or touches K underscore2 above or touches K underscore2

  3. Audio
    Observation

    The instructor says, "On the graph, it looks like a base."

Objects
  1. Horizontal line K2K_2

  2. Curve y=f(x)y = f(x)

  3. Interval I

Changes
  1. Add a new horizontal line K2K_2 located below the curve

  2. Emphasize that all function values over interval I are no less than this line

Invariants
  1. The shape of the curve remains unchanged

  2. The position of interval I remains unchanged

Interpretation

K2K_2 serves as a lower bound, providing a uniform lower limit for all function values over interval I; the graph intuitively expresses this idea using the term "base."

Geometric illustration of boundedness of a function

Clear evidence
Shown in the video
Evidence
  1. Diagram
    Observation

    The left side of the screen shows the graph of the function y=f(x)y = f(x) on the interval [a, b], with a horizontal line labeled K1K_1 above and a horizontal line labeled K2K_2 below

Objects
  1. The curve of the function y=f(x)y = f(x)

  2. The horizontal line K1K_1

  3. horizontal line K2K_2

  4. interval [a, b]

Invariants
  1. the graph of the function lies entirely below or on K1K_1

  2. the graph of the function lies entirely above or on K2K_2

Interpretation

the graph visually shows that the function values are bounded between two horizontal lines: f(x)≤K1f(x) \le K_1 and f(x)≥K2f(x) \ge K_2, indicating that the function has both an upper bound and a lower bound.

Misconceptions · 1

An upper bound and a lower bound are not required to be attained by the function.

Clear evidence
Supplementary explanation
Evidence
  1. Diagram
    Observation

    K1K_1 and K2K_2 are drawn as horizontal boundary lines; the curve may lie below or above them, or may touch them

  2. Formula
    Observation

    The definition uses ⩽\leqslant and ⩾\geqslant, not strict inequalities

Uncertainties
  1. This is a reminder added by the analyst based on the video's formula and diagram; the video does not explicitly name this misconception.

Misconception

It is easy to mistakenly confuse an upper bound or a lower bound with a maximum or a minimum, thinking the function must exactly reach K1K_1 or K2K_2.

Clarification

The definition in the video only requires that for any x∈Ix \in I, f(x)⩽K1f(x) \leqslant K_1 or f(x)⩾K2f(x) \geqslant K_2; whether equality holds is not imposed as a condition, so an upper bound or a lower bound need not equal the maximum or the minimum.

Concept relations · 4

upper bound of a function on an interval → A lower bound of a function on an interval

Clear evidence
Shown in the video
Evidence
  1. Formula
    Observation

    The two symmetric definitions—f(x)⩽K1f(x) \leqslant K_1 and f(x)⩾K2f(x) \geqslant K_2—are presented in sequence.

  2. Audio
    Observation

    The instructor first introduces "upper bound", then "lower bound", illustrating them using the analogy of "top" and "bottom".

Contrast
Explanation

Upper bound and lower bound are two opposite-direction boundary concepts for the same function on the same interval I: the former restricts the function values from above, the latter from below.

Establishing the geometric context of the function's graph and interval I. → upper bound of a function on an interval

Clear evidence
Shown in the video
Evidence
  1. Diagram
    Observation

    First, draw y=f(x)y=f(x) and the interval I, then represent the bounds using horizontal lines K1K_1 and K2K_2.

  2. Audio
    Observation

    The instructor draws the graph while explaining "top" and "bottom".

Application
Explanation

The video first establishes an intuitive background using the function's graph, then places the definitions of upper bound and lower bound onto the same graph, using horizontal lines to explain the meaning of the inequalities.

The necessary and sufficient condition for a function to be bounded → definition of a function being bounded above

Clear evidence
Shown in the video
Evidence
  1. Formula
    Observation

    on-screen text: a function is bounded on I if and only if it has both an upper bound and a lower bound on I

Contains
Explanation

the concept of a bounded function comprises two subconcepts: having an upper bound and having a lower bound; both must hold simultaneously for the function to be bounded.

The necessary and sufficient condition for a function to be bounded → definition of a function being bounded below

Clear evidence
Shown in the video
Evidence
  1. Formula
    Observation

    on-screen text: a function is bounded on I if and only if it has both an upper bound and a lower bound on I

Contains
Explanation

the concept of a bounded function comprises two subconcepts: having an upper bound and having a lower bound; both must hold simultaneously for the function to be bounded.

Find an answer · 5

What does it mean for a function to be bounded above on interval I?

Clear evidence
Shown in the video
Evidence
  1. Formula
    Observation

    The screen displays the complete definition of upper bound.

  2. Audio
    Observation

    The instructor explains "the function value at any point does not exceed this K1K_1".

Knowledge points
  1. upper bound of a function on an interval

How is a function bounded below on interval I defined?

Clear evidence
Shown in the video
Evidence
  1. Formula
    Observation

    The screen displays the complete definition of a lower bound.

  2. Audio
    Observation

    The instructor explains that K2K_2 is the "bottom".

Knowledge points
  1. A lower bound of a function on an interval

Why are upper and lower bounds typically drawn as horizontal lines on graphs?

Clear evidence
Shown in the video
Evidence
  1. Diagram
    Observation

    Both K1K_1 and K2K_2 are drawn as horizontal lines.

  2. Audio
    Observation

    The instructor uses "top" and "bottom" to describe their geometric meaning.

Knowledge points
  1. Geometric illustration of an upper bound
  2. Geometric illustration of a lower bound

how can we determine whether a function has an upper bound or a lower bound?

Clear evidence
Shown in the video
Evidence
  1. Formula
    Observation

    on-screen text defines upper bound and lower bound

Knowledge points
  1. definition of a function being bounded above
  2. definition of a function being bounded below

What is the necessary and sufficient condition for a function to be bounded?

Clear evidence
Shown in the video
Evidence
  1. Formula
    Observation

    on-screen text gives the necessary and sufficient condition for boundedness

Knowledge points
  1. The necessary and sufficient condition for a function to be bounded
Coverage and review notes

Covered · The introduction opens with the question "When does a function have an upper bound and when does it have a lower bound?", without yet presenting independent mathematical definitions.

Covered · It clarifies the relationship among the function, interval I, and the domain D, and draws a coordinate system along with the function's graph to provide the geometric background for subsequent definitions.

Covered · It fully states the definition of an upper bound and illustrates it using the horizontal line K1K_1.

Covered · It fully states the definition of a lower bound and illustrates it using the horizontal line K2K_2.

Covered · The video screen displays definitions and geometric illustrations of upper and lower bounds, followed by the necessary and sufficient condition for boundedness, which the instructor explains verbally.

Explore the knowledge in this video

Reviewed subject paths