Đại số cơ bản (ôn thi thạc sĩ toán học) - Bài 17: Giải bài tập về ánh xạ tuyến tính

ĐẠI SỐ CƠ BẢN (ÔN THI THẠC SĨ TOÁN HỌC) Bài 17. Giải bài tập về ánh xạ tuyến tính PGS TS Mỵ Vinh Quang Ngày 10 tháng 3 năm 2006 1. a. Cho ánh xạ f : Rn → R, chứng minh rằng f là ánh xạ tuyến tính khi và chỉ khi tồn tại các số a1, a2, . . . , an ∈ R để f(x1, x2, . . . , xn) = a1x1 + a2x2 + . . .+ anxn b. Cho ánh xạ f : Rn → Rm. Chứng minh rằng f là ánh xạ tuyến tính khi và chỉ khi tồn tại các số aij ∈ R để f(x1, x2, . . . , xn) = (a11x1+ a12x2+ . . .+ a1nxn, . . . , am1x1+ am2x2+ . . .+ amnxn) (∗) Giải. Ta chỉ giải câu b., câu a. là trường hợp đặc biệt của câu b. khi m = 1. Kiểm tra trực tiếp, ta thấy ngay rằng nếu f có dạng như (∗) thì f là ánh xạ tuyến tính. Ngược lại, nếu f là ánh xạ tuyến tính, ta đặt: f(ei) = (a1i, a2i, . . . , ami) với i = 1, 2, . . . , n, trong đó ei = (0, . . . , 0, 1, 0, . . . , 0). Khi đó ta có f(x1, x2, . . . , xn) = f(x1e1 + x2e2 + . . .+ xnen) = x1f(e1) + x2f(e2) + . . .+ xnf(en) = f(a11x1 + a12x2 + . . .+ a1nxn, . . . , am1x1 + am2x2 + . . .+ amnxn) 2. Tìm công thức của ánh xạ tuyến tính f : R3 → R3 biết a. f(1, 1, 2) = (1, 0, 0), f(2, 1, 1) = (0, 1, 1), f(2, 2, 3) = (0,−1, 0). b. f(1, 2, 3) = (−1, 0, 1), f(−1, 1, 1) = (0, 1, 0), f(1, 3, 4) = (1, 0, 2). Giải. a. Giả sử (x1, x2, x3) = a1(1, 1, 2) + a2(2, 1, 1) + a3(2, 2, 3) (1) Khi đó f(x1, x2, x3) = a1(1, 0, 0) + a2(0, 1, 1) + a3(0,−1, 0) = (a1, a2 − a3, a2) (2) Do đó, để tính f(x1, x2, x3), ta cần tính a1, a2, a3 qua x1, x2, x3. Do công thức (1), a1, a2, a3 là nghiệm của hệ: 1 2 2 x11 1 2 x2 2 1 3 x3  −→  1 2 2 x10 −1 0 −x1 + x2 0 −3 −1 −2x1 + x3  −→  1 2 2 x10 −1 0 −x1 + x2 0 0 −1 x1 − 3x2 + x3  1 Vậy: a3 = −x1 + 3x2 − x3 a2 = x1 − x2 a1 = x1 − 2a2 − 2a3 = x1 − 2(x1 − x2)− 2(−x1 + 3x2 − x3) = x1 − 4x2 + 2x3 Thay vào (2), công thức của ánh xạ f là: f(x1, x2, x3) = (x1 − 4x2 + 2x3, 2x1 − 4x2 + x3, x1 − x2) b. Giải tương tự câu a., chi tiết xin dành cho bạn đọc. 3. Trong R3 cho 2 cơ sở: u1 = (1, 0, 0), u2 = (0, 1, 1), u3 = (1, 0, 1) (u) v1 = (1,−1, 0), v2 = (0, 1,−1), v3 = (1, 0, 1) (v) và cho ánh xạ tuyến tính f : R3 → R3, f(ui) = vi. a. Tìm công thức của f . b. Tìm các ma trận Af/(u) , Af/(u),(v) , Af/(v) , Af/(v),(u) , Af/(ε3) Giải. a. Giả sử (x1, x2, x3) = a1u1 + a2u2 + a3u3 (1) Khi đó f(x1, x2, x3) = f(a1u1 + a2u2 + a3u3) = a1f(u1) + a2f(u2) + a3f(u3) = a1(1,−1, 0) + a2(0, 1,−1) + a3(1, 0, 1) = (a1 + a3,−a1 + a2,−a2 + a3) Vậy f(x1, x2, x3) = (a1 + a3,−a1 + a2,−a2 + a3) (2) Ta cần tính a1, a2, a3 theo x1, x2, x3, do (1), a1, a2, a3 là nghiệm của hệ 1 0 1 x10 1 0 x2 0 1 1 x3  −→  1 0 1 x10 1 0 x2 0 0 1 −x2 + x3  do đó: a3 = −x2 + x3, a2 = x2, a1 = x1 − a3 = x1 + x2 − x3. Thay vào (2) công thức của f là: f(x1, x2, x3) = (x1,−x1 + x3,−2x2 + x3) b. • Ma trận Af/(u) Ta có: f(u1) = v1 = a1u1 + a2u2 + a3u3 (1) f(u2) = v2 = b1u1 + b2u2 + b3u3 (2) f(u3) = v3 = c1u1 + c2u2 + c3u3 (3) Khi đó Af/(u) =  a1 b1 c1a2 b2 c2 a3 b3 c3  2 các ai, bi, ci lần lượt là nghiệm của các phương trình véctơ (1), (2), (3). Mỗi phương trình (1), (2), (3) tương đương với một hệ phương trình tuyến tính có cùng ma trận các hệ số (chỉ khác nhau cột tự do), do đó, ta có thể giải cùng lúc 3 hệ đó như sau: 1 0 1 1 0 10 1 0 −1 1 0 0 1 1 0 −1 1  −→  1 0 1 1 0 10 1 0 −1 1 0 0 0 1 1 −2 1  – Hệ 1: a3 = 1, a2 = −1, a1 = 1− a3 = 0 – Hệ 2: b3 = −2, b2 = 1, b1 = −b3 = 2 – Hệ 3: c3 = 1, c2 = 0, c1 = 1− c3 = 0 Vậy ma trận Af/(u) =  0 2 0−1 1 0 1 −2 1  • Ma trận Af/(u),(v) Ta có f(u1) = v1 = 1v1 + 0v2 + 0v3 f(u2) = v2 = 0v1 + 1v2 + 0v3 f(u3) = v3 = 0v1 + 0v2 + 1v3 Vậy ma trận Af/(u),(v) =  1 0 00 1 0 0 0 1  • Ma trận Af/(v) Áp dụng câu a., ta sẽ tính được f(v1), f(v2), f(v3), sau đó làm như các phần trước. Cụ thể: f(v1) = (1,−1, 2) = a1v1 + a2v2 + a3v3 f(v2) = (0,−1,−3) = b1v1 + b2v2 + b3v3 f(v3) = (1, 0, 1) = c1v1 + c2v2 + c3v3 ai, bi, ci là nghiệm của 3 hệ sau: 1 0 1 1 0 1−1 1 0 −1 −1 0 0 −1 1 2 −3 1  −→  1 0 1 1 0 10 1 1 0 −1 1 0 −1 1 2 −3 1  −→  1 0 1 1 0 10 1 1 0 −1 1 0 0 2 2 −4 2  – Hệ 1: a3 = 1, a2 = −a3 = −1, a1 = 1− a3 = 0 – Hệ 2: b3 = −2, b2 = −1− b3 = 1, b1 = −b3 = 2 – Hệ 3: c3 = 1, c2 = 1− c3 = 0, c1 = 1− c3 = 0 Vậy Af/(v) =  0 2 0−1 1 0 1 −2 1  3 • Ma trận Af/(v),(u) làm tương tự. • Ma trận Af/(ε3) theo câu a., công thức của f là f(x1, x2, x3) = (x1,−x1 + x3,−2x2 + x3) do đó ta có ngay: Af/(ε3) =  1 0 0−1 0 1 0 −2 1  4. Cho ánh xạ tuyến tính θ : Rn[x] −→ Rn[x] p(x) 7−→ p′(x) Tìm ma trận của θ trong cơ sở: a. uo = 1, u1 = x, u2 = x 2, . . . , un = x n b. vo = 1, v1 = x− a, v2 = (x−a)22! , . . . , vn = (x−a) n n! Giải. a. Ta có θ(uo) = 0 = 0uo + 0u1 + . . . . . . . . . . . . . . .+ 0un θ(u1) = 1 = 1uo + 0u1 + . . . . . . . . . . . . . . .+ 0un θ(u2) = 2x = 0uo + 2u1 + . . . . . . . . . . . . . . .+ 0un . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . θ(uk) = kx k−1 = 0uo + 0u1 + . . .+ kuk−1 + . . .+ 0un . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . θ(un) = nx n−1 = 0uo + 0u1 + . . . . . . . . .+ nun−1 + 0un Vậy Af/(u) =  0 1 0 . . . 0 . . . 0 0 0 2 . . . 0 . . . 0 0 0 0 . . . 0 . . . 0 ... ... ... ... ... ... ... ... k ... ... ... ... ... ... 0 0 0 . . . 0 . . . n 0 0 0 . . . 0 . . . 0  b. Lời giải tương tự câu a., chi tiết xin dành cho bạn đọc. 5. Cho ánh xạ tuyến tính f : R4 → R3 f(x1, x2, x3, x4) = (x1 − x2 + x3, 2x1 + x4, 2x2 − x3 + x4) Tìm cơ sở, số chiều của Ker f, Im f 4 Giải. • (x1, x2, x3, x4) ∈ Ker f ⇔ f(x1, x2, x3, x4) = 0,⇔ (x1, x2, x3, x4) là nghiệm của hệ  x1 − x2 + x3 = 0 2x1 + x4 = 0 2x2 + x3 + x4 = 0 (1) Do đó, Ker f chính là không gian con các nghiệm của hệ (1) và hệ nghiệm cơ bản của hệ (1) chính là một cơ sở của Ker f . Để giải hệ (1), ta biến đổi ma trận hệ số mở rộng: 1 −1 1 0 02 0 0 1 0 0 2 1 1 0  −→  1 −1 1 0 00 2 −2 1 0 0 2 1 1 0  −→  1 −1 1 0 00 2 −2 1 0 0 0 3 0 0  Hệ có vô số nghiệm phụ thuộc 1 tham số là x4. Ta có x3 = 0 x2 = 1 2 (2x3 − x4) = −12x4 x1 = x2 − x3 = x2 = −12x4 Vậy nghiệm tổng quát của hệ là:  x1 = −a x2 = −a x3 = 0 x4 = 2a hệ nghiệm cơ bản α1 = (−1,−1, 0, 2), do đó, dimKer f = 1, cơ sở của Ker f là α1 = (−1,−1, 0, 2). • Để tìm cơ sở của Im f , ta tìm ảnh của cơ sở chính tắc của R4. Ta có: f(e1) = (1, 2, 0), f(e2) = (−1, 0, 2), f(e3) = (1, 0,−1), f(e4) = (0, 1, 1) Im f = 〈f(e1), f(e2), f(e3), f(e4)〉 Hệ con ĐLTT tối đại của f(e1), f(e2), f(e3), f(e4) là một cơ sở của Im f . Ta có 1 2 0 −1 0 2 1 0 −1 0 1 1  1 2 3 4 −→  1 2 0 0 2 2 0 −2 −1 0 1 1  1 2 3 4 −→  1 2 0 0 1 1 0 −2 −1 0 2 2  1 2 3 4 −→  1 2 0 0 1 1 0 0 1 0 0 0  1 2 3 4 Vậy cơ sở của Im f là f(e1), f(e4), f(e3) và dim f = 3. 5 6. Tìm vectơ riêng, giá trị riêng, chéo hóa các ma trận sau: (a)  1 0 10 0 0 1 0 1  (b)  5 −1 1−1 2 −2 1 −2 2  (c)  1 2 12 4 2 1 2 1  (d)  1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1  (e)  1 3 1 2 0 −1 1 3 0 0 2 5 0 0 0 −2  Giải. b) Tìm đa thức đặc trưng: PA(λ) = ∣∣∣∣∣∣ 5− λ −1 1 −1 2− λ −2 1 −2 2− λ ∣∣∣∣∣∣ = (5− λ)(2− λ)2 + 2 + 2− (2− λ)− 4(5− λ)− (2− λ) = −λ3 + 9λ2 − 18λ PA(λ) = 0⇔ λ = 0, λ = 3, λ = 6. Vậy A có 3 giá trị riêng là λ = 0, λ = 3, λ = 6. • Vectơ riêng ứng với giá trị riêng λ = 0 là các vectơ nghiệm khác không của hệ: 5 −1 1−1 2 −2 1 −2 2 ∣∣∣∣∣∣ 0 0 0  −→  −1 2 −25 −1 1 1 −2 2 ∣∣∣∣∣∣ 0 0 0  −→  −1 2 −20 −11 11 0 0 0 ∣∣∣∣∣∣ 0 0 0  Hệ có vô số nghiệm phụ thuộc một tham số là x3. Ta có: x3 = a, x2 = a, x1 = 0. Nghiệm của hệ là tất cả các vectơ dạng (0, a, a), a ∈ R. Do đó, vectơ riêng ứng với giá trị riêng λ = 0 là các vectơ có dạng (0, a, a), a 6= 0, dimV0 = 1. Cơ sở của V0 là α1 = (0, 1, 1). • Vectơ riêng ứng với giá trị riêng λ = 3 là các vectơ nghiệm khác không của hệ: 2 −1 1−1 −1 −2 1 −2 −1 ∣∣∣∣∣∣ 0 0 0  −→  1 −2 −1−1 −1 −2 2 −1 1 ∣∣∣∣∣∣ 0 0 0  −→  1 −2 −10 −3 −3 0 3 3 ∣∣∣∣∣∣ 0 0 0  −→  1 −2 −10 −3 −3 0 0 0 ∣∣∣∣∣∣ 0 0 0  Hệ có vô số nghiệm phụ thuộc một tham số là x3. 6 Ta có: x3 = b, x2 = −b, x1 = 2x2 + x3 = −b. Nghiệm của hệ là tất cả các vectơ dạng (−b,−b, b), b ∈ R. Do đó, vectơ riêng ứng với giá trị riêng λ = 3 là các vectơ có dạng (−b,−b, b), b 6= 0, dimV3 = 1. Cơ sở của V3 là α2 = (−1,−1, 1). • Vectơ riêng ứng với giá trị riêng λ = 6 là các vectơ nghiệm khác không của hệ: −1 −1 1−1 −4 −2 1 −2 −4 ∣∣∣∣∣∣ 0 0 0  −→  −1 −1 10 −3 −3 0 −3 −3 ∣∣∣∣∣∣ 0 0 0  −→  −1 −1 10 −3 −3 0 0 0 ∣∣∣∣∣∣ 0 0 0  Hệ có vô số nghiệm phụ thuộc một tham số là x3. Ta có: x3 = c, x2 = −c, x1 = −x2 + x3 = 2c. Nghiệm của hệ là tất cả các vectơ dạng (2c,−c, c), c ∈ R. Do đó, vectơ riêng ứng với giá trị riêng λ = 6 là các vectơ có dạng (2c,−c, c), c 6= 0, dimV6 = 1. Cơ sở của V0 là α3 = (2,−1, 1). Chéo hóa. Tổng hợp 3 trường hợp trên ta thấy ma trận A có 3 vectơ riêng độc lập tuyến tính. Do đó A chéo hóa được. Ma trận T cần tìm là: T =  0 −1 21 −1 −1 1 1 1  và T−1AT =  0 0 00 3 0 0 0 6  là ma trận chéo. d) Tìm đa thức đặc trưng PA(λ) = ∣∣∣∣∣∣∣∣ 1− λ 0 0 0 0 −λ 0 0 0 0 −λ 0 1 0 0 1− λ ∣∣∣∣∣∣∣∣ = λ 2(1− λ)2 PA(λ) = 0⇔ λ = 0, λ = 1. Vậy ma trận A có 2 giá trị riêng là λ = 0, λ = 1. • Vectơ riêng ứng với giá trị riêng λ = 0 là các vectơ nghiệm khác không của hệ: 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 ∣∣∣∣∣∣∣∣ 0 0 0 0  −→  1∗ 0 0 0 0 0 0 1∗ 0 0 0 0 0 0 0 0 ∣∣∣∣∣∣∣∣ 0 0 0 0  Hệ có vô số nghiệm phụ thuộc hai tham số là x2, x3. Ta có: x2 = a, x3 = b, x4 = 0, x1 = 0. Nghiệm của hệ là tất cả các vectơ dạng (0, a, b, 0), a, b ∈ R. Do đó, vectơ riêng ứng với giá trị riêng λ = 0 là các vectơ có dạng (0, a, b, 0), a2 + b2 6= 0, dimV0 = 2. Cơ sở của V0 là α1 = (0, 1, 0, 0), α2 = (0, 0, 1, 0). 7 • Vectơ riêng ứng với giá trị riêng λ = 1 là các vectơ nghiệm khác không của hệ: 0 0 0 0 0 −1 0 0 0 0 −1 0 1 0 0 0 ∣∣∣∣∣∣∣∣ 0 0 0 0  −→  1 0 0 0 0 −1 0 0 0 0 −1 0 0 0 0 0 ∣∣∣∣∣∣∣∣ 0 0 0 0  Hệ có vô số nghiệm phụ thuộc tham số là x4. Ta có: x4 = c, x3 = 0, x2 = 0, x1 = 0. Nghiệm của hệ là tất cả các vectơ dạng (0, 0, 0, c), c ∈ R. Do đó, vectơ riêng ứng với giá trị riêng λ = 1 là các vectơ có dạng (0, 0, 0, c), c 6= 0, dimV1 = 1. Cơ sở của V1 là α3 = (0, 0, 0, 1). Chéo hóa. Tổng hợp 3 trường hợp trên ta thấy ma trận A chỉ có 3 vectơ riêng độc lập tuyến tính trong khi A là ma trận cấp 4 nên A không chéo hóa được. 7. Trong R3 cho cơ sở: u1 = (1, 1, 1), u2 = (−1, 2, 1), u3 = (1, 3, 2) và cho ánh xạ tuyến tính f : R3 → R3 xác định bởi: f(u1) = (0, 5, 3) f(u2) = (2, 4, 3) f(u3) = (0, 3, 2) Tìm một cơ sở để ma trận của f trong cơ sở đó là ma trận chéo. Giải. Đầu tiên ta tìm ma trận của f trong cơ sở nào đó của R3. Vì èề đã cho f(u1), f(u2), f(u3) nên dễ nhất là tìm ma trận của f trong cơ sở (u). Bạn đọc có thể dễ dàng tìm được: Af/(u) =  0 1 11 0 1 1 1 0  Bước tiếp theo, ta tìm giá trị riêng và vectơ riêng của ma trận A = Af/(u) . Từ đó sẽ tìm được giá trị riêng và vectơ riêng của f . Các giá trị riêng, vectơ riêng của ma trận A =  0 1 11 0 1 1 1 0 , ta đã tìm trong phần lý thuyết. Kết quả tóm tắt như sau: • A có hai giá trị riêng là λ = −1 và λ = 2. • Các vectơ riêng ứng với giá trị riêng λ = −1 là các vectơ (−a − b, a, b), a2 + b2 6= 0. Trường hợp này A có hai vectơ riêng độc lập tuyến tính là α1 = (−1, 1, 0), α2 = (−1, 0, 1). • Các vectơ riêng ứng với giá trị riêng λ = 2 là các vectơ (c, c, 0), c 6= 0. Trường hợp này A có một vectơ riêng độc lập tuyến tính là α3 = (1, 1, 1). Từ đó suy ra: • f có hai giá trị riêng là λ = −1 và λ = 2. • Các vectơ riêng ứng với giá trị riêng λ = −1 là các vectơ dạng (−a−b)u1+au2+bu3 = (−2a, a+ 2b, b), a2 + b2 6= 0. Trường hợp này f có hai vectơ riêng độc lập tuyến tính là: β1 = −1.u1 + 1.u2 + 0.u3 = (−2, 1, 0) β2 = −1.u1 + 0.u2 + 1.u3 = (0, 2, 1) 8 • Các vectơ riêng ứng với giá trị riêng λ = 2 là các vectơ dạng c.u1 + c.u2 + c.u3 = (c, 6c, 4c), c 6= 0. Trường hợp này f có một vectơ riêng độc lập tuyến tính là: β3 = 1.u1 + 1.1.u2 + 1.u3 = (1, 6, 4) Kết luận. Vì f là phép biến đổi tuyến tính của R3 (dimR3 = 3) và f có 3 vectơ riêng độc lập tuyến tính là β1, β2, β3 nên β1, β2, β3 (β) chính là cơ sở của R3 cần tìm và ta có: Af/(β) =  −1 0 00 −1 0 0 0 2  8. Cho phép biến đổi tuyến tính ϕ : V → V thỏa mãn ϕ2 = ϕ. Chứng minh: (a) Imϕ+Kerϕ = V (b) Imϕ ∩Kerϕ = {0} Giải. a) Tất nhiên Imϕ+Kerϕ ⊂ V , ta cần chứng minh: V ⊂ Imϕ+Kerϕ. Với mọi α ∈ V , ta có: α = ϕ(α) + (α− ϕ(α)) Tất nhiên ϕ(α) ∈ Imϕ, và ϕ(α − ϕ(α)) = ϕ(α) − ϕ2(α) = ϕ(α) − ϕ(α) = 0. Do đó, α− ϕ(α) ∈ Kerϕ ⇒ α ∈ Imϕ+Kerϕ, và Imϕ+Kerϕ = V . b) Giả sử β ∈ Imϕ ∩Kerϕ. Khi đó tồn tại α ∈ V để ϕ(α) = β. Theo giả thiết ϕ2 = ϕ nên ta có: β = ϕ(α) = ϕ2(α) = ϕ(ϕ(α)) = ϕ(β) = 0 (vì β ∈ Kerϕ). Vậy β ∈ Imϕ ∩Kerϕ thì β = 0. Do đó, Imϕ ∩Kerϕ = {0}. 9. Cho f : V → V là ánh xạ tuyến tính, L là không gian vectơ con của V . Chứng minh: (a) dimL− dimKer f ≤ dim f(L) ≤ dimL. (b) dimL ≤ dim f−1(L) ≤ dimL+ dimKer f . Giải. Để giải bài tập 9 và bài tập 10, ta cần nhớ kết quả sau (đã chứng minh trong phần lý thuyết): Nếu ϕ : V → U là ánh xạ tuyến tính thì ta có: dim Imϕ+ dimKerϕ = dimV a) Xét ánh xạ f¯ : L→ V , f¯ = f |L, tức là f¯(α) = f(α) với mọi α ∈ L. Ta có Im f¯ = f¯(L) = f(L), Ker f¯ = L ∩Ker f . Áp dụng kết quả trên với ϕ = f¯ , ta có: dim Im f¯ + dimKer f¯ = dimL Do đó, dim f(L) = dim Im f¯ ≤ dimL và dim f(L) = dimL− dimKer f¯ ≥ dimL− dimKer f b) Đặt L′ = f−1(L). Khi đó f(L′) = L. Áp dụng a) với không gian vectơ con L′, ta có: dimL′ − dimKer f ≤ dim f(L′) ≤ dimL′ tức là dim f−1(L)− dimKer f ≤ dimL ≤ dim f−1(L) 9 Do đó: dimL ≤ dim f−1(L) ≤ dimL+ dimKer f 10. Cho ϕ : V → W , ψ : W → U là ánh xạ tuyến tính. Chứng minh: (a) rank(ψϕ) ≤ min{rankψ, rankϕ} (b) rank(ψϕ) = rankϕ− dim(Kerψ ∩ Imϕ) (c) rank(ψϕ) ≥ rank kϕ+ rank− dimW Giải. a) Áp dụng câu a) bài 9 cho ánh xạ tuyến tính ψ : W → U với L = Imϕ = ϕ(V ) ⊂ W , ta có: dimϕ(V ) ≥ dimψ(ϕ(V )) = dim(ψϕ)(V ) = dim Im(ψϕ) Vậy ta có: rank(ψϕ) ≤ rankϕ (1) Mặt khác, ta có: ϕ(V ) ⊂ W nên ψ(ϕ(V )) ⊂ ψ(W ), do đó dimψϕ(V ) ≤ dimψ(W ), tức là: rankψϕ ≤ rankψ (2). Từ (1) và (2) ta có điều cần chứng minh. b) Xét ánh xạ ψ¯ : Imϕ→ U , ψ¯ = ψ|Imϕ, tức là ψ¯(α) = ψ(α) với mọi α ∈ Imϕ. Khi đó, Ker ψ¯ = Kerψ ∩ Imϕ và Im ψ¯ = ψ¯(Imϕ) = ψ(Imϕ) = (ψϕ)(V ) = Imψϕ, tức là: dim Im(ψϕ) + dim(Kerψ ∩ Imϕ) = dim Imϕ. Do vậy, rank(ψϕ) = rankϕ− dim(Kerψ ∩ Imϕ). c) Ta có: dimKerψ + dim Imψ = dimW nên dimKerψ = dimW − rankψ. Bởi vậy, theo câu b) rank(ψϕ) = rankϕ− dim(Kerψ ∩ Imϕ) ≥ rankϕ− dimKerψ = rankϕ− (dimW − rankψ) = rankϕ+ rankψ − dimW. 1 1Đánh máy: LÂM HỮU PHƯỚC, TRẦN ĐỨC THUẬN Ngày: 09/03/2006 10