1. 집합에서 자연수로 ($\text{Set} \to \mathbb{N}$)

필기하신 "$0 \to 1 \to \dots$ (Induction)" 부분은 폰 노이만 서수(Von Neumann Ordinals)를 통한 자연수의 정의입니다.

여기에 페아노 공리(Peano Axioms), 그중에서도 5번째 공리인 수학적 귀납법(Induction)이 더해져 자연수 체계의 논리적 토대가 완성됩니다.

2. 자연수에서 정수로 ($\mathbb{N} \to \mathbb{Z}$)

자연수는 덧셈에 대해 닫혀있지만, 역원(뺄셈)이 존재하지 않아 $3+x=1$ 같은 방정식을 풀 수 없습니다.

• 구성 (Construction): 자연수의 순서쌍 $\mathbb{N} \times \mathbb{N}$을 생각합니다. $(a, b)$는 직관적으로 $a-b$를 의미합니다.
• 동치 관계 (Equivalence Relation):
  $(a, b) \sim (c, d) \iff a + d = b + c$
• 위 관계를 만족하는 동치류(Equivalence Class)들의 집합이 바로 정수 $\mathbb{Z}$입니다.

3. 정수에서 유리수로 ($\mathbb{Z} \to \mathbb{Q}$)

정수는 나눗셈에 대해 닫혀있지 않아 $2x=1$ 같은 방정식을 해결할 수 없습니다.

• 구성 (Field of Fractions): 정수의 순서쌍 $(a, b)$ (단, $b \neq 0$)를 생각합니다. 이는 $a/b$를 의미합니다.
• 동치 관계:
  $(a, b) \sim (c, d) \iff ad = bc$
• 특징: 유리수 집합 $\mathbb{Q}$는 가산 집합(Countable)입니다. 즉, 자연수와 일대일 대응이 가능합니다($\aleph_0$).

4. 유리수에서 실수로 ($\mathbb{Q} \to \mathbb{R}$): 완비성(Completeness)

가장 핵심적인 단계입니다. 유리수는 조밀(Dense)하지만 빈틈(Gap)이 있습니다($p^2=2$인 유리수 없음). 이를 메워 해석학(극한, 미분)을 가능하게 합니다.

Method A. 데데킨트 절단 (Dedekind Cut)

필기 노트에서 상세히 증명하신 방법입니다. 실수를 '점'이 아닌 '유리수 집합의 분할(Cut)' 그 자체로 정의합니다.

이 정의를 통해 LUB Property(최소상한 성질)가 증명됩니다. 즉, "위로 유계인 모든 집합은 실수인 상한(Supremum)을 가진다."

Method B. 코시 수열 (Cauchy Sequence)

거리가 가까워지는 유리수열들의 집합(동치류)으로 실수를 정의하는 방법입니다. 결과적으로 데데킨트 절단과 동형인 체(Isomorphic Field)를 만듭니다.

5. 실수에서 복소수로 ($\mathbb{R} \to \mathbb{C}$)

실수는 완비적이지만, $x^2 + 1 = 0$과 같은 방정식의 해가 없는 대수적 불완전함(Algebraically Incomplete)이 남습니다. Rudin 1장의 마지막 퍼즐입니다.

• 정의: 복소수 $z = (a, b)$ ($a, b \in \mathbb{R}$)
• 연산의 정의:
  • 덧셈: $(a, b) + (c, d) = (a+c, b+d)$
  • 곱셈: $(a, b) \times (c, d) = (ac - bd, ad + bc)$
• 허수 단위 $i$: $(0, 1)$을 $i$라 정의하면, 위 곱셈 정의에 의해
  $i^2 = (0, 1)(0, 1) = (0\cdot0 - 1\cdot1, 0\cdot1 + 1\cdot0) = (-1, 0) = -1$ 이 됩니다.
• 성질:
  • Algebraic Closure: 모든 $n$차 다항식은 복소수 내에서 $n$개의 해를 가집니다.
  • 순서 상실 (Unordered): 복소수 체 $\mathbb{C}$는 순서체(Ordered Field)가 될 수 없습니다. (양수/음수의 개념이 없음)

6. 결론: 수학적 구조의 완성

Based on Rudin's PMA & Your Lecture Notes

일본의 위대한 수학자 오카 기요시(Oka Kiyoshi)의 에세이를 읽고 정리한 독서 노트입니다. 수학적 난제에 도전했던 그의 치열한 과정과 그가 깨달은 '수학의 본질(정서)'에 대한 통찰을 담았습니다.

1. 발견의 황홀한 기쁨 (난제 해결의 과정)

1) 배경과 도전

• 1929년의 상황: 하인리히 벵케와 페터 툴렌의 공저 『다변수 해석수론』이 독일에서 출간됨. 당시까지의 논문을 총망라했으나 세 가지 중심적 문제가 미해결 상태로 남아있음.
• 도전과 좌절: 이 문제들에 도전하여 150페이지 분량의 논문을 작성했으나, 스스로 리뷰한 결과 중심 문제를 전혀 다루지 못했음을 깨닫고 포기함.
• 결심: 기존 논문은 요약해서 발표하고, 이듬해 1월부터 미해결 문제에 본격적으로 재도전하기로 결심.

2) 고뇌의 시간과 전환점

• 관련 문헌을 찾기 위해 히로시마에서 교토대학까지 오감.
• 두 달간 매달렸으나 문제는 거대한 산맥처럼 느껴졌고, 매일 방법을 바꿔가며 밤까지 시도함.
• 세 달간의 낙담 끝에 지극히 단순한 문제조차 풀 수 없는 지경에 이름. (억지로 집중하면 10분 만에 졸음이 쏟아짐)
• 전환점 (Hokkaido): 물리학자 나카야 우키치로의 연락으로 홋카이도 방문. 응접실에서 잠들었다가 좋지 않은 소문이 돌기 시작함.
• 해결: 식사 후 연구실에 가만히 앉아있을 때, 비로소 생각이 정리됨 (2시간 30분 소요).

2. 추천의 말 및 저자의 말

추천의 말

• 황농문 (서울대 교수, '몰입' 저자):
  "성선설도 성악설도 아닌 '동물→교육→인간'의 과정이라 생각한다. 오카 기요시가 바로 그 예시이다. 그의 삶, 문학, 예술에 대한 통찰은 남다르다."
• 김성연 (KIAS 수학난제연구센터 교수):
  "명상하듯 수학 연구를 한 것으로 유명하다. 이 책에는 누구나 고민해봤을 '공부의 본질'에 대한 대가의 대답이 있다."
• 나카자와 신이치 (인류학자):
  "물질문명은 정서 구조로 새롭게 재창조되어야 한다."
• 변준기 (서울대 대학원생):
  "'계산으로 얻을 수 없는' 새로운 차원의 수학이 이 책에 담겨 있다."

저자: 오카 기요시

교토대학 졸업 후 39년 동안 한눈팔지 않고 수학에만 매진했다.
"수학이란 정서를 지성으로 표현하는 예술이다."
무슨 쓸모가 있을까? 제비꽃은 제비꽃으로 피어있으면 그만이다.

3. 정서가 깊을수록 경지가 넓어진다

* 참고 인물: 아쿠타가와 류노스케, 나쓰메 소세키, 니시다 기타로
* 비교 통찰: 동양 vs 서양 / 정서 vs 영감

Thinking with Gemini

수학과 물리학이 '같은 개념'을 바라보는 두 가지 시선

순수 수학(Pure Mathematics)과 이론 물리학(Theoretical Physics)은 같은 언어를 공유하지만, 그 언어를 사용하는 목적과 철학에는 근본적인 차이가 있습니다. 수학적 엄밀함과 물리적 실재성 사이에서, 핵심 개념들(Tensor, Group, Hilbert Space)이 어떻게 다르게 정의되고 해석되는지 정리해 봅니다.

1. 근본적인 접근 방식 (Philosophy)

두 학문은 정의를 내리는 출발점부터 다릅니다.

• 순수 수학 (Pure Math): 공리(Axioms)와 논리적 구조가 기준입니다. "정의된 규칙 안에서 모순 없이 성립하는가?"를 탐구하며, 절대적인 엄밀성을 추구합니다.
• 물리학 (Physics): 관측(Observation)과 자연 현상이 기준입니다. "이것이 실재(Reality)와 대응되는가?"가 중요하며, 현상을 설명하기 위해 수학적 도구를 가져다 씁니다.

2. 텐서 (Tensor)

텐서는 두 학문의 관점 차이가 가장 극명하게 드러나는 개념입니다.

3. 군론 (Group Theory)

4. 힐베르트 공간 (Hilbert Space)

요약 (Summary)

이 글은 수학적 정의와 물리적 직관 사이의 연결 고리를 이해하기 위해 작성되었습니다.

본 포스팅은 Principles of Mathematical Analysis (일명 Baby Rudin)를 독학하며 작성한 학습 노트의 내용을 바탕으로, 개념이 모호했던 Compact Set(콤팩트 집합) 파트를 보강하고, 오개념을 수정한 오답 노트입니다.

1. Compact Set (콤팩트 집합) 핵심 정리

노트 마지막 부분인 2.31부터 2.42까지의 내용을 정리합니다. [cite_start]해석학에서 가장 중요하고 추상적인 개념인 만큼 정확한 정의가 필수적입니다[cite: 522].

• 2.33 Compactness is Intrinsic: $K \subset Y \subset X$일 때, $K$가 $X$에서 콤팩트인 것과 $Y$에서 콤팩트인 것은 동치입니다. (전체 공간에 의존하지 않는 절대적 성질)
• 2.34 Theorem: 콤팩트 집합의 부분집합들은 모두 Closed(닫힌 집합)입니다.
• 2.35 Theorem: 콤팩트 집합 $K$의 닫힌 부분집합 $F$는 Compact입니다.
• 2.36 Finite Intersection Property: 콤팩트 집합 내의 닫힌 집합들이 유한 교차 성질을 가지면, 전체 교집합도 공집합이 아닙니다.
• 2.38 & 2.40 k-Cells: $\mathbb{R}^k$ 상의 k-cell(폐구간 직육면체)은 Compact입니다.

2. 오답 노트 (Correction Log)

학습 노트 작성 중 발생한 오개념이나 모호한 부분을 교정합니다.

3. Note 확장: 차원과 대수 구조

노트 여백에 적혀있던 "11차원, 4원수, 2차원 연산"에 대한 심화 해설입니다[cite: 453, 462].

• Q. 2차원 이상의 공간($\mathbb{R}^k$)에서 곱셈은?
  일반적인 벡터 공간 $\mathbb{R}^k$에서는 벡터 간의 곱셈이 정의되지 않습니다. 하지만 $\mathbb{R}^2$에 특수한 곱셈 규칙($(a,b) \times (c,d) = \dots$)을 부여하여 복소평면($\mathbb{C}$)이라는 '체(Field)'를 만듭니다.
• Q. [cite_start]4원수(Quaternions, $\mathbb{H}$)란? [cite: 455]
  $\mathbb{R}^4$ 공간에 곱셈 구조를 부여한 것입니다. 하지만 치명적인 대가가 따르는데, 바로 "교환법칙이 성립하지 않는다($ij \neq ji$)"는 점입니다. 따라서 Field가 아닌 Division Ring(나눗셈 환)으로 분류됩니다.
• Q. [cite_start]11차원 등의 고차원 연산? [cite: 457]
  수학적으로 실수 위에서 '거리(크기)를 보존하며 나눗셈이 가능한 구조'는 1, 2, 4, 8차원($\mathbb{R}, \mathbb{C}, \mathbb{H}, \mathbb{O}$)까지만 존재한다는 것이 증명되어 있습니다 (Hurwitz's Theorem). 11차원 등에서는 우리가 아는 사칙연산 체계를 완벽히 유지할 수 없습니다.

Orthonormal Bases (Part 3)

Based on Linear Algebra Done Right by Sheldon Axler

This post covers the concept of Orthonormal Bases, the Gram-Schmidt procedure, and important theorems like Schur's Theorem and the Riesz Representation Theorem.

(Assumption: $V$ denotes an inner product space over $F$, where $F$ is $\mathbf{R}$ or $\mathbf{C}$.)

1. Orthonormal Lists

Key Properties

1. Norm of a Linear Combination:
If $e_1, \dots, e_m$ is an orthonormal list, then for any scalars $a_1, \dots, a_m$:

2. Linear Independence:
Every orthonormal list of vectors is linearly independent.

2. Orthonormal Bases

An orthonormal basis of $V$ is an orthonormal list of vectors that is also a basis of $V$.

This means the coefficient of each basis vector is simply the inner product of the vector $v$ with that basis vector.

3. Gram-Schmidt Procedure

This is a standard algorithm for turning any linearly independent list into an orthonormal list with the same span.

• Input: A linearly independent list $v_1, \dots, v_m$.
• Output: An orthonormal list $e_1, \dots, e_m$ such that: $$ \operatorname{span}(v_1, \dots, v_j) = \operatorname{span}(e_1, \dots, e_j) \quad \text{for } j=1, \dots, m $$

Existence Theorems

Using the Gram-Schmidt procedure, we can prove:

1. Every finite-dimensional inner product space has an orthonormal basis.
2. Every orthonormal list of vectors in $V$ can be extended to an orthonormal basis of $V$.

4. Advanced Theorems

Schur's Theorem

Suppose $V$ is a finite-dimensional complex inner product space and $T \in \mathcal{L}(V)$. Then $T$ has an upper-triangular matrix with respect to some orthonormal basis of $V$.

Riesz Representation Theorem

Suppose $V$ is finite-dimensional. Then for every linear functional $\varphi$ on $V$ (a linear map from $V$ to $F$), there exists a unique vector $u \in V$ such that:

for every $w \in V$.

This concludes the video on orthonormal bases.

Inner Products and Norms (Part 1)

Based on Linear Algebra Done Right by Sheldon Axler

Hello, I'm Sheldon Axler, the author of Linear Algebra Done Right. This video discusses part one of the section titled "Inner Products and Norms." In this video, we will focus on inner products.

1. Standard Notation & Motivation

Let's quickly recall our standard notation. $F$ denotes either the scalar field $\mathbf{R}$ of real numbers or the scalar field $\mathbf{C}$ of complex numbers. We also let $V$ denote a vector space over $F$.

To motivate the definition of the inner product, we'll start by considering the dot product on $\mathbf{R}^n$. Specifically, we'll begin by examining the case in $\mathbf{R}^2$. We have a vector with coordinates $(x_1, x_2)$, and the length of this vector is the square root of the sum of the squares of the coordinates: $\sqrt{x_1^2 + x_2^2}$.

If we move from $\mathbf{R}^2$ to $\mathbf{R}^n$, looking at a vector $\mathbf{x} = (x_1, \dots, x_n)$, we define the norm of $\mathbf{x}$, denoted $\|\mathbf{x}\|$, to be the square root of the sum of the squares of its components:

However, linearity is not immediately apparent in this formula. To introduce linearity, we define the dot product.

We see immediately that $\mathbf{x} \cdot \mathbf{x} = \|\mathbf{x}\|^2$. Now let's look at some key properties of the dot product:

1. For any vector $\mathbf{x} \in \mathbf{R}^n$, $\mathbf{x} \cdot \mathbf{x} \ge 0$.
2. $\mathbf{x} \cdot \mathbf{x} = 0$ if and only if $\mathbf{x} = \mathbf{0}$.
3. If we fix a vector $\mathbf{y} \in \mathbf{R}^n$, then the map $\mathbf{x} \mapsto \mathbf{x} \cdot \mathbf{y}$ is linear.
4. For any vectors $\mathbf{x}, \mathbf{y} \in \mathbf{R}^n$, $\mathbf{x} \cdot \mathbf{y} = \mathbf{y} \cdot \mathbf{x}$ (Commutativity).

2. The Complex Case

The properties above form the basis for the abstract definition of an inner product. This works perfectly for real vector spaces. For complex vector spaces, however, we need to consider an additional factor.

For a vector $\mathbf{z} = (z_1, \dots, z_n)$ in $\mathbf{C}^n$, we define its norm $\|\mathbf{z}\|$ using magnitudes:

To recover the relationship $\|\mathbf{z}\|^2 = \langle \mathbf{z}, \mathbf{z} \rangle$, the inner product for vectors $\mathbf{w}$ and $\mathbf{z}$ in $\mathbf{C}^n$ must be defined using the complex conjugate:

3. Definition of Inner Product

We are now ready to define an inner product generally for vector spaces over either $\mathbf{R}$ or $\mathbf{C}$.

* Note: An inner product space is a vector space $V$ together with a specific inner product defined on it.

4. Examples

1. Euclidean Inner Product on $F^n$:
   $\langle \mathbf{w}, \mathbf{z} \rangle = \sum_{k=1}^{n} w_k \overline{z_k}$.
2. Weighted Euclidean Inner Product:
   Choose positive constants $c_1, \dots, c_n$. Define $\langle \mathbf{w}, \mathbf{z} \rangle = \sum_{k=1}^{n} c_k w_k \overline{z_k}$.
3. Inner Product on $C([-1, 1], \mathbf{R})$:
   $\langle f, g \rangle = \int_{-1}^{1} f(x)g(x) \, dx$.
4. Inner Product on $P(\mathbf{R})$:
   $\langle p, q \rangle = \int_{0}^{\infty} p(x)q(x) e^{-x} \, dx$.

5. Basic Properties

Based on the definition, we can derive the following properties:

• Linearity in the first argument: For fixed $\mathbf{u}$, the map $\mathbf{v} \mapsto \langle \mathbf{v}, \mathbf{u} \rangle$ is linear.
• Interaction with zero: $\langle \mathbf{0}, \mathbf{v} \rangle = 0$ and $\langle \mathbf{v}, \mathbf{0} \rangle = 0$.
• Additivity in the second argument: $\langle \mathbf{u}, \mathbf{v}_1 + \mathbf{v}_2 \rangle = \langle \mathbf{u}, \mathbf{v}_1 \rangle + \langle \mathbf{u}, \mathbf{v}_2 \rangle$.
• Conjugate Homogeneity in the second argument: $\langle \mathbf{u}, \lambda \mathbf{v} \rangle = \overline{\lambda} \langle \mathbf{u}, \mathbf{v} \rangle$.

(Note: In the real case where $F = \mathbf{R}$, the inner product is linear in the second argument as well.)

This concludes part one of the video on inner products and norms.

Inner Products and Norms (Part 2)

Based on Linear Algebra Done Right by Sheldon Axler

This discussion covers part two of the section on Inner Products and Norms. Throughout this post, we assume $V$ denotes an inner product space.

1. Definition of Norm

Since $\langle v, v \rangle \ge 0$ by definition of the inner product, this square root is always valid.

Examples

1. Euclidean Norm on $\mathbf{F}^n$:
   For a vector $z = (z_1, \ldots, z_n) \in \mathbf{F}^n$, using the standard inner product: $$ \|z\| = \sqrt{|z_1|^2 + \cdots + |z_n|^2} $$ (Unless specified otherwise, $\mathbf{F}^n$ is assumed to have this Euclidean norm.)
2. Norm on Function Space:
   For continuous real-valued functions on $[-1, 1]$ with $\langle f, g \rangle = \int_{-1}^{1} f(x)g(x) \, dx$: $$ \|f\| = \sqrt{\int_{-1}^{1} (f(x))^2 \, dx} $$

2. Basic Properties of Norms

• Positivity: $\|v\| = 0$ if and only if $v = 0$. (This follows directly from the definiteness of the inner product.)
• Homogeneity: For any scalar $\lambda \in \mathbf{F}$, $\|\lambda v\| = |\lambda| \, \|v\|$.

3. Orthogonality & The Pythagorean Theorem

Two vectors $u, v \in V$ are called orthogonal if $\langle u, v \rangle = 0$. This generalizes the geometric concept of perpendicularity.

• The zero vector is orthogonal to every vector.
• $\mathbf{0}$ is the only vector orthogonal to itself.

4. Key Inequalities

Cauchy-Schwarz Inequality

For any vectors $u, v \in V$:

Equality holds if and only if one vector is a scalar multiple of the other.

Applications:

• In $\mathbf{R}^n$: $( \sum u_k v_k )^2 \le ( \sum u_k^2 ) ( \sum v_k^2 )$
• In Integrals: $( \int fg )^2 \le ( \int f^2 ) ( \int g^2 )$

Triangle Inequality

For any vectors $u, v \in V$:

Equality holds if and only if one vector is a non-negative real multiple of the other.

5. Parallelogram Identity

For any vectors $u, v \in V$:

This identity reflects the geometry of a parallelogram: the sum of the squares of the lengths of the diagonals ($u+v$ and $u-v$) equals the sum of the squares of the lengths of the four sides.

This concludes part two on inner products.

Eigenvalues, Eigenvectors, and Invariant Subspaces (Part 2 & 3)

Based on Linear Algebra Done Right

This post covers the definition of the matrix of an operator, the properties of upper triangular matrices, and the concept of eigenspaces.

1. The Matrix of an Operator

Previously, defining the matrix of a linear map from one vector space to another required two bases. However, for an operator (a linear map $T: V \to V$), we use a single basis.

• It is computed using a single basis of $V$.
• It is always a square matrix ($n \times n$).

2. Upper Triangular Matrix

A matrix is called upper triangular if all entries below the diagonal are zero (i.e., $A_{j,k} = 0$ if $j > k$).

Theorem: Conditions for Upper Triangular Matrix

Theorem: Existence of Upper-Triangular Form

If $V$ is a finite-dimensional complex vector space and $T \in \mathcal{L}(V)$, then there exists a basis of $V$ such that the matrix of $T$ is upper triangular.

*(Note: This requires a complex vector space because operators on real vector spaces may not have eigenvalues.)*

Connection to Eigenvalues: If the matrix of $T$ is upper triangular, the eigenvalues of $T$ are exactly the entries on the diagonal. (In the example above, eigenvalues are 2, 5, and 8.)

3. Eigenspaces and Diagonal Matrices

Diagonal Matrix

A diagonal matrix is a square matrix where all entries off the diagonal are zero. (Every diagonal matrix is upper triangular.)

If an operator has a diagonal matrix with respect to some basis, the diagonal entries are its eigenvalues.

Eigenspaces

For $\lambda \in F$, the eigenspace of $T$ corresponding to $\lambda$ is defined as:

This subspace contains all eigenvectors corresponding to $\lambda$, plus the zero vector.

Theorem: Sum of Eigenspaces

This theorem implies that eigenvectors corresponding to distinct eigenvalues are linearly independent.

This concludes the summary of Part 2 & 3.

Eigenvectors and Upper-Triangular Matrices (Part 1)

Based on Linear Algebra Done Right by Sheldon Axler

This post covers the foundational concepts required to understand eigenvalues and eigenvectors, including operator polynomials, and presents the proof for the existence of eigenvalues over complex vector spaces.

1. Notation and Terminology

• $\mathbf{F}$ : Denotes either the real field $\mathbf{R}$ or the complex field $\mathbf{C}$.
• $V$ : A vector space over $\mathbf{F}$.
• Operator : A linear map from a vector space to itself ($T: V \to V$).
• $\mathcal{L}(V)$ : The set of all operators on $V$.

2. Powers of an Operator

For an operator $T \in \mathcal{L}(V)$ and a positive integer $m$:

• $T^m = \underbrace{T \circ \dots \circ T}_{m \text{ times}}$ (Composition of maps).
• $T^0 = I$ (Identity operator).
• If $T$ is invertible, $T^{-m} = (T^{-1})^m$.

Exponent Rules:
$T^m \circ T^n = T^{m+n}$
$(T^m)^n = T^{mn}$

3. Polynomials Applied to Operators

Let $p(z) = a_0 + a_1 z + \dots + a_m z^m$ be a polynomial with coefficients in $\mathbf{F}$. We define $p(T)$ as:

Algebraic Properties

The map $p \mapsto p(T)$ is a linear map from $P(\mathbf{F})$ to $\mathcal{L}(V)$. A crucial property is multiplicativity:

Corollary (Commutativity):
Any two polynomials in $T$ commute with each other. $$ p(T) \circ q(T) = q(T) \circ p(T) $$ Since operator multiplication is generally not commutative, this property is very useful.

4. Existence of Eigenvalues

Important Constraints

• Real Vector Spaces: False. Consider rotation by $90^\circ$ on $\mathbf{R}^2$ ($T(x, y) = (-y, x)$). It has no real eigenvalues because no non-zero vector is mapped to a scalar multiple of itself.
• Infinite-dimensional Spaces: False. Consider the multiplication operator on complex polynomials defined by $(Tp)(z) = z \cdot p(z)$.

Proof (Without Determinants)

Let $V$ be a complex vector space with $\dim V = n > 0$, and $T \in \mathcal{L}(V)$.

1. Choose a nonzero vector $v \in V$.
2. Consider the list of $n+1$ vectors: $(v, Tv, T^2v, \dots, T^n v)$.
3. Since $\dim V = n$, this list is linearly dependent. Thus, there exist scalars $a_0, \dots, a_n \in \mathbf{C}$ (not all zero) such that: $$ a_0 v + a_1 Tv + \dots + a_n T^n v = 0 $$
4. Let $p(z) = a_0 + a_1 z + \dots + a_n z^n$. By the Fundamental Theorem of Algebra, we can factor $p(z)$: $$ p(z) = c(z - \lambda_1) \dots (z - \lambda_m) $$
5. Substituting $T$ for $z$, the equation becomes: $$ c(T - \lambda_1 I) \dots (T - \lambda_m I)v = 0 $$
6. Since $c \ne 0$ and $v \ne 0$, the operator product applied to $v$ is zero. This implies that at least one of the factors, say $(T - \lambda_j I)$, is not injective.
7. If $(T - \lambda_j I)$ is not injective, then its null space is non-trivial. Thus, $\lambda_j$ is an eigenvalue. $\blacksquare$