Tổng quan về giáo trình

Bài giảng Đại số tuyến tính và Hình học giải tích 2 (Mã số: BG.01) do tác giả Vũ Tiến Đức (Khoa Toán, Trường Đại học Hải Phòng) biên soạn, được nghiệm thu ở cấp trường vào tháng 5 năm 2018. Tài liệu được thiết kế nhằm phục vụ trực tiếp cho công tác đào tạo sinh viên ngành Cử nhân Toán học và Cử nhân Sư phạm Toán học thuộc Trường Đại học Hải Phòng trong năm học 2017–2018 và các năm học tiếp theo.

Về vị trí trong chương trình đào tạo, học phần này là phần tiếp nối kiến thức nền tảng của Đại số tuyến tính và Hình học giải tích 1. Mục tiêu học tập (learning outcomes) của bài giảng tập trung vào hai hướng:

  1. Trang bị cho sinh viên khối sư phạm hệ thống kiến thức chuẩn xác, đầy đủ về cấu trúc ánh xạ tuyến tính, không gian véc-tơ Euclide và dạng toàn phương, tạo cơ sở để giảng dạy tốt các nội dung liên quan trong chương trình toán THCS và THPT.
  2. Cung cấp nền tảng lý thuyết đại số trừu tượng và giải tích ma trận cần thiết để sinh viên tiếp thu các học phần toán học nâng cao ở các học kỳ sau.

Cấu trúc bài giảng gồm 3 chương với cách tiếp cận chuyển dịch từ nghiên cứu các cấu trúc toán học trừu tượng sang việc biểu diễn ma trận và tính toán tọa độ cụ thể. Điểm đặc thù của tài liệu là nội dung được tinh giản và chọn lọc phù hợp với khung thời lượng đào tạo và trình độ đầu vào thực tế của sinh viên Trường Đại học Hải Phòng, cân đối giữa việc chứng minh định lý chặt chẽ và cung cấp các thuật toán giải bài tập tường minh.

+--------------------------------------------------------------------------------+
|          BÀI GIẢNG ĐẠI SỐ TUYẾN TÍNH VÀ HÌNH HỌC GIẢI TÍCH 2 (BG.01)           |
|        Tác giả: Vũ Tiến Đức - Khoa Toán, Trường Đại học Hải Phòng (2018)       |
+---------------------------------------+----------------------------------------+
                                        |
      +---------------------------------+---------------------------------+
      |                                 |                                 |
      v                                 v                                 v
+-----------------------+   +-----------------------+   +-----------------------+
|       CHƯƠNG 1        |   |       CHƯƠNG 2        |   |       CHƯƠNG 3        |
|   Ánh xạ tuyến tính   |   | Không gian véc-tơ     |   | Dạng song tuyến tính  |
|                       |   |       Euclide         |   |  và dạng toàn phương  |
+-----------------------+   +-----------------------+   +-----------------------+
| * Đơn/toàn/đẳng cấu   |   | * Tích vô hướng       |   | * Dạng song tuyến tính|
| * Hạt nhân và ảnh     |   | * Chuẩn & góc         |   | * Ma trận biểu diễn   |
| * Ma trận tự đồng cấu |   | * Trực giao Gram-     |   | * Dạng chính tắc      |
| * Trị riêng, véc-tơ   |   |   Schmidt             |   | * Luật quán tính      |
|   riêng, chéo hóa     |   | * Phần bù trực giao   |   |   Sylvester           |
| * Dạng chuẩn Jordan   |   | * Biến đổi trực giao  |   | * Phân loại đường/    |
| * Cayley-Hamilton     |   | * Phép biến đổi       |   |   mặt bậc hai         |
|                       |   |   đối xứng            |   |                       |
+-----------------------+   +-----------------------+   +-----------------------+

Nội dung kiến thức cốt lõi

Các chương và chủ đề chính

Tài liệu được phân chia thành 3 chương chuyên đề với mạch phát triển kiến thức liên tục:

[Chương 1: Ánh xạ tuyến tính & Cấu trúc tự đồng cấu]
[Chương 2: Không gian véc-tơ Euclide & Phép biến đổi trực giao]
[Chương 3: Dạng song tuyến tính, Dạng toàn phương & Phân loại bậc hai]

Chương 1: Ánh xạ tuyến tính

Nghiên cứu các mối quan hệ cấu trúc giữa các không gian véc-tơ $V$ và $V'$ thông qua đồng cấu tuyến tính:

  • Đồng cấu và các dạng cấu trúc: Định nghĩa ánh xạ tuyến tính $f(k\alpha + l\beta) = kf(\alpha) + lf(\beta)$, xác định ánh xạ tuyến tính duy nhất qua ảnh của một cơ sở; phân loại đơn cấu (đơn ánh), toàn cấu (toàn ánh) và đẳng cấu (song ánh). Định lý đẳng cấu: hai không gian hữu hạn chiều đẳng cấu khi và chỉ khi $\dim V = \dim V'$.
  • Hạt nhân và ảnh: Khái niệm $\ker f = {\alpha \in V \mid f(\alpha) = 0}$ và $\text{Im} f = {f(\alpha) \mid \alpha \in V}$. Định lý số chiều cốt lõi: $$\dim \text{Im} f + \dim \ker f = \dim V$$
  • Biểu diễn ma trận: Ma trận của ánh xạ tuyến tính đối với cặp cơ sở, mối liên hệ ma trận của tự đồng cấu qua công thức đổi cơ sở $B = C^{-1}AC$, thiết lập quan hệ đồng dạng ma trận.
  • Phổ và cấu trúc tự đồng cấu: Giá trị riêng, véc-tơ riêng xác định qua phương trình $Ax = \lambda x$; không gian con riêng $\ker(f - \lambda \text{id})$; đa thức đặc trưng $P_A(\lambda) = \det(A - \lambda I_n)$.
  • Không gian con ổn định và chéo hóa: Khái niệm $f$-ổn định ($f(W) \subset W$); điều kiện cần và đủ để tự đồng cấu chéo hóa được qua hệ nghiệm của đa thức đặc trưng và số chiều không gian con riêng.
  • Dạng chuẩn tắc Jordan và định lý Cayley-Hamilton: Định lý Cayley-Hamilton ($P_A(A) = 0$), khái niệm đa thức tối tiểu $m_A(\lambda)$, cấu tạo các khối Jordan $J_s(\lambda_i)$ và phương pháp tìm cơ sở Jordan cho các ma trận vuông cấp 3 không chéo hóa được.

Chương 2: Không gian véc-tơ Euclide

Mở rộng cấu trúc không gian véc-tơ bằng cách đưa vào phép đo độ dài và góc:

  • Tích vô hướng: Xây dựng từ dạng song tuyến tính đối xứng xác định dương $\langle \alpha, \beta \rangle$.
  • Hình học véc-tơ trong không gian Euclide: Độ dài chuẩn $|\alpha| = \sqrt{\langle \alpha, \alpha \rangle}$, bất đẳng thức Cauchy-Bunyakovsky: $$|\langle \alpha, \beta \rangle| \le |\alpha| \cdot |\beta|$$ Góc giữa hai véc-tơ, định lý Pythagore trong hệ trực giao.
  • Hệ trực chuẩn và thuật toán trực chuẩn hóa Gram-Schmidt: Xây dựng cơ sở trực giao, chuẩn hóa cơ sở để thu được cơ sở trực chuẩn.
  • Không gian con trực giao: Khái niệm phần bù trực giao $W^\perp$, phân tích tổng trực tiếp trực giao $E = W \oplus W^\perp$.
  • Biến đổi trực giao và biến đổi đối xứng: Nghiên cứu ma trận trực giao ($A^T A = I$), tính chất bảo toàn khoảng cách của phép biến đổi trực giao và cấu trúc của các toán tử đối xứng.

Chương 3: Dạng song tuyến tính và dạng toàn phương

  • Dạng song tuyến tính và biểu diễn ma trận: Khái niệm song tuyến tính trên không gian véc-tơ, ma trận liên kết trong các cơ sở.
  • Dạng toàn phương và tính xác định: Biểu thức tọa độ của dạng toàn phương, phân loại dạng toàn phương xác định dương, xác định âm.
  • Đưa dạng toàn phương về dạng chính tắc: Các thuật toán đưa về dạng chính tắc (phương pháp tách bình phương Lagrange, biến đổi trực giao).
  • Luật quán tính Sylvester: Định lý về sự bất biến của chỉ số quán tính dương và chỉ số quán tính âm đối với các phép biến đổi tọa độ không suy biến.
  • Ứng dụng hình học: Phân loại và đưa phương trình đường bậc hai (trong $\mathbb{R}^2$) và mặt bậc hai (trong $\mathbb{R}^3$) về dạng chính tắc.

Kiến thức nền tảng được xây dựng

  • Cơ sở đại số trừu tượng: Hệ thống khái niệm về không gian véc-tơ, cơ sở, số chiều, đồng cấu tuyến tính, và đại số các toán tử $\text{Hom}(V, V')$, $\text{End}(V)$.
  • Giải tích ma trận: Mối tương đương giữa toán tử tuyến tính trừu tượng và ma trận thực hành, lý thuyết bất biến ma trận qua các phép đồng dạng và trực giao.
  • Lý thuyết phổ: Cấu trúc phân rã không gian theo không gian con riêng và không gian con chuẩn tắc (Jordan).

Kỹ năng phát triển

  • Kỹ năng tính toán giải tích: Tìm ma trận biểu diễn đồng cấu, giải hệ phương trình thuần nhất tìm hạt nhân $\ker f$, tìm phổ giá trị riêng, trực chuẩn hóa hệ véc-tơ bằng quy trình Gram-Schmidt.
  • Kỹ năng giải thuật: Thực hiện quy trình chuyển ma trận về dạng chéo hoặc dạng khối Jordan cấp 3; khử biến đưa dạng toàn phương về tổng bình phương chính tắc.
  • Kỹ năng chứng minh toán học: Vận dụng định lý số chiều của ảnh và hạt nhân, tính độc lập tuyến tính của hệ véc-tơ riêng ứng với các giá trị riêng phân biệt, chứng minh tính bất biến của không gian con.

Phương pháp giảng dạy và học tập

Phương pháp tiếp cận sư phạm

Bài giảng xây dựng lộ trình học tập chặt chẽ theo cấu trúc: $$\text{Khái niệm trừu tượng} \longrightarrow \text{Định lý cấu trúc} \longrightarrow \text{Biểu diễn ma trận} \longrightarrow \text{Thuật toán tính toán}$$

Phương pháp này giúp sinh viên hiểu rõ ý nghĩa hình học và cấu trúc đại số trước khi áp dụng các công thức tính toán đại số ma trận.

Hệ thống ví dụ mẫu và bài tập

Tài liệu tích hợp các ví dụ minh họa từng bước cho các dạng toán phức tạp:

  • Ví dụ tính toán đồng cấu: Xác định ánh xạ tuyến tính $f: \mathbb{R}^3 \to \mathbb{R}^2$ khi biết ảnh của một cơ sở; tìm nghịch đảo $f^{-1}$ của một tự đẳng cấu.
  • Ví dụ tìm dạng Jordan: Phân tích chi tiết từng bước tìm cơ sở Jordan cho các ma trận cấp 3 với các trường hợp nghiệm của đa thức đặc trưng (nghiệm bội, đa thức tối tiểu $m_A(\lambda) = (\lambda - \lambda_0)^k$).
  • Ví dụ trực giao hóa: Thực hiện trực chuẩn hóa Gram-Schmidt trên không gian $\mathbb{R}^4$ và không gian đa thức $\mathbb{R}_n[x]$ với tích vô hướng tích phân $\langle f, g \rangle = \int_0^1 f(x)g(x)dx$.

Hệ thống bài tập cuối chương gồm 35 bài tập tự luận lớn tại Chương 1, cùng chuỗi bài tập phân loại tại Chương 2 và Chương 3, phủ kín các mức độ từ nhận biết tính tuyến tính đến chứng minh các bổ đề đại số sâu (toán tử lũy linh, ma trận lũy linh, toán tử giao hoán $f \circ g = g \circ f$).

Hướng dẫn tự học và đánh giá

  • Đánh giá thường xuyên: Kiểm tra khả năng thiết lập ma trận biểu diễn, tính giá trị riêng và giải thuật Gram-Schmidt qua các bài tập kiểm tra trên lớp.
  • Phương pháp tự học: Sinh viên cần thực hiện lại các bước biến đổi trong các ví dụ mẫu có sẵn trong bài giảng trước khi làm bài tập cuối chương; đối chiếu các phép chứng minh định lý tổng quát với trường hợp cụ thể trong không gian $\mathbb{R}^2, \mathbb{R}^3$.

Điểm nổi bật và cập nhật

  • Tính địa phương hóa và vừa sức: Được biên soạn dựa trên khảo sát thực tế về mặt bằng đầu vào của sinh viên Trường Đại học Hải Phòng, tài liệu đã chọn lọc lược bớt các chi tiết chứng minh quá nặng về giải tích trừu tượng, tập trung làm rõ các công cụ giải quyết bài toán đại số hữu hạn chiều.
  • Trình bày trực quan về ma trận chuẩn tắc Jordan: Dạng chuẩn tắc Jordan thường là nội dung khó tiếp thu đối với sinh viên năm thứ nhất và năm thứ hai. Bài giảng giải quyết vấn đề này bằng cách phân loại tường minh toàn bộ các trường hợp của ma trận vuông cấp 3, đưa ra công thức tính số khối Jordan cấp $s$ thông qua hạng của toán tử $(f - \lambda \text{id})^s$, kèm các ví dụ số học hoàn chỉnh.
  • Cầu nối giữa đại số tuyến tính và hình học giải tích: Khác với các tài liệu thuần đại số, Chương 3 của bài giảng định hướng trực tiếp việc ứng dụng dạng toàn phương và luật quán tính Sylvester vào bài toán phân loại đường bậc hai, mặt bậc hai trong hình học giải tích sơ cấp và cao cấp.

Đối tượng sử dụng giáo trình

+-------------------------------------------------------------------------+
|                       ĐỐI TƯỢNG SỬ DỤNG GIÁO TRÌNH                      |
+------------------------------------+------------------------------------+
| Đối tượng                          | Mục đích & Yêu cầu sử dụng         |
+------------------------------------+------------------------------------+
| Sinh viên Đại học Sư phạm Toán     | Chuẩn hóa kiến thức chuyên môn phục|
| (Năm 1, Năm 2)                     | vụ giảng dạy môn Toán THCS & THPT. |
+------------------------------------+------------------------------------+
| Sinh viên Cử nhân Toán học         | Hoàn thành học phần bắt buộc; tạo  |
|                                    | nền tảng cho môn Toán chuyên sâu.  |
+------------------------------------+------------------------------------+
| Giảng viên Khoa Toán               | Sử dụng làm giáo án, đề cương và   |
| (Đại học Hải Phòng)                | chuẩn chuẩn đầu ra học phần BG.01. |
+------------------------------------+------------------------------------+
| Giáo viên THPT / Tự học            | Tài liệu tra cứu về giải tích ma   |
|                                    | trận và toán tử không gian Euclide.|
+------------------------------------+------------------------------------+
  • Yêu cầu tiên quyết: Người học cần nắm vững các kiến thức trong học phần Đại số tuyến tính 1, bao gồm: định thức, ma trận, hạng của hệ véc-tơ, không gian véc-tơ cơ bản, phương pháp giải hệ phương trình đại số tuyến tính.

Câu hỏi thường gặp

1. Giáo trình này phù hợp với ai?

Tài liệu được biên soạn chính khóa cho sinh viên chuyên ngành Đại học Sư phạm Toán học và Đại học Toán học của Trường Đại học Hải Phòng, đồng thời phù hợp làm tài liệu học tập cho sinh viên khối ngành toán tại các trường đại học đào tạo khối khoa học tự nhiên.

2. Cần kiến thức nền nào trước khi học?

Người học bắt buộc phải hoàn thành học phần Đại số tuyến tính 1. Cần nắm vững các kỹ năng: tính định thức, khử Gauss giải hệ phương trình tuyến tính, xác định cơ sở và số chiều của không gian véc-tơ con.

3. Điểm khác biệt của bài giảng so với các giáo trình đại số tuyến tính khác là gì?

Bài giảng tập trung sâu vào cấu trúc tự đồng cấu, trực quan hóa thuật toán tìm dạng chuẩn tắc Jordan cấp 3 và liên kết chặt chẽ phần đại số tuyến tính (dạng toàn phương) với hình học giải tích (phân loại đường và mặt bậc hai). Cấu trúc bài giảng được tinh chỉnh vừa vặn với số tiết quy định trong chương trình học của Trường Đại học Hải Phòng.

4. Làm sao để tự học hiệu quả với tài liệu này?

Người học nên học theo phương pháp hai bước:

  1. Đọc kỹ phần lý thuyết, viết lại các phép chứng minh định lý số chiều và điều kiện chéo hóa.
  2. Tự tính toán lại toàn bộ các ví dụ mẫu có lời giải trong bài giảng (đặc biệt là dạng tìm véc-tơ riêng Jordan và thuật toán Gram-Schmidt), sau đó giải toàn bộ 35 bài tập ở cuối mỗi chương.

5. Có tài liệu bổ trợ nào kèm theo bài giảng?

Bài giảng đi kèm danh mục Tài liệu tham khảo gồm các giáo trình Đại số tuyến tính chuẩn của các nhà toán học trong nước, hệ thống bài tập thực hành cuối mỗi chương và danh mục bài tập ôn tập chuẩn bị cho kỳ thi kết thúc học phần.

Kết luận

Bài giảng Đại số tuyến tính và Hình học giải tích 2 (Mã số: BG.01) của tác giả Vũ Tiến Đức là tài liệu học tập có tính hệ thống cao, phản ánh đúng chuẩn chương trình đào tạo ngành Toán tại Trường Đại học Hải Phòng. Tài liệu đã thể hiện đầy đủ cấu trúc của ánh xạ tuyến tính, hình học không gian Euclide và dạng toàn phương, đáp ứng mục tiêu kép: trang bị nền tảng đại số vững chắc cho sinh viên nghiên cứu các học phần chuyên ngành tiếp theo, đồng thời chuẩn bị năng lực giải toán và giảng dạy môn Toán cho các giáo viên tương lai.