Tìm giá trị riêng của toán tử tuyến tính. Vector riêng của toán tử tuyến tính

Với ma trận A, nếu tồn tại số l sao cho AX = lX.

Trong trường hợp này, số l được gọi là giá trị riêng toán tử (ma trận A) tương ứng với vectơ X.

Nói cách khác, vectơ riêng là một vectơ mà dưới tác dụng của toán tử tuyến tính sẽ biến đổi thành vectơ cộng tuyến, tức là chỉ cần nhân với một số. Ngược lại, các vectơ không đúng thì việc biến đổi phức tạp hơn.

Hãy viết định nghĩa của vectơ riêng dưới dạng hệ phương trình:

Hãy di chuyển tất cả các điều khoản sang phía bên trái:

Hệ sau có thể được viết dưới dạng ma trận như sau:

(A - lE)X = O

Hệ thu được luôn có nghiệm 0 X = O. Những hệ như vậy trong đó mọi số hạng tự do đều bằng 0 được gọi là đồng nhất. Nếu ma trận của một hệ như vậy là vuông và định thức của nó không bằng 0, thì theo công thức của Cramer, chúng ta sẽ luôn có nghiệm duy nhất - bằng không. Có thể chứng minh rằng một hệ có nghiệm khác 0 khi và chỉ khi định thức của ma trận này bằng 0, tức là

|A - lE| = = 0

Phương trình chưa biết l này được gọi là phương trình đặc trưng (Đặc biệt đa thức) ma trận A (toán tử tuyến tính).

Có thể chứng minh rằng đa thức đặc trưng của toán tử tuyến tính không phụ thuộc vào việc lựa chọn cơ sở.

Ví dụ: hãy tìm các giá trị riêng và vectơ riêng của toán tử tuyến tính được xác định bởi ma trận A =.

Để làm điều này, hãy tạo một phương trình đặc trưng |A - lE| = = (1 - l) 2 - 36 = 1 - 2l + l 2 - 36 = l 2 - 2l - 35 = 0; D = 4 + 140 = 144; giá trị riêng l 1 = (2 - 12)/2 = -5; l 2 = (2 + 12)/2 = 7.

Để tìm vectơ riêng ta giải hai hệ phương trình

(A + 5E)X = O

(A - 7E)X = O

Đối với ma trận đầu tiên, ma trận mở rộng có dạng

từ đó x 2 = c, x 1 + (2/3)c = 0; x 1 = -(2/3)s, tức là X(1) = (-(2/3)s;s).

Đối với ma trận thứ hai, ma trận mở rộng có dạng

từ đó x 2 = c 1, x 1 - (2/3)c 1 = 0; x 1 = (2/3)s 1, tức là X (2) = ((2/3)s 1; s 1).

Như vậy, các vectơ riêng của toán tử tuyến tính này đều là các vectơ có dạng (-(2/3)с; с) có giá trị riêng (-5) và tất cả các vectơ có dạng ((2/3)с 1 ; с 1) với giá trị riêng 7 .

Có thể chứng minh rằng ma trận của toán tử A trên cơ sở gồm các vectơ riêng của nó là ma trận chéo và có dạng:

trong đó l i là giá trị riêng của ma trận này.

Điều ngược lại cũng đúng: nếu ma trận A ở một cơ sở nào đó là đường chéo thì tất cả các vectơ của cơ sở này sẽ là vectơ riêng của ma trận này.

Người ta cũng có thể chứng minh rằng nếu một toán tử tuyến tính có n giá trị riêng phân biệt theo cặp thì các vectơ riêng tương ứng là độc lập tuyến tính và ma trận của toán tử này trong cơ sở tương ứng có dạng đường chéo.

Hãy minh họa điều này bằng ví dụ trước. Chúng ta lấy các giá trị khác 0 tùy ý c và c 1, nhưng sao cho các vectơ X (1) và X (2) độc lập tuyến tính, tức là. sẽ tạo thành một cơ sở. Ví dụ: cho c = c 1 = 3 thì X(1) = (-2; 3), X(2) = (2; 3).

Hãy đảm bảo độc lập tuyến tính các vectơ này:

12 ≠ 0. Trong cơ sở mới này, ma trận A sẽ có dạng A * = .

Để xác minh điều này, hãy sử dụng công thức A * = C -1 AC. Đầu tiên, hãy tìm C -1.

C -1 = ;

hình bậc hai

Hình bậc hai f(x 1, x 2, x n) của n biến được gọi là tổng, mỗi số hạng của nó là bình phương của một trong các biến hoặc là tích của hai biến khác nhau, được lấy với một hệ số nhất định: f(x 1 , x 2, x n) = (a ij = a ji).

Ma trận A gồm các hệ số này được gọi là ma trận dạng bậc hai. Nó luôn luôn đối xứng ma trận (tức là ma trận đối xứng qua đường chéo chính, a ij = a ji).

Trong ký hiệu ma trận, dạng bậc hai là f(X) = X T AX, trong đó

Thực vậy

Ví dụ: hãy viết dạng bậc hai ở dạng ma trận.

Để làm điều này, chúng ta tìm một ma trận dạng bậc hai. Các phần tử đường chéo của nó bằng các hệ số của các biến bình phương, và các phần tử còn lại bằng một nửa các hệ số tương ứng của dạng bậc hai. Đó là lý do tại sao

Giả sử cột ma trận của biến X thu được bằng phép biến đổi tuyến tính không suy biến của cột ma trận Y, tức là. X = CY, trong đó C là ma trận không suy biến cấp n. Khi đó dạng bậc hai f(X) = X T AX = (CY) T A(CY) = (Y T C T)A(CY) = Y T (C T AC)Y.

Như vậy, với phép biến đổi tuyến tính không suy biến C, ma trận bậc hai có dạng: A * = C T AC.

Ví dụ: hãy tìm dạng bậc hai f(y 1, y 2), thu được từ dạng bậc hai f(x 1, x 2) = 2x 1 2 + 4x 1 x 2 - 3x 2 2 bằng phép biến đổi tuyến tính.

Dạng bậc hai được gọi là kinh điển(Nó có chế độ xem chuẩn), nếu tất cả các hệ số của nó a ij = 0 với i ≠ j, tức là
f(x 1, x 2, x n) = a 11 x 1 2 + a 22 x 2 2 + a nn x n 2 = .

Ma trận của nó là đường chéo.

Định lý(bằng chứng không được đưa ra ở đây). Mọi dạng bậc hai đều có thể rút gọn thành hình thức kinh điển sử dụng phép biến đổi tuyến tính không suy biến.

Ví dụ: chúng ta hãy chuyển dạng bậc hai thành dạng chính tắc
f(x 1, x 2, x 3) = 2x 1 2 + 4x 1 x 2 - 3x 2 2 - x 2 x 3.

Để thực hiện việc này, trước tiên hãy chọn một hình vuông hoàn chỉnh có biến x 1:

f(x 1, x 2, x 3) = 2(x 1 2 + 2x 1 x 2 + x 2 2) - 2x 2 2 - 3x 2 2 - x 2 x 3 = 2(x 1 + x 2) 2 - 5x 2 2 - x 2 x 3.

Bây giờ chúng ta chọn một hình vuông hoàn chỉnh với biến x 2:

f(x 1, x 2, x 3) = 2(x 1 + x 2) 2 - 5(x 2 2 + 2* x 2 *(1/10)x 3 + (1/100)x 3 2) + (5/100)x 3 2 =
= 2(x 1 + x 2) 2 - 5(x 2 - (1/10)x 3) 2 + (1/20)x 3 2.

Khi đó, phép biến đổi tuyến tính không suy biến y 1 = x 1 + x 2, y 2 = x 2 + (1/10)x 3 và y 3 = x 3 đưa dạng bậc hai này về dạng chính tắc f(y 1, y 2 , y 3) = 2y 1 2 - 5y 2 2 + (1/20)y 3 2 .

Lưu ý rằng dạng chính tắc của dạng bậc hai được xác định một cách mơ hồ (dạng bậc hai tương tự có thể được rút gọn thành dạng chính tắc những cách khác). Tuy nhiên, nhận được những cách khác các hình thức kinh điển có một số tính chất chung. Đặc biệt, số số hạng có hệ số dương (âm) của dạng bậc hai không phụ thuộc vào phương pháp quy giản về dạng này (ví dụ, trong ví dụ đang xét sẽ luôn có hai hệ số âm và một hệ số dương). Tính chất này được gọi là định luật quán tính của dạng bậc hai.

Chúng ta hãy xác minh điều này bằng cách đưa dạng bậc hai tương tự sang dạng chính tắc theo một cách khác. Hãy bắt đầu phép biến đổi với biến x 2:

f(x 1, x 2, x 3) = 2x 1 2 + 4x 1 x 2 - 3x 2 2 - x 2 x 3 = -3x 2 2 - x 2 x 3 + 4x 1 x 2 + 2x 1 2 = - 3(x 2 2 +
+ 2* x 2 ((1/6) x 3 - (2/3)x 1) + ((1/6) x 3 - (2/3)x 1) 2) + 3((1/6) x 3 - (2/3)x 1) 2 + 2x 1 2 =
= -3(x 2 + (1/6) x 3 - (2/3)x 1) 2 + 3((1/6) x 3 + (2/3)x 1) 2 + 2x 1 2 = f (y 1 , y 2 , y 3) = -3y 1 2 -
+3y 2 2 + 2y 3 2, trong đó y 1 = - (2/3)x 1 + x 2 + (1/6) x 3, y 2 = (2/3)x 1 + (1/6) x 3 và y 3 = x 1 . Ở đây có hệ số âm -3 tại y 1 và hai hệ số dương 3 và 2 tại y 2 và y 3 (và sử dụng phương pháp khác chúng ta có hệ số âm (-5) tại y 2 và hai hệ số dương: 2 tại y 1 và 1/20 tại y 3).

Cũng cần lưu ý rằng hạng của một ma trận dạng bậc hai, được gọi là hạng của dạng bậc hai, bằng số các hệ số khác 0 hình thức kinh điển và không thay đổi dưới các phép biến đổi tuyến tính.

Dạng bậc hai f(X) được gọi là tích cực (tiêu cực) chắc chắn, nếu với tất cả các giá trị của các biến không đồng thời bằng 0 thì giá trị đó là dương, tức là. f(X) > 0 (âm, tức là
f(X)< 0).

Ví dụ, dạng bậc hai f 1 (X) = x 1 2 + x 2 2 là xác định dương, bởi vì là tổng của các bình phương, và dạng bậc hai f 2 (X) = -x 1 2 + 2x 1 x 2 - x 2 2 là xác định âm, bởi vì biểu diễn nó có thể được biểu diễn dưới dạng f 2 (X) = -(x 1 - x 2) 2.

Trong hầu hết các tình huống thực tế, việc thiết lập dấu hiệu xác định của dạng bậc hai khó khăn hơn một chút, vì vậy để làm được điều này, chúng ta sử dụng một trong các định lý sau (chúng ta sẽ xây dựng chúng mà không cần chứng minh).

Định lý. Dạng bậc hai là dương (âm) xác định khi và chỉ khi tất cả các giá trị riêng của ma trận của nó là dương (âm).

Định lý(Tiêu chí Sylvester). Một dạng bậc hai xác định dương khi và chỉ khi tất cả các phần tử đứng đầu của ma trận dạng này đều dương.

Chính (góc) phụ Ma trận cấp k A cấp n gọi là định thức của ma trận, gồm k hàng và cột đầu tiên của ma trận A().

Lưu ý rằng đối với dạng bậc hai xác định âm, các dấu của các phân số chính thay thế nhau, và phân thứ nhất phải âm.

Ví dụ, chúng ta hãy xét dạng bậc hai f(x 1, x 2) = 2x 1 2 + 4x 1 x 2 + 3x 2 2 để biết tính xác định của dấu.

= (2 - l)*
*(3 - l) - 4 = (6 - 2l - 3l + l 2) - 4 = l 2 - 5l + 2 = 0; Đ = 25 - 8 = 17;
. Do đó, dạng bậc hai là xác định dương.

Phương pháp 2. Thiếu chính ma trận cấp một A D 1 = a 11 = 2 > 0. Ma trận cấp hai D 2 = = 6 - 4 = 2 > 0. Do đó, theo tiêu chí Sylvester, dạng bậc hai là xác định dương.

Chúng ta xét một dạng bậc hai khác để tìm tính xác định của dấu, f(x 1, x 2) = -2x 1 2 + 4x 1 x 2 - 3x 2 2.

Cách 1. Xây dựng ma trận dạng bậc hai A = . Phương trình đặc trưng sẽ có dạng = (-2 - l)*
*(-3 - l) - 4 = (6 + 2l + 3l + l 2) - 4 = l 2 + 5l + 2 = 0; Đ = 25 - 8 = 17;
. Do đó, dạng bậc hai là xác định âm.

Cách 2. Cấp thứ nhất của ma trận A D 1 = a 11 =
= -2 < 0. Главный минор второго порядка D 2 = = 6 - 4 = 2 >0. Do đó, theo tiêu chuẩn Sylvester, dạng bậc hai là xác định âm (dấu của các dấu phụ chính xen kẽ nhau, bắt đầu bằng dấu trừ).

Và trong một ví dụ khác, chúng ta xét dạng bậc hai xác định bằng dấu f(x 1, x 2) = 2x 1 2 + 4x 1 x 2 - 3x 2 2.

Cách 1. Xây dựng ma trận dạng bậc hai A = . Phương trình đặc trưng sẽ có dạng = (2 - l)*
*(-3 - l) - 4 = (-6 - 2l + 3l + l 2) - 4 = l 2 + l - 10 = 0; D = 1 + 40 = 41;
.

Một trong những số này là âm và số còn lại là dương. Dấu của các giá trị riêng là khác nhau. Do đó, dạng bậc hai có thể không xác định âm hoặc dương, tức là dạng bậc hai này không xác định được dấu (nó có thể lấy giá trị của bất kỳ dấu nào).

Cách 2. Thứ chính cấp 1 ma trận A D 1 = a 11 = 2 > 0. Thứ chính cấp 2 D 2 = = -6 - 4 = -10< 0. Следовательно, по критерию Сильвестра квадратичная форма не является знакоопределенной (знаки главных миноров разные, при этом первый из них - положителен).

Vector X ≠ 0 được gọi là vectơ riêng toán tử tuyến tính với ma trận A, nếu tồn tại một số sao cho AX =X.

Trong trường hợp này số  được gọi là giá trị riêng toán tử (ma trận A) tương ứng với vectơ x.

Hãy viết định nghĩa của vectơ riêng dưới dạng hệ phương trình:

Hãy di chuyển tất cả các điều khoản sang phía bên trái:

Hệ sau có thể được viết dưới dạng ma trận như sau:

(A - E)X = O

Hệ thu được luôn có nghiệm 0 X = O. Những hệ như vậy trong đó mọi số hạng tự do đều bằng 0 được gọi là đồng nhất. Nếu ma trận của một hệ như vậy là vuông và định thức của nó không bằng 0, thì khi sử dụng các công thức của Cramer, chúng ta sẽ luôn nhận được nghiệm duy nhất – 0. Có thể chứng minh rằng một hệ có nghiệm khác 0 khi và chỉ khi định thức của ma trận này bằng 0, tức là

|A - E| = = 0

Phương trình với ẩn số này được gọi là phương trình đặc trưng(Đặc biệt đa thức) ma trận A (toán tử tuyến tính).

Có thể chứng minh rằng đa thức đặc trưng của toán tử tuyến tính không phụ thuộc vào việc lựa chọn cơ sở.

Ví dụ: hãy tìm các giá trị riêng và vectơ riêng của toán tử tuyến tính được xác định bởi ma trận A =.

Để làm điều này, hãy tạo một phương trình đặc trưng |A - E| = = (1 -) 2 – 36 = 1 – 2+ 2 - 36 = 2 – 2- 35; D = 4 + 140 = 144; giá trị riêng 1 = (2 - 12)/2 = -5; 2 = (2 + 12)/2 = 7.

Để tìm vectơ riêng ta giải hai hệ phương trình

(A + 5E)X = O

(A - 7E)X = O

Đối với ma trận đầu tiên, ma trận mở rộng có dạng

từ đó x 2 = c, x 1 + (2/3)c = 0; x 1 = -(2/3)s, tức là X(1) = (-(2/3)s;s).

Đối với ma trận thứ hai, ma trận mở rộng có dạng

từ đó x 2 = c 1, x 1 - (2/3)c 1 = 0; x 1 = (2/3)s 1, tức là X (2) = ((2/3)s 1; s 1).

Có thể chứng minh rằng ma trận của toán tử A trên cơ sở gồm các vectơ riêng của nó là ma trận chéo và có dạng:

trong đó  i là giá trị riêng của ma trận này.

Điều ngược lại cũng đúng: nếu ma trận A ở một cơ sở nào đó là đường chéo thì tất cả các vectơ của cơ sở này sẽ là vectơ riêng của ma trận này.

Toán tử tuyến tính đơn giản nhất là nhân một vectơ với một số \(\lambda\). Toán tử này chỉ đơn giản kéo dài tất cả các vectơ theo \(\lambda \) lần. Dạng ma trận của nó trong mọi cơ sở là \(diag(\lambda ,\lambda ,...,\lambda)\). Để xác định, chúng ta sửa cơ sở \(\(e\)\) trong không gian vectơ \(\mathit(L)\) và xem xét một toán tử tuyến tính có dạng ma trận đường chéo trong cơ sở này, \(\alpha = diag( \lambda _1,\lambda _2,...,\lambda _n)\). Toán tử này, theo định nghĩa của dạng ma trận, kéo dài \(e_k\) theo \(\lambda _k\) lần, tức là. \(Ae_k=\lambda _ke_k\) cho tất cả \(k=1,2,...,n\). Thật thuận tiện khi làm việc với các ma trận đường chéo; phép tính hàm số rất đơn giản để xây dựng cho chúng: với bất kỳ hàm \(f(x)\) nào, chúng ta có thể đặt \(f(diag(\lambda _1,\lambda _2,..., \lambda _n))= diag(f(\lambda _1),f(\lambda _2),...,f(\lambda _n))\). Do đó, một câu hỏi tự nhiên được đặt ra: giả sử có một toán tử tuyến tính \(A\), liệu có thể chọn một cơ sở như vậy trong không gian vectơ sao cho dạng ma trận của toán tử \(A\) là đường chéo trong cơ sở này không? Câu hỏi này dẫn đến định nghĩa về giá trị riêng và vectơ riêng.

Sự định nghĩa. Giả sử toán tử tuyến tính \(A\) tồn tại một vectơ khác 0 \(u\) và một số \(\lambda \) sao cho \[ Au=\lambda \cdot u. \quad \quad(59) \] Khi đó vectơ \(u\) được gọi vectơ riêng toán tử \(A\) và số \(\lambda \) - tương ứng giá trị riêng toán tử \(A\). Tập hợp tất cả các giá trị riêng được gọi là phổ của toán tử tuyến tính \(MỘT\).

Một vấn đề tự nhiên nảy sinh: tìm cho một toán tử tuyến tính nhất định các giá trị riêng của nó và các vectơ riêng tương ứng. Bài toán này được gọi là bài toán phổ của toán tử tuyến tính.

Phương trình giá trị riêng

Để xác định, chúng ta cố định cơ sở trong không gian vectơ, tức là Chúng ta sẽ cho rằng nó được trao một lần và mãi mãi. Khi đó, như đã thảo luận ở trên, việc xem xét các toán tử tuyến tính có thể được giảm xuống việc xem xét các ma trận - dạng ma trận của các toán tử tuyến tính. Chúng ta viết lại phương trình (59) ở dạng \[ (\alpha -\lambda E)u=0. \] Ở đây \(E\) là ma trận nhận dạng và \(\alpha\) là dạng ma trận của toán tử tuyến tính \(A\) của chúng ta. Mối quan hệ này có thể được hiểu là một hệ thống \(n\) Các phương trình tuyến tínhđối với ẩn số \(n\) - tọa độ của vectơ \(u\). Hơn nữa, đây là hệ phương trình thuần nhất và ta tìm được nó không tầm thường giải pháp. Trước đây, một điều kiện cho sự tồn tại của giải pháp như vậy đã được đưa ra - đối với điều này, điều cần và đủ là thứ hạng của hệ thống phải nhỏ hơn số lượng ẩn số. Điều này suy ra phương trình của các giá trị riêng: \[ det(\alpha -\lambda E)=0. \quad \quad(60) \]

Sự định nghĩa. Phương trình (60) được gọi là phương trình đặc trưng cho toán tử tuyến tính \(A\).

Hãy mô tả các tính chất của phương trình này và nghiệm của nó. Nếu chúng ta viết nó ra một cách rõ ràng, chúng ta sẽ thu được một phương trình có dạng \[ (-1)^n\lambda ^n+...+det(A)=0. \quad \quad(61) \] Ở bên trái có một đa thức trong biến \(\lambda \). Những phương trình như vậy được gọi là đại số bậc \(n\). Hãy cung cấp cho thông tin cần thiết về các phương trình này.

Trợ giúp về phương trình đại số.

Định lý. Đặt tất cả các giá trị riêng của toán tử tuyến tính \(A\) là số nguyên tố. Khi đó tập hợp các vectơ riêng tương ứng với các giá trị riêng này tạo thành cơ sở của không gian vectơ.

Từ các điều kiện của định lý, suy ra rằng tất cả các giá trị riêng của toán tử \(A\) đều khác nhau. Giả sử rằng tập hợp các vectơ riêng phụ thuộc tuyến tính, do đó có các hằng số \(c_1,c_2,...,c_n\), không phải tất cả đều bằng 0, thỏa mãn điều kiện: \[ \sum_(k=1)^ nc_ku_k=0. \quad \quad(62) \]

Trong số các công thức như vậy, chúng ta hãy xem xét một công thức bao gồm số lượng số hạng tối thiểu và hành động theo nó với toán tử \(A\). Do tính tuyến tính của nó, chúng ta thu được: \[ A\left (\sum_(k=1)^nc_ku_k \right)=\sum_(k=1)^nc_kAu_k=\sum_(k=1)^nc_k\lambda _ku_k= 0. \quad \quad(63) \]

Giả sử, để xác định, \(c_1 \neq 0\). Nhân (62) với \(\lambda _1\) và trừ (63), chúng ta thu được quan hệ có dạng (62), nhưng chứa ít số hạng hơn. Sự mâu thuẫn chứng minh định lý.

Vì vậy, theo các điều kiện của định lý, một cơ sở xuất hiện gắn liền với một toán tử tuyến tính nhất định - cơ sở của các vectơ riêng của nó. Chúng ta hãy xem xét dạng ma trận của toán tử trên cơ sở như vậy. Như đã đề cập ở trên, cột thứ \(k\) của ma trận này là sự phân tách của vectơ \(Au_k\) đối với cơ sở. Tuy nhiên, theo định nghĩa, \(Au_k=\lambda _ku_k\), do đó, khai triển này (những gì được viết ở bên phải) chỉ chứa một số hạng và ma trận được xây dựng hóa ra là ma trận đường chéo. Kết quả là, chúng ta thấy rằng trong các điều kiện của định lý, dạng ma trận của toán tử trên cơ sở các vectơ riêng của nó bằng \(diag(\lambda _1,\lambda _2,...,\lambda _n)\ ). Vì vậy, nếu cần phát triển phép tính hàm cho một toán tử tuyến tính thì việc làm việc dựa trên các vectơ riêng của nó là hợp lý.

Nếu trong số các giá trị riêng của toán tử tuyến tính có bội số thì việc mô tả tình huống sẽ trở nên phức tạp hơn và có thể bao gồm cái gọi là ô Jordan. Chúng tôi giới thiệu cho người đọc những hướng dẫn nâng cao hơn cho các tình huống liên quan.

Định nghĩa 5.3. Vectơ x khác 0 trong không gian tuyến tính L được gọi là vectơ riêng của toán tử tuyến tính A: L → L, nếu với một số thực A nào đó có quan hệ Ax = λx. Trong trường hợp này, số λ được gọi là giá trị riêng (eigenvalue) của toán tử tuyến tính MỘT.

Ví dụ 5.3. Không gian tuyến tính K n [x] của các đa thức bậc không lớn hơn n chứa các đa thức bậc 0, tức là. các chức năng cố định. Vì dc/dx = 0 = 0 c, nên các đa thức bậc 0 p(x) = c ≠ 0 là các vectơ riêng của toán tử vi phân tuyến tính và số λ = 0 là giá trị riêng của toán tử này. #

Tập hợp tất cả các giá trị riêng của toán tử tuyến tính được gọi là phổ của toán tử tuyến tính . Mỗi vectơ riêng được liên kết với giá trị riêng của nó. Thật vậy, nếu một vectơ x đồng thời thỏa mãn hai đẳng thức Ax = λx và Ax = μx, thì λx = μx, do đó (λ - μ)x = 0. Nếu λ - μ ≠ 0, hãy nhân đẳng thức với số (λ - μ ) -1 và kết quả là chúng ta nhận được x = 0. Nhưng điều này mâu thuẫn với định nghĩa về vectơ riêng, vì vectơ riêng luôn khác 0.

Mỗi giá trị riêng có các vectơ riêng của nó và có vô số vectơ riêng. Thật vậy, nếu x là vectơ riêng của toán tử tuyến tính A có giá trị riêng λ, tức là Ах = λx, khi đó với mọi số thực α khác 0, chúng ta có αx ≠ 0 và А(αх) = α(Ах) = αλx = λ(αx). Điều này có nghĩa là vectơ αx cũng là một vectơ riêng của toán tử tuyến tính.

Nhận xét 5.1. Họ thường nói về giá trị riêng (số), phổ và vectơ riêng của ma trận vuông . Điều này có nghĩa như sau. Ma trận A bậc n là ma trận một số toán tử tuyến tínhở trạng thái cố định nền tảng, Hoạt động trong không gian tuyến tính n chiều. Ví dụ, nếu chúng ta dừng lại ở cơ sở chuẩn trong không gian số học tuyến tính R n , khi đó ma trận A xác định toán tử tuyến tính A, ánh xạ vectơ x ∈ R n với cột tọa độ x tới vectơ có cột tọa độ Ax. Ma trận A chính xác là ma trận A. Việc xác định một toán tử bằng ma trận của nó giống như cách xác định một vectơ số học bằng một cột tọa độ của nó là điều tự nhiên. Việc nhận dạng này, thường được sử dụng và không phải lúc nào cũng được chỉ định, giúp chuyển các số hạng “toán tử” sang ma trận.

Phổ của toán tử tuyến tính có liên quan chặt chẽ với phương trình đặc trưng.

Định lý 5.3.Để số thựcλ là giá trị riêng của toán tử tuyến tính; điều cần và đủ là nó là nghiệm của phương trình đặc tính của toán tử này.

◄ Sự cần thiết. Giả sử số λ là giá trị riêng của toán tử tuyến tính A: L → L. Điều này có nghĩa là có một vectơ x ≠ 0 mà

Ax = λx. (5.2)

Lưu ý rằng trong L có toán tử nhận dạng I: Ix = x với mọi vectơ x. Sử dụng toán tử này, chúng ta biến đổi đẳng thức (5.2): Ах = λIx, hoặc

(A - λI)х = 0. (5.3)

Chúng ta hãy viết đẳng thức vectơ (5.3) theo cơ sở nào đó b. Ma trận của toán tử tuyến tính A - λI sẽ là ma trận A - λE, trong đó A là ma trận của toán tử tuyến tính A trên cơ sở b, E là ma trận đơn vị và gọi x là cột tọa độ của vectơ riêng x . Khi đó x ≠ 0 và đẳng thức vectơ (5.3) tương đương với ma trận

(A - λE)x = 0, (5.4)

là dạng ma trận ghi lại một hệ tuyến tính đồng nhất phương trình đại số(SLAU) với Ma trận vuông A - λE cấp n. Hệ này có nghiệm khác 0, đó là cột tọa độ x của vectơ riêng x. Do đó, ma trận A - λE của hệ (5.4) có định thức bằng 0, tức là det(A - λE) = 0. Điều này có nghĩa là λ là nghiệm của phương trình đặc tính của toán tử tuyến tính A.

Sự đầy đủ. Dễ dàng chứng minh rằng lý luận trên có thể được thực hiện trong thứ tự ngược lại. Nếu λ là nghiệm của phương trình đặc tính thì trong cơ sở b cho trước đẳng thức det (A - λE) = 0. Do đó, ma trận của SLAE thuần nhất (5.4), được viết dưới dạng ma trận, là suy biến và hệ có nghiệm x khác 0. Nghiệm khác 0 này là một tập hợp tọa độ trên cơ sở b của một số vectơ x khác 0 mà đẳng thức vectơ (5.3) hoặc đẳng thức tương đương (5.2) của nó đúng. Chúng ta đi đến kết luận rằng số λ là giá trị riêng của toán tử tuyến tính A.

Mỗi giá trị riêng λ của ma trận (toán tử tuyến tính) được liên kết với sự đa dạng, đặt nó bằng bội số của nghiệm λ của phương trình đặc tính của ma trận này (của toán tử tuyến tính này).

Tập hợp tất cả các vectơ riêng tương ứng với một giá trị riêng cho trước của toán tử tuyến tính là không không gian con tuyến tính, vì tập hợp này không chứa vectơ không, mà theo định nghĩa, không thể đúng. Nhưng trở ngại chính thức và dễ dàng loại bỏ này là trở ngại duy nhất. Chúng ta hãy ký hiệu £(A, λ) tập hợp tất cả các vectơ riêng của toán tử tuyến tính A trong không gian tuyến tính L tương ứng với giá trị riêng λ, với vectơ 0 được thêm vào tập hợp này.

Định lý 5.4. Tập £(A,λ) là một không gian con tuyến tính trong L.

◄ Hãy chọn tùy ý hai vectơ x, y∈ £(A, λ) và chứng minh rằng với mọi số thực α và β thì vectơ αx + βу cũng thuộc về £(A, λ). Để làm điều này, chúng tôi tính toán hình ảnh của vectơ này dưới tác động của toán tử tuyến tính A:

А(αх + βу) = А((αx) + А(βу) = αАх + βАу = α(λх) + β(λу) = λ(αx) + λ(βу) = λ(αx + βу).

Do đó, đối với vectơ z = αх + βу thì hệ thức Az = λz đúng. Nếu z là vectơ 0 thì nó thuộc £(A,λ). Nếu nó khác 0 thì theo quan hệ đã được chứng minh, nó là một giá trị riêng có giá trị riêng λ và lại thuộc tập £(A, λ).

Không gian con tuyến tính £(A,λ) đôi khi được gọi là không gian con riêng của toán tử tuyến tính *. Đó là một trường hợp đặc biệt không gian con bất biến toán tử tuyến tính A - một không gian con tuyến tính sao cho với mọi vectơ x ∈ H thì vectơ Ax cũng thuộc về H.

Không gian con bất biến của toán tử tuyến tính cũng là khoảng tuyến tính của bất kỳ hệ vectơ riêng nào của nó. Một không gian con bất biến của toán tử tuyến tính không liên quan đến vectơ riêng của nó là hình ảnh điều hành.