Mathematical modeling / English

Linear Independence of Functions & The Wronskian

Dr. Trefor Bazett · YouTube · 9:59

YouTube · Dr. Trefor BazettOriginal video

Selected moment · 9:31 · Chapter markers are time references, not playback progress.

IN THIS VIDEO

01Linear independence for two functions
02Linear dependence for two functions
03Example: sin x and cos x

FROM THE LEARNING NOTES

y_1 \text{ and } y_2 \text{ are linearly independent on an interval} \iff \nexists c \text{ such that } y_1 = c y_2 \text{ or } y_2 = c y_1

Linear independence for two functions

SELECTED MOMENT

Conclusion: never zero ⇒ independent

SUGGESTED PREPARATION

Basic notion of a function
Familiarity with scalar multiplication
Introductory linear algebra vocabulary for vectors is helpful but not required
Basic notion of vectors and scalar multiplication
Understanding of functions on an interval
Familiarity with exponential functions
Knowledge of the hyperbolic cosine function
Functions on an interval
Linear combinations of functions
Basic properties of exponential functions
Polynomial degree and roots
Derivatives up to second order
Determinants of 3x3 matrices
Determinants of $2\times 2$ and $3\times 3$ matrices
Derivatives and higher-order derivatives
Linear dependence and linear independence of functions
Basic notion of a function being defined on an interval or domain
Determinants of $2\times 2$ matrices
Basic differentiation rules including the product rule
Concept of linear independence for functions
Introduction to linear differential equations with continuous coefficients

READ & KEEP

The explanation, unpacked.

Saves 0

Reviewed learning material · Video analysis · English

Read the full overview

This 120-second clip introduces linear independence for functions by first contrasting it with the vector version from linear algebra. It displays the two-function definition: $y_1$ and $y_2$ are linearly independent on an interval if they are not a scalar multiple of each other. Two examples follow: $\sin x$ and $\cos x$ are independent, while $x^2$ and $2x^2$ are dependent because one is twice the other. The lecturer then asks how to extend the idea to three or more functions and motivates the next step with a vector animation in which three colored arrows are rearranged into a closed loop, illustrating a linear combination that sums to zero. This 120-second lecture segment introduces linear dependence first through a three-vector picture and then gives the formal definition of linear independence for functions on an interval. The key displayed criterion is that $y_1,\ldots,y_n$ are linearly independent if $a_1y_1+\cdots+a_ny_n=0$ implies $a_1=\cdots=a_n=0$ . The lecturer then works the example $e^x$ , $e^{-x}$ , and $\cosh x$ , using the identity $\cosh x=\frac{e^x+e^{-x}}{2}$ to obtain the non-trivial relation $\frac12 e^x+\frac12 e^{-x}-1\cdot\cosh x=0$ , concluding that the three functions are linearly dependent. This 120-second lecture fragment defines linear independence of functions on an interval and works one concrete exponential example by an ad hoc method. The board states that $y_1$ ,..., $y_n$ are linearly independent if $a_1y_1$ +...+a_ny_n=0 implies all coefficients are zero. For $e^x$ , $e^{2x}$ , and $e^{3x}$ , the speaker sets $z=e^x$ , rewrites the relation as $a_1z+a_2z^2+a_3z^3=0$ , and argues that a nonzero degree-three polynomial has at most three zeros, whereas the right side is the zero function everywhere on an interval. Hence $a_1=a_2=a_3=0$ , so the three functions are linearly independent. The final seconds introduce the Wronskian notation $W(t)$ as a 3x3 determinant of functions and their first two derivatives, but stop before stating how it is used. This 120-second lecture segment introduces the Wronskian as a determinant built from functions and their derivatives. It first displays the three-function case $W(t)=\begin{vmatrix} y_1&y_2&y_3\\ y_1'&y_2'&y_3'\\ y_1''&y_2''&y_3'' \end{vmatrix}$ , then verbally generalizes to $n$ functions with derivatives up to order $n-1$ . The lecturer motivates the link to linear independence by computing the two-function Wronskian under the dependence assumption $y_2=ay_1$ , obtaining $W(t)=y_1ay_1'-ay_1y_1'=0$ . He states that linearly dependent functions have an identically zero Wronskian. Finally, a boxed theorem says that for "nice" functions $y_1,\ldots,y_n$ , linear independence holds if and only if $W(t)\neq 0$ at some point $t$ . The lecturer clarifies that the Wronskian need not be nonzero everywhere, only somewhere, and begins discussing analytic functions as one context satisfying the hypothesis before the clip ends. This 119-second clip presents the Wronskian criterion for linear independence of 'nice' functions and works through the example pair $e^t$ and te^t. The instructor states the iff theorem ( $W(t)\ne 0$ at some point t), explains that solutions of linear ODEs with continuous coefficients qualify, then builds the $2\times 2$ Wronskian determinant, differentiates te^t via the product rule, evaluates the determinant to obtain $e^{2t}$ , and concludes the functions are linearly independent because $e^{2t}$ is never zero. A common pitfall—mistaking a variable factor t for a constant scalar multiple—is explicitly addressed.

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

Chapters

0:00Title: Linearly Independent Functions 0:04Functions versus vectors 0:35Definition for two functions 0:46Example: sin x and cos x 0:51Example:

x^2

and

2x^2

1:13Question for three or more functions 1:22Vector motivation with linear combinations 2:00Vector intuition for linear dependence 2:12Trivial versus non-trivial combinations 2:26Definition of linear independence for functions 3:09Example with

e^x

e^{-x}

, and

\cosh x

3:38Conclusion: linear dependence 4:00Definition of linear independence and example setup 4:18Writing the linear combination for

e^x

e^{2x}

e^{3x}

4:28Substitution

z=e^x

and polynomial rewrite 4:56Degree-three polynomial zeros and zero-function distinction 5:25Conclusion: the exponential set is linearly independent 5:54Introduction of the Wronskian determinant 6:00The Wronskian determinant for three functions 6:19Generalizing from three functions to n functions 6:42Motivating with two linearly dependent functions 6:55Computing the dependent-case Wronskian as zero 7:23The Wronskian linear independence theorem 7:43What “nice” functions means and analytic examples 8:00Wronskian theorem for 'nice' functions 8:24Summary of the linear-independence test 8:36Example setup:

e^t

and te^t 9:04Building and evaluating the Wronskian 9:31Conclusion: never zero ⇒ independent 9:42Outro and preview of next video

Learning script

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

The clip opens on a chalkboard-style title that builds to "LINEARLY INDEPENDENT FUNCTIONS," signaling that the subject is not vectors themselves but functions treated with a similar algebraic idea.

The lecturer first places the topic in context: viewers may already know linear independence from linear algebra for sets of vectors, but here the same style of question will be asked for sets of functions. He notes that the ideas will have strong analogues across the two settings.

For the case of two functions, the video gives a direct definition on screen: $y_1$ and $y_2$ are linearly independent on an interval if they are not a scalar multiple of each other. In words, one function cannot be written as a fixed constant times the other.

The first example applies that definition to $\sin x$ and $\cos x$ . Since $\sin x$ is not just a number times $\cos x$ , the pair is labeled linearly independent.

The second example contrasts this with $x^2$ and $2x^2$ . Here $2x^2 = 2(x^2)$ , so one function is exactly a scalar multiple of the other, and the pair is labeled linearly dependent.

After establishing the two-function rule, the lecturer raises the next problem: what should linear independence mean when there are three or more functions? The pairwise scalar-multiple test is no longer presented as sufficient.

To motivate the extension, the video switches to a geometric picture from linear algebra. Three colored vectors are drawn from a common origin, and the speaker explains that one can form a linear combination by adding them together, possibly after scaling them by constants.

The animation then rearranges the vectors head-to-tail, with one reversed and another stretched, until the path closes back at the origin. This visualizes the question of whether some linear combination of the three vectors can sum to zero, setting up the more general definition that would follow beyond this clip.

The segment opens with a geometric picture: three colored vectors are arranged in a closed triangular path. The lecturer’s point is not to compute exact components, but to show that one can combine the three vectors with suitable stretching factors and obtain zero. That visual closure is the intuitive model for dependence.

He then isolates the crucial logical distinction. There is always the trivial combination in which every coefficient is zero, so that alone proves nothing. The real question is whether a non-trivial combination exists, meaning at least one coefficient is nonzero while the weighted sum still equals zero. If such a combination exists, the objects are called linearly dependent.

Next, the lecture transfers this idea from vectors to functions. A purple-bordered definition box appears stating that $y_1,\ldots,y_n$ are linearly independent on an interval if $a_1y_1+\cdots+a_ny_n=0$ implies $a_1=\cdots=a_n=0$ . In words, the only zero-sum linear combination allowed is the trivial one. This is exactly the function-space analogue of the vector criterion just discussed.

To test the definition, the board introduces three concrete functions: $e^x$ , $e^{-x}$ , and $\cosh x$ . The lecturer chooses $\cosh x$ deliberately because it has a simple expression in terms of exponentials, namely $\cosh x=\frac{e^x+e^{-x}}{2}$ . That identity is the bridge between the three listed functions.

Using the identity, he rewrites it as a linear relation: $\frac12 e^x+\frac12 e^{-x}-1\cdot\cosh x=0$ . The coefficients $\frac12,\frac12,-1$ are not all zero, so this is a non-trivial combination that vanishes. By the definition just stated, the existence of such a relation means the three functions fail to be linearly independent.

The board therefore concludes So linearly dependent. The final spoken emphasis is that dependence is the opposite of independence: instead of forcing all coefficients to be zero, one has exhibited at least one valid zero combination with nonzero coefficients. The clip ends by pivoting toward the next question, namely how one would prove that three functions are linearly independent.

The fragment opens with the general definition on the board: functions $y_1,\ldots,y_n$ are linearly independent on an interval if the equation $a_1y_1+\cdots+a_ny_n=0$ forces $a_1=\cdots=a_n=0$ . The speaker immediately pairs this definition with the concrete example $e^x,e^{2x},e^{3x}$ .

To test the example, the board writes the linear-combination equation $a_1e^x+a_2e^{2x}+a_3e^{3x}=0$ . The mathematical task is now to decide whether this identity can hold on an interval with some coefficients not all zero.

Because all three terms are exponentials with related powers, the speaker introduces the substitution $z=e^x$ . Under this change of variables, $e^{2x}$ behaves like $z^2$ and $e^{3x}$ like $z^3$ , so the equation becomes the polynomial relation $a_1z+a_2z^2+a_3z^3=0$ .

The argument then uses a standard fact about polynomials: a nonzero degree-three polynomial has at most three zeros. The board states this as “Degree 3 polynomials have $\leq 3$ zeros or $a_1=a_2=a_3=0$ .” The speaker contrasts the left side, which can vanish at only finitely many points unless it is the zero polynomial, with the right side, which is the zero function everywhere on the interval.

From this contrast, the only possible way for the original linear combination to equal the zero function on an interval is the trivial coefficient choice $a_1=a_2=a_3=0$ . Therefore the example set $\{e^x,e^{2x},e^{3x}\}$ is linearly independent. The speaker also remarks that this was an ad hoc method, useful in this specialized case but not a general systematic tool.

The board then clears the example and introduces a new topic, the Wronskian. The displayed notation is $W(t)=\begin{vmatrix} y_1&y_2&y_3\\ y_1'&y_2'&y_3'\\ y_1''&y_2''&y_3''\end{vmatrix}$ . Within this fragment, the Wronskian is only named and shown as a determinant of three functions and their first two derivatives; its theorem and application are not yet reached.

The segment opens with the Wronskian written on the board as a determinant. For three functions, the displayed formula is $W(t)=\begin{vmatrix} y_1&y_2&y_3\\ y_1'&y_2'&y_3'\\ y_1''&y_2''&y_3'' \end{vmatrix}$ . Each column belongs to one function: the first column contains $y_1,y_1',y_1''$ , the second contains $y_2,y_2',y_2''$ , and the third contains $y_3,y_3',y_3''$ . Thus the rows record successive derivative orders, while the columns separate the functions.

The lecturer then explains that the three-function picture is only a concrete version of a general construction. For $n$ functions $y_1,\ldots,y_n$ , the Wronskian is formed similarly: use an $n\times n$ determinant whose columns correspond to the functions and whose rows run from the zeroth derivatives up to the $(n-1)$ st derivatives. This prepares the later theorem, which is stated for a whole list of functions rather than just three.

To motivate the connection with linear independence, the lecture reduces to two functions and assumes dependence in the explicit form $y_2=ay_1$ . The board writes the hypothesis "Suppose $y_1$ and $y_2 = ay_1$ are linearly dependent." The lecturer describes $a$ as a non-zero multiple, although the displayed algebra itself only needs the proportionality relation. The next step is to substitute this relation into the two-function Wronskian and see what the determinant does.

After substitution, the Wronskian becomes $W(t)=\begin{vmatrix} y_1&ay_1\\ y_1'&ay_1' \end{vmatrix}$ . Expanding the $2\times 2$ determinant gives $y_1(ay_1')-(ay_1)y_1'$ . Since scalar multiplication commutes, both terms are $ay_1y_1'$ , so their difference is zero. The board records the simplification as $=y_1ay_1'-ay_1y_1'=0$ . This is the key visual and algebraic reason why dependence makes the determinant collapse.

From this example, the lecturer states the broader rule: if functions are linearly dependent, then their Wronskian is identically equal to zero. In determinant language, linear dependence among the functions produces linear dependence among the columns of the Wronskian matrix, and a determinant with dependent columns vanishes. The clip does not write out the full general proof, but the two-function calculation serves as the motivating instance.

The board then replaces the worked example with a boxed theorem. It reads: "For 'nice' functions $y_1,\ldots,y_n$ they are linearly independent if and only if $W(t)\neq 0$ at some point $t$ ." The lecturer emphasizes that this is an equivalence under an additional hypothesis on the functions. The condition is existential: it is enough that the Wronskian be nonzero at one point, not at every point. The Wronskian may vanish elsewhere without contradicting linear independence.

Finally, the lecturer addresses the word "nice." He says the theorem is true under certain conditions on the functions and begins identifying one such context: analytic functions. He starts to define an analytic function as one where there is a convergent Taylor series, but the clip ends before the definition and the full list of possible hypotheses are completed. Therefore the theorem’s practical use is clear, while the exact formal meaning of "nice" remains only partially specified in this segment.

The clip opens with a purple-bordered theorem box on the chalkboard: 'For nice functions $y_1$ , ..., $y_n$ they are linearly independent if and only if $W(t) \ne 0$ at some point t.' The speaker immediately grounds the vague word 'nice' by naming familiar analytic functions ( $e^x$ , sin x, cos x) that have convergent Taylor series, then narrows to the course setting: if $y_1$ , ..., $y_n$ solve a linear differential equation with continuous coefficients, they are sufficiently nice for the theorem to hold. This establishes both the statement and the scope in which it will be used.

Having secured applicability, the instructor restates the result as an operational test: take the n functions, assemble the Wronskian determinant $W(t)$ , and check whether it is nonzero at even a single point. Nonvanishing somewhere is enough to conclude linear independence under the theorem's hypotheses. This bridges the abstract iff statement to the concrete computation that follows.

The board clears and a new prompt appears: 'Are $e^t$ , te^t linearly independent?' The speaker explains the choice—this pair arises naturally for constant-coefficient linear ODEs with repeated roots—then flags a tempting shortcut error: although te^t is literally t multiplied by $e^t$ , the factor t is not a constant scalar, so this does not exhibit linear dependence. The example therefore motivates a clean Wronskian verification rather than visual inspection alone.

The general two-function Wronskian $W(t)$ = | $y_1 y_2$ ; $y_1$ ' $y_2$ ' | is written first. Substituting $y_1 = e^t$ and $y_2$ = te^t gives the matrix with top row ( $e^t$ , te^t). The bottom row requires derivatives: $y_1$ ' = $e^t$ directly, while $y_2$ ' uses the product rule to yield $e^t$ + te^t. With all four entries in place, the determinant is expanded as $e^t$ ( $e^t$ + te^t) − te^ $t\cdot e^t$ . Algebraic cancellation of the mixed terms leaves $W(t) = e^{2t}$ .

The decisive observation is appended on screen: $e^{2t} \ne 0$ . The speaker stresses that the Wronskian is not merely nonzero at one isolated point but is strictly positive for every real t, which is stronger than the theorem requires. Because a nonzero value exists (indeed everywhere), the criterion applies and the pair { $e^t$ , te^t} is certified linearly independent. The worked example thus closes the loop from theorem statement to practical verification.

With the computation finished, the instructor signals that the deeper motivation—why linear independence matters within the broader theory of differential equations—will be taken up in the next video, and ends with standard channel housekeeping (likes and comments). No further mathematics is introduced in this closing stretch.

Knowledge cards

Linear independence for two functions

The clip defines two functions $y_1$ and $y_2$ on an interval as linearly independent exactly when neither is a scalar multiple of the other. Equivalently, there is no constant $c$ such that $y_1 = c y_2$ or $y_2 = c y_1$ .

y_1 \text{ and } y_2 \text{ are linearly independent on an interval} \iff \nexists c \text{ such that } y_1 = c y_2 \text{ or } y_2 = c y_1

Linear dependence for two functions

By negating the displayed definition, two functions are linearly dependent on an interval when one is a scalar multiple of the other. The example $x^2$ and $2x^2$ shows this because $2x^2 = 2(x^2)$ .

y_1 \text{ and } y_2 \text{ are linearly dependent on an interval} \iff \exists c \text{ such that } y_1 = c y_2 \text{ or } y_2 = c y_1

Example: sin x and cos x

The video states that $\sin x$ and $\cos x$ are linearly independent because $\sin x$ is not a constant multiple of $\cos x$ . This is a direct application of the two-function definition.

\sin x \text{ and } \cos x \text{ are linearly independent}

Example: $x^2$ and $2x^2$

The pair $x^2$ and $2x^2$ is called linearly dependent because one function is exactly twice the other. The scalar-multiple relation is visible algebraically as $2x^2 = 2(x^2)$ .

2x^2 = 2(x^2)

Why three or more functions need a new idea

After the two-function case, the lecturer asks how to define linear independence for three or more functions. The clip signals that the simple pairwise scalar-multiple test must be replaced by a broader linear-combination viewpoint.

Vector motivation for linear combinations summing to zero

The closing animation uses three vectors to motivate the next definition. By rearranging and scaling the vectors into a closed loop returning to the origin, the video illustrates the question of whether a linear combination can equal zero.

c_1 v_1 + c_2 v_2 + c_3 v_3 = 0

Linear independence of functions

A family of functions $y_1,\ldots,y_n$ on an interval is linearly independent when the only linear combination that equals zero is the trivial one. The clip presents this as the direct function-space analogue of the vector definition.

y_1, \ldots, y_n \text{ are linearly independent on an interval if } a_1y_1 + \cdots + a_ny_n = 0 \implies a_1 = \cdots = a_n = 0

Trivial versus non-trivial combinations

Choosing all coefficients equal to zero always makes a linear combination vanish, so that case is called trivial. Dependence requires a non-trivial relation, meaning at least one coefficient is nonzero while the sum is still zero.

0v_1 + 0v_2 + 0v_3 = 0

Linear dependence as the opposite condition

The video defines dependence by negating independence: the objects are linearly dependent if there exists at least one zero linear combination whose coefficients are not all zero.

\exists (a_1,\ldots,a_n) \neq (0,\ldots,0) \text{ such that } a_1y_1 + \cdots + a_ny_n = 0

Hyperbolic cosine identity

The example relies on the standard identity expressing $\cosh x$ as the average of $e^x$ and $e^{-x}$ . This identity is what allows the lecturer to build an explicit dependence relation.

\cosh x = \frac{e^x + e^{-x}}{2}

Worked example: $e^x$ , $e^{-x}$ , $\cosh x$

Starting from $\cosh x = \frac{e^x+e^{-x}}{2}$ , the lecturer rearranges terms to obtain $\frac12 e^x+\frac12 e^{-x}-1\cdot\cosh x=0$ . Since the coefficients are not all zero, the three functions are linearly dependent.

\frac{1}{2}e^x + \frac{1}{2}e^{-x} - 1 \cdot \cosh x = 0

Linear independence of functions on an interval

Type: definition. A collection of functions $y_1,\ldots,y_n$ is linearly independent on an interval when the only linear combination that equals the zero function on that interval is the trivial one. The board states: if $a_1y_1+\cdots+a_ny_n=0$ , then $a_1=\cdots=a_n=0$ . The crucial point is that the equality is to the zero function on an interval, not merely equality at one point. Formula: $y_1, \ldots, y_n \text{ are linearly independent on an interval if } a_1y_1 + \cdots + a_ny_n = 0 \implies a_1 = \cdots = a_n = 0$ . Conditions: functions are considered on an interval; coefficients are scalars; the zero is the zero function. Prerequisites: basic notion of a function and linear combination. Related concepts: ad hoc independence tests, Wronskian. Time evidence: 0–114 seconds. To verify: the scalar field and exact interval are not explicitly named.

y_1, \ldots, y_n \text{ are linearly independent on an interval if } a_1y_1 + \cdots + a_ny_n = 0 \implies a_1 = \cdots = a_n = 0

Ad hoc method versus systematic tools

Type: method. The speaker calls the upcoming exponential argument an ad hoc method, meaning it works in a specialized case but not universally. This motivates the later introduction of the Wronskian as a more systematic device. Conditions: useful when the particular functions allow direct algebraic manipulation; not presented as a general algorithm for arbitrary families. Prerequisites: understanding of the definition of linear independence. Related concepts: substitution method, Wronskian. Time evidence: 10–114 seconds. To verify: none beyond the fragment ending before the systematic tool is explained.

Substitution $z=e^x$ turns exponentials into a polynomial

Type: method. For the example $e^x,e^{2x},e^{3x}$ , the video sets $z=e^x$ , so $e^{2x}$ is treated as $z^2$ and $e^{3x}$ as $z^3$ . The linear-combination equation $a_1e^x+a_2e^{2x}+a_3e^{3x}=0$ becomes $a_1z+a_2z^2+a_3z^3=0$ . This lets the speaker use facts about polynomial roots. Formula: $z=e^x,\; e^{2x}=z^2,\; e^{3x}=z^3,\; a_1e^x+a_2e^{2x}+a_3e^{3x}=0 \iff a_1z+a_2z^2+a_3z^3=0$ . Conditions: applies to this exponential family with integer multiples in the exponent. Prerequisites: laws of exponents, definition of linear independence. Related concepts: degree-three polynomial zeros. Time evidence: 28–114 seconds. To verify: the video does not separately discuss the range of $z$ beyond the substitution.

z=e^x,\quad e^{2x}=z^2,\quad e^{3x}=z^3,\quad a_1e^x+a_2e^{2x}+a_3e^{3x}=0 \iff a_1z+a_2z^2+a_3z^3=0

Degree-three polynomial zeros force trivial coefficients

Type: proposition. The speaker states that a degree-three polynomial has at most three roots, and the board writes: “Degree 3 polynomials have $\leq 3$ zeros or $a_1=a_2=a_3=0$ .” In the argument, the left side can vanish at only finitely many points unless it is the zero polynomial, while the right side is the zero function everywhere on the interval. Therefore the identity can hold only when all coefficients are zero. Statement: if $a_1z+a_2z^2+a_3z^3$ is not the zero polynomial, it has at most three zeros; matching the zero function on an interval forces $a_1=a_2=a_3=0$ . Conditions: polynomial interpretation in $z$ ; comparison with the zero function on an interval. Prerequisites: substitution method, notion of polynomial degree. Related concepts: linear independence of $e^x,e^{2x},e^{3x}$ . Time evidence: 50–114 seconds. To verify: the board wording compresses the usual zero-polynomial distinction into an “or” clause.

a_1z+a_2z^2+a_3z^3 \text{ has } \leq 3 \text{ zeros unless } a_1=a_2=a_3=0

Zero function is not the same as zero at one point

Type: misconception. The video explicitly warns that the right-hand side of the linear-combination equation is the zero function, meaning zero everywhere on the interval, not merely zero at one spot. This distinction is what makes the polynomial-root argument decisive. Misconception: thinking isolated zeros suffice for linear dependence. Clarification: the defining equation requires identity as the zero function on an interval. Prerequisites: definition of linear independence. Related concepts: polynomial zeros, ad hoc proof. Time evidence: 69–114 seconds. To verify: none significant.

Example conclusion: $e^x$ , $e^{2x}$ , $e^{3x}$ are linearly independent

Type: example. Problem: determine whether $e^x,e^{2x},e^{3x}$ are linearly independent on an interval. Method: set up $a_1e^x+a_2e^{2x}+a_3e^{3x}=0$ , substitute $z=e^x$ , obtain $a_1z+a_2z^2+a_3z^3=0$ , use the fact that a nonzero cubic has at most three zeros, and compare with the zero function. Answer: the only possibility is $a_1=a_2=a_3=0$ , so the set is linearly independent. Verification: this matches the definition because the only linear combination giving the zero function is trivial. Time evidence: 0–114 seconds. To verify: the interval is not explicitly named in the fragment.

a_1e^x+a_2e^{2x}+a_3e^{3x}=0 \implies a_1=a_2=a_3=0

Wronskian determinant introduced for three functions

Type: definition. At the end of the fragment, the board introduces the Wronskian as $W(t)=\begin{vmatrix} y_1&y_2&y_3\\ y_1'&y_2'&y_3'\\ y_1''&y_2''&y_3''\end{vmatrix}$ . It is presented as a new systematic tool after the ad hoc example. Conditions shown visually: three functions and their first two derivatives are arranged in a 3x3 determinant. Prerequisites: derivatives, determinants, linear independence concept. Related concepts: systematic test for linear independence. Time evidence: 114–120 seconds. To verify: the clip ends before the theorem relating $W(t)$ to linear independence is stated or proved.

W(t)=\begin{vmatrix} y_1 & y_2 & y_3 \\ y_1' & y_2' & y_3' \\ y_1'' & y_2'' & y_3'' \end{vmatrix}

Three-function Wronskian determinant

The Wronskian of three functions is the determinant of a matrix whose columns are the three functions and whose rows are successive derivatives. The displayed formula is $W(t)=\begin{vmatrix} y_1&y_2&y_3\\ y_1'&y_2'&y_3'\\ y_1''&y_2''&y_3'' \end{vmatrix}$ . The first row contains the functions themselves, the second row contains first derivatives, and the third row contains second derivatives.

W(t)=\begin{vmatrix} y_1&y_2&y_3\\ y_1'&y_2'&y_3'\\ y_1''&y_2''&y_3'' \end{vmatrix}

Wronskian for n functions

The same construction generalizes from three functions to any finite list $y_1,\ldots,y_n$ . For $n$ functions, the Wronskian is an $n\times n$ determinant using derivatives from order $0$ through order $n-1$ . Each function occupies one column, and each derivative order occupies one row.

W(y_1,\ldots,y_n)(t)=\det\left[y_j^{(i-1)}(t)\right]_{i,j=1}^n

Dependent two-function calculation

If two functions satisfy $y_2=ay_1$ , then the two-function Wronskian becomes $\begin{vmatrix} y_1&ay_1\\ y_1'&ay_1' \end{vmatrix}$ . Expanding gives $y_1ay_1'-ay_1y_1'$ , and the two terms cancel, so the Wronskian is identically zero. This example motivates the general rule that linear dependence forces the Wronskian to vanish.

\begin{vmatrix} y_1&ay_1\\ y_1'&ay_1' \end{vmatrix}=y_1ay_1'-ay_1y_1'=0

Linear dependence implies zero Wronskian

The lecturer states the general property that if functions are linearly dependent, then their Wronskian is identically equal to zero. The reason is that dependence among the functions produces dependence among the columns of the Wronskian matrix, and a determinant with dependent columns is zero.

y_1,\ldots,y_n\ \text{linearly dependent}\ \Rightarrow\ W(t)\equiv 0

Wronskian criterion for linear independence

For "nice" functions $y_1,\ldots,y_n$ , the boxed theorem says the functions are linearly independent if and only if their Wronskian is nonzero at some point $t$ . The nonzero condition is existential: the Wronskian may be zero at some points, but one point with $W(t)\neq 0$ is enough to conclude linear independence.

y_1,\ldots,y_n\ \text{linearly independent}\ \Longleftrightarrow\ \exists t\text{ such that }W(t)\neq 0

Meaning of “nice” and analytic functions

The theorem is not presented as unconditional for arbitrary functions. The board uses the phrase "nice functions," and the lecturer explains that one example of a suitable context is analytic functions. He begins defining an analytic function as one with a convergent Taylor series, but the clip ends before the full definition is completed.

Detailed learning notes

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

Symbols · 34

$y_1$

Clear evidence

Shown in the video

Evidence

Formula
Observation
On-screen definition uses $y_1$ in the phrase " $y_1$ and $y_2$ are linearly independent on an interval".

Symbol

$y_1$

Meaning

One of two functions being tested for linear independence on an interval.

Domain

A function defined on an interval; the specific interval is not named in this clip.

$y_2$

Clear evidence

Shown in the video

Evidence

Formula
Observation
On-screen definition uses $y_2$ in the phrase " $y_1$ and $y_2$ are linearly independent on an interval".

Symbol

$y_2$

Meaning

The second of two functions being tested for linear independence on an interval.

Domain

A function defined on an interval; the specific interval is not named in this clip.

x

Clear evidence

Shown in the video

Evidence

Formula
Observation
Examples display $\sin x$ , $\cos x$ , $x^2$ , and $2x^2$ .

Symbol

Meaning

Independent variable used in the example functions.

Domain

The examples do not explicitly state a domain or interval.

$\text{scalar multiple}$

Clear evidence

Shown in the video

Evidence

Formula
Observation
The displayed definition says two functions are linearly independent if they are "not a scalar multiple of each other".
Audio
Observation
The speaker explains that one function is not just a number times the other.

Symbol

$\text{scalar multiple}$

Meaning

A constant multiple relating two functions, as in one function being a fixed number times the other.

Domain

Used here for comparing two functions on an interval.

$y_1$ , $\ldots$ , $y_n$

Clear evidence

Shown in the video

Evidence

Formula
Observation
The displayed definition uses $y_1, \ldots, y_n$ as the objects being tested for linear independence on an interval.
Audio
Observation
The speaker says to imagine $y_1$ down to $y_n$ are functions and refers to them as $n$ functions.

Symbol

$y_1$ , $\ldots$ , $y_n$

Meaning

A finite collection of functions under discussion in the definition of linear independence.

Domain

Functions defined on an interval; the specific interval is not named in this clip.

$a_1$ , $\ldots$ , $a_n$

Clear evidence

Shown in the video

Evidence

Formula
Observation
The displayed definition uses $a_1, \ldots, a_n$ in the linear combination $a_1y_1 + \cdots + a_ny_n = 0$ and in the conclusion $a_1 = \cdots = a_n = 0$ .
Audio
Observation
The speaker describes these as coefficients in a linear combination that adds up to zero.

Symbol

$a_1$ , $\ldots$ , $a_n$

Meaning

Scalar coefficients multiplying the functions in a linear combination.

Domain

Scalars used in the linear combination; the field is not explicitly stated in the clip.

0

Clear evidence

Shown in the video

Evidence

Formula
Observation
The displayed definition states $a_1y_1 + \cdots + a_ny_n = 0$ .
Audio
Observation
The speaker repeatedly says “adds up to zero” when discussing linear combinations equaling zero.

Symbol

Meaning

The zero result of the linear combination of functions; in function contexts this denotes the zero function on the interval.

Domain

Appears as the right-hand side of the linear combination equation on an interval.

$\cosh x$

Clear evidence

Shown in the video

Evidence

Formula
Observation
The example line displays $\cosh x$ among the three functions.
Formula
Observation
The displayed identity is $\cosh x = \frac{e^x + e^{-x}}{2}$ .
Audio
Observation
The speaker names the hyperbolic cosine of $x$ and states it equals $e^x + e^{-x}$ divided by two.

Symbol

$\cosh x$

Meaning

The hyperbolic cosine function, used in the example and rewritten using exponentials.

Domain

Defined here by the displayed identity $\cosh x = \frac{e^x + e^{-x}}{2}$ .

$e^x$

Clear evidence

Shown in the video

Evidence

Formula
Observation
The example line displays $e^x$ as one of the three functions.
Formula
Observation
The identity for $\cosh x$ contains $e^x$ in the numerator.
Audio
Observation
The speaker names $e$ to the $x$ as one of the three functions.

Symbol

$e^x$

Meaning

The exponential function with base $e$ , used as one of the example functions.

Domain

Real-valued exponential function of $x$ ; the variable domain is not separately specified in the clip.

$e^{-x}$

Clear evidence

Shown in the video

Evidence

Formula
Observation
The example line displays $e^{-x}$ as one of the three functions.
Formula
Observation
The identity for $\cosh x$ contains $e^{-x}$ in the numerator.
Audio
Observation
The speaker names $e$ to the minus $x$ as one of the three functions.

Symbol

$e^{-x}$

Meaning

The exponential function with exponent $-x$ , used as one of the example functions.

Domain

Real-valued exponential function of $x$ ; the variable domain is not separately specified in the clip.

$\frac{1}{2}$ , $\frac{1}{2}$ , -1

Clear evidence

Shown in the video

Evidence

Formula
Observation
The displayed relation is $\frac{1}{2}e^x + \frac{1}{2}e^{-x} - 1 \cdot \cosh x = 0$ .
Audio
Observation
The speaker says half of $e^x$ plus half of $e^{-x}$ and then minus the hyperbolic cosine of $x$ adds up to zero.

Symbol

$\frac{1}{2}$ , $\frac{1}{2}$ , -1

Meaning

The non-zero coefficients used in the example linear combination showing dependence among $e^x$ , $e^{-x}$ , and $\cosh x$ .

Domain

Scalar coefficients in the displayed linear combination.

$y_1$ , $\ldots$ , $y_n$

Clear evidence

Shown in the video

Evidence

Formula
Observation
The board shows the definition with functions written as $y_1$ , ..., $y_n$ .

Symbol

$y_1$ , $\ldots$ , $y_n$

Meaning

A finite collection of functions being tested for linear independence on an interval.

Domain

Functions defined on an interval; the displayed example specializes to exponential functions.

Knowledge points · 21

Definition of linear independence for two functions

Clear evidence

Shown in the video

Evidence

Formula
Observation
Purple-bordered text box reads: "Definition: $y_1$ and $y_2$ are linearly independent on an interval if they are not a scalar multiple of each other".
Audio
Observation
The speaker states that in two dimensions, with two different functions, linear independence means one is not a scalar multiple of the other.

Definition

Explanation

For two functions $y_1$ and $y_2$ on an interval, the video defines them as linearly independent exactly when neither is a scalar multiple of the other. The speaker contrasts this with the linear-algebra notion for vectors and says the same idea will have analogues for functions.

Formula

y_1 \text{ and } y_2 \text{ are linearly independent on an interval} \iff \nexists c \text{ such that } y_1 = c y_2 \text{ or } y_2 = c y_1

Conditions

Applies to two functions.
The functions are considered on an interval.
The interval itself is not specified in this clip.

Linear dependence for two functions as the negation of the definition

Clear evidence

Derived from the video

Evidence

Formula
Observation
The displayed definition is phrased by negation: independent if they are not a scalar multiple of each other.
Audio
Observation
The speaker gives $x^2$ and $2x^2$ as dependent because one is twice the other.

Definition

Explanation

From the displayed definition, two functions are linearly dependent on an interval when one is a scalar multiple of the other. The example $x^2$ and $2x^2$ illustrates this directly.

Formula

y_1 \text{ and } y_2 \text{ are linearly dependent on an interval} \iff \exists c \text{ such that } y_1 = c y_2 \text{ or } y_2 = c y_1

Conditions

Derived from the video's two-function definition.
Applies on the same interval as the functions being compared.

Prerequisites

Definition of linear independence for two functions

Functions versus vectors analogy for linear independence

Clear evidence

Shown in the video

Evidence

Audio
Observation
The speaker says viewers may know linear independence from linear algebra for vectors, but here the focus is functions, and many ideas have strong analogues in linear algebra.

Method

Explanation

The video introduces the topic by saying that although linear independence is often discussed for sets of vectors in linear algebra, the same style of idea can be applied to sets of functions. This analogy motivates the later vector picture used for three or more objects.

Formula

Conditions

Conceptual comparison only.
The clip does not yet give the full formal definition for three or more functions.

Definition of linear independence for functions

Clear evidence

Shown in the video

Evidence

Formula
Observation
A purple-bordered box appears with the text: Definition: $y_1, ..., y_n$ are linearly independent on an interval if $a_1y_1 + ... + a_ny_n = 0$ implies $a_1 = ... = a_n = 0$ .
Audio
Observation
The speaker says the claim is that the functions are linearly independent if the only way to take a linear combination that adds up to zero is the trivial one where all coefficients are zero.

Definition

Explanation

The clip defines a finite family of functions $y_1,\ldots,y_n$ as linearly independent on an interval precisely when every linear combination equal to zero forces all coefficients to be zero. The speaker emphasizes that the only allowed zero-sum combination is the trivial one.

Formula

y_1, \ldots, y_n \text{ are linearly independent on an interval if } a_1y_1 + \cdots + a_ny_n = 0 \implies a_1 = \cdots = a_n = 0

Conditions

The objects $y_1,\ldots,y_n$ are functions.
The statement is made on an interval.
The implication must hold for coefficients in the linear combination equaling zero.

Prerequisites

Trivial versus non-trivial linear combinations

Trivial versus non-trivial linear combinations

Clear evidence

Shown in the video

Evidence

Audio
Observation
The speaker says there is always a trivial way, zero times the first vector plus zero times the second vector plus zero times the third vector, and asks whether there is a non-trivial way to add up to zero.
Audio
Observation
Later he repeats that linear independence means the only linear combination adding to zero is the trivial one where all coefficients are zero.

Definition

Explanation

The video distinguishes the always-available trivial combination, in which every coefficient is zero, from a non-trivial combination, in which at least one coefficient is nonzero. This distinction is used first for vectors and then transferred to functions.

Formula

0v_1 + 0v_2 + 0v_3 = 0

Conditions

The displayed verbal example uses three vectors.
A non-trivial combination means not all coefficients are zero.

Linear dependence as existence of a non-trivial zero combination

Clear evidence

Shown in the video

Evidence

Formula
Observation
The board displays the sentence So linearly dependent after the example relation.
Audio
Observation
The speaker says this tells us that these are linearly dependent, which is the opposite of linearly independent, and explains that there is a non-trivial way with non-zero coefficients to add them up to zero.

Definition

Explanation

In this clip, linear dependence is presented as the negation of linear independence: the functions are dependent if there exists at least one zero-sum linear combination whose coefficients are not all zero.

Formula

\exists (a_1,\ldots,a_n) \neq (0,\ldots,0) \text{ such that } a_1y_1 + \cdots + a_ny_n = 0

Conditions

At least one coefficient must be nonzero.
The linear combination must equal zero on the interval under consideration.

Prerequisites

Definition of linear independence for functions
Trivial versus non-trivial linear combinations

Hyperbolic cosine written using exponentials

Clear evidence

Shown in the video

Evidence

Formula
Observation
The board writes $\cosh x = \frac{e^x + e^{-x}}{2}$ next to the example functions.
Audio
Observation
The speaker says he chose hyperbolic cosine because it was equal to $e^x + e^{-x}$ divided by two.

Formula

Explanation

The clip uses the standard identity expressing $\cosh x$ as the average of $e^x$ and $e^{-x}$ . This identity is the key algebraic fact that produces the explicit dependence relation among the three example functions.

Formula

\cosh x = \frac{e^x + e^{-x}}{2}

Conditions

Used as an identity relating the hyperbolic cosine function to exponential functions.

Definition of linear independence of functions on an interval

Clear evidence

Shown in the video

Evidence

Formula
Observation
Definition box: $y_1$ , ..., $y_n$ are linearly independent on an interval if $a_1y_1$ + ... + a_ny_n = 0 implies $a_1$ = ... = $a_n = 0$ .
Audio
Observation
The speaker frames the example by asking whether some linear combination can add up to zero.

Uncertainties

The scalar field for the coefficients is not stated explicitly.

Definition

Explanation

The video defines a set of functions $y_1$ , $\ldots$ , $y_n$ as linearly independent on an interval when the only way a linear combination of them can equal the zero function on that interval is for every coefficient to be zero. In symbols, if $a_1y_1+\cdots+a_ny_n=0$ on the interval, then $a_1=\cdots=a_n=0$ . The key distinction is that the equality is meant as a function identity on an interval, not merely equality at one point.

Formula

y_1, \ldots, y_n \text{ are linearly independent on an interval if } a_1y_1 + \cdots + a_ny_n = 0 \implies a_1 = \cdots = a_n = 0

Conditions

The functions are considered on an interval.
The equation is interpreted as the zero function on that interval.
The coefficients must all be zero for linear independence.

Ad hoc method for testing linear independence

Clear evidence

Shown in the video

Evidence

Audio
Observation
The speaker says new tools will be developed, but sometimes ad hoc methods can be used.
Audio
Observation
He explains, "Ad hoc means it doesn't work always. It's going to work in this sort of specialized case."

Method

Explanation

Before introducing the Wronskian, the video demonstrates an ad hoc method: directly analyze a possible linear combination of the given functions and show that it can vanish identically only in the trivial case. The speaker emphasizes that this approach is specialized and does not replace a systematic tool for arbitrary function sets.

Formula

Conditions

Useful when the particular form of the functions allows direct algebraic manipulation.
Not presented as a universal method for all function families.

Prerequisites

Definition of linear independence of functions on an interval

Change of variables turning exponentials into powers

Clear evidence

Shown in the video

Evidence

Audio
Observation
The speaker says, "What if I said z was e to the x? So if z was e to the x, a change of variables."
Formula
Observation
The board changes from $a_1e^x + a_2e^{2x} + a_3e^{3x}=0$ to $a_1z + a_2z^2 + a_3z^3=0$ .

Method

Explanation

For the example functions $e^x,e^{2x},e^{3x}$ , the video sets $z=e^x$ . Then $e^{2x}$ is treated like $z^2$ and $e^{3x}$ like $z^3$ , so the linear-combination equation becomes the polynomial equation $a_1z+a_2z^2+a_3z^3=0$ . This converts a question about exponential functions into a question about roots of a polynomial.

Formula

z=e^x,\quad e^{2x}=z^2,\quad e^{3x}=z^3,\quad a_1e^x+a_2e^{2x}+a_3e^{3x}=0 \iff a_1z+a_2z^2+a_3z^3=0

Conditions

Applies to the displayed exponential family with integer multiples in the exponent.
The substitution is used to analyze where the linear combination can vanish.

Prerequisites

Definition of linear independence of functions on an interval
Ad hoc method for testing linear independence

Zero function versus being zero at isolated points

Clear evidence

Shown in the video

Evidence

Audio
Observation
The speaker says the right-hand side is the zero function, not zero at one spot, but zero everywhere.

Definition

Explanation

The video stresses that the right-hand side of the linear-combination equation is the zero function: it must be zero everywhere on the interval. This is different from a nonzero polynomial expression that happens to be zero at one point or at finitely many points. The argument depends on this global-versus-local distinction.

Formula

Conditions

The equation must hold on an interval as an identity.
Isolated zeros are not enough to satisfy the linear-dependence condition.

Prerequisites

Definition of linear independence of functions on an interval

Introduction of the Wronskian notation

Clear evidence

Shown in the video

Evidence

Formula
Observation
The board title changes to The Wronskian and displays $W(t)$ as a 3x3 determinant.
Audio
Observation
The speaker says, "we turn to a new piece of mathematics called the Wronskian" and begins, "Imagine I have three different functions, the Wronskian..."

Uncertainties

The clip ends before the Wronskian’s definition is completed verbally or its theorem is stated.
No criterion connecting $W(t)$ to linear independence is shown within this fragment.

Definition

Explanation

At the end of the fragment, the video introduces the Wronskian as a determinant built from three functions and their first two derivatives. The displayed notation is $W(t)=\begin{vmatrix} y_1&y_2&y_3\\ y_1'&y_2'&y_3'\\ y_1''&y_2''&y_3''\end{vmatrix}$ . The fragment only names and displays the object; it does not yet explain how to use it.

Formula

W(t)=\begin{vmatrix} y_1 & y_2 & y_3 \\ y_1' & y_2' & y_3' \\ y_1'' & y_2'' & y_3'' \end{vmatrix}

Conditions

Displayed for three functions.
The functions must have first and second derivatives for the displayed determinant to make sense.
The video does not state further hypotheses or conclusions in this fragment.

Prerequisites

Definition of linear independence of functions on an interval

Claims and conditions · 11

$\sin x$ and $\cos x$ are linearly independent

Clear evidence

Shown in the video

Evidence

Formula
Observation
On-screen example: "Ex: $\sin x$ and $\cos x$ are linearly independent".
Audio
Observation
The speaker says sine and cosine are linearly independent because sine is not just a number times cosine.

Proposition

Statement

The functions $\sin x$ and $\cos x$ are linearly independent because $\sin x$ is not a scalar multiple of $\cos x$ .

Hypotheses

Use the two-function definition shown earlier in the clip.
The example is stated without naming a specific interval.

Quantifiers

A concrete pair of functions is asserted to satisfy the definition.

$x^2$ and $2x^2$ are linearly dependent

Clear evidence

Shown in the video

Evidence

Formula
Observation
On-screen example: "Ex: $x^2$ and $2x^2$ are linearly dependent".
Audio
Observation
The speaker says they are dependent because one is just twice the other.

Proposition

Statement

The functions $x^2$ and $2x^2$ are linearly dependent because $2x^2 = 2(x^2)$ .

Hypotheses

Use the two-function definition shown earlier in the clip.
The example is stated without naming a specific interval.

Quantifiers

A concrete pair of functions is asserted to fail linear independence.

The two-function scalar-multiple test does not directly answer the case of three or more functions

Clear evidence

Shown in the video

Evidence

Audio
Observation
The speaker asks how to make an analogous concept if you have three or more different functions.

Proposition

Statement

For three or more functions, the video indicates that a new analogous notion of linear independence is needed beyond the simple pairwise scalar-multiple test.

Hypotheses

The clip has already defined independence for two functions.
The speaker is motivating the next step rather than stating a theorem.

Quantifiers

Concerns any collection of three or more functions.

Three vectors in the opening diagram are linearly dependent

Approximate timing

Shown in the video

Evidence

Audio
Observation
The speaker says these three vectors can be added up with stretching factors so that it equals zero, and therefore they are what we call linearly dependent.
Diagram
Observation
A coordinate-style diagram shows three colored arrows forming a closed triangular arrangement.

Uncertainties

The exact vector labels and coordinates are not shown, so the precise stretching factors are not recoverable from the visible diagram alone.

Proposition

Statement

The three vectors shown in the opening diagram are linearly dependent because there is a non-trivial linear combination of them that equals zero.

Hypotheses

There are three vectors displayed.
They can be combined with stretching factors to sum to zero.

Quantifiers

Existential: there is a way to add them with stretching factors so the result is zero.

The functions $e^x$ , $e^{-x}$ , and $\cosh x$ are linearly dependent

Clear evidence

Shown in the video

Evidence

Formula
Observation
The board displays Then $\frac{1}{2}e^x + \frac{1}{2}e^{-x} - 1 \cdot \cosh x = 0$ followed by So linearly dependent.
Audio
Observation
The speaker says this adds up to zero and that tells us these are linearly dependent.

Proposition

Statement

The three functions $e^x$ , $e^{-x}$ , and $\cosh x$ are linearly dependent because the non-trivial combination $\frac{1}{2}e^x + \frac{1}{2}e^{-x} - 1\cdot \cosh x$ equals zero.

Hypotheses

The three functions are considered together.
The identity $\cosh x = \frac{e^x + e^{-x}}{2}$ is available.

Quantifiers

Existential: there exist coefficients $\frac12,\frac12,-1$ , not all zero, giving a zero linear combination.

A degree-three polynomial has at most three zeros unless it is the zero polynomial

Clear evidence

Shown in the video

Evidence

Audio
Observation
The speaker says, "If you have a degree three polynomial... there are at most three roots of this. There's at most three zeros."
Formula
Observation
The board states: Degree 3 polynomials have ≤3 zeros or $a_1 = a_2 = a_3 = 0$ .

Uncertainties

The board wording uses an "or" clause; mathematically the intended role is that a nonzero degree-three polynomial has at most three zeros, while the zero polynomial corresponds to all coefficients being zero.
The video does not explicitly mention multiplicity or the fundamental theorem of algebra.

Proposition

Statement

For the displayed polynomial $a_1z+a_2z^2+a_3z^3$ , if it is not the zero polynomial, then it has at most three zeros; to match the zero function on an interval, the coefficients must satisfy $a_1=a_2=a_3=0$ .

Hypotheses

The expression is regarded as a polynomial in z.
The relevant comparison is with the zero function on an interval, not merely at isolated points.

Quantifiers

The statement concerns zeros of the polynomial and equality to the zero function on an interval; the exact quantifier wording is not fully formalized in the video.

The functions $e^x$ , $e^{2x}$ , $e^{3x}$ are linearly independent

Clear evidence

Shown in the video

Evidence

Audio
Observation
The speaker concludes, "And so indeed this is a linearly independent set."
Formula
Observation
The board has reduced the problem to a polynomial and states the coefficient condition $a_1=a_2=a_3=0$ .

Uncertainties

The interval on which independence is asserted is not explicitly named in the fragment.

Proposition

Statement

The set $\{e^x,e^{2x},e^{3x}\}$ is linearly independent on the interval under discussion because the only linear combination that equals the zero function is the trivial one with $a_1=a_2=a_3=0$ .

Hypotheses

The functions are considered on an interval.
The equation $a_1e^x+a_2e^{2x}+a_3e^{3x}=0$ is required to hold as the zero function on that interval.

Quantifiers

For all coefficients $a_1$ , $a_2$ , $a_3$ , if the linear combination is the zero function on the interval, then all coefficients are zero.

If functions are linearly dependent, then their Wronskian is identically zero

Clear evidence

Shown in the video

Evidence

Audio
Observation
The lecturer says the general property is true that if you have linearly dependent functions, the Wronskian is going to be identically equal to zero.
Formula
Observation
The preceding two-function calculation shows $W(t)=y_1ay_1'-ay_1y_1'=0$ under $y_2=ay_1$ .

Uncertainties

The general proof beyond the two-function example is not shown in the clip.

Proposition

Statement

If $y_1,\ldots,y_n$ are linearly dependent and sufficiently differentiable to form the Wronskian, then $W(t)\equiv 0$ .

Hypotheses

The functions $y_1,\ldots,y_n$ are linearly dependent.
The functions have enough derivatives to form the Wronskian.

Quantifiers

For a finite list of functions, linear dependence implies the Wronskian vanishes identically.

Wronskian equivalence theorem for nice functions

Clear evidence

Shown in the video

Evidence

Formula
Observation
The displayed theorem box states: "For 'nice' functions $y_1,\ldots,y_n$ they are linearly independent if and only if $W(t)\neq 0$ at some point $t$ ."
Audio
Observation
The lecturer says that as long as the functions are nice enough, both directions are true, and then explains that the Wronskian could be zero at some points but if there is one spot where it is non-zero, then the functions are linearly independent.

Uncertainties

The term "nice" is informal in the clip; the lecturer only begins to identify analytic functions as one sufficient context before the clip ends.

Theorem

Statement

For "nice" functions $y_1,\ldots,y_n$ , the functions are linearly independent if and only if there exists some point $t$ such that $W(t)\neq 0$ .

Hypotheses

The functions $y_1,\ldots,y_n$ are "nice" in the sense required by the theorem.
The Wronskian $W(t)$ is defined for these functions.

Quantifiers

There exists at least one point $t$ at which $W(t)\neq 0$ ; the equivalence is between this existential nonzero condition and linear independence.

Analytic functions are one context where the theorem works

Approximate timing

Shown in the video

Evidence

Audio
Observation
The lecturer says one example of where this works is if the functions are called analytic, and begins defining an analytic function as one where there is a convergent Taylor series.

Uncertainties

The clip ends before the lecturer completes the definition or states the full theorem under analyticity.

Proposition

Statement

If the functions are analytic, then they are presented as an example of the "nice" functions for which the Wronskian linear-independence equivalence applies.

Hypotheses

The functions $y_1,\ldots,y_n$ are analytic.
The notion of analytic is the one the lecturer is beginning to define via convergent Taylor series.

Quantifiers

The statement is introduced as an example class satisfying the theorem's hypothesis; the full formal quantification is not completed in the clip.

Wronskian criterion for linear independence of 'nice' functions

Clear evidence

Shown in the video

Evidence

Caption evidence
Observation
Purple-bordered box: For 'nice' functions $y_1$ , ..., $y_n$ they are linearly independent if and only if $W(t) \ne 0$ at some point t.
Audio
Observation
Speaker explains that in a differential equations course, if $y_1$ ,..., $y_n$ are solutions to a linear differential equation with continuous coefficients, then that will be sufficiently nice for the conditions of this theorem.

Uncertainties

The exact mathematical definition of 'nice' is not formalized on screen; the speaker only gives examples (convergent Taylor series) and the DE-context sufficient condition.

Theorem

Statement

For 'nice' functions $y_1$ , ..., $y_n$ , they are linearly independent if and only if $W(t) \ne 0$ at some point t.

Hypotheses

The functions $y_1$ , ..., $y_n$ are 'nice' (the video does not give a precise definition; the speaker notes that solutions of a linear differential equation with continuous coefficients qualify).

Quantifiers

For all such collections of n nice functions; existence quantifier on the point t (there exists some t with $W(t) \ne 0$ ).

Derivations and proofs · 6

Deriving the dependent case from the displayed definition

Clear evidence

Derived from the video

Evidence

Formula
Observation
The displayed definition states independence by saying the functions are not a scalar multiple of each other.
Audio
Observation
The dependent example $x^2$ and $2x^2$ is justified by saying one is twice the other.

Intuitive argument

Steps

Expression
$y_1 \text{ and } y_2 \text{ are linearly independent on an interval} \iff \text{they are not a scalar multiple of each other}$
Explanation
Start from the definition shown on screen.
Justification
Directly observed in the purple definition box.
Shown in the video
Expression
$\neg(\text{not a scalar multiple of each other}) \iff \text{one is a scalar multiple of the other}$
Explanation
Negating the definition gives the dependent case.
Justification
Logical negation of the displayed definition.
Derived from the video
Expression
$2x^2 = 2(x^2)$
Explanation
The example shows a constant multiple relation between the two functions.
Justification
Algebraic identity visible from the example functions.
Shown in the video

Conclusion

Two functions are linearly dependent on an interval precisely when one is a scalar multiple of the other; $x^2$ and $2x^2$ illustrate this.

Visual motivation for linear combinations summing to zero

Clear evidence

Shown in the video

Evidence

Audio
Observation
The speaker says he can take a linear combination of the vectors, meaning adding them together possibly with scaling factors, and asks whether they can add up to zero.
Animation
Observation
Three colored arrows are rearranged into a closed triangular path returning to the origin.

Uncertainties

The exact numerical scaling factors are not written on screen.
The speaker says the yellow vector was multiplied by minus one and stretched a little, but no formula is displayed.

Visual argument

Steps

Expression
$c_1 v_1 + c_2 v_2 + c_3 v_3$
Explanation
Introduce a linear combination of three vectors with scaling factors.
Justification
Stated verbally by the speaker as adding vectors together possibly with scaling factors.
Shown in the video
Expression
$c_1 v_1 + c_2 v_2 + c_3 v_3 = 0$
Explanation
Ask whether some choice of scaling factors can make the combination equal the zero vector.
Justification
The speaker explicitly poses this question.
Shown in the video
Expression
$\text{rearranged arrows form a closed loop back to the origin}$
Explanation
The animation shows the vectors placed head-to-tail so the path closes.
Justification
Observed in the visual sequence after the vectors are moved and one is reversed/stretched.
Shown in the video

Conclusion

The clip visually motivates linear independence for three or more objects by asking whether a nontrivial linear combination can sum to zero, illustrated by a closed vector loop.

Deriving a dependence relation among $e^x$ , $e^{-x}$ , and $\cosh x$

Clear evidence

Shown in the video

Evidence

Formula
Observation
The board first shows $\cosh x = \frac{e^x + e^{-x}}{2}$ and then shows $\frac{1}{2}e^x + \frac{1}{2}e^{-x} - 1 \cdot \cosh x = 0$ .
Audio
Observation
The speaker explains that because $\cosh x$ equals those exponentials divided by two, half of $e^x$ plus half of $e^{-x}$ minus $\cosh x$ adds up to zero.

Proof

Steps

Expression
$\cosh x = \frac{e^x + e^{-x}}{2}$
Explanation
Start from the displayed identity for hyperbolic cosine in terms of exponentials.
Justification
This identity is written directly on the board and spoken by the lecturer.
Shown in the video
Expression
$\frac{1}{2}e^x + \frac{1}{2}e^{-x} = \cosh x$
Explanation
Rewrite the same identity by distributing the division by two across the numerator.
Justification
Algebraic rearrangement of the displayed formula.
Derived from the video
Expression
$\frac{1}{2}e^x + \frac{1}{2}e^{-x} - 1 \cdot \cosh x = 0$
Explanation
Move $\cosh x$ to the left-hand side to obtain a linear combination equal to zero.
Justification
Subtracting the same quantity from both sides preserves equality.
Shown in the video
Expression
$\left(\frac{1}{2},\frac{1}{2},-1\right) \neq (0,0,0)$
Explanation
Observe that the coefficients are not all zero.
Justification
Direct inspection of the displayed coefficients.
Derived from the video

Conclusion

Because a non-trivial linear combination of $e^x$ , $e^{-x}$ , and $\cosh x$ equals zero, the three functions are linearly dependent.

Ad hoc proof that $e^x$ , $e^{2x}$ , $e^{3x}$ are linearly independent

Clear evidence

Shown in the video

Evidence

Formula
Observation
The board successively shows $a_1e^x+a_2e^{2x}+a_3e^{3x}=0$ , then $a_1z+a_2z^2+a_3z^3=0$ , then the degree-three zero statement.
Audio
Observation
The speaker narrates the substitution, polynomial-root argument, zero-function distinction, and final conclusion.

Uncertainties

The proof is presented informally and relies on the standard fact about polynomial zeros without naming a theorem.
The interval and scalar field are not explicitly specified.

Proof

Steps

Expression
$a_1e^x+a_2e^{2x}+a_3e^{3x}=0$
Explanation
Begin with a general linear combination of the three example functions and ask when it can equal the zero function.
Justification
This is exactly the setup from the displayed definition of linear independence.
Shown in the video
Expression
$z=e^x$
Explanation
Introduce a change of variables by setting z equal to $e^x$ .
Justification
The speaker explicitly proposes this substitution to exploit the common exponential base.
Shown in the video
Expression
$a_1z+a_2z^2+a_3z^3=0$
Explanation
Rewrite the equation as a polynomial equation in z, using $e^{2x}=z^2$ and $e^{3x}=z^3$ .
Justification
Algebraic substitution based on $z=e^x$ and laws of exponents.
Shown in the video
Expression
$\text{degree }3\text{ polynomial}$
Explanation
Identify the rewritten expression as a degree-three polynomial because $z^3$ is the largest power present.
Justification
The speaker points to $z^3$ as the largest degree in the displayed polynomial.
Shown in the video
Expression
$\text{at most three zeros unless }a_1=a_2=a_3=0$
Explanation
Use the fact that a nonzero degree-three polynomial can have at most three zeros, whereas the right-hand side is the zero function, zero everywhere on the interval.
Justification
Standard polynomial-root fact invoked by the speaker; the video contrasts isolated zeros with the zero function.
Shown in the video
Expression
$a_1=a_2=a_3=0$
Explanation
Therefore the only way the original linear combination can be the zero function on an interval is for all coefficients to vanish.
Justification
Conclusion from the polynomial argument and the definition of linear independence.
Shown in the video
Expression
$\{e^x,e^{2x},e^{3x}\}\text{ is linearly independent}$
Explanation
Since the only trivial linear combination gives the zero function, the three functions form a linearly independent set.
Justification
Direct application of the displayed definition of linear independence.
Shown in the video

Conclusion

The functions $e^x$ , $e^{2x}$ , and $e^{3x}$ are linearly independent on the interval because any linear combination equal to the zero function forces $a_1=a_2=a_3=0$ .

Derivation that dependent two functions have zero Wronskian

Clear evidence

Shown in the video

Evidence

Formula
Observation
The board displays $W(t)=\begin{vmatrix} y_1&ay_1\\ y_1'&ay_1' \end{vmatrix}=y_1ay_1'-ay_1y_1'=0$ .
Audio
Observation
The lecturer says to take the Wronskian of $y_1$ and $y_1'$ , with $ay_1$ as $y_2$ and $ay_1'$ as the derivative of $y_2$ , then take the determinant and observe that it cancels to zero.

Proof

Steps

Expression
$y_2=ay_1$
Explanation
Assume the two functions are linearly dependent in the simple form used on the board.
Justification
Stated hypothesis: "Suppose $y_1$ and $y_2=ay_1$ are linearly dependent."
Shown in the video
Expression
$W(t)=\begin{vmatrix} y_1&ay_1\\ y_1'&ay_1' \end{vmatrix}$
Explanation
Substitute $y_2=ay_1$ and $y_2'=ay_1'$ into the two-function Wronskian.
Justification
Definition of the two-function Wronskian and the derivative rule for a constant multiple.
Shown in the video
Expression
$W(t)=y_1(ay_1')-(ay_1)y_1'$
Explanation
Expand the $2\times 2$ determinant along the usual diagonal formula.
Justification
Determinant formula for a $2\times 2$ matrix.
Shown in the video
Expression
$W(t)=ay_1y_1'-ay_1y_1'=0$
Explanation
The two terms are identical up to commutativity of scalar multiplication, so they cancel.
Justification
Algebraic simplification.
Shown in the video

Conclusion

For two functions satisfying $y_2=ay_1$ , the Wronskian is identically zero; the lecturer then states the corresponding general property for linearly dependent functions.

Computation of the Wronskian for { $e^t$ , te^t}

Clear evidence

Shown in the video

Evidence

Formula
Observation
Sequential board lines: $W(t)$ =|y1 y2; y1' y2'|; then =| $e^t$ te^t; $e^t e^t$ +te^t|; then = $e^t$ ( $e^t$ +te^t)-te^ $t e^t$ ; then = $e^{2t}$ ; then ≠0.
Audio
Observation
Speaker narrates each substitution and the simplification to $e^{2t}$ , then emphasizes it is never zero.

Proof

Steps

Expression
$W(t) = \begin{vmatrix} y_1 & y_2 \\ y_1' & y_2' \end{vmatrix}$
Explanation
Start from the general 2-function Wronskian definition shown on the board.
Justification
Definition of the Wronskian (ki-wronskian-def).
Shown in the video
Expression
$= \begin{vmatrix} e^t & te^t \\ e^t & e^t + te^t \end{vmatrix}$
Explanation
Substitute $y_1=e^t$ , $y_2$ =te^t, $y_1$ '= $e^t$ , and $y_2$ '= $e^t$ +te^t into the matrix.
Justification
Given functions of the example plus the product-rule derivative computed in ki-product-rule-derivative.
Shown in the video
Expression
$= e^t(e^t + te^t) - te^t \cdot e^t$
Explanation
Evaluate the $2\times 2$ determinant as ad − bc.
Justification
Standard formula for the determinant of $a 2\times 2$ matrix.
Shown in the video
Expression
$= e^{2t}$
Explanation
Expand: $e^t\cdot e^t + e^t$ ·te^t − te^ $t\cdot e^t = e^{2t}$ + te^{2t} − te^{2t} = $e^{2t}$ .
Justification
Algebraic simplification; the te^{2t} terms cancel.
Shown in the video
Expression
$e^{2t} \neq 0$
Explanation
The exponential function is strictly positive for every real t, so the Wronskian never vanishes.
Justification
Property of the real exponential function (editorial background; the speaker states 'never zero').
Shown in the video

Conclusion

Since $W(t)=e^{2t}\ne 0$ for all t, the functions $e^t$ and te^t are linearly independent by the Wronskian criterion.

Worked examples · 7

Example: $\sin x$ and $\cos x$

Clear evidence

Shown in the video

Evidence

Formula
Observation
On-screen text: "Ex: $\sin x$ and $\cos x$ are linearly independent".
Audio
Observation
The speaker says sine is not just a number times cosine.

Uncertainties

No interval is specified for the example.

Problem

Determine whether $\sin x$ and $\cos x$ are linearly independent under the two-function definition.

Given

The definition: two functions are linearly independent on an interval if they are not a scalar multiple of each other.
The functions $\sin x$ and $\cos x$ .

Goal

Classify the pair as linearly independent or dependent.

Steps

Expression
$\sin x \neq c \cos x \text{ for any constant } c$
Explanation
The speaker argues that sine cannot be written as a fixed constant times cosine.
Justification
Uses the displayed two-function definition.
Shown in the video
Expression
$\sin x \text{ and } \cos x \text{ are linearly independent}$
Explanation
Therefore the pair satisfies the definition of independence.
Justification
Conclusion from the previous step.
Shown in the video

Answer

$\sin x$ and $\cos x$ are linearly independent.

Verification

Matches the on-screen example line and the spoken explanation.

Example: $x^2$ and $2x^2$

Clear evidence

Shown in the video

Evidence

Formula
Observation
On-screen text: "Ex: $x^2$ and $2x^2$ are linearly dependent".
Audio
Observation
The speaker says one is just twice the other.

Uncertainties

No interval is specified for the example.

Problem

Determine whether $x^2$ and $2x^2$ are linearly independent under the two-function definition.

Given

The definition: two functions are linearly independent on an interval if they are not a scalar multiple of each other.
The functions $x^2$ and $2x^2$ .

Goal

Classify the pair as linearly independent or dependent.

Steps

Expression
$2x^2 = 2(x^2)$
Explanation
One function is exactly a constant multiple of the other.
Justification
Direct algebraic identity.
Shown in the video
Expression
$x^2 \text{ and } 2x^2 \text{ are linearly dependent}$
Explanation
Because the scalar-multiple condition holds, the pair fails independence.
Justification
Negation of the displayed definition.
Shown in the video

Answer

$x^2$ and $2x^2$ are linearly dependent.

Verification

Matches the on-screen example line and the spoken explanation.

Opening vector example of linear dependence

Approximate timing

Shown in the video

Evidence

Diagram
Observation
The opening visual shows three colored arrows arranged head-to-tail into a closed triangle on a coordinate-style background.
Audio
Observation
The speaker says there is a way to add these three vectors up with stretching factors so that it equals zero, and calls them linearly dependent.

Uncertainties

No numerical vector components or explicit scalar multipliers are shown, so the exact dependence relation cannot be reconstructed from the image alone.

Problem

Use the pictured three vectors to illustrate what it means for a set of objects to be linearly dependent.

Given

Three colored vectors are drawn.
The speaker states they can be combined with stretching factors to sum to zero.

Goal

Identify the conceptual point illustrated by the vector picture before moving to functions.

Steps

Expression
Explanation
The diagram presents three vectors arranged so their head-to-tail path closes back on itself.
Justification
Visible geometric arrangement in the opening frame sequence.
Shown in the video
Expression
Explanation
The lecturer interprets this closure as evidence that a non-trivial weighted sum can equal zero.
Justification
Spoken explanation accompanying the vector diagram.
Shown in the video

Answer

The three vectors are linearly dependent.

Verification

The conclusion matches the spoken statement that there is a non-trivial way to add them up to zero.

Example testing $e^x$ , $e^{-x}$ , and $\cosh x$ for linear dependence

Clear evidence

Shown in the video

Evidence

Formula
Observation
The board lists Ex: $e^x, e^{-x}, \cosh x$ .
Formula
Observation
The board then writes $\cosh x = \frac{e^x + e^{-x}}{2}$ and Then $\frac{1}{2}e^x + \frac{1}{2}e^{-x} - 1 \cdot \cosh x = 0$ .
Formula
Observation
The final displayed conclusion is So linearly dependent.
Audio
Observation
The speaker says these three functions have a way to add up to zero and therefore are linearly dependent.

Problem

Determine whether the three functions $e^x$ , $e^{-x}$ , and $\cosh x$ are linearly independent or dependent.

Given

The three functions are $e^x$ , $e^{-x}$ , and $\cosh x$ .
The identity $\cosh x = \frac{e^x + e^{-x}}{2}$ is given.

Goal

Find a linear relation among the three functions and decide the dependence status.

Steps

Expression
$\cosh x = \frac{e^x + e^{-x}}{2}$
Explanation
Use the displayed definition of $\cosh x$ in terms of exponentials.
Justification
Given directly on the board and in the audio.
Shown in the video
Expression
$\frac{1}{2}e^x + \frac{1}{2}e^{-x} - 1 \cdot \cosh x = 0$
Explanation
Rearrange the identity into a linear combination equal to zero.
Justification
Algebraic manipulation of the previous identity.
Shown in the video
Expression
$\frac{1}{2},\ \frac{1}{2},\ -1$
Explanation
Read off the coefficients of the linear combination.
Justification
Directly visible in the displayed equation.
Shown in the video
Expression
$\text{not all coefficients are zero}$
Explanation
Check that the combination is non-trivial.
Justification
At least one coefficient, in fact all three, is nonzero.
Derived from the video

Answer

The functions $e^x$ , $e^{-x}$ , and $\cosh x$ are linearly dependent.

Verification

The displayed equation gives an explicit non-trivial combination equal to zero, exactly matching the definition of dependence used in the clip.

Example: testing linear independence of $e^x$ , $e^{2x}$ , $e^{3x}$

Clear evidence

Shown in the video

Evidence

Formula
Observation
The board lists Ex: $e^x$ , $e^{2x}$ , $e^{3x}$ and then works through the associated equations.
Audio
Observation
The speaker says, "for example, e to the x, e to the 2x, and e to the 3x," and carries out the ad hoc argument.

Uncertainties

The specific interval is not named.
The example is solved by an ad hoc polynomial argument rather than by the Wronskian.

Problem

Determine whether the functions $e^x$ , $e^{2x}$ , and $e^{3x}$ are linearly independent on an interval.

Given

The candidate functions are $e^x$ , $e^{2x}$ , and $e^{3x}$ .
Linear independence is tested by considering $a_1e^x+a_2e^{2x}+a_3e^{3x}=0$ as the zero function on an interval.

Goal

Show that the only coefficients making the linear combination the zero function are $a_1=a_2=a_3=0$ .

Steps

Expression
$a_1e^x+a_2e^{2x}+a_3e^{3x}=0$
Explanation
Set up the general linear combination equal to the zero function.
Justification
This matches the definition displayed on the board.
Shown in the video
Expression
$z=e^x$
Explanation
Substitute z for $e^x$ .
Justification
The speaker introduces this change of variables to convert exponentials into powers.
Shown in the video
Expression
$a_1z+a_2z^2+a_3z^3=0$
Explanation
Obtain a polynomial equation in z.
Justification
Using $e^{2x}=z^2$ and $e^{3x}=z^3$ after the substitution.
Shown in the video
Expression
$\text{nonzero degree-3 polynomial has at most three zeros}$
Explanation
Compare the left side with the zero function on the right side.
Justification
The speaker invokes the standard fact about roots of a degree-three polynomial.
Shown in the video
Expression
$a_1=a_2=a_3=0$
Explanation
Conclude that all coefficients must be zero for the identity to hold on an interval.
Justification
Only the zero polynomial can vanish everywhere on an interval.
Shown in the video

Answer

The set { $e^x$ , $e^{2x}$ , $e^{3x}$ } is linearly independent.

Verification

The result is verified by checking that the defining implication holds: if the linear combination is the zero function on the interval, then all coefficients are forced to be zero.

Worked motivation with two linearly dependent functions

Clear evidence

Shown in the video

Evidence

Formula
Observation
The board writes the setup "Suppose $y_1$ and $y_2 = ay_1$ are linearly dependent" and computes $W(t)=\begin{vmatrix} y_1&ay_1\\ y_1'&ay_1' \end{vmatrix}=y_1ay_1'-ay_1y_1'=0$ .
Audio
Observation
The lecturer says he will do two functions, imagine they are dependent, let $y_2$ be a non-zero multiple $a$ of $y_1$ , and then compute what happens to the Wronskian.

Problem

Given two functions with $y_2=ay_1$ , compute the Wronskian and see what linear dependence implies.

Given

There are two functions $y_1$ and $y_2$ .
$y_2=ay_1$ for a scalar $a$ .
The lecturer describes $a$ as non-zero in the spoken setup.

Goal

Evaluate $W(t)$ for the two-function Wronskian under the dependence assumption.

Steps

Expression
$W(t)=\begin{vmatrix} y_1&y_2\\ y_1'&y_2' \end{vmatrix}$
Explanation
Start from the two-function Wronskian.
Justification
Definition of the Wronskian for two functions.
Derived from the video
Expression
$W(t)=\begin{vmatrix} y_1&ay_1\\ y_1'&ay_1' \end{vmatrix}$
Explanation
Replace $y_2$ by $ay_1$ and $y_2'$ by $ay_1'$ .
Justification
Substitution using $y_2=ay_1$ and differentiation of a constant multiple.
Shown in the video
Expression
$W(t)=y_1ay_1'-ay_1y_1'$
Explanation
Compute the determinant of the $2\times 2$ matrix.
Justification
Standard expansion of a $2\times 2$ determinant.
Shown in the video
Expression
$W(t)=0$
Explanation
The two products cancel exactly.
Justification
Algebraic simplification.
Shown in the video

Answer

$W(t)=0$ identically under the assumption $y_2=ay_1$ .

Verification

The displayed board computation ends with $=0$ , and the lecturer verbally says the determinant cancels and is equal to zero.

Testing linear independence of $e^t$ and te^t with the Wronskian

Clear evidence

Shown in the video

Evidence

Caption evidence
Observation
Prompt: Are $e^t$ , te^t linearly independent?
Audio
Observation
Speaker introduces the pair because they arise in constant-coefficient DEs with repeated roots, then computes the Wronskian.
Formula
Observation
Full determinant computation appears line by line from 64s to 91s.

Problem

Determine whether the two functions $e^t$ and te^t are linearly independent.

Given

$y_1(t) = e^t$
$y_2(t)$ = te^t
These functions commonly arise as solutions of constant-coefficient linear ODEs with repeated roots.

Goal

Decide linear independence of { $e^t$ , te^t} using the Wronskian test.

Steps

Expression
$W(t) = \begin{vmatrix} e^t & te^t \\ e^t & e^t + te^t \end{vmatrix}$
Explanation
Form the $2\times 2$ Wronskian by placing the functions in the top row and their derivatives in the bottom row.
Justification
Definition of the Wronskian for two functions.
Shown in the video
Expression
$= e^t(e^t + te^t) - te^t \cdot e^t$
Explanation
Apply the $2\times 2$ determinant rule ad − bc.
Justification
Elementary linear algebra.
Shown in the video
Expression
$= e^{2t}$
Explanation
Simplify; the cross terms cancel.
Justification
Algebra.
Shown in the video
Expression
$e^{2t} \neq 0 \text{ for all } t$
Explanation
The exponential is never zero, so the Wronskian is nonzero everywhere, not merely at one point.
Justification
Property of exp; speaker explicitly stresses 'never zero'.
Shown in the video
Expression
$\Rightarrow \{e^t, te^t\} \text{ are linearly independent}$
Explanation
Conclude by the Wronskian criterion stated earlier in the clip.
Justification
cl-wronskian-theorem applied to a qualifying pair of functions.
Shown in the video

Answer

Yes: $e^t$ and te^t are linearly independent because their Wronskian equals $e^{2t}$ , which is never zero.

Verification

Direct inspection: $W(t)=e^{2t}>0$ for every real t, so the nonzero-at-some-point condition of the theorem is satisfied (indeed, strengthened to nonzero everywhere).

Visual events · 17

Title card for the lesson

Clear evidence

Shown in the video

Evidence

Animation
Observation
White handwritten-style title text appears progressively on a dark chalkboard background until it reads "LINEARLY INDEPENDENT FUNCTIONS".

Objects

Dark chalkboard background
White handwritten-style title text

Changes

The title builds word by word from partial letters to the full phrase "LINEARLY INDEPENDENT FUNCTIONS".

Invariants

The background remains a dark chalkboard texture.
The text remains white and handwritten-style.

Interpretation

This opening identifies the topic as linear independence of functions before the lecturer begins speaking.

On-screen definition panel

Clear evidence

Shown in the video

Evidence

Diagram
Observation
A purple-bordered text box appears at upper left with the definition of linear independence for $y_1$ and $y_2$ on an interval.
Formula
Observation
The box contains the sentence "Definition: $y_1$ and $y_2$ are linearly independent on an interval if they are not a scalar multiple of each other".

Objects

Purple-bordered definition box
Text with $y_1$ and $y_2$

Changes

The definition box appears while the lecturer explains the two-function case.
It remains visible while the examples are added below.

Invariants

The wording of the definition does not change during its visible interval.

Interpretation

The visual anchors the formal definition used for the two examples that follow.

Example statements added beneath the definition

Clear evidence

Shown in the video

Evidence

Formula
Observation
At about 46 seconds, the line "Ex: $\sin x$ and $\cos x$ are linearly independent" appears below the definition.
Formula
Observation
At about 51 seconds, the line "Ex: $x^2$ and $2x^2$ are linearly dependent" appears below the first example.

Objects

First example line with $\sin x$ and $\cos x$
Second example line with $x^2$ and $2x^2$

Changes

The independent example appears first.
The dependent example appears second, creating a contrast pair.

Invariants

Both examples remain on screen together until the definition block disappears.

Interpretation

The two lines visually contrast an independent pair with a dependent pair under the same definition.

Three vectors drawn from a common origin

Clear evidence

Shown in the video

Evidence

Animation
Observation
After the definition box disappears, a coordinate cross appears with three colored arrows emanating from the origin: red, yellow, and blue.

Uncertainties

No labels are attached to the axes or vectors.
The exact coordinates of the arrow endpoints are not shown.

Objects

Coordinate axes
Red vector
Yellow vector
Blue vector

Changes

The three vectors appear together as separate arrows from the origin.

Invariants

All three vectors initially share the same starting point at the origin.

Interpretation

This picture shifts from functions to a geometric linear-algebra analogue used to motivate the idea of linear combinations summing to zero.

Rearranged vectors forming a closed loop

Clear evidence

Shown in the video

Evidence

Animation
Observation
The three arrows are rearranged head-to-tail into a closed triangular path that returns to the origin.
Audio
Observation
The speaker says the vectors were rearranged or multiplied by constants, mentioning that the yellow one got multiplied by minus one and stretched a little.

Uncertainties

The precise scaling factors are not written on screen.
The animation does not display an explicit equation for the sum.

Objects

Red vector segment
Yellow vector segment
Blue vector segment
Origin point

Changes

The vectors move from a common-origin display to a head-to-tail arrangement.
One vector is reversed and another appears stretched.
The final arrangement closes back at the origin.

Invariants

The same three colors are used throughout the rearrangement.
The final figure is a closed loop.

Interpretation

The closed loop visually represents a linear combination of the three vectors equaling the zero vector, motivating the next definition for three or more objects.

Closed triangle of three vectors

Approximate timing

Shown in the video

Evidence

Diagram
Observation
A coordinate-style drawing shows three colored arrows forming a closed triangular path.
Audio
Observation
The lecturer discusses adding three vectors with stretching factors to get zero.

Uncertainties

The exact labels, coordinates, and scalar factors are not visible.

Objects

Three colored vectors
Coordinate-style axes or reference lines

Changes

The vectors are presented as a set that can be combined to zero.
The discussion transitions from vectors to functions after this visual example.

Invariants

The number of vectors remains three during this opening explanation.
The visual role is to motivate the notion of a non-trivial zero combination.

Interpretation

The closed triangular arrangement visually supports the idea that the three vectors satisfy a dependence relation, which the lecturer then names as linear dependence.

Formal definition panel for functions

Clear evidence

Shown in the video

Evidence

Formula
Observation
A purple-bordered box appears with the full definition of linear independence for $y_1,\ldots,y_n$ on an interval.
Audio
Observation
The speaker says now let's use this idea but going back to our context of functions.

Objects

Purple-bordered definition box
Text $y_1, \ldots, y_n$
Text $a_1y_1 + \cdots + a_ny_n = 0$
Text $a_1 = \cdots = a_n = 0$

Changes

The lecture shifts from the vector intuition to a formal function definition.
The symbolic condition for independence is placed on screen while the lecturer explains it.

Invariants

The logical form remains an implication from a zero linear combination to all coefficients being zero.

Interpretation

This visual event marks the transition from geometric intuition to the formal criterion for linear independence of functions.

Stepwise construction of the worked example

Clear evidence

Shown in the video

Evidence

Formula
Observation
The board adds Ex: $e^x, e^{-x}, \cosh x$ .
Formula
Observation
It then adds $\cosh x = \frac{e^x + e^{-x}}{2}$ .
Formula
Observation
It then adds Then $\frac{1}{2}e^x + \frac{1}{2}e^{-x} - 1 \cdot \cosh x = 0$ .
Formula
Observation
Finally it adds So linearly dependent.

Objects

Example function list
Identity for $\cosh x$
Explicit zero linear combination
Conclusion text

Changes

The example is introduced first as a list of three functions.
The identity for $\cosh x$ is added next.
The dependence relation is then written.
The conclusion So linearly dependent appears last.

Invariants

All displayed formulas concern the same three functions $e^x$ , $e^{-x}$ , and $\cosh x$ .
The logical goal remains to test the definition of independence/dependence.

Interpretation

The sequential build-up shows how the lecturer converts a known identity into an explicit certificate of linear dependence.

Initial definition and example display

Clear evidence

Shown in the video

Evidence

Diagram
Observation
A purple-bordered Definition box occupies the upper-left board area, with the example Ex: $e^x$ , $e^{2x}$ , $e^{3x}$ below it.

Objects

Purple-bordered definition box
Text $y_1$ , ..., $y_n$
Coefficients $a_1$ , ..., $a_n$
Example list $e^x$ , $e^{2x}$ , $e^{3x}$
Instructor standing to the right

Changes

The board initially shows only the definition and the example functions.

Invariants

The definition remains visible in the upper-left box.
The example functions remain listed below the definition.

Interpretation

The visual layout establishes the general definition first and then immediately supplies a concrete exponential example to be analyzed.

Stepwise construction of the ad hoc proof on the board

Clear evidence

Shown in the video

Evidence

Animation
Observation
At about 18 seconds, $a_1e^x + a_2e^{2x} + a_3e^{3x} = 0$ appears below the example.
Animation
Observation
At about 32 seconds, $a_1z + a_2z^2 + a_3z^3 = 0$ appears below the exponential equation.
Animation
Observation
At about 56 seconds, the text Degree 3 polynomials have ≤3 zeros or $a_1 = a_2 = a_3 = 0$ appears below the polynomial equation.

Uncertainties

Exact frame-level timing of each appearance is approximate because the sampled images show the text already present at nearby timestamps.

Objects

Linear-combination equation in x
Substituted polynomial equation in z
Degree-three polynomial statement

Changes

First the exponential linear combination is written.
Then the substituted polynomial form is added underneath.
Finally the polynomial-zero statement is added as the concluding criterion.

Invariants

The original definition box stays at the top throughout this portion.
The example functions stay visible above the derived equations.

Interpretation

The animation presents the proof as a vertical chain: start from the definition, rewrite by substitution, then apply a polynomial fact to force trivial coefficients.

Board transition from ad hoc example to Wronskian topic

Clear evidence

Shown in the video

Evidence

Animation
Observation
Around 114 seconds the previous definition and equations disappear and the title The Wronskian appears.
Formula
Observation
By around 118 seconds the determinant $W(t)$ =| $y_1 y_2 y_3$ ; $y_1$ ' $y_2$ ' $y_3$ '; $y_1$ '' $y_2$ '' $y_3$ ''| is displayed.

Uncertainties

The exact moment when the determinant becomes fully visible is approximate between 117 and 118 seconds.

Objects

Title The Wronskian
3x3 determinant for $W(t)$
Functions $y_1$ , $y_2$ , $y_3$
Derivative rows $y_i$ ' and $y_i$ ''

Changes

The earlier definition box and exponential example are cleared.
A new heading appears.
A determinant formula is introduced beneath the heading.

Invariants

The instructor remains on the right side of the frame.
The board format remains a lecture-style written display.

Interpretation

The visual reset marks a conceptual shift from a special-case ad hoc argument to a new systematic tool, the Wronskian.

Static display of the three-function Wronskian

Clear evidence

Shown in the video

Evidence

Diagram
Observation
A chalkboard-style layout shows the heading "The Wronskian:" and a $3\times 3$ determinant with rows $y_1,y_2,y_3$ ; $y_1',y_2',y_3'$ ; and $y_1'',y_2'',y_3''$ .
Animation
Observation
The lecturer gestures toward the matrix while explaining the columns.

Objects

Heading "The Wronskian:"
$3\times 3$ determinant for $W(t)$
Functions $y_1,y_2,y_3$ and their derivatives

Changes

No mathematical content changes during this interval; the formula remains visible while the lecturer explains it.

Invariants

The columns correspond to individual functions.
The rows correspond to increasing derivative order.

Interpretation

The visual establishes the Wronskian as a determinant built from functions and successive derivatives, with each function occupying one column.

Misconceptions · 10

Thinking linear independence only applies to vectors

Clear evidence

Shown in the video

Evidence

Audio
Observation
The speaker notes that viewers may have heard of linear independence for vectors in linear algebra, but here the focus is a set of functions.

Misconception

Linear independence is sometimes associated only with sets of vectors in linear algebra.

Clarification

The video explicitly redirects the idea to sets of functions, while noting there are strong analogues between the two settings.

Assuming the two-function scalar-multiple test extends unchanged to three or more functions

Clear evidence

Shown in the video

Evidence

Audio
Observation
The speaker asks how to make an analogous concept if you have three or more different functions.

Misconception

The simple rule that one function is not a scalar multiple of the other works for two functions, but the video signals that three or more functions require a different formulation.

Clarification

The clip motivates a new linear-combination-based viewpoint before giving the full definition for three or more functions.

Mistaking the always-available zero-coefficient combination for meaningful dependence

Clear evidence

Shown in the video

Evidence

Audio
Observation
The speaker explicitly says there is always a trivial way, zero times the first vector plus zero times the second vector plus zero times the third vector, and then asks whether there is a non-trivial way.

Misconception

One might think any set is dependent because choosing all coefficients equal to zero always makes the linear combination vanish.

Clarification

The clip stresses that linear independence concerns whether the only zero-sum combination is this trivial one; dependence requires a non-trivial combination with not all coefficients zero.

Thinking linear independence only applies to arrows or vectors

Clear evidence

Shown in the video

Evidence

Audio
Observation
After the vector discussion, the speaker says now let's use this idea but going back to our context of functions.
Formula
Observation
The displayed definition applies the same linear-combination criterion to $y_1,\ldots,y_n$ as functions on an interval.

Misconception

Learners may associate the phrase linearly independent only with geometric vectors.

Clarification

This segment explicitly transfers the same criterion from vectors to functions, defining independence for a family of functions on an interval.

Confusing a function being zero somewhere with being the zero function

Clear evidence

Shown in the video

Evidence

Audio
Observation
The speaker says the right-hand side is not like zero at one spot; it is zero everywhere, the zero function.

Misconception

One might think that because a polynomial expression can be zero at one or several points, the corresponding linear combination of functions satisfies the linear-dependence equation.

Clarification

The video clarifies that the equation in the definition requires equality to the zero function on an interval, meaning zero everywhere on that interval, not merely at isolated points.

Treating the exponential substitution trick as a general method

Clear evidence

Shown in the video

Evidence

Audio
Observation
The speaker says ad hoc means it doesn't work always and works in a specialized case.

Misconception

The polynomial substitution argument for $e^x$ , $e^{2x}$ , $e^{3x}$ might be mistaken for a universal test for linear independence of arbitrary functions.

Clarification

The speaker explicitly labels the method as ad hoc and specialized, motivating the later introduction of the Wronskian as a more systematic tool.

Do not require the Wronskian to be nonzero everywhere

Clear evidence

Shown in the video

Evidence

Audio
Observation
The lecturer says the Wronskian could be zero at some points, but if there is one spot where the Wronskian is non-zero, then the functions are linearly independent.
Formula
Observation
The theorem box states $W(t)\neq 0$ at some point $t$ , not at every point.

Misconception

One might think the Wronskian must be nonzero at every point in order to conclude linear independence.

Clarification

The displayed theorem only requires existence of some point $t$ where $W(t)\neq 0$ . The lecturer explicitly allows the Wronskian to be zero at other points.

The theorem has a hypothesis hidden in the word nice

Clear evidence

Shown in the video

Evidence

Formula
Observation
The theorem box uses the phrase "For 'nice' functions" without giving a complete formal definition inside the box.
Audio
Observation
The lecturer asks what is meant by nice functions and says there are a couple of different contexts, beginning with analytic functions.

Uncertainties

The clip ends before the full explanation of the required conditions is given.

Misconception

One might read the boxed statement as an unconditional equivalence for arbitrary functions.

Clarification

The theorem is stated only for "nice" functions. In the clip, the lecturer identifies analytic functions as one example of a context where the result works, but the full formal hypothesis is not completed before the segment ends.

Confusing a variable factor t with a constant scalar multiple

Clear evidence

Shown in the video

Evidence

Audio
Observation
Speaker: 'I can just glance at them and say no, one is t times the other, but that's not the same as a constant multiple times the other.'

Misconception

Because te^t looks like 't times $e^t$ ', one might wrongly conclude the two functions are linearly dependent.

Clarification

Linear dependence requires a constant scalar c with $y_2 = c\cdot y_1$ on the whole domain. Here the multiplier is the variable t, not a constant, so the pair can still be independent; the Wronskian confirms this.

Thinking the Wronskian only needs to be nonzero at a single isolated point in this example

Clear evidence

Shown in the video

Evidence

Audio
Observation
Speaker: 'It's not even the case that it's non-zero at one spot, it's never zero.'

Misconception

Learners may stop at 'nonzero somewhere' and miss that here the Wronskian is actually nonzero for every t.

Clarification

The theorem only requires existence of one point with $W(t)\ne 0$ , but in this example $W(t)=e^{2t}$ is strictly positive everywhere, which is a stronger fact worth noting.

Concept relations · 21

Definition of linear independence for two functions → Example: $\sin x$ and $\cos x$

Clear evidence

Shown in the video

Evidence

Formula
Observation
The definition box is followed immediately by the two example lines using $\sin x, \cos x$ and $x^2, 2x^2$ .

Application

Explanation

The example $\sin x$ and $\cos x$ applies the two-function definition of linear independence.

Linear dependence for two functions as the negation of the definition → Example: $x^2$ and $2x^2$

Clear evidence

Shown in the video

Evidence

Formula
Observation
The dependent example appears directly beneath the definition and is justified by the scalar-multiple relation.

Application

Explanation

The example $x^2$ and $2x^2$ applies the dependent case obtained from the two-function definition.

Functions versus vectors analogy for linear independence → Visual motivation for linear combinations summing to zero

Clear evidence

Shown in the video

Evidence

Audio
Observation
The speaker compares the function setting to linear independence of vectors and then uses a vector animation to motivate the extension to three or more objects.

Contrast

Explanation

The clip contrasts functions with vectors while using the vector picture as an intuitive model for the function case.

Definition of linear independence for two functions → Visual motivation for linear combinations summing to zero

Clear evidence

Shown in the video

Evidence

Audio
Observation
After defining independence for two functions, the speaker asks what happens for three or more functions and introduces the vector linear-combination viewpoint.

Uncertainties

The full formal definition for three or more functions is not reached within this clip.

Generalizes

Explanation

The vector linear-combination discussion generalizes the two-function scalar-multiple idea toward the case of three or more functions.

Trivial versus non-trivial linear combinations → Definition of linear independence for functions

Clear evidence

Shown in the video

Evidence

Audio
Observation
The speaker first explains dependence for three vectors and then says now let's use this idea but going back to our context of functions.
Formula
Observation
The later definition box applies the same zero-combination criterion to functions $y_1,\ldots,y_n$ .

Prerequisite

Explanation

The clip uses the vector-based intuition of trivial versus non-trivial zero combinations as the conceptual bridge to the formal definition for functions.

Linear dependence as existence of a non-trivial zero combination → Definition of linear independence for functions

Clear evidence

Shown in the video

Evidence

Formula
Observation
The definition box states the condition for linear independence.
Formula
Observation
The example ends with So linearly dependent after exhibiting a non-trivial zero combination.
Audio
Observation
The speaker says linearly dependent is the opposite of linearly independent.

Contrast

Explanation

The video defines dependence by contrasting it with independence: independence forbids non-trivial zero combinations, while dependence asserts that at least one exists.

Hyperbolic cosine written using exponentials → Example testing $e^x$ , $e^{-x}$ , and $\cosh x$ for linear dependence

Clear evidence

Shown in the video

Evidence

Formula
Observation
The identity $\cosh x = \frac{e^x + e^{-x}}{2}$ is displayed immediately before the dependence relation.
Formula
Observation
The next displayed line is $\frac{1}{2}e^x + \frac{1}{2}e^{-x} - 1 \cdot \cosh x = 0$ .

Application

Explanation

The exponential representation of $\cosh x$ is the algebraic fact applied in the example to produce an explicit dependence relation.

Definition of linear independence for functions → Linear dependence as existence of a non-trivial zero combination

Clear evidence

Shown in the video

Evidence

Formula
Observation
The definition box gives the criterion involving $a_1y_1 + \cdots + a_ny_n = 0$ implying all $a_i=0$ .
Formula
Observation
The example checks the negation by displaying a zero combination with coefficients $\frac12,\frac12,-1$ .

Proof dependency

Explanation

The example’s conclusion of dependence depends on the earlier definition, because it tests whether a zero linear combination can be non-trivial.

Definition of linear independence of functions on an interval → Example: testing linear independence of $e^x$ , $e^{2x}$ , $e^{3x}$

Clear evidence

Shown in the video

Evidence

Formula
Observation
The example equations are written directly beneath the definition box and use the same coefficient pattern.

Application

Explanation

The exponential example applies the general definition of linear independence to the specific functions $e^x$ , $e^{2x}$ , and $e^{3x}$ .

Ad hoc method for testing linear independence → Change of variables turning exponentials into powers

Clear evidence

Shown in the video

Evidence

Audio
Observation
The speaker introduces ad hoc methods and then immediately demonstrates one by changing variables.

Contains

Explanation

The substitution $z=e^x$ is the concrete technique used inside the ad hoc method for this example.

Change of variables turning exponentials into powers → A degree-three polynomial has at most three zeros unless it is the zero polynomial

Clear evidence

Shown in the video

Evidence

Formula
Observation
After rewriting as $a_1z+a_2z^2+a_3z^3=0$ , the board adds the statement about degree-three polynomials having at most three zeros.

Proof dependency

Explanation

The polynomial-root claim is used only after the exponential equation has been converted into a polynomial in z.

A degree-three polynomial has at most three zeros unless it is the zero polynomial → The functions $e^x$ , $e^{2x}$ , $e^{3x}$ are linearly independent

Clear evidence

Shown in the video

Evidence

Audio
Observation
The speaker uses the at-most-three-zeros fact and the zero-function distinction to conclude $a_1=a_2=a_3=0$ and hence linear independence.

Proof dependency

Explanation

The conclusion that the exponential set is linearly independent depends on the polynomial-zero fact and the interpretation of the right-hand side as the zero function.

Find an answer · 26

What does it mean for two functions to be linearly independent on an interval?

Clear evidence

Shown in the video

Evidence

Formula
Observation
The definition box states the two-function criterion.

Knowledge points

Definition of linear independence for two functions
Linear dependence for two functions as the negation of the definition

Why are $\sin x$ and $\cos x$ linearly independent?

Clear evidence

Shown in the video

Evidence

Formula
Observation
On-screen example line for $\sin x$ and $\cos x$ .
Audio
Observation
Spoken justification that sine is not a number times cosine.

Knowledge points

$\sin x$ and $\cos x$ are linearly independent
Example: $\sin x$ and $\cos x$

Why are $x^2$ and $2x^2$ linearly dependent?

Clear evidence

Shown in the video

Evidence

Formula
Observation
On-screen example line for $x^2$ and $2x^2$ .
Audio
Observation
Spoken justification that one is twice the other.

Knowledge points

$x^2$ and $2x^2$ are linearly dependent
Example: $x^2$ and $2x^2$

How does the video motivate linear independence for three or more functions?

Clear evidence

Shown in the video

Evidence

Audio
Observation
The speaker asks how to define linear independence for three or more functions.
Animation
Observation
Vectors are rearranged into a closed loop to motivate linear combinations summing to zero.

Uncertainties

The clip only motivates the extension; it does not finish the formal definition.

Knowledge points

The two-function scalar-multiple test does not directly answer the case of three or more functions
Visual motivation for linear combinations summing to zero

What mathematical idea is represented by the vectors forming a closed loop?

Clear evidence

Shown in the video

Evidence

Animation
Observation
Three colored arrows are arranged head-to-tail into a closed triangle returning to the origin.
Audio
Observation
The speaker describes rearranging vectors and multiplying one by a constant so they can add up to zero.

Uncertainties

No explicit equation is shown on screen.

Knowledge points

Visual motivation for linear combinations summing to zero
Rearranged vectors forming a closed loop

What does it mean for functions $y_1,\ldots,y_n$ to be linearly independent on an interval?

Clear evidence

Shown in the video

Evidence

Formula
Observation
The definition box is visible during this interval.
Audio
Observation
The lecturer explains the meaning of the definition in words.

Knowledge points

Definition of linear independence for functions
Trivial versus non-trivial linear combinations

Why is the all-zero coefficient choice not enough to prove dependence?

Clear evidence

Shown in the video

Evidence

Audio
Observation
The speaker contrasts the always-available trivial combination with the question of a non-trivial one.

Knowledge points

Trivial versus non-trivial linear combinations
Mistaking the always-available zero-coefficient combination for meaningful dependence

Are $e^x$ , $e^{-x}$ , and $\cosh x$ linearly independent or dependent, and why?

Clear evidence

Shown in the video

Evidence

Formula
Observation
The example and final conclusion are displayed on the board.
Audio
Observation
The speaker states the three functions are linearly dependent.

Knowledge points

Example testing $e^x$ , $e^{-x}$ , and $\cosh x$ for linear dependence
Hyperbolic cosine written using exponentials
Linear dependence as existence of a non-trivial zero combination

How does the identity $\cosh x = \frac{e^x + e^{-x}}{2}$ produce the relation $\frac12 e^x + \frac12 e^{-x} - \cosh x = 0$ ?

Clear evidence

Shown in the video

Evidence

Formula
Observation
The board shows both the identity for $\cosh x$ and the resulting zero linear combination.

Knowledge points

Hyperbolic cosine written using exponentials
Deriving a dependence relation among $e^x$ , $e^{-x}$ , and $\cosh x$

How does the video transfer the idea of linear dependence from vectors to functions?

Clear evidence

Shown in the video

Evidence

Audio
Observation
The lecturer moves from three vectors to the context of functions.
Formula
Observation
The later definition box applies the same idea to functions.

Knowledge points

Trivial versus non-trivial linear combinations
Definition of linear independence for functions
s120-cr-vectors-to-functions-transfer

What does it mean for functions to be linearly independent on an interval?

Clear evidence

Shown in the video

Evidence

Formula
Observation
The definition box states the condition for $y_1$ ,..., $y_n$ to be linearly independent on an interval.

Knowledge points

Definition of linear independence of functions on an interval

Why must a linear combination be the zero function everywhere rather than just zero at one point?

Clear evidence

Shown in the video

Evidence

Audio
Observation
The speaker distinguishes zero at one spot from the zero function, zero everywhere.

Knowledge points

Zero function versus being zero at isolated points
Definition of linear independence of functions on an interval

Coverage and review notes

Covered · Opening title card introduces the topic "LINEARLY INDEPENDENT FUNCTIONS".

Covered · The lecturer frames the topic as linear independence of functions and relates it to the familiar vector version from linear algebra.

Covered · The on-screen definition gives the two-function criterion in terms of not being a scalar multiple of each other.

Covered · The first example states that $\sin x$ and $\cos x$ are linearly independent.

Covered · The second example states that $x^2$ and $2x^2$ are linearly dependent because one is twice the other.

Covered · The lecturer asks how to extend the idea to three or more functions.

Covered · A coordinate diagram with three colored vectors from the origin introduces the geometric linear-algebra analogue.

Covered · The vectors are rearranged into a closed loop while the speaker explains linear combinations that can add up to zero.

Covered · Opening vector diagram and spoken explanation introduce linear dependence through a non-trivial zero combination.

Covered · The lecturer explicitly contrasts the always-available trivial combination with the search for a non-trivial one.

Covered · A formal definition box appears and the concept is transferred from vectors to functions on an interval.

Covered · The example functions $e^x$ , $e^{-x}$ , and $\cosh x$ are introduced, and the identity for $\cosh x$ is displayed.

Covered · The identity is rearranged into an explicit zero linear combination with coefficients $\frac12,\frac12,-1$ .

Covered · The board concludes So linearly dependent, and the speaker explains this as the opposite of linear independence.

Covered · The board shows the definition of linear independence and the example functions while the speaker introduces the ad hoc approach.

Covered · The linear combination equation is written, then rewritten using $z=e^x$ as a polynomial in z.

Covered · The speaker uses the polynomial-root fact, contrasts the zero function with isolated zeros, and concludes the exponential set is linearly independent.

Covered · The board clears the previous example and introduces the Wronskian determinant notation, but the clip ends before its theorem or application is explained.

Covered · The clip introduces the three-function Wronskian determinant and verbally generalizes it to $n$ functions.

Covered · The lecturer motivates the connection with two linearly dependent functions, substitutes $y_2=ay_1$ , computes the determinant as zero, and states the general dependence implication.

Covered · A boxed theorem states the equivalence for nice functions, the lecturer clarifies the existential nonzero condition, and he begins explaining analytic functions as one sufficient context before the clip ends.

Covered · Theorem statement box plus verbal explanation of applicability in DE context and summary of the test procedure.

Covered · New prompt appears; speaker motivates the example pair and warns against confusing variable and constant multiples.

Covered · Full Wronskian construction, differentiation, determinant evaluation, simplification to $e^{2t}$ , and nonvanishing conclusion.

Covered · Outro: speaker previews next video on why linear independence matters and asks for likes/comments; no new mathematics.

Explore the knowledge in this video

Reviewed subject paths

Linear Independence of Functions & The Wronskian

The explanation, unpacked.

Chapters

Learning script

Knowledge cards

Linear independence for two functions

Linear dependence for two functions

Example: sin x and cos x

Example: x2x^2x2 and 2x22x^22x2

Why three or more functions need a new idea

Vector motivation for linear combinations summing to zero

Linear independence of functions

Trivial versus non-trivial combinations

Linear dependence as the opposite condition

Hyperbolic cosine identity

Worked example: exe^xex, e−xe^{-x}e−x, cosh⁡x\cosh xcoshx

Linear independence of functions on an interval

Ad hoc method versus systematic tools

Substitution z=exz=e^xz=ex turns exponentials into a polynomial

Degree-three polynomial zeros force trivial coefficients

Zero function is not the same as zero at one point

Example conclusion: exe^xex, e2xe^{2x}e2x, e3xe^{3x}e3x are linearly independent

Wronskian determinant introduced for three functions

Three-function Wronskian determinant

Wronskian for n functions

Dependent two-function calculation

Linear dependence implies zero Wronskian

Wronskian criterion for linear independence

Meaning of “nice” and analytic functions

Detailed learning notes

y1y_1y1​

y2y_2y2​

x

scalar multiple\text{scalar multiple}scalar multiple

y1y_1y1​, …\ldots…, yny_nyn​

a1a_1a1​, …\ldots…, ana_nan​

0

cosh⁡x\cosh xcoshx

exe^xex

e−xe^{-x}e−x

12\frac{1}{2}21​, 12\frac{1}{2}21​, -1

y1y_1y1​, …\ldots…, yny_nyn​

Definition of linear independence for two functions

Linear dependence for two functions as the negation of the definition

Functions versus vectors analogy for linear independence

Definition of linear independence for functions

Trivial versus non-trivial linear combinations

Linear dependence as existence of a non-trivial zero combination

Hyperbolic cosine written using exponentials

Definition of linear independence of functions on an interval

Ad hoc method for testing linear independence

Change of variables turning exponentials into powers

Zero function versus being zero at isolated points

Introduction of the Wronskian notation

sin⁡x\sin xsinx and cos⁡x\cos xcosx are linearly independent

x2x^2x2 and 2x22x^22x2 are linearly dependent

The two-function scalar-multiple test does not directly answer the case of three or more functions

Three vectors in the opening diagram are linearly dependent

The functions exe^xex, e−xe^{-x}e−x, and cosh⁡x\cosh xcoshx are linearly dependent

A degree-three polynomial has at most three zeros unless it is the zero polynomial

The functions exe^xex, e2xe^{2x}e2x, e3xe^{3x}e3x are linearly independent

If functions are linearly dependent, then their Wronskian is identically zero

Wronskian equivalence theorem for nice functions

Analytic functions are one context where the theorem works

Wronskian criterion for linear independence of 'nice' functions

Deriving the dependent case from the displayed definition

Visual motivation for linear combinations summing to zero

Deriving a dependence relation among exe^xex, e−xe^{-x}e−x, and cosh⁡x\cosh xcoshx

Ad hoc proof that exe^xex, e2xe^{2x}e2x, e3xe^{3x}e3x are linearly independent

Derivation that dependent two functions have zero Wronskian

Computation of the Wronskian for {ete^tet, te^t}

Example: sin⁡x\sin xsinx and cos⁡x\cos xcosx

Example: x2x^2x2 and 2x22x^22x2

Opening vector example of linear dependence

Example testing exe^xex, e−xe^{-x}e−x, and cosh⁡x\cosh xcoshx for linear dependence

Example: testing linear independence of exe^xex, e2xe^{2x}e2x, e3xe^{3x}e3x

Worked motivation with two linearly dependent functions

Testing linear independence of ete^tet and te^t with the Wronskian

Title card for the lesson

On-screen definition panel

Example: $x^2$ and $2x^2$

Worked example: $e^x$ , $e^{-x}$ , $\cosh x$

Substitution $z=e^x$ turns exponentials into a polynomial

Example conclusion: $e^x$ , $e^{2x}$ , $e^{3x}$ are linearly independent

$y_1$

$y_2$

$\text{scalar multiple}$

$y_1$ , $\ldots$ , $y_n$

$a_1$ , $\ldots$ , $a_n$

$\cosh x$

$e^x$

$e^{-x}$

$\frac{1}{2}$ , $\frac{1}{2}$ , -1

$y_1$ , $\ldots$ , $y_n$

$\sin x$ and $\cos x$ are linearly independent

$x^2$ and $2x^2$ are linearly dependent

The functions $e^x$ , $e^{-x}$ , and $\cosh x$ are linearly dependent

The functions $e^x$ , $e^{2x}$ , $e^{3x}$ are linearly independent

Deriving a dependence relation among $e^x$ , $e^{-x}$ , and $\cosh x$

Ad hoc proof that $e^x$ , $e^{2x}$ , $e^{3x}$ are linearly independent

Computation of the Wronskian for { $e^t$ , te^t}

Example: $\sin x$ and $\cos x$

Example: $x^2$ and $2x^2$

Example testing $e^x$ , $e^{-x}$ , and $\cosh x$ for linear dependence

Example: testing linear independence of $e^x$ , $e^{2x}$ , $e^{3x}$

Testing linear independence of $e^t$ and te^t with the Wronskian

Definition of linear independence for two functions → Example: $\sin x$ and $\cos x$

Linear dependence for two functions as the negation of the definition → Example: $x^2$ and $2x^2$

Hyperbolic cosine written using exponentials → Example testing $e^x$ , $e^{-x}$ , and $\cosh x$ for linear dependence

Definition of linear independence of functions on an interval → Example: testing linear independence of $e^x$ , $e^{2x}$ , $e^{3x}$

A degree-three polynomial has at most three zeros unless it is the zero polynomial → The functions $e^x$ , $e^{2x}$ , $e^{3x}$ are linearly independent

Why are $\sin x$ and $\cos x$ linearly independent?

Why are $x^2$ and $2x^2$ linearly dependent?

What does it mean for functions $y_1,\ldots,y_n$ to be linearly independent on an interval?

Are $e^x$ , $e^{-x}$ , and $\cosh x$ linearly independent or dependent, and why?

How does the identity $\cosh x = \frac{e^x + e^{-x}}{2}$ produce the relation $\frac12 e^x + \frac12 e^{-x} - \cosh x = 0$ ?