Bối cảnh và vấn đề nghiên cứu

Hình học vi phân là chuyên ngành toán học nghiên cứu các đối tượng hình học thông qua công cụ giải tích và phép tính vi tích phân một hoặc nhiều biến số. Lĩnh vực này được đặt nền móng từ đầu thế kỷ XIX bởi Gaspard Monge và Carl Friedrich Gauss, sau đó được mở rộng và phát triển bởi Bernhard Riemann, Elwin Bruno Christoffel, và được hệ thống hóa vào cuối thế kỷ XIX bởi Gaston Darboux cùng Luigi Bianchi. Trong quá trình phát triển, hình học vi phân hiện đại đã phân nhánh thành nhiều hướng chuyên sâu như hình học Riemannian, hình học giả Riemannian, hình học Finsler và hình học đối ngẫu, đóng vai trò nền tảng trong vật lý lý thuyết và cơ học giải tích.

Trong chương trình đào tạo đại học ngành Toán học, môn học Hình học vi phân ở năm thứ ba chủ yếu dừng lại ở việc khảo sát các tính chất cục bộ (địa phương) của đường cong, mặt cong hoặc đa tạp vi phân. Luận văn tốt nghiệp của tác giả Nguyễn Thanh Tùng (người hướng dẫn: PGS. TS. Lê Anh Vũ, Khoa Toán - Tin học, Trường Đại học Sư phạm TP. Hồ Chí Minh, năm 2008) được thực hiện nhằm mục tiêu hệ thống hóa và giới thiệu các kiến thức nhập môn về Hình học vi phân toàn cục (Global Differential Geometry) — lĩnh vực chuyên khảo sát mối tương quan biện chứng giữa các bất biến hình học địa phương (như độ cong Gauss, độ cong chính) và cấu trúc tô-pô toàn cục của toàn bộ mặt cong.

Khóa luận xác định các nhiệm vụ nghiên cứu cụ thể được đánh số và phân định như sau:

  1. Tổng hợp và hệ thống hóa hệ thống công cụ chuẩn bị của hình học vi phân địa phương, bao gồm phép tính vi phân trên đa tạp mặt, ánh xạ Gauss, các dạng toàn phương cơ bản, ký hiệu Christoffel, phương trình Mainardi-Codazzi, phép chuyển dịch song song, đường trắc địa và ánh xạ mũ.
  2. Khảo sát và chứng minh tính chất "cứng" của mặt cầu trong không gian Euclide ba chiều $\mathbb{R}^3$.
  3. Thiết lập các khái niệm về tính đầy đủ của mặt chính quy, khảo sát khoảng cách nội tại và chứng minh Định lý Hopf-Rinow về sự tồn tại của đường trắc địa cực tiểu.
  4. Xây dựng công thức biến phân thứ nhất và thứ hai của phiếm hàm độ dài cung; ứng dụng công thức biến phân thứ hai để chứng minh Định lý Bonnet.
  5. Nghiên cứu lý thuyết trường Jacobi dọc theo đường trắc địa, làm rõ khái niệm điểm liên hợp và mối quan hệ với điểm tới hạn của ánh xạ mũ, chứng minh tính chất triệt tiêu điểm liên hợp khi độ cong Gauss không dương ($K \le 0$).
  6. Khảo sát cấu trúc không gian phủ và định lý Hadamard về điều kiện để một vi phôi địa phương trở thành vi phôi toàn cục.
  7. Khảo sát hình học của mặt đầy đủ có độ cong Gauss triệt tiêu ($K = 0$) và chứng minh định lý Jacobi về điều kiện cần và đủ để một cung trắc địa đạt cực tiểu độ dài.
  • Đối tượng nghiên cứu: Các mặt cong chính quy, liên thông, định hướng được trong không gian Euclide $\mathbb{R}^3$, cấu trúc metric cảm sinh, trường vectơ dọc theo đường cong, đường trắc địa, ánh xạ Gauss và ánh xạ mũ.
  • Phạm vi nghiên cứu: Giới hạn trong khuôn khổ hình học vi phân cổ điển của các mặt 2 chiều trong $\mathbb{R}^3$, tập trung vào các tính chất toàn cục dưới các điều kiện biên hình học (tính compact, tính đầy đủ, dấu của độ cong Gauss).

Cơ sở lý thuyết và phương pháp

Khóa luận vận dụng hệ thống lý thuyết chuẩn tắc của hình học vi phân cổ điển và tô-pô vi phân, tập trung vào các cấu trúc giải tích - hình học cụ thể:

  • Khung lý thuyết và mô hình giải tích:

    • Lý thuyết độ cong mặt: Ánh xạ pháp tuyến Gauss $N: S \to S^2$, vi phân ánh xạ Gauss $dN_p$, dạng toàn phương cơ bản thứ nhất $I_p(w) = \langle w, w \rangle$ và dạng toàn phương cơ bản thứ hai $II_p(w) = -\langle dN_p(w), w \rangle$. Các độ cong chính $k_1, k_2$, độ cong pháp dạng $k_n$, độ cong Gauss $K = k_1 k_2 = \det(dN_p)$, độ cong trung bình $H = -\frac{1}{2}\mathrm{Tr}(dN_p)$. Phân loại điểm trên mặt (elliptic, hyperbolic, parabolic, phẳng, điểm rốn).
    • Hệ phương trình vi phân và bất biến: Ký hiệu Christoffel $\Gamma_{ij}^k$, Định lý Theorema Egregium của Gauss (tính bất biến của độ cong Gauss qua phép đẳng cự địa phương), hệ phương trình tương thích Gauss và Mainardi-Codazzi.
    • Lý thuyết liên thông và trắc địa: Đạo hàm hiệp biến $\frac{Dw}{dt}$, phép chuyển dịch song song của trường vectơ, phương trình vi phân đường trắc địa $\frac{D\gamma'}{dt} = 0$, ánh xạ mũ $\exp_p: T_p(S) \to S$.
    • Lý thuyết biến phân và phương trình vi phân tuyến tính: Biến phân chính trực giao của đường cong, phiếm hàm độ dài cung $L(t)$, phương trình vi phân Jacobi cấp hai $\frac{D^2 J}{ds^2} + K(\gamma' \wedge J)\gamma' = 0$.

  • Phương pháp nghiên cứu:

    • Phương pháp tiên đề và suy diễn logic toán học: Thiết lập hệ thống định nghĩa, bổ đề và chứng minh các định lý hình học bằng lập luận giải tích chặt chẽ, kết hợp phương pháp phản chứng.
    • Phương pháp biến phân (Calculus of Variations): Tính toán đạo hàm cấp một và cấp hai của phiếm hàm độ dài cung để tìm cực trị và đánh giá tính ổn định của đường trắc địa.
    • Phương pháp tô-pô vi phân và giải tích hàm: Sử dụng tính chất của tập compact, tính liên thông, dãy Cauchy, không gian metric đầy đủ và tính chất vi phôi của ánh xạ trơn.

  • Nguồn dữ liệu và tư liệu học thuật: Khóa luận kế thừa và tổng hợp hệ thống định lý từ các tài liệu kinh điển về hình học vi phân vi mô và vĩ mô, đối chiếu và chuẩn hóa cách chứng minh từ các công trình chuyên khảo của chuyên ngành Hình học.

Nội dung chính theo từng chương

Chương 1: Kiến thức chuẩn bị

Chương 1 đóng vai trò xây dựng hệ thống tiên đề, khái niệm và công thức tính toán địa phương làm nền tảng cho toàn bộ các lập luận toàn cục ở chương sau. Các nội dung chính được chia thành 5 phần:

  1. Phép tính vi phân: Định nghĩa ánh xạ khả vi giữa tập mở, vi phân $dF_p$, định lý ánh xạ ngược, khái niệm ánh xạ vi phôi địa phương và toàn cục. Định nghĩa ánh xạ đẳng cự và đẳng cự địa phương giữa hai mặt chính quy $S$ và $\bar{S}$.
  2. Ánh xạ Gauss: Xây dựng ánh xạ Gauss $N: S \to S^2$, chứng minh tính tự liên hợp của vi phân $dN_p$. Xác lập dạng toàn phương cơ bản thứ hai $II_p$, định lý Meusnier về độ cong pháp dạng $k_n = II_p(v)$, xác định phương chính và độ cong chính $k_1, k_2$. Phân loại các điểm trên mặt thành điểm elliptic ($K > 0$), hyperbolic ($K < 0$), parabolic ($K = 0, dN_p \neq 0$), điểm phẳng ($dN_p = 0$) và điểm rốn ($k_1 = k_2$). Thiết lập phương trình vi phân của đường tiệm cận: $e(u')^2 + 2fu'v' + g(v')^2 = 0$.
  3. Kí hiệu Christoffel - Định lý Gauss và phương trình Mainardi-Codazzi: Biểu diễn đạo hàm của hệ cơ sở tọa độ qua ký hiệu Christoffel $\Gamma_{ij}^k$. Chứng minh Định lý Egregium của Gauss khẳng định độ cong Gauss $K$ bất biến qua phép đẳng cự địa phương. Biểu diễn tường minh phương trình Mainardi-Codazzi trong trường hợp lưới tọa độ là đường chính khúc ($F = f = 0$): $$e_v = \frac{1}{2} E_v (k_1 + k_2), \quad g_u = \frac{1}{2} G_u (k_1 + k_2)$$
  4. Phép chuyển dịch song song và đường trắc địa: Định nghĩa đạo hàm hiệp biến của trường vectơ dọc theo đường cong tham số, trường vectơ song song ($\frac{Dw}{dt} = 0$). Định nghĩa đường trắc địa ($\frac{D\gamma'}{dt} = 0$), định lý tồn tại và duy nhất của đường trắc địa xuất phát từ một điểm với vectơ vận tốc ban đầu cho trước.
  5. Ánh xạ mũ: Định nghĩa ánh xạ $\exp_p: T_p(S) \to S$ qua $\exp_p(v) = \gamma(1, p, v) = \gamma(|v|, p, \frac{v}{|v|})$. Chứng minh $\exp_p$ là một vi phôi trong một lân cận của gốc $0 \in T_p(S)$.

Chương 2: Nhập môn hình học vi phân toàn cục

Chương 2 trình bày các kết quả cốt lõi của hình học vi phân toàn cục thông qua 7 chủ đề chuyên sâu:

  • §1. Tính chất cứng của mặt cầu:

    • Mục tiêu: Chứng minh định lý: "Một mặt $S$ chính quy, liên thông, compact trong $\mathbb{R}^3$ có độ cong Gauss $K$ là hằng số thì $S$ phải là mặt cầu".
    • Các bổ đề hỗ trợ:
      • Bổ đề 1: Nếu tại điểm $p$, $K(p) > 0$ và $p$ đồng thời là cực đại địa phương của $k_1$, cực tiểu địa phương của $k_2$ thì $p$ là điểm rốn ($k_1(p) = k_2(p)$). Lập luận dựa trên việc đạo hàm phương trình Mainardi-Codazzi và thế vào biểu thức độ cong Gauss để chỉ ra mâu thuẫn về dấu của phương trình vi phân: $$-2KEG = -2E(k_1){vv} - 2G(k_2){uu} + M(k_1)_u + N(k_2)_v$$
      • Bổ đề 2: Mọi mặt compact $S \subset \mathbb{R}^3$ đều có ít nhất một điểm elliptic (điểm xa gốc tọa độ nhất).
    • Hệ quả: Tính chất cứng của mặt cầu khẳng định mọi mặt chính quy, liên thông, compact trong $\mathbb{R}^3$ đẳng cự với mặt cầu thì bắt buộc phải là mặt cầu.

  • §2. Định lý Hopf-Rinow:

    • Khái niệm: Mặt chính quy $S$ được gọi là đầy đủ nếu mọi đường trắc địa xuất phát từ $p$ đều có thể mở rộng xác định trên toàn bộ trục số thực $\mathbb{R}$ (tương đương $\exp_p$ xác định trên toàn bộ không gian tiếp xúc $T_p(S)$). Mặt đầy đủ thì không mở rộng được thành tập con thực sự của một mặt chính quy khác.
    • Khoảng cách nội tại: Định nghĩa $d(p,q) = \inf l(\alpha_{pq})$ trên tập các đường cong khả vi từng khúc nối $p$ và $q$. Chứng minh hàm khoảng cách $d$ thỏa mãn các tiên đề metric và liên tục trên $S$. Mọi mặt đóng (và mặt compact) trong $\mathbb{R}^3$ đều là mặt đầy đủ.
    • Định lý Hopf-Rinow: Nếu $S$ là mặt đầy đủ thì với hai điểm bất kỳ $p, q \in S$, tồn tại một đường trắc địa cực tiểu nối $p$ và $q$ với độ dài đúng bằng $d(p,q)$. Kéo theo ánh xạ $\exp_p: T_p(S) \to S$ là toàn ánh; nếu metric $d$ bị chặn thì $S$ là compact.

  • §3. Biến phân thứ nhất và thứ hai của độ dài cung - Định lý Bonnet:

    • Biến phân chính: Họ đường cong $h(s,t)$ với $h(s,0) = \alpha(s)$, $h(0,t) = \alpha(0)$, $h(l,t) = \alpha(l)$ và trường biến phân $V(s) = \frac{\partial h}{\partial t}(s,0)$.
    • Công thức biến phân thứ nhất: $$L'(0) = -\int_0^l \langle A(s), V(s) \rangle ds$$ với $A(s) = \frac{D}{ds}\alpha'(s)$ là vectơ gia tốc. Cung chính quy $\alpha$ là đường trắc địa khi và chỉ khi $L'(0) = 0$ với mọi biến phân chính.
    • Bổ đề giao hoán đạo hàm hiệp biến: Thiết lập đẳng thức $\frac{D}{\partial s}\frac{D}{\partial t}V - \frac{D}{\partial t}\frac{D}{\partial s}V = K(x_u \wedge x_v)(x_u \frac{\partial u}{\partial s} + x_v \frac{\partial v}{\partial s}) \dots = -K(s)(\alpha' \wedge V)\alpha'$.
    • Công thức biến phân thứ hai: Đối với biến phân trực giao chính của đường trắc địa $\gamma$: $$L''(0) = \int_0^l \left[ \left| \frac{DV}{ds} \right|^2 - K(s)|V(s)|^2 \right] ds = -\int_0^l \left\langle \frac{D^2V}{ds^2} + K(s)V(s), V(s) \right\rangle ds$$
    • Định lý Bonnet: Giả sử độ cong Gauss của mặt đầy đủ $S$ thỏa mãn $K \ge \delta > 0$. Khi đó $S$ là compact và đường kính $d(S)$ bị chặn trên: $$d(S) \le \frac{\pi}{\sqrt{\delta}}$$

  • §4. Trường Jacobi và điểm liên hợp:

    • Định nghĩa: Trường biến phân $J(s) = \frac{\partial h}{\partial t}(s,0)$ của một biến phân trắc địa $h(s,t)$ thỏa mãn phương trình vi phân Jacobi: $$\frac{D^2 J}{ds^2} + K(\gamma' \wedge J)\gamma' = 0$$
    • Biểu diễn giải tích: Mọi trường Jacobi với $J(0) = 0$ đều có dạng $J(s) = s(d\exp_p)_{sv}(w)$ với $w = \frac{DJ}{ds}(0)$.
    • Điểm liên hợp: Điểm $q = \gamma(l)$ được gọi là liên hợp với $p = \gamma(0)$ dọc theo trắc địa $\gamma$ nếu tồn tại trường Jacobi $J(s) \not\equiv 0$ sao cho $J(0) = J(l) = 0$. Điểm $q$ liên hợp với $p$ khi và chỉ khi $v = l\gamma'(0)$ là điểm tới hạn của ánh xạ mũ $\exp_p$.
    • Định lý về mặt có độ cong không dương: Nếu độ cong Gauss thỏa mãn $K \le 0$ trên toàn mặt đầy đủ $S$, thì tập các điểm liên hợp của mọi điểm $p \in S$ là tập rỗng (ánh xạ $\exp_p$ không có điểm tới hạn, là một vi phôi địa phương).

  • §5, §6, §7. Các định lý toàn cục mở rộng:

    • Không gian phủ và Định lý Hadamard: Thiết lập điều kiện để ánh xạ mũ $\exp_p: T_p(S) \to S$ từ một vi phôi địa phương trở thành một vi phôi toàn cục khi mặt đơn liên và có $K \le 0$.
    • Mặt có độ cong Gauss triệt tiêu ($K = 0$): Chứng minh một mặt đầy đủ trong $\mathbb{R}^3$ có độ cong Gauss đồng nhất bằng không thì chỉ có thể là mặt phẳng hoặc mặt trụ.
    • Định lý Jacobi về tính cực tiểu: Một cung trắc địa $\gamma$ có độ dài cực tiểu trong lớp các đường cong nối hai đầu mút khi và chỉ khi nó không chứa bất kỳ điểm liên hợp nào trong phần trong của cung.

Kết quả và đóng góp

Khóa luận đã tổng hợp và chứng minh một chuỗi các kết quả toán học cơ bản cấu thành diện mạo của hình học vi phân toàn cục cho mặt 2 chiều. Các kết quả chính được tổng hợp trong bảng sau:

Tên định lý / Kết quả Giả thiết hình học Công cụ chứng minh chính Kết luận toán học
Tính chất cứng của mặt cầu Mặt $S$ chính quy, liên thông, compact trong $\mathbb{R}^3$, $K = \text{const}$ Bổ đề điểm rốn, phương trình Mainardi-Codazzi, điểm elliptic $K > 0$ và $S$ bắt buộc phải là một mặt cầu
Định lý Hopf-Rinow Mặt $S$ chính quy, liên thông, đầy đủ Dãy Cauchy, tính đóng của tập tham số, mở rộng đường trắc địa Tồn tại đường trắc địa cực tiểu nối 2 điểm bất kỳ; $\exp_p$ toàn ánh
Định lý Bonnet Mặt $S$ đầy đủ, $K \ge \delta > 0$ Biến phân thứ hai độ dài cung, trường vectơ song song $w(s)\sin(\frac{\pi}{l}s)$ $S$ là compact và đường kính $d(S) \le \frac{\pi}{\sqrt{\delta}}$
Định lý triệt tiêu điểm liên hợp Mặt $S$ đầy đủ, $K \le 0$ Phương trình vi phân Jacobi, hàm vô hướng $\langle \frac{DJ}{ds}, J \rangle$ Không tồn tại điểm liên hợp; $\exp_p$ là vi phôi địa phương
Phân loại mặt có $K = 0$ Mặt $S$ đầy đủ trong $\mathbb{R}^3$, $K \equiv 0$ Phương trình đường tiệm cận, đường trắc địa phẳng $S$ là mặt phẳng hoặc mặt trụ
Định lý cực tiểu Jacobi Cung trắc địa $\gamma:[0,l] \to S$ Biến phân bậc hai, phân tích trường Jacobi $\gamma$ đạt cực tiểu độ dài $\Leftrightarrow$ $\gamma$ không chứa điểm liên hợp

Đóng góp học thuật của khóa luận

  • Hệ thống hóa phương pháp luận: Khóa luận kết nối thành công lý thuyết vi phân địa phương ở bậc đại học với các bài toán toàn cục, làm rõ cơ chế mà các đại lượng vi phân (độ cong Gauss $K$) kiểm soát hoàn toàn cấu trúc tô-pô toàn cục (tính compact, đường kính, không gian phủ).
  • Chuẩn hóa kỹ thuật biến phân hình học: Cung cấp các bước biến đổi giải tích chi tiết cho công thức biến phân cấp một và cấp hai của độ dài cung, khắc phục tính trừu tượng của toán tử đạo hàm hiệp biến và độ cong Riemann trong các giáo trình đại cương.

Hạn chế và hướng nghiên cứu tiếp

  • Hạn chế của tài liệu:

    • Khóa luận giới hạn phạm vi khảo sát ở không gian 2 chiều (mặt cong nhúng trong $\mathbb{R}^3$), chưa mở rộng sang đa tạp Riemann tổng quát $n$ chiều ($M^n, g$).
    • Các định lý chuẩn bị tại Chương 1 được trình bày dưới dạng trích dẫn kết quả, không kèm theo chứng minh chi tiết do giới hạn dung lượng của một khóa luận đại học.
    • Các phần §5, §6, §7 ở cuối Chương 2 dừng lại ở mức tổng thuật và chứng minh các trường hợp tiêu biểu, chưa đi sâu vào lý thuyết không gian phủ phổ quát cho đa tạp phi compact phức tạp.

  • Hướng nghiên cứu phát triển:

    • Mở rộng nghiên cứu Định lý Hopf-Rinow, Định lý Bonnet-Myers và Định lý Cartan-Hadamard trên đa tạp vi phân Riemann $n$ chiều.
    • Khảo sát Định lý Gauss-Bonnet toàn cục liên kết tích phân độ cong Gauss với đặc trưng Euler $\chi(S)$ của mặt compact: $\iint_S K dA = 2\pi \chi(S)$.
    • Nghiên cứu các bài toán hình học đối ngẫu, hình học Finsler và đa tạp có điều kiện chặn dưới trên độ cong Ricci.

Giá trị tham khảo

Tài liệu là nguồn tham khảo chuyên môn phù hợp cho:

  • Sinh viên ngành Toán học và Sư phạm Toán học: Đặc biệt là sinh viên năm thứ 3 và năm thứ 4 đang theo học các học phần Hình học vi phân nâng cao, Tô-pô vi phân, hoặc chuẩn bị làm khóa luận tốt nghiệp chuyên ngành Hình học.
  • Học viên cao học chuyên ngành Hình học - Tô-pô: Sử dụng phần chứng minh chi tiết của Định lý Hopf-Rinow, Định lý Bonnet và lý thuyết trường Jacobi làm tài liệu bổ trợ trực tiếp cho các môn học chuyên đề đa tạp Riemann.
  • Phần giá trị tham khảo chuyên sâu:
    • Chương 1 (§III, §IV): Phần tổng hợp công thức ký hiệu Christoffel, phương trình Mainardi-Codazzi và đạo hàm hiệp biến được trình bày ngắn gọn, thuận tiện cho việc tra cứu công thức.
    • Chương 2 (§1, §2, §3, §4): Hệ thống chứng minh giải tích mẫu mực cho định lý tính chất cứng mặt cầu, kỹ thuật dựng trường biến phân dạng sin trong định lý Bonnet và kỹ thuật biến đổi vi phân phương trình Jacobi.

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

1. Tính chất "cứng" của mặt cầu được hiểu như thế nào trong khóa luận?
Trả lời: Tính chất "cứng" khẳng định rằng nếu một mặt $S$ trong $\mathbb{R}^3$ thỏa mãn ba điều kiện toàn cục: chính quy, liên thông, compact và có phép đẳng cự bảo toàn metric với một mặt cầu (dẫn đến $K = \text{const} > 0$), thì bản thân $S$ bắt buộc phải là một mặt cầu trọn vẹn chứ không thể bị biến dạng cục bộ.

2. Điểm mấu chốt trong chứng minh Định lý Bonnet ($K \ge \delta > 0 \Rightarrow S$ compact) là gì?
Trả lời: Tác giả sử dụng phương pháp phản chứng. Nếu tồn tại hai điểm $p, q$ có khoảng cách $l > \pi/\sqrt{\delta}$, ta xét trường vectơ biến phân vuông góc $V(s) = w(s)\sin(\frac{\pi}{l}s)$ (với $w(s)$ là trường song song dọc theo trắc địa cực tiểu nối $p, q$). Khi thế $V(s)$ vào công thức biến phân thứ hai, ta thu được $L''(0) < 0$, mâu thuẫn với giả thiết đường trắc địa cực tiểu phải có $L''(0) \ge 0$. Do đó đường kính của mặt bị chặn $d(S) \le \pi/\sqrt{\delta}$, kéo theo $S$ compact.

3. Khái niệm "mặt đầy đủ" (complete surface) được định nghĩa thế nào và có vai trò gì?
Trả lời: Mặt chính quy $S$ được gọi là đầy đủ nếu mọi đường trắc địa trên $S$ đều có thể kéo dài vô hạn trên toàn bộ trục $\mathbb{R}$ (tương đương với việc miền xác định của ánh xạ mũ $\exp_p$ là toàn bộ không gian tiếp xúc $T_p(S)$). Tính đầy đủ là điều kiện toàn cục thay thế cho tính compact, đảm bảo không gian không bị "thủng" hoặc có biên mở, cho phép thiết lập các định lý trắc địa toàn cục như Hopf-Rinow.

4. Điểm liên hợp trên đường trắc địa có ý nghĩa giải tích và hình học như thế nào?
Trả lời: Về mặt giải tích, điểm liên hợp $q = \gamma(l)$ của $p = \gamma(0)$ là điểm mà tại đó tồn tại một nghiệm không tầm thường $J(s)$ của phương trình Jacobi triệt tiêu tại cả hai đầu mút ($J(0) = J(l) = 0$). Về mặt hình học, điều này tương đương với việc vectơ vận tốc $v = l\gamma'(0)$ là một điểm tới hạn (điểm suy biến) của vi phân ánh xạ mũ $d(\exp_p)_v$.

5. Vì sao trên mặt đầy đủ có độ cong Gauss $K \le 0$ thì không tồn tại điểm liên hợp?
Trả lời: Dựa vào phương trình Jacobi và điều kiện $K \le 0$, đạo hàm của tích vô hướng $\frac{d}{ds}\langle \frac{DJ}{ds}, J \rangle = |\frac{DJ}{ds}|^2 - K|J|^2 \ge 0$. Hàm số này không giảm và bằng 0 tại $s = 0$, dẫn đến $\langle \frac{DJ}{ds}, J \rangle > 0$ với mọi $s > 0$. Do đó tích phân $\int_0^l |\frac{DJ}{ds}|^2 - K|J|^2 ds > 0$, triệt tiêu khả năng $J(l) = 0$ tại một điểm $l > 0$, tức là không thể có điểm liên hợp.

Kết luận

Khóa luận tốt nghiệp "Nhập môn hình học vi phân toàn cục" của sinh viên Nguyễn Thanh Tùng đã hoàn thành xuất sắc mục tiêu xây dựng bức tranh tổng thể về mối liên hệ giữa các bất biến vi phân địa phương và tính chất toàn cục trên các mặt 2 chiều. Bằng việc kết hợp nhuần nhuyễn giải tích vi phân, phương pháp biến phân và tô-pô học, công trình đã chứng minh chặt chẽ các định lý kinh điển bao gồm tính chất cứng của mặt cầu, Định lý Hopf-Rinow, Định lý Bonnet và lý thuyết trường Jacobi. Bản khóa luận là tài liệu học thuật có cấu trúc mẫu mực, mang giá trị tham khảo và sư phạm cao cho sinh viên cùng người nghiên cứu chuyên ngành Hình học vi phân.