Extreme Value Theorem

1. Caption evidence
   Observation

   The theorem text uses f in 'If f is continuous...' and '$f(c_1)$', '$f(c_2)$', '$f(x)$'.

2. Audio
   Observation

   The speaker says 'if a function f is continuous' and repeatedly refers to $f(a)$, $f(b)$, $f(c_1)$, and $f(c_2)$.

f

A real-valued function under discussion in the Extreme Value Theorem.

In the theorem statement, f is assumed continuous on the closed interval [a,b].

1. Caption evidence
   Observation

   The theorem text states 'the closed interval [a, b]'.

2. Diagram
   Observation

   On the first graph, a and b are marked on the x-axis as the endpoints of the considered interval.

[a,b]

The closed interval on which continuity is assumed and extrema are sought.

a and b are endpoint values; the video treats them as real numbers with $a < b$.

1. Caption evidence
   Observation

   The theorem text introduces 'numbers $c_1$ and $c_2$ in [a, b]'.

2. Audio
   Observation

   The speaker says there are numbers $c_1$ and $c_2$ in [a,b].

3. Diagram
   Observation

   On the first graph, $c_1$ is placed between a and b and corresponds to the highest point shown.

$c_1$

A point in [a,b] at which f attains its maximum value on that interval.

$c_1 \in [a,b]$; in the example graph it lies strictly between a and b.

1. Caption evidence
   Observation

   The theorem text introduces 'numbers $c_1$ and $c_2$ in [a, b]'.

2. Audio
   Observation

   The speaker says $c_2$ corresponds to the x-value for which $f(c_2)$ is the minimum value for $f(x)$.

3. Diagram
   Observation

   On the first graph, $c_2$ is marked at the right endpoint b, and the speaker says $f(c_2)=f(b)$ in this case.

$c_2$

A point in [a,b] at which f attains its minimum value on that interval.

$c_2 \in [a,b]$; in the worked example, $c_2=b$.

1. Audio
   Observation

   The speaker says 'Then we have f of a over here and f of b over here.'

2. Diagram
   Observation

   The first graph labels $f(a)$ and $f(b)$ on the y-axis as the endpoint function values.

$f(a)$, $f(b)$

Function values at the interval endpoints a and b.

Defined because a,$b \in [a,b]$.

1. Audio
   Observation

   The speaker says 'there's a f of c one that represents the maximum value' and later 'f of c two ... is the minimum value for f of x'.

2. Diagram
   Observation

   The first graph labels $f(c_1)$ above $f(a)$ and labels $f(c_2)=f(b)$ below $f(a)$.

$f(c_1)$, $f(c_2)$

The absolute maximum and absolute minimum values of f on [a,b], respectively, in the theorem statement and example.

$c_1$,$c_2 \in [a,b]$.

1. Diagram
   Observation

   Two hand-drawn coordinate axes appear; the horizontal axis carries a,b,$c_1$,$c_2$ and the vertical axis carries $f(a)$,$f(b)$,$f(c_1)$,$f(c_2)$.

1. The axes are not labeled with explicit variable names such as x and y, but their roles are clear from the plotted function graph.

horizontal axis / vertical axis

Input values and corresponding function values in the graphs.

Used visually for plotting f on an interval.

1. Formula
   Observation

   f appears in the theorem statement 'If f is continuous...' and in expressions like $f(c_1)$, $f(a)$, $f(c_2)=f(b)$.

2. Audio
   Observation

   Speaker refers to 'f was a continuous function'.

f

A real-valued function of a single variable x.

The closed interval [a, b] for the theorem's hypothesis; generally defined on an interval containing [a, b].

1. Formula
   Observation

   [a, b] appears in the text 'closed interval [a, b]'.

2. Diagram
   Observation

   Points labeled 'a' and 'b' mark the endpoints of the horizontal axis segments in both graphs.

a, b

Real numbers defining the endpoints of the closed interval where continuity is assumed.

$a < b$ (implied by standard notation for an interval [a, b]).

1. Formula
   Observation

   $c_1$ and $c_2$ appear in the text 'numbers $c_1$ and $c_2$ in [a, b]' and expressions $f(c_1)$, $f(c_2)$.

2. Diagram
   Observation

   Point $c_1$ is marked on the x-axis corresponding to the peak of the curve. Point $c_2$ is marked near b, corresponding to the minimum value.

$c_1$, $c_2$

Specific points within the interval [a, b] at which the function attains its absolute maximum and absolute minimum values, respectively.

$c_1$, $c_2 \in [a, b]$.

1. Formula
   Observation

   x appears in the expression $f(x)$ in the text 'values of $f(x)$'.

2. Diagram
   Observation

   Horizontal axis represents the input variable x.

x

The independent variable of the function f.

Values within the interval [a, b].

1. Caption evidence
   Observation

   Title reads 'Extreme Value Theorem'.

2. Caption evidence
   Observation

   Text reads: 'If f is continuous on the closed interval [a, b], then there are numbers $c_1$ and $c_2$ in [a, b] for which $f(c_1)$ and $f(c_2)$ are the maximum and minimum values of $f(x)$ for that interval.'

3. Audio
   Observation

   The speaker reads the theorem aloud in essentially the same wording.

The video presents the Extreme Value Theorem as a guarantee about continuous functions on closed intervals: such a function must attain both a largest and a smallest value somewhere in the interval. The statement explicitly ties existence of extrema to two hypotheses: continuity and a closed bounded interval [a,b].

1. f is continuous on [a,b]

2. [a,b] is a closed interval

3. $c_1$ and $c_2$ are required to lie in [a,b]

1. Audio
   Observation

   The speaker identifies $f(c_1)$ as the maximum value and $f(c_2)$ as the minimum value for $f(x)$ on the interval.

2. Diagram
   Observation

   The first graph marks the highest point with $f(c_1)$ and the lowest point with $f(c_2)=f(b)$.

The clip distinguishes the function values $f(c_1)$ and $f(c_2)$ from the input points $c_1$ and $c_2$. The theorem is about where the extrema occur (the c-values) and what the extremal values are (the $f(c)$-values). In the example, the maximum occurs at an interior point while the minimum occurs at an endpoint.

1. Extremal values are compared only over $x \in [a,b]$

2. The maximizing/minimizing points must belong to [a,b]

1. Extreme Value Theorem statement

1. Audio
   Observation

   The speaker says $c_1$ is 'in between a and b' and says $f(c_2)$ equals $f(b)$ in this case.

2. Diagram
   Observation

   On the first graph, $c_1$ is drawn strictly between a and b, while $c_2$ is placed at b.

The worked picture shows that the theorem does not require both extremizers to be interior points. One can occur inside ($c_1$) and the other at an endpoint ($c_2=b$). This is a useful method for reading EVT graphs: compare endpoint values and interior peaks/valleys, then identify which are largest and smallest on the whole interval.

1. Applies when inspecting a continuous graph on [a,b]

2. Endpoint values $f(a)$, $f(b)$ must be included in the comparison

1. Maximum and minimum values on a specified interval

1. Formula
   Observation

   Text on screen: 'If f is continuous on the closed interval [a, b], then there are numbers $c_1$ and $c_2$ in [a, b] for which $f(c_1)$ and $f(c_2)$ are the maximum and minimum values of $f(x)$ for that interval.'

The Extreme Value Theorem guarantees that a continuous function defined on a closed, bounded interval must attain both an absolute maximum and an absolute minimum value somewhere within that interval. These extreme values occur at specific points $c_1$ and $c_2$ in [a, b].

1. Function f must be continuous.

2. Domain must be a closed interval [a, b].

1. Audio
   Observation

   Speaker states: '...so we cannot reach the same conclusions as if f was a continuous function.'

2. Diagram
   Observation

   Right graph shows a discontinuous function (jump) where no single point c yields a global max/min on the segment shown in the same way as the continuous case.

The video illustrates that if the continuity condition is removed, the conclusion of the Extreme Value Theorem may fail. A discontinuous function on a closed interval might not attain a maximum or minimum value (e.g., approaching a value asymptotically or having a jump where the endpoint is excluded/open).

1. Applies when analyzing functions that do NOT satisfy the continuity hypothesis of the EVT.

1. Extreme Value Theorem Statement

1. Caption evidence
   Observation

   Full theorem text is displayed on screen.

2. Audio
   Observation

   Speaker reads the theorem statement verbatim or near-verbatim.

If f is continuous on the closed interval [a,b], then there exist numbers $c_1$ and $c_2$ in [a,b] such that $f(c_1)$ is the maximum value and $f(c_2)$ is the minimum value of $f(x)$ on that interval.

1. f is continuous on [a,b]

2. [a,b] is a closed interval

For every function f satisfying the hypothesis, there exist $c_1$,$c_2 \in [a,b]$.

1. Audio
   Observation

   The speaker says, 'We need to know that f is continuous because if not, we cannot reach the same conclusions.'

2. Diagram
   Observation

   A second graph with a hole is drawn to show failure of the conclusion without continuity.

Without continuity on the interval, the Extreme Value Theorem conclusion can fail; the video illustrates this with a discontinuous function having no maximum because of a hole.

1. The function is not continuous on the interval being considered

There exists a discontinuous function on [a,b] for which the EVT conclusion fails.

1. Formula
   Observation

   Written theorem statement on the slide.

If a function f is continuous on the closed interval [a, b], then f attains an absolute maximum value $f(c_1)$ and an absolute minimum value $f(c_2)$ at some numbers $c_1$ and $c_2$ in [a, b].

1. f is continuous on [a, b].

2. [a, b] is a closed interval.

$\forall f$, (Continuous(f, [a,b]) $\implies \exists c_1$, $c_2 \in [a,b] \dots$)

1. Audio
   Observation

   The speaker walks through an example: draw a function, mark a and b, then identify $f(a)$, $f(b)$, $f(c_1)$, and $f(c_2)$.

2. Diagram
   Observation

   The first hand-drawn graph accumulates labels a,b,$f(a)$,$f(b)$,$c_1$,$c_2$,$f(c_1)$,$f(c_2)=f(b)$.

1. The exact curve shape is informal and hand-drawn, so it serves as an illustration rather than a formal construction.

1. Expression

   $$$$
   Explanation

   Draw a continuous curve on a coordinate system and mark the interval endpoints a and b on the x-axis.

   Justification

   This sets up the hypothesis 'continuous on [a,b]' in a concrete picture.

   Shown in the video
2. Expression

   $$$$
   Explanation

   Label the endpoint heights $f(a)$ and $f(b)$ on the y-axis.

   Justification

   These are candidate extremal values because endpoints belong to [a,b].

   Shown in the video
3. Expression

   $$$$
   Explanation

   Identify the highest point on the graph within [a,b] and label its value $f(c_1)$, with $c_1$ between a and b.

   Justification

   By the theorem, a maximum exists; the drawing shows it occurring at an interior point in this example.

   Shown in the video
4. Expression

   $$f(c_2)=f(b)$$
   Explanation

   Identify the lowest point on the graph within [a,b] and note that in this example it occurs at the right endpoint, so $c_2=b$.

   Justification

   The minimum may occur at an endpoint; the picture makes that explicit.

   Shown in the video

The example confirms the theorem's claim by exhibiting one $c_1$ and one $c_2$ in [a,b] whose function values are respectively the maximum and minimum on the interval.

1. Audio
   Observation

   The speaker says that if f is not continuous, 'we cannot reach the same conclusions,' then describes a hole and says 'we no longer have a maximum value because this is a hole.'

2. Diagram
   Observation

   A second graph is drawn with a missing point (hole) above the rest of the curve on [a,b].

1. The spoken phrase 'the set of all real numbers has no holes' is informal; the intended mathematical point is that the missing y-value cannot be supplied by another point in the pictured graph.

1. Expression

   $$$$
   Explanation

   Draw a function on [a,b] that is not continuous because one point is omitted, creating a hole at the would-be top value.

   Justification

   This violates the continuity hypothesis of the EVT.

   Shown in the video
2. Expression

   $$$$
   Explanation

   Observe that the graph rises toward the missing height but never actually attains it.

   Justification

   A hole means the function takes values arbitrarily close to that height but not equal to it.

   Derived from the video
3. Expression

   $$$$
   Explanation

   Conclude that there is no maximum value on the interval in this example.

   Justification

   Since the topmost value is missing and no other point replaces it, no largest function value is attained.

   Shown in the video

The counterexample shows that dropping continuity can destroy the existence of an absolute maximum, so the EVT hypothesis is not cosmetic.

1. Diagram
   Observation

   Right-hand graph depicts a function with a jump discontinuity. The audio explains that conclusions cannot be reached.

1. The specific coordinates of the jump are not labeled numerically, only qualitatively.

1. Expression

   $$\text{Graph of discontinuous function on } [a, b]$$
   Explanation

   Consider the function shown in the right graph, which has a jump discontinuity.

   Justification

   Observed from diagram.

   Shown in the video
2. Expression

   $$\text{No global max/min attained in standard manner}$$
   Explanation

   Due to the break in the graph, the function may approach a supremum/infimum but never reach it, or the extrema might fall into the 'gap' created by the discontinuity, violating the guarantee of existence provided by EVT.

   Justification

   Audio commentary combined with visual inspection of the open/closed nature of segments (though specific open/closed dots are hard to distinguish, the jump implies potential failure).

   Derived from the video

Without continuity, the Extreme Value Theorem's guarantee of attained extrema does not hold.

1. Audio
   Observation

   The speaker says, 'For example, if we had a function that looked like this...' and then identifies a,b,$f(a)$,$f(b)$,$c_1$,$c_2$.

2. Diagram
   Observation

   First hand-drawn graph with labels a,b,$f(a)$,$f(b)$,$c_1$,$c_2$,$f(c_1)$,$f(c_2)=f(b)$.

1. No explicit formula for the function is given; the example is purely graphical.

Given a continuous function on [a,b], illustrate where the absolute maximum and absolute minimum occur.

1. A continuous curve on a closed interval [a,b]

2. Endpoint labels a and b

3. Function values $f(a)$ and $f(b)$ are marked

Identify $c_1$,$c_2 \in [a,b]$ such that $f(c_1)$ is maximal and $f(c_2)$ is minimal on [a,b].

1. Expression

   $$$$
   Explanation

   Mark the interval endpoints a and b on the x-axis.

   Justification

   The theorem applies to the closed interval [a,b].

   Shown in the video
2. Expression

   $$$$
   Explanation

   Read off the endpoint values $f(a)$ and $f(b)$.

   Justification

   Endpoints are admissible candidates for extrema.

   Shown in the video
3. Expression

   $$$$
   Explanation

   Locate the highest point on the curve between a and b and call its x-coordinate $c_1$.

   Justification

   This realizes the maximum value $f(c_1)$ promised by the EVT.

   Shown in the video
4. Expression

   $$f(c_2)=f(b)$$
   Explanation

   Locate the lowest point on the curve between a and b; in this drawing it is the right endpoint, so $c_2=b$.

   Justification

   The minimum value may occur at an endpoint rather than an interior critical point.

   Shown in the video

The example exhibits $c_1 \in (a,b)$ with $f(c_1)$ as the maximum and $c_2=b$ with $f(c_2)=f(b)$ as the minimum on [a,b].

The visual ordering on the graph shows $f(c_1)$ above all other plotted values on [a,b], and $f(c_2)=f(b)$ below the other displayed values on [a,b].

1. Audio
   Observation

   The speaker gives a discontinuous-function example and says there is no maximum because of the hole.

2. Diagram
   Observation

   Second hand-drawn graph with a hole on [a,b].

1. The exact location and height of the hole are schematic rather than numerically specified.

Show what goes wrong with the EVT conclusion if continuity is dropped on [a,b].

1. A function drawn on [a,b]

2. One point of the graph is missing, producing a hole near the top

Explain why the function need not attain a maximum value.

1. Expression

   $$$$
   Explanation

   Draw a function on [a,b] with a missing point (hole) at the would-be highest level.

   Justification

   This creates a discontinuity inside the interval.

   Shown in the video
2. Expression

   $$$$
   Explanation

   Note that values approach the missing height but never equal it.

   Justification

   A hole means the corresponding function value is not attained.

   Derived from the video
3. Expression

   $$$$
   Explanation

   Conclude that no maximum value exists on [a,b] for this example.

   Justification

   Without the missing top value and with no larger attained value replacing it, the supremum is not achieved.

   Shown in the video

The discontinuous example has no maximum value on [a,b] because the would-be top value is omitted by the hole.

The graph visibly lacks the point needed to realize the highest value, matching the speaker's explanation that the conclusion fails without continuity.

1. Diagram
   Observation

   Left graph shows a smooth curve on [a, b] with labeled max at $c_1$ and min at $c_2$ (or b).

Identify extrema for a continuous function on a closed interval.

1. Function f is continuous on [a, b].

2. Graph shows a peak at $c_1$ and lowest point at $c_2/b$.

Locate $c_1$ and $c_2$ such that $f(c_1)$ is max and $f(c_2)$ is min.

1. Expression

   $$\text{Observe peak at } c_1$$
   Explanation

   The highest point on the graph occurs at $x = c_1$.

   Justification

   Visual inspection of left graph.

   Shown in the video
2. Expression

   $$\text{Observe trough at } c_2 \text{ (near } b)$$
   Explanation

   The lowest point on the graph occurs at $x = c_2$.

   Justification

   Visual inspection of left graph labels $f(c_2)=f(b)$.

   Shown in the video

$c_1$ is the location of the maximum; $c_2$ is the location of the minimum.

Matches the theorem statement displayed on screen.

1. Caption evidence
   Observation

   Black background with white title 'Extreme Value Theorem' and full theorem text.

1. Title text

2. Theorem statement text

1. None; the slide remains static while the speaker reads the theorem.

1. The theorem wording stays visible throughout this interval.

This establishes the formal statement before any graphical illustration.

1. Diagram
   Observation

   Axes are drawn, then a continuous curve, then labels a,b,$f(a)$,$f(b)$,$c_1$,$c_2$,$f(c_1)$,$f(c_2)=f(b)$ are added step by step.

1. Some handwritten labels are slightly hard to read in isolation, but their meanings are confirmed by the audio.

1. Coordinate axes

2. Continuous curve

3. Interval endpoints a,b

4. Endpoint values $f(a)$,$f(b)$

5. Interior maximizer $c_1$

6. Endpoint minimizer $c_2=b$

7. Maximum value $f(c_1)$

8. Minimum value $f(c_2)=f(b)$

1. The graph starts empty, then gains axes, then a curve, then endpoint markers, then value labels, then extremum labels.

1. The curve remains continuous across [a,b].

2. The interval under consideration stays [a,b].

The animation-like handwriting demonstrates that a continuous function on a closed interval attains both a largest and a smallest value, with one possibly interior and one possibly at an endpoint.

1. Diagram
   Observation

   A second coordinate system is drawn to the right, with a curve on [a,b] and a visible hole near the top.

1. The precise x-location of the hole is not verbally specified.

1. Second coordinate axes

2. Curve on [a,b]

3. Hole/missing point

4. Labels a and b

1. A new graph is introduced after the first example, and a missing point is added to show discontinuity.

1. The interval remains [a,b].

2. The hole remains unattained by the graph.

This visual shift contrasts the previous continuous case with a discontinuous one, showing that the EVT conclusion can fail when continuity is absent.

1. Diagram
   Observation

   Two side-by-side graphs. Left: Continuous curve with labeled extrema. Right: Discontinuous piecewise linear graph.

1. Left Graph: Smooth curve, points a, b, $c_1$, $c_2$, labels $f(c_1)$, $f(a)$, $f(c_2)=f(b)$.

2. Right Graph: Two line segments with a gap/jump, points a, b.

1. None (static image).

1. The text definition of EVT remains constant above the graphs.

The visual juxtaposition serves to contrast a case where the theorem applies (left) with a case where the hypothesis fails (right), supporting the audio claim that conclusions cannot be reached without continuity.

1. Audio
   Observation

   The speaker explicitly says, 'We need to know that f is continuous because if not, we cannot reach the same conclusions.'

2. Diagram
   Observation

   The second graph with a hole is used as a counterexample.

One might think any function on a closed interval must have a maximum and minimum simply because the interval is closed.

The video shows that continuity is essential: a discontinuous function with a hole can fail to attain a maximum value on [a,b].

1. Audio
   Observation

   The speaker notes that $c_1$ is between a and b, but $f(c_2)$ equals $f(b)$ in this case.

2. Diagram
   Observation

   The first graph places $c_2$ at the endpoint b.

Learners may expect both $c_1$ and $c_2$ to be interior points.

The example shows that one extremum can occur at an endpoint; here the minimum occurs at $c_2=b$.

1. Audio
   Observation

   '...so we cannot reach the same conclusions as if f was a continuous function.'

Believing that any function defined on a closed interval [a, b] must have a maximum and minimum value.

The Extreme Value Theorem specifically requires continuity. As shown in the right graph and stated in the audio, discontinuous functions may fail to attain these bounds.

1. Audio
   Observation

   The speaker links the theorem's validity to continuity and then draws a discontinuous counterexample.

2. Diagram
   Observation

   Second graph with a hole directly contrasts with the first continuous graph.

The counterexample supports the theorem by showing that removing the continuity hypothesis invalidates the conclusion.

1. Diagram
   Observation

   The first graph labels $c_1$ inside (a,b) and $c_2$ at b.

2. Audio
   Observation

   The speaker explicitly contrasts the interior maximizer with the endpoint minimizer.

The abstract theorem is applied in the example to show how to locate extrema on a closed interval, including endpoint cases.

1. Audio
   Observation

   The speaker distinguishes $f(c_1)$ as the maximum value from $c_1$ as the corresponding x-value, and similarly for $c_2$.

2. Diagram
   Observation

   The graph separately marks x-values a,b,$c_1$,$c_2$ and y-values $f(a)$,$f(b)$,$f(c_1)$,$f(c_2)$.

Understanding the theorem requires distinguishing the extremal values $f(c_1)$, $f(c_2)$ from the points $c_1$,$c_2$ where they occur.

1. Formula
   Observation

   Theorem text links 'continuous' directly to the existence of $c_1$, $c_2$.

Continuity is a necessary condition (prerequisite) for the Extreme Value Theorem to apply.

1. Caption evidence
   Observation

   The theorem statement is fully written on screen.

2. Audio
   Observation

   The speaker reads the statement aloud.

1. Extreme Value Theorem statement
2. Existence of absolute max and min under continuity on [a,b]

1. Diagram
   Observation

   First graph marks $c_1$ inside the interval and $c_2$ at b.

2. Audio
   Observation

   The speaker explains that $c_1$ is between a and b and that $f(c_2)=f(b)$ in this case.

1. Extrema may occur inside the interval or at endpoints
2. Continuous function on [a,b] with interior maximum and endpoint minimum

1. Audio
   Observation

   The speaker says continuity is needed and gives a discontinuous example.

2. Diagram
   Observation

   Second graph with a hole shows failure of the maximum.

1. Continuity is essential to the conclusion
2. Discontinuous function on [a,b] with a hole and no maximum
3. Thinking extrema always exist on [a,b] even without continuity

1. Audio
   Observation

   The speaker distinguishes $c_1$,$c_2$ from $f(c_1)$,$f(c_2)$.

2. Diagram
   Observation

   Graph labels x-values and y-values separately.

1. Maximum and minimum values on a specified interval
2. $c_1$
3. $c_2$
4. $f(c_1)$, $f(c_2)$

1. Formula
   Observation

   Theorem statement lists conditions.

1. Extreme Value Theorem Statement
2. Necessity of Continuity for EVT

1. Diagram
   Observation

   Right graph shows discontinuity.

1. Necessity of Continuity for EVT
2. Comparison of Continuous vs. Discontinuous Functions