Invariant subspaces

1. Diagram
   Observation

   A large circle appears on screen, with the white letter V labeled to its right.

2. Audio
   Observation

   The voiceover says 'a special subspace of the entire three-dimensional space', identifying V as a vector space.

V

vector space

the entire space represented by the large circle in the video

1. Diagram
   Observation

   A red vertical line appears on screen, with the red letter U labeled above it.

2. Audio
   Observation

   The voiceover says 'this axis is like a special subspace of the entire three-dimensional space'.

U

a subspace of the vector space V

the red line inside V

1. Diagram
   Observation

   A cyan upward arrow appears on the red vertical line, with the lowercase letter u labeled beside it.

2. Audio
   Observation

   The voiceover says 'when we view vectors in the space as points'.

u

vectors belonging to the subspace U

U

1. Diagram
   Observation

   A yellow letter T appears at the center of the red vertical line.

2. Audio
   Observation

   The voiceover says, "We view the rotation transformation as an operator T."

T

Linear transformation or operator

Transformation acting on V

1. Diagram
   Observation

   After the cyan arrow moves downward, Tu is labeled beside it.

2. Audio
   Observation

   The voiceover says, "Vectors on the axis remain on the axis after being acted upon by T."

Tu

The image of vector u under operator T

still lies within U

1. Formula
   Observation

   The symbol $V$ appearing in the diagram definition denotes a linear space.

V

linear space

linear space

1. Formula
   Observation

   The symbol $U$ appearing in the diagram definition denotes a subspace of $V$.

U

subspace of $V$

subset of $V$ that is also a subspace

1. Formula
   Observation

   The symbol $T$ appearing in the diagram definition denotes a linear operator on $V$.

T

linear operator on $V$

linear map from $V$ to $V$

1. Formula
   Observation

   The symbol $u \in U$ appearing in the diagram definition denotes an arbitrary vector in subspace $U$.

u

arbitrary vector in subspace $U$

$U$

1. Formula
   Observation

   The appearance of $Tu \in U$ in the definition indicates the image of vector $u$ under the linear operator $T$.

Tu

The image of vector $u$ under the linear operator $T$

$V$

1. Formula
   Observation

   The appearance of $\{0\}$ in the example denotes the zero subspace.

\{0\}

The zero subspace, the subspace containing only the zero vector

a subspace of $V$

1. Formula
   Observation

   The appearance of $0$ in the example denotes the zero vector.

0

The zero vector

$V$

1. Audio
   Observation

   The voiceover uses a spinning top rotating about a fixed axis as an analogy, explaining that points on the axis stay on the axis no matter how much they rotate.

2. Animation
   Observation

   The cyan vector u moves up and down along the red line U, never leaving that line.

3. Audio
   Observation

   The voiceover concludes, "This property of remaining closed under the transformation is the most intuitive manifestation of an invariant subspace."

The video first introduces the concept using a geometric analogy of a spinning top: points on a fixed axis do not move off the axis during rotation. It then analogizes this axis to a subspace U of a vector space, and the rotation to a linear transformation T. In the animation, a vector u moves along U, and its image Tu remains on the same line, intuitively illustrating the idea of "invariance under the transformation".

1. There exists a vector space V

2. There exists a subspace U

3. There exists a linear transformation T

4. Applying T to any vector in U yields a result still in U

1. The beginning of the definition of invariant subspace

1. Caption evidence
   Observation

   A yellow title reading "Definition of Invariant Subspace" appears at the center of the screen.

2. Caption evidence
   Observation

   Text appears below: "Let U be a subspace of V," where U and V appear in italics.

3. Audio
   Observation

   The voiceover says: "Now let us describe this phenomenon precisely using mathematical language. Let the uppercase letter U denote a subspace of the vector space V..."

1. The clip ends at "the uppercase letter T", and the full definition does not appear in this segment.

The video transitions from intuitive analogy to formal statement, first stating the premise: U is a subspace of the vector space V. Only the opening sentence of the definition is shown here; the complete condition "for every u in U, Tu is in U" has not yet been presented.

1. U is a subspace of V

1. Intuitive understanding of invariant subspaces

1. Formula
   Observation

   The screen displays 'definition of invariant subspace' and gives the condition: 'If for every $u \in U$, we have $Tu \in U$, then $U$ is said to be invariant under $T$.'

2. Audio
   Observation

   Narrator explanation: For any vector in $U$ , when the operator $u$ acts on $T$ to yield $u$ , this new vector $Tu$ must still belong to the subspace $Tu$ .$U$。

Let $U$ be a subspace of $V$ , and let $T$ be $V$ a linear operator on.$U$ any vector in$u$ its image under the linear operator$T$ is$Tu$ still in$U$ then we say that$U$ is invariant under$T$ The core idea of this definition is the subspace's closure under the linear operator.

1. $U$ is a subspace of $V$

2. $T$ is a linear operator on $V$

3. This condition must hold for$U$ any vector in$u$ it holds

1. Formula
   Observation

   The screen displays "the zero subspace $\{0\}$" and gives $T(0)=0$ and $0 \in \{0\}$.

2. Audio
   Observation

   The voiceover says, "First, two trivial cases: the zero subspace and the whole space. For the zero subspace, which contains only the zero vector, any linear operator $T$ applied to the zero vector yields the zero vector, by linearity..."

1. The clip ends right after the voiceover says "by linearity", and the subsequent explanation about the whole space is not fully heard.

The zero subspace $\{0\}$ is an invariant subspace of any linear operator $T$. To verify this, take any vector in $U=\{0\}$—it must be the zero vector $0$. Since a linear operator maps the zero vector to the zero vector, i.e., $T(0)=0$, and $0$ still belongs to $\{0\}$, the definition of an invariant subspace is satisfied.

1. $T$ is a linear operator

2. U equals the set containing only zero

1. Definition of an invariant subspace

1. Formula
   Observation

   The left side of the screen displays "zero subspace", {0}, $T(0) = 0$, $0 \in {0}$

2. Audio
   Observation

   The voiceover explains, "$T(0)$ is always equal to the zero vector, and the zero vector certainly belongs to the zero subspace. Therefore, the zero subspace is invariant under any operator."

The zero subspace {0} contains only the zero vector. Since a linear operator T must map the zero vector to the zero vector ($T(0) = 0$), and the zero vector belongs to {0}, the zero subspace is an invariant subspace for any operator T.

1. T is a linear operator

1. Formula
   Observation

   The right side of the screen displays "the whole space", V, followed by TV⊆V

2. Audio
   Observation

   The voiceover explains, "Since the operator T maps from V to V, by definition, the image of V under T—that is, the range—must lie inside V. Therefore, the whole space V is invariant under T."

The whole space V itself is an invariant subspace. Since the operator T maps from V to V, the image of V under T—that is, the range TV—must be contained in V (TV⊆V), satisfying the definition of an invariant subspace.

1. Linear transformation T: V to V

1. Audio
   Observation

   The voiceover concludes, "Although these two examples may seem obvious, they form the foundation of invariant subspace theory; any discussion must include these two extreme cases."

The zero subspace and the whole space are 'trivial' yet 'important' examples. Though obvious, they constitute the foundation of invariant subspace theory; any discussion of invariant subspaces must begin by including these two extreme cases.

1. The zero subspace is an invariant subspace
2. The whole space is an invariant subspace

1. Formula
   Observation

   null T appears at the center of the screen

2. Audio
   Observation

   The voiceover defines, "First consider the null space—the set of all vectors mapped to the zero vector by T."

The null space (null T) is defined as the set of all vectors that are mapped to the zero vector by the operator T.

1. T is a linear operator.

1. Formula
   Observation

   The screen shows u pointing to null T, and $T(u) = 0$ ∈ null T.

2. Audio
   Observation

   The voiceover derives: "If u belongs to the null space, then by definition $T(u)$ equals the zero vector. And the zero vector must lie in the null space, so $T(u)$ also lies in the null space. This means the null space is invariant under T."

If u belongs to the null space null T, then by definition $T(u) = 0$. Since the zero vector necessarily belongs to null $T (T(0) = 0)$, $T(u)$ also belongs to null T. This proves that the null space is invariant under the operator T.

1. T is a linear operator.

1. Definition of the null space

1. Audio
   Observation

   The entire segment focuses on "invariant subspaces": first proving that null T and range T are invariant, then explaining that one-dimensional invariant subspaces are exactly eigenspaces.

2. Formula
   Observation

   The screen expresses 'acting leaves the set unchanged' using $T(u) = 0 \in \operatorname{null} T$ and $T(w) \in \operatorname{range} T$.

The video illustrates with two examples: if a subspace S satisfies 'for every $s \in S$, $T(s) \in S$' under an operator T, then S is said to be invariant under T. The segment explicitly presents both $\operatorname{null} T$ and $\operatorname{range} T$ as examples of invariant subspaces, and links one-dimensional invariant subspaces to eigenspaces.

1. S is a subspace of a vector space

2. For every $s \in S$, $T(s) \in S$

1. Formula
   Observation

   The top of the screen writes $\operatorname{null} T$ and gives $T(u) = 0 \in \operatorname{null} T$.

2. Audio
   Observation

   The voiceover explains that when u belongs to the null space, $T(u) = 0$, and thus remains in the null space.

The null space is the set of all vectors mapped by T to the zero vector. The segment uses it to demonstrate invariance: if $u \in \operatorname{null} T$, then $T(u) = 0$, and 0 still belongs to $\operatorname{null} T$, so the null space is invariant under T.

1. x belongs to the domain of T

1. invariant subspace

1. Formula
   Observation

   The middle of the screen writes $\operatorname{range} T$, and below gives $T(w) \in \operatorname{range} T$.

2. Audio
   Observation

   The voiceover says 'the range, that is, the set of all vectors of the form Tv.'

The range is the set of all vectors of the form Tv. The segment further argues: if w is in range T, then w can be written as Tv, so $T(w)$ equals T(Tv), which remains the image under T of some vector Tv and therefore belongs to range T, showing that the range is also an invariant subspace.

1. v belongs to the domain V of T; V is not explicitly named in the video.

1. invariant subspace

1. Formula
   Observation

   On screen, below “the zero subspace $\{0\}$”, write $T(0)=0$ and $0 \in \{0\}$.

2. Audio
   Observation

   The narration explains that for the zero subspace, which contains only the zero vector, any linear operator $T$ acting on the zero vector satisfies the relevant property.

For any linear operator $T$, the zero subspace $\{0\}$ is an invariant subspace of $T$.

1. $T$ is a linear operator.

2. $\{0\}$ is the subspace consisting of the zero vector.

Any linear operator $T$; the unique element $0$ in the zero subspace.

1. Audio
   Observation

   The voiceover states: "Therefore, the zero subspace is invariant under any operator."

2. Formula
   Observation

   The screen shows $T(0) = 0$ and $0 \in {0}$.

For any linear operator T, the zero subspace {0} is an invariant subspace of T.

1. T is a linear operator.

any operator T

1. Audio
   Observation

   narrator says, "Therefore, the entire space V is also invariant under T."

2. Formula
   Observation

   TV ⊆ V

For a linear operator T from V to V, the entire space V is an invariant subspace of T.

1. linear transformation T: V to V

any operator T

1. Audio
   Observation

   narrator says, "This means the null space is invariant under T."

2. Formula
   Observation

   $T(u) = 0$ ∈ null T

The null space null T of a linear operator T is an invariant subspace of T.

1. T is a linear operator

any u in null T

1. Formula
   Observation

   The screen shows $T(u)$ equals 0 in null T.

2. Audio
   Observation

   The narrator explains that vectors in the null space remain in the null space after application of T.

If u ∈ null T, then $T(u) = 0$ ∈ null T; therefore, null T is invariant under T.

1. T is a linear operator.

2. u belongs to the null space of T.

For all u ∈ null T.

1. Formula
   Observation

   The screen shows T of w is in the range of T.

2. Audio
   Observation

   The narrator says, "If w is in the range, then there exists some v such that w = Tv... hence the range is also an invariant subspace."

If w ∈ range T, then there exists v such that w = Tv; thus $T(w) = T$(Tv) ∈ range T, so range T is invariant under T.

1. T is a linear operator.

2. w belongs to the range of T.

For all w in range T, there exists v such that w equals Tv.

1. Audio
   Observation

   The narrator says, "In particular, one-dimensional invariant subspaces are eigenspaces."

2. Formula
   Observation

   The screen displays Tv equals lambda v.

If U is one-dimensional and invariant under T, pick a nonzero v in U; then there exists a scalar lambda such that Tv equals lambda v.

1. U is a one-dimensional subspace.

2. U is invariant under T.

3. v is in U and v is not equal to 0.

For any one-dimensional invariant subspace U and any nonzero vector v in U, there exists a scalar lambda.

1. Audio
   Observation

   The voiceover says, "Conversely, if v is an eigenvector, then the one-dimensional subspace spanned by v is clearly invariant under T. Therefore, finding one-dimensional invariant subspaces is equivalent to finding eigenvectors."

Finding one-dimensional invariant subspaces of an operator T is equivalent to finding eigenvectors of T.

1. v is a nonzero vector

2. U = span(v) is a one-dimensional subspace spanned by v

existence is equivalent

1. Audio
   Observation

   The narrator mentions, "If we can find sufficiently many invariant subspaces, we can decompose a complicated operator into simple actions on these subspaces—this is precisely the geometric essence of matrix diagonalization and Jordan canonical form."

If we can find sufficiently many invariant subspaces in the vector space, we can decompose a complicated operator into simple actions on these subspaces; this constitutes the geometric essence of matrix diagonalization and Jordan canonical form.

1. sufficiently many invariant subspaces exist

universal quantifier (for operators satisfying the condition)

1. Audio
   Observation

   The narrator says in sequence: "Imagine you are holding a spinning top rotating about a fixed axis." "This axis is like a special subspace within the entire three-dimensional space, and the rotation is a linear transformation." "When we view vectors in space as points and the rotation transformation as an operator T, vectors on the axis remain on the axis after being acted upon by T."

2. Animation
   Observation

   The animation first draws a large circle representing V, then draws a red line representing U, places a vector u on the line, and shows its image Tu lying on the same line.

1. Expression

   $$$$
   Explanation

   Using "spinning top rotating about a fixed axis" as a physical model, emphasizing that points on the axis remain on the axis during rotation.

   Justification

   The analogy stated directly in the video.

   Shown in the video
2. Expression

   $$$$
   Explanation

   The fixed axis is analogized to a subspace U of the vector space V, and the rotation is analogized to a linear transformation T.

   Justification

   The narrator explicitly states: "This axis is like a special subspace, and the rotation is a linear transformation."

   Shown in the video
3. Expression

   $$$$
   Explanation

   Viewing vectors in space as points and examining the location of u after being acted upon by T.

   Justification

   The narrator says: "When we view vectors in space as points and the rotation transformation as an operator T..."

   Shown in the video
4. Expression

   $$u \in U \Rightarrow Tu \in U$$
   Explanation

   The animation shows both u and Tu lying on the red line U, leading to the conclusion that U is closed under the transformation.

   Justification

   Derived from the visual result shown in the animation where vectors always remain on the same line.

   Derived from the video

The video explains via analogy and animation: if a subspace U is closed under a linear transformation T, then U is an invariant subspace of T.

1. Formula
   Observation

   The screen displays $T(0)=0$ and $0 \in \{0\}$ sequentially.

2. Audio
   Observation

   The narration explains that the zero subspace contains only the zero vector and mentions the action of a linear operator on the zero vector.

1. Expression

   $$$$
   Explanation

   take the zero subspace$U=\{0\}$ any vector in $u$ Since $\{0\}$ contains only the zero vector, $u=0$.

   Justification

   The zero subspace contains only the zero vector.

   Shown in the video
2. Expression

   $$T(0)=0$$
   Explanation

   The linear operator $T$ maps the zero vector to the zero vector.

   Justification

   A linear operator preserves the zero vector.

   Shown in the video
3. Expression

   $$0 \in \{0\}$$
   Explanation

   The resulting image $0$ still belongs to the zero subspace $\{0\}$.

   Justification

   The zero vector is an element of $\{0\}$.

   Shown in the video
4. Expression

   $$$$
   Explanation

   Therefore, for any vector in $\{0\}$ any vector in $u$ we have $Tu \in \{0\}$ so $\{0\}$ is invariant under $T$.

   Justification

   Substitute into the definition of an invariant subspace.

   Derived from the video

The zero subspace $\{0\}$ is an invariant subspace of any linear operator $T$.

1. Audio
   Observation

   voiceover step-by-step explains $T(0) = 0$ and 0 is in {0}, concluding that the null subspace is invariant

2. Formula
   Observation

   screen sequentially displays $T(0) = 0$ and 0 is in {0}

1. Expression

   $$T(0) = 0$$
   Explanation

   a linear operator maps the zero vector to the zero vector

   Justification

   basic properties of linear operators

   Shown in the video
2. Expression

   $$0 \in \{0\}$$
   Explanation

   the zero vector belongs to the null subspace

   Justification

   definition of the null subspace

   Shown in the video
3. Expression

   $$T(\{0\}) \subseteq \{0\}$$
   Explanation

   combining the above two points, the null subspace is invariant under T

   Justification

   definition of an invariant subspace

   Derived from the video

the null subspace {0} is invariant under any operator T.

1. Audio
   Observation

   voiceover explains that T is a mapping from V to V, with its range contained in V, concluding that the whole space is invariant

2. Formula
   Observation

   The screen displays TV ⊆ V

1. Expression

   $$T: V \to V$$
   Explanation

   The operator T maps the whole space V to itself

   Justification

   The operator definition given in the problem

   Shown in the video
2. Expression

   $$TV \subseteq V$$
   Explanation

   The result (range) of applying T to V must lie within V

   Justification

   Definition of a mapping

   Shown in the video
3. Expression

   $$V \text{yes} T \text{an invariant subspace of}$$
   Explanation

   Satisfies the definition of an invariant subspace

   Justification

   Definition of an invariant subspace

   Derived from the video

The whole space V is invariant under the operator T.

1. Audio
   Observation

   The voiceover assumes u belongs to the null space, derives $T(u) = 0$, then explains that 0 lies in the null space, concluding that the null space is invariant

2. Formula
   Observation

   The screen displays $T(u) = 0$ ∈ null T

1. Expression

   $$u \in \text{null } T$$
   Explanation

   Assume u is an arbitrary vector in the null space.

   Justification

   Initial assumption of the proof.

   Shown in the video
2. Expression

   $$T(u) = 0$$
   Explanation

   By the definition of the null space, u is mapped by T to the zero vector.

   Justification

   Definition of the null space.

   Shown in the video
3. Expression

   $$0 \in \text{null } T$$
   Explanation

   The zero vector must belong to the null space (because $T(0) = 0$).

   Justification

   Property of linear operators and definition of the null space.

   Derived from the video
4. Expression

   $$T(u) \in \text{null } T$$
   Explanation

   Combining the previous two steps, $T(u)$ belongs to the null space.

   Justification

   Substitution of equals for equals.

   Derived from the video
5. Expression

   $$\text{null } T \text{yes} T \text{an invariant subspace of}$$
   Explanation

   The null space is invariant under T.

   Justification

   Definition of an invariant subspace.

   Derived from the video

The null space null T is invariant under the operator T.

1. Audio
   Observation

   The narrator explains step by step: w is in the range, so there exists v such that w equals Tv; then consider T of w, which equals T of Tv; since Tv is a vector, T of Tv lies in the range.

2. Formula
   Observation

   The bottom of the screen displays T of w is in range T.

1. Expression

   $$w\in \operatorname{range} T$$
   Explanation

   Start with any vector w from the range.

   Justification

   A premise given directly in the video.

   Shown in the video
2. Expression

   $$\exists v,\; w=Tv$$
   Explanation

   By the definition of range, w can be written as the image of some vector.

   Justification

   Definition of range.

   Shown in the video
3. Expression

   $$T(w)=T(Tv)$$
   Explanation

   Substitute w = Tv into $T(w)$.

   Justification

   Substitution of equals for equals.

   Shown in the video
4. Expression

   $$T(Tv)\in \operatorname{range} T$$
   Explanation

   Since Tv itself is a vector, its image under T still lies in the range.

   Justification

   Definition of range: all vectors of the form $T(\cdot)$ belong to range T.

   Shown in the video
5. Expression

   $$T(w)\in \operatorname{range} T$$
   Explanation

   Thus, applying T to any element of the range yields another element still in the range.

   Justification

   Obtained by chaining together the previous steps.

   Shown in the video

〔range T〕 is an invariant subspace of T.

1. Audio
   Observation

   Voiceover: If U is one-dimensional and invariant under T, pick a nonzero vector v in U; then Tv must also lie in U; since U is one-dimensional, Tv must be some scalar multiple of v, that is, Tv = 〔lambda〕v.

2. Formula
   Observation

   Write Tv = $\lambda v$ on the right side of the screen.

3. Animation
   Observation

   The yellow vector scales along the same line, indicating that the image vector and the original vector are collinear.

1. Expression

   $$U\text{is one-dimensional and}T(U)\subseteq U$$
   Explanation

   First assume U is a one-dimensional invariant subspace.

   Justification

   The premise given in the video.

   Shown in the video
2. Expression

   $$v\in U,\; v\neq 0$$
   Explanation

   Pick a nonzero vector v in U.

   Justification

   A one-dimensional subspace contains a nonzero vector.

   Shown in the video
3. Expression

   $$Tv\in U$$
   Explanation

   By invariance, the image of v remains in U.

   Justification

   Definition of an invariant subspace.

   Shown in the video
4. Expression

   $$Tv=\lambda v$$
   Explanation

   Since U is one-dimensional, any vector in U is a scalar multiple of v.

   Justification

   A nonzero vector in a one-dimensional subspace forms a basis.

   Shown in the video

A nonzero vector in a one-dimensional invariant subspace satisfies the eigenvalue equation Tv = $\lambda v$.

1. Audio
   Observation

   The narrator explains step by step the derivation from eigenvectors to one-dimensional invariant subspaces

1. Expression

   $$Tv = \lambda v$$
   Explanation

   Given that v is an eigenvector, T acting on v equals the scalar 〔λ〕 times v.

   Justification

   definition of eigenvector

   Shown in the video
2. Expression

   $$U = \text{span}(v)$$
   Explanation

   Consider the one-dimensional subspace U spanned by v, where any element in U can be written as cv (c is a scalar).

   Justification

   Definition of span

   Derived from the video
3. Expression

   $$T(cv) = c(Tv) = c(\lambda v) = \lambda(cv)$$
   Explanation

   Since T is a linear operator, applying T to cv equals c times Tv, which in turn equals 〔λ〕 times cv, and the result remains in U.

   Justification

   Property of linear operators

   Derived from the video
4. Expression

   $$U \text{yes} T \text{an invariant subspace of}$$
   Explanation

   Because the image of any element in U remains in U, U is an invariant subspace.

   Justification

   Definition of invariant subspace

   Shown in the video

The one-dimensional subspace spanned by an eigenvector must be an invariant subspace of the operator.

1. Formula
   Observation

   The screen title reads 'A trivial but important example'; on the left appears 'zero subspace $\{0\}$', and on the right 'full space $V$'.

2. Audio
   Observation

   The voiceover says, 'Let us verify several basic examples of invariant subspaces. First are the two trivial cases: the zero subspace and the full space.'

1. At the end of the segment, only the verification formula for the zero subspace is fully displayed; the verification process for the full space $V$ is not elaborated in either the audio or the visuals.

Verify whether basic subspaces such as the zero subspace and the full space are invariant subspaces of a linear operator.

1. $T$ is a linear operator on $V$.

2. The zero subspace is $\{0\}$

3. The whole space is $V$

Determine whether these subspaces satisfy "for any $u \in U$, we have $Tu \in U$".

1. Expression

   $$U=\{0\}$$
   Explanation

   First consider the zero subspace, whose only vector is $0$.

   Justification

   An example object shown in the video.

   Shown in the video
2. Expression

   $$T(0)=0$$
   Explanation

   A linear operator maps the zero vector to itself.

   Justification

   A basic property of linear operators.

   Shown in the video
3. Expression

   $$0 \in \{0\}$$
   Explanation

   The image remains within the zero subspace; thus, the zero subspace satisfies the definition of an invariant subspace.

   Justification

   Definition of an invariant subspace.

   Shown in the video
4. Expression

   $$U=V$$
   Explanation

   The video also lists the whole space $V$ as another trivial example.

   Justification

   Video title: "The whole space $V$".

   Shown in the video

The zero subspace $\{0\}$ is an invariant subspace; the whole space $V$ is listed as another trivial example, but its full verification is not shown in this segment.

For the zero subspace, check whether the image of its unique element $0$ still lies in $\{0\}$; the screen shows $T(0)=0$ and $0 \in \{0\}$.

1. Formula
   Observation

   The top of the screen shows u and $T(u) = 0$ ∈ null T.

2. Audio
   Observation

   The voiceover uses the null space as an example to illustrate invariance.

Explains that if u belongs to the null space, then it remains in the null space after application of T.

1. u belongs to the null space of T.

2. The result of applying T to u is the zero vector.

Verifies that $T(u)$ still belongs to null T.

1. Expression

   $$u\in \operatorname{null} T$$
   Explanation

   Take a vector u from the null space.

   Justification

   Example premise.

   Shown in the video
2. Expression

   $$T(u)=0$$
   Explanation

   By definition of the null space, u is mapped to the zero vector.

   Justification

   Definition of the null space.

   Shown in the video
3. Expression

   $$0\in \operatorname{null} T$$
   Explanation

   The zero vector certainly also belongs to the null space.

   Justification

   A subspace contains the zero vector; the video writes this directly as $0\in \operatorname{null} T$.

   Shown in the video

$T(u) = 0\in \operatorname{null} T$, so the null space is invariant under T.

The screen directly shows $T(u) = 0\in \operatorname{null} T$, consistent with the narrator's conclusion.

1. Formula
   Observation

   The bottom of the screen displays w and $T(w)\in \operatorname{range} T$.

2. Audio
   Observation

   The narration fully explains the reasoning: w = Tv and $T(w) = T$(Tv).

It explains that if w belongs to the range, then $T(w)$ still belongs to the range.

1. w belongs to the range of T.

2. There exists some vector v such that w equals the result of T acting on v.

Verify that $T(w)\in \operatorname{range} T$.

1. Expression

   $$w\in \operatorname{range} T$$
   Explanation

   Pick an element w from the range.

   Justification

   Example premise.

   Shown in the video
2. Expression

   $$w=Tv$$
   Explanation

   By the definition of range, w is the image of some v.

   Justification

   Definition of range.

   Shown in the video
3. Expression

   $$T(w)=T(Tv)$$
   Explanation

   Substitute w = Tv.

   Justification

   Substitution.

   Shown in the video
4. Expression

   $$T(Tv)\in \operatorname{range} T$$
   Explanation

   Tv is a vector, so its image still belongs to the range.

   Justification

   Definition of range.

   Shown in the video

$T(w)$ ∈ range T, so the range is also an invariant subspace.

The screen displays $T(w)$ ∈ range T, and the narration matches this conclusion.

1. Caption evidence
   Observation

   Yellow text "Invariant Subspace" appears at the center of a black screen.

1. Yellow title text "Invariant Subspace"

1. Title fades out after appearing

1. Background remains black

Indicates that the topic of this segment is invariant subspaces.

1. Animation
   Observation

   A white circular arc gradually closes into a large circle, labeled V on the right.

1. Large circle

2. Label V

1. Circle completes from an arc into a closed circle

1. Center position remains approximately unchanged

Use a large circle to represent the entire vector space V.

1. Animation
   Observation

   A red vertical line appears inside the circle, labeled U above it.

1. Red vertical line.

2. Label U.

1. The red line extends upward from below.

1. The line always stays inside the circle.

Use a line inside the circle to represent the subspace U of V.

1. Animation
   Observation

   A cyan arrow u appears on the red line and then moves up and down along it; a yellow T appears at the midpoint of the red line; Tu is also labeled on the red line.

1. Cyan vector u.

2. Yellow operator label T.

3. like Tu

4. the red line U

1. u moves up and down along U

2. Tu accordingly appears on U

1. both u and Tu always lie on the red line U

2. the great circle boundary of V remains unchanged

the animation visually illustrates 'invariance under transformation': elements of U, after application of T, remain within U.

1. Caption evidence
   Observation

   the screen cuts back to a black background, with a yellow title 'Definition of Invariant Subspace' appearing at the center, and 'Let U be a subspace of V.' appearing below.

1. the subsequent definition text does not fully appear in this segment.

1. yellow title 'Definition of Invariant Subspace'

2. white text 'Let U be a subspace of V.'

1. Switch from the animation scene to the text definition scene

1. The background remains black

Transition from intuitive demonstration to formal definition.

1. Animation
   Observation

   A yellow title reading "Definition of invariant subspace" appears on a black background, followed by white definition text fading in line by line.

2. Animation
   Observation

   Approximately 24 seconds later, $U$ is highlighted with a yellow box; approximately 30 seconds later, the word "any" is emphasized with a green underline; approximately 36 seconds later, the phrase "$u \in U$, there exists $Tu \in U$" is enclosed in a green box.

1. Title: "Definition of invariant subspace"

2. Definition text

3. Symbol $U$

4. Word "any"

5. Condition $u \in U$, there exists $Tu \in U$

1. Definition text appears line by line, fading from blurry to sharp

2. $U$ is highlighted with a yellow box

3. "Any" is highlighted with a green underline

4. The core condition is highlighted with a green box.

1. The background remains black.

2. The title remains centered at the top.

3. The overall structure of the definition text remains unchanged.

Visual highlighting emphasizes the object $U$, the universal quantifier 'for all', and the core closure condition $Tu \in U$ in the definition of invariant subspace.

1. Animation
   Observation

   The scene switches to 'Trivial but important examples': on the left appears red 'zero subspace $\{0\}$', and on the right appears cyan 'whole space $V$' along with a cyan arc.

2. Animation
   Observation

   Approximately 57 seconds later, $T(0)=0$ and $0 \in \{0\}$ appear sequentially below the left zero subspace.

1. Title: 'Trivial but important examples'.

2. Left: zero subspace $\{0\}$.

3. Right: whole space $V$.

4. Cyan arc.

5. Formula $T(0)=0$

6. Formula $0 \in \{0\}$

1. Two examples listed separately on the left and right sides

2. The right side uses a cyan circular arc to represent the whole space $V$

3. The left side adds the verification formula for the zero subspace

1. The left-right comparison layout remains unchanged

2. The zero subspace is displayed in red text; the whole space is displayed in cyan text

The screen introduces two trivial invariant subspaces using a left-right comparison layout, first showing the verification for the zero subspace.

1. Diagram
   Observation

   The screen is divided into left and right parts: on the left, red text reads 'zero subspace' alongside a formula; on the right, a cyan circle represents 'the entire space V'.

1. Zero subspace {0}

2. Entire space V

3. Operator T

1. $T(0)=0$ and $0\in {0}$ appear sequentially on the left

2. TV⊆V appears below the circle on the right

1. The left-right column contrast structure remains unchanged

Visually contrast the two most basic examples of invariant subspaces—the minimal zero subspace and the maximal entire space—using left-right columns.

1. Animation
   Observation

   null T appears at the center of the screen; then vector u points to null T via a green arrow, and the formula $T(u)=0$∈null T appears

1. Null space null T

2. Vector u

3. operator T

1. u appears and points to null T

2. formula $T(u)=0$∈null T appears

1. null T, as the core set, remains centered

The animation visually demonstrates the logical chain of kernel invariance: u is in the kernel → T maps u to $0 \to 0$ remains in the kernel.

1. Animation
   Observation

   On a black background, first the top green arrow and null T appear, then the middle range T and the bottom yellow arrow appear, forming two sets of mapping illustrations, one above and one below.

2. Formula
   Observation

   At the top: $T(u) = 0$ ∈ null T; at the bottom: $T(w)$ ∈ range T.

1. Green arrow

2. yellow arrow

3. null T label

4. range T label

5. formula $T(u) = 0$ ∈ null T

6. formula $T(w)$ ∈ range T

1. starting around 00:01, the range T label appears

2. starting around 00:05, the lower yellow arrow and w appear

3. starting around 00:06, the lower formula $T(w)$ ∈ range T appears

4. starting around 00:36, the entire diagram fades out

1. the upper and lower groups correspond respectively to the null space and the range

2. arrow direction always indicates the action of T

3. set membership relations in the formulas remain unchanged

This diagram visualizes the abstract definition: the top part shows elements of the null space being mapped by T to 0 and remaining in the null space; the bottom part shows elements of the range being mapped by T and remaining in the range.

1. Caption evidence
   Observation

   The title "Eigenspaces: The Essence of Invariance" appears at the top of the screen.

2. Animation
   Observation

   A light-blue line extends from the lower left to the upper right; a yellow vector appears along this line and scales, with the equation Tv=$\lambda v$ written beside it.

3. Formula
   Observation

   The equation Tv=$\lambda v$ on the right is clearly visible.

1. Light-blue line

2. Yellow vector v

3. Equation Tv=$\lambda v$

4. Title text "Eigenspaces: The Essence of Invariance"

1. Starting at approximately 00:38, the title and the line appear.

2. Starting at approximately 00:40, the yellow vector appears along the line.

3. Starting at approximately 00:41, the equation Tv=$\lambda v$ appears in full.

4. After scaling approximately 00:52, the yellow vector stretches or shrinks along the same line, representing multiplication by the scalar $\lambda$.

1. The vectors always lie on the same straight line.

2. The direction of the line remains unchanged.

3. The formula Tv=$\lambda v$ remains continuously displayed.

The animation illustrates a one-dimensional invariant subspace by showing that vectors stretch only along the same line without leaving it: the action of T does not change direction, only magnitude or orientation—this is precisely the geometric meaning of the eigenvector relation.

1. Animation
   Observation

   At the center of the screen is a cyan line, with a yellow arrow starting from the origin and pointing to the upper right, labeled 〔λv〕. The yellow arrow then turns green, preserving its magnitude and direction. The formula 〔Tv = λv〕 remains displayed on the right throughout.

1. Cyan line

2. Yellow/green arrow

3. Formula 〔Tv = λv〕

4. label $\lambda v$

1. The yellow arrow turns green, but its length and direction remain unchanged

1. The arrow's direction always lies on the cyan line

2. The arrow's length remains unchanged

3. The equation Tv = $\lambda v$ always holds

This intuitively illustrates how the operator T acts on the eigenvector v: it merely stretches or compresses v (by multiplying by the scalar $\lambda$) without changing its direction (i.e., it stays within the one-dimensional subspace or line spanned by v).

1. Caption evidence
   Observation

   This segment displays only the first half of the definition: "Let U be a subspace of V," and does not show the complete invariant subspace criterion.

Assuming that the full definition of an invariant subspace has already been given upon seeing "Let U be a subspace of V."

This segment shows only the initial premise of the definition; the full definition also requires stating that Tu ∈ U for all $u \in U$, but this part does not appear within the current 60-second segment.

1. Audio
   Observation

   The voiceover says: "The word 'arbitrary' in this definition is crucial—it means that every vector in $U$ must satisfy this property, not just some special vectors."

2. Animation
   Observation

   On screen, the word “any” is highlighted with a green underline.

Thinking that as long as some special vectors in the subspace remain inside the subspace after acting by $T$, the subspace can be called invariant.

The invariant subspace condition must hold for every vector in $U$, meaning each $u \in U$ must satisfy $Tu \in U$.

1. Audio
   Observation

   The voiceover emphasizes, "Although these two examples may seem obvious, they are the foundation of invariant subspace theory."

Regarding the zero subspace and the whole space as invariant subspace examples as too simple to be meaningful.

The video explicitly states that although these two examples are obvious, they are the foundation of invariant subspace theory, and any discussion must include these two extreme cases.

1. Audio
   Observation

   The voiceover emphasizes that 'vectors in the range remain in the range after applying T', rather than saying they stay fixed.

2. Formula
   Observation

   The screen displays $T(w)\in \operatorname{range} T$, not $T(w)=w$.

When seeing 'invariant subspace', it is easy to mistakenly assume that every vector in the subspace stays unchanged under T.

The video actually proves set-level closure: as long as the original vector belongs to the subspace, its image still belongs to that subspace; the vector itself may change—for example, w in the range becomes $T(w)$, and u in the null space becomes 0.

1. Audio
   Observation

   The voiceover first summarizes the intuitive property as "closed under the transformation," then says "Now let us describe this phenomenon using precise mathematical language."

2. Caption evidence
   Observation

   The screen transitions from animation to a text card titled "Definition of Invariant Subspace".

The video first builds intuition using animations of a spinning top and vectors, then proceeds to the formal definition, indicating that the formal definition precisely captures the intuitive notion of closure shown earlier.

1. Formula
   Observation

   The first part gives the definition of an invariant subspace; the second part verifies the zero subspace using $T(0)=0$ and $0 \in \{0\}$.

2. Audio
   Observation

   The voiceover transitions from the definition to 'Let us verify several basic examples of invariant subspaces.'

The zero subspace example applies the invariant subspace definition by checking that $T(0)=0$ and $0 \in \{0\}$ hold.

1. Audio
   Observation

   The voiceover refers to the zero subspace and the whole space as "the foundation of invariant subspace theory."

The zero subspace, as the most basic example, serves to build the foundation of invariant subspace theory.

1. Audio
   Observation

   The voiceover refers to the zero subspace and the whole space as "the foundation of invariant subspace theory."

The entire space serves as another fundamental example and likewise forms the cornerstone for building the theory of invariant subspaces.

1. Audio
   Observation

   The narrator uses the definition of the null space when deriving its invariance.

Understanding the definition of the null space is a prerequisite for proving its invariance.

1. Audio
   Observation

   The voiceover first presents the null space example, then concludes 'the range is also an invariant subspace'.

2. Formula
   Observation

   $T(u)=0\in \operatorname{null} T$ directly demonstrates the invariance criterion.

The null space is a concrete example of an invariant subspace: it satisfies the property that elements remain in the original set after application of T.

1. Audio
   Observation

   The voiceover gives a complete argument that the range is closed under T.

2. Formula
   Observation

   $T(w)\in \operatorname{range} T$ expresses invariance of the set.

The range is also a concrete example of an invariant subspace; the proof strategy rewrites $T(w)$ as some image vector using w=Tv.

1. Audio
   Observation

   The voiceover explicitly states, "A one-dimensional invariant subspace is an eigenspace."

2. Formula
   Observation

   Tv=$\lambda v$ gives the algebraic form for the one-dimensional case.

Here, the eigenspace is understood as a one-dimensional invariant subspace, i.e., a concrete realization of the invariant subspace concept in the one-dimensional case.

1. Audio
   Observation

   The voiceover deduces from "U is one-dimensional and invariant" that Tv must be some scalar multiple of v.

2. Animation
   Observation

   Vectors stretch or shrink along the same line.

Applying the general definition of invariant subspace to the one-dimensional case yields the eigenvalue equation Tv=$\lambda v$.

1. Audio
   Observation

   The voiceover explicitly states, "Finding a one-dimensional invariant subspace is equivalent to finding an eigenvector."

In the context of one-dimensional subspaces, the concept of eigenvectors is equivalent to that of invariant subspaces. The line spanned by an eigenvector is a one-dimensional invariant subspace of the operator.

1. Audio
   Observation

   The voiceover mentions, "Decomposing a complicated operator into simple actions on these subspaces is precisely the geometric essence of matrix diagonalization and Jordan canonical form."

The definition and properties of invariant subspaces are applied in operator decomposition theory, forming the geometric foundation for understanding matrix diagonalization and Jordan canonical form.

1. Formula
   Observation

   Logically, the screen first presents the definition, then lists examples satisfying that definition.

The definition of invariant subspace is applied to concrete mathematical objects (such as the zero subspace, the whole space, the kernel, and the range) to produce common examples.

1. Audio
   Observation

   The voiceover explains, "This property of remaining closed under the transformation is the most intuitive manifestation of an invariant subspace."

1. Intuitive understanding of invariant subspaces

1. Audio
   Observation

   The narrator draws an analogy: 'A spinning top rotates about a fixed axis, and points on the axis remain on the axis throughout the rotation.'

1. Intuitive understanding of invariant subspaces
2. Intuitive derivation from spinning top rotation to invariant subspaces

1. Diagram
   Observation

   The screen labels V, U, T, u, and Tu respectively.

1. Intuitive understanding of invariant subspaces

1. Caption evidence
   Observation

   The text card displays 'Definition of invariant subspace' and 'Let U be a subspace of V.'

1. The full definition does not appear in this segment.

1. The beginning of the definition of invariant subspace

1. Formula
   Observation

   The screen displays 'Definition of an invariant subspace' along with condition $Tu \in U$.

1. Definition of an invariant subspace

1. Audio
   Observation

   The voiceover emphasizes that 'any' means every vector must satisfy the property.

2. Animation
   Observation

   'Any' is highlighted with a green underline.

1. Definition of an invariant subspace
2. Mistakenly believing that only some special vectors need to satisfy invariance

1. Formula
   Observation

   The screen shows $T(0)=0$ and $0 \in \{0\}$.