Khóa luận tốt nghiệp: Nghiên cứu không gian Riemann độ cong hằng

Khóa luận tốt nghiệp Toán Tin: Nghiên cứu không gian Riemann với độ cong hằng. Tìm hiểu sâu về cấu trúc và tính chất của không gian Riemann.

• Tác giả: Bùi Đức Thu Thủy
• Người hướng dẫn: Ts. Nguyễn Thái Sơn
• Trường học: Trường Đại Học Sư Phạm Tp. Hồ Chí Minh
• Chuyên ngành: Toán - Tin Học
• Đề tài: Các Không Gian Rieman Có Độ Cong Hằng
• Loại tài liệu: Khóa luận tốt nghiệp
• Năm xuất bản: 1998 - 2002
• Địa điểm: Tp. Hồ Chí Minh

Mục lục chi tiết

• LỜI MỞ ĐẦU
• 1. CHƯƠNG 1: TRÌNH BÀY CÁC KHÁI NIỆM CƠ BẢN VỀ TÔPÔ VI PHÂN VÀ HÌNH HỌC VI PHÂN , LÀ PHAN MỞ RỘNG CỦA CHUYÊN ĐỂ HÌNH HỌC NĂM THỨ TƯ
• 1.1. DA TAP KHẢ VI
• 1.1.1. DA TAP KHẢ VI:
• 1.1.2. ANH XA KHẢ VI:
• 1.2. TRƯỜNG Y£CTƠ
• 1.2.1. VECTƠ TIẾP XUC VỚI M TẠI MOT ĐIỂM p M :
• 1.2.2. KHÔNG GIAN TIẾP XÚC CUA MTAIp:
• 1.2.3. TRƯỜNG VECTO :
• 1.2.4. ĐẠO HAM CUA TRƯỜNG VECTƠ DỌC THEO MOT TRƯỜNG VECTƠ:
• 1.3. TRƯỜNG TENXO
• 1.3.1. TÍCH TENXG :
• 1.3.2. Tensø hiệp biến :
• 1.3.3. Tenxơ phan biến :
• 1.3.4. Tenx hỗn hợp
• 1.3.5. TRƯỜNG TENXƠ :
• 1.3.6. METRIC RIEMAN :
• 1.4. NHÓM LIE VÀ ĐẠI SO LIE :
• 1.4.1. Nhóm Lie G:
• 1.4.2. Dai số lie G của nhóm Lie G :
• 1.5. KHONG GIAN PHAN THO
• 1.5.1. ĐINH NGHĨA :
• 1.5.2. PHAN THO TUYẾN TÍNH L (M) :
• 1.5.3. PHAN THO MỤC TIÊU TRUC CHUAN O (M):
• 1.6. LIEN THONG TREN CÁC KHONG GIAN PHAN THỚ
• 1.6.1. LIEN THONG TREN KHÔNG GIAN PHAN THỚ :
• 1.6.2. DANG CONG, DANG XOẮN,LIÊN THÔNG TUYẾN TÍNH:
• 1.6.3. PHƯƠNG TRÌNH CẤU TRÚC :
• 1.6.4. TENXƠ CONG VÀ TENXƠ XOẮN :
• 1.6.5. Đồng nhất thức Bianki I, I :
• 2. CHƯƠNG 2: TRÌNH BÀY VỀ CÁC KHÔNG GIAN RIEMAN CÓ ĐỘ CONG HẰNG VÀ ĐI ĐẾN KẾT LUÂN CÁC KHÔNG GIAN RIEMAN CÓ ĐỘ CONG HẰNG ĐƯỢC CHIA LÀM BA LOẠI:
• TÀI LIỆU THAM KHẢO

Tóm tắt

I. Khám phá không gian Riemann độ cong hằng Tổng quan

Bài viết này cung cấp một cái nhìn tổng quan và chi tiết về chủ đề khóa luận không gian Riemann độ cong hằng, một lĩnh vực cốt lõi trong hình học vi phân hiện đại. Nội dung được xây dựng dựa trên các khái niệm nền tảng từ lý thuyết đa tạp khả vi và hình học Riemann, nhằm mục đích hệ thống hóa kiến thức và phân loại các không gian có cấu trúc hình học đồng nhất. Việc nghiên cứu các không gian này không chỉ củng cố kiến thức lý thuyết mà còn mở ra những hiểu biết sâu sắc về công trình của Bernhard Riemann. Luận văn gốc đề cập đến việc phân loại các không gian này thành ba loại chính: hình học Euclid (độ cong bằng không), hình học elliptic (độ cong dương) và hình học hyperbolic (độ cong âm). Để hiểu rõ về không gian Riemann độ cong hằng, cần nắm vững các công cụ cơ bản như metric Riemann, liên kết Levi-Civita, và đặc biệt là tenxơ độ cong Riemann. Những khái niệm này cho phép định lượng độ cong tại mỗi điểm trên một đa tạp, từ đó xác định tính chất hình học toàn cục của không gian. Bài viết sẽ đi sâu vào định nghĩa của độ cong mặt cắt (sectional curvature), một đại lượng vô hướng mô tả độ cong của đa tạp theo các mặt phẳng hai chiều trong không gian tiếp xúc. Khi giá trị này không đổi trên toàn bộ đa tạp, ta có một không gian độ cong hằng, đối tượng nghiên cứu chính của khóa luận.

1.1. Giới thiệu về đa tạp Riemann và metric cơ bản

Một đa tạp Riemann là một đa tạp khả vi trơn được trang bị một metric Riemann. Metric này là một trường tenxơ hiệp biến bậc hai, đối xứng và xác định dương. Cụ thể, tại mỗi không gian tiếp xúc, nó định nghĩa một tích vô hướng. Tích vô hướng này cho phép đo độ dài của các đường cong và góc giữa các vector tiếp xúc. Theo tài liệu gốc, metric Riemann thường được biểu diễn dưới dạng ds² = gᵢⱼ dxⁱ dxʲ, trong đó gᵢⱼ là các thành phần của metric trong một hệ tọa độ địa phương. Sự tồn tại của metric là nền tảng để xây dựng toàn bộ cấu trúc của hình học vi phân. Nó cho phép khái quát hóa các khái niệm từ hình học Euclid sang các không gian cong phức tạp hơn. Việc hiểu rõ cấu trúc của đa tạp Riemann là bước đầu tiên và quan trọng nhất để tiếp cận chủ đề khóa luận không gian Riemann độ cong hằng một cách bài bản và có hệ thống.

1.2. Tầm quan trọng của hình học phi Euclid trong nghiên cứu

Công trình của Riemann đã khai sinh ra một lĩnh vực hoàn toàn mới, được gọi là hình học phi Euclid. Các không gian có độ cong hằng khác không là những ví dụ điển hình nhất của loại hình học này. Không gian hyperbolic (độ cong âm) và không gian elliptic (độ cong dương) phá vỡ tiên đề thứ năm của Euclid về đường thẳng song song. Trong hình học hyperbolic, qua một điểm cho trước có vô số đường thẳng song song với một đường thẳng đã cho. Ngược lại, trong hình học elliptic, không tồn tại đường thẳng song song nào. Việc nghiên cứu các không gian này không chỉ là một bài toán lý thuyết thuần túy. Chúng có ứng dụng sâu rộng trong vật lý lý thuyết, đặc biệt là Thuyết Tương đối rộng của Einstein, nơi không-thời gian được mô hình hóa như một đa tạp Riemann bốn chiều có độ cong thay đổi.

II. Nền tảng đo lường Cách định nghĩa độ cong Riemann

Để hiểu cách một không gian bị uốn cong, các nhà toán học đã phát triển những công cụ tinh vi để định lượng sự khác biệt của nó so với không gian phẳng. Trọng tâm của việc này là khái niệm về độ cong. Trong bối cảnh của một khóa luận không gian Riemann độ cong hằng, việc nắm vững các định nghĩa này là yêu cầu bắt buộc. Quá trình này bắt đầu với liên kết Levi-Civita, một cách tự nhiên để lấy đạo hàm của các trường vector dọc theo các đường cong trên đa tạp. Liên kết này không có xoắn và bảo toàn metric Riemann, làm cho nó trở thành công cụ duy nhất và phù hợp nhất cho hình học Riemann. Từ liên kết, ta xây dựng được tenxơ độ cong Riemann, một đối tượng toán học phức tạp nắm giữ toàn bộ thông tin về độ cong nội tại của đa tạp. Tenxơ này đo lường mức độ mà đạo hàm hiệp biến bậc hai không giao hoán. Nói một cách trực quan, nó cho biết một vector thay đổi như thế nào khi được vận chuyển song song quanh một vòng lặp vô cùng nhỏ. Một tenxơ độ cong bằng không trên toàn bộ đa tạp đồng nghĩa với việc không gian đó là phẳng cục bộ, tức là có thể "làm phẳng" được như không gian Euclid.

2.1. Tenxơ độ cong Riemann và các tính chất cơ bản

Tenxơ độ cong Riemann, ký hiệu là R, là một trường tenxơ kiểu (1, 3). Nó nhận vào ba trường vector X, Y, Z và trả về một trường vector R(X, Y)Z. Biểu thức của nó được định nghĩa thông qua liên kết ∇: R(X, Y)Z = ∇ₓ∇ᵧZ - ∇ᵧ∇ₓZ - ∇_[X,Y]_Z. Tenxơ này có các tính chất đối xứng quan trọng, bao gồm tính phản đối xứng ở hai đối số đầu và các đồng nhất thức Bianchi. Luận văn gốc nhấn mạnh rằng tenxơ độ cong Riemann là công cụ trung tâm để khảo sát hình học. Từ tenxơ này, các khái niệm khác như độ cong Ricci và độ cong vô hướng được suy ra bằng các phép co tenxơ. Những đại lượng này đóng vai trò quan trọng trong các phương trình trường của Einstein.

2.2. Ý nghĩa của độ cong mặt cắt sectional curvature

Mặc dù tenxơ độ cong Riemann chứa đầy đủ thông tin, nó là một đối tượng phức tạp với nhiều thành phần. Để có một cái nhìn trực quan hơn, khái niệm độ cong mặt cắt được giới thiệu. Cho một mặt phẳng hai chiều P trong không gian tiếp xúc tại một điểm, độ cong mặt cắt K(P) là một số thực. Nó được tính bằng K(P) = g(R(u, v)v, u), trong đó {u, v} là một cơ sở trực chuẩn của P. Về cơ bản, K(P) đo độ cong của đa tạp theo hướng của mặt phẳng P. Một không gian được gọi là có độ cong hằng k nếu độ cong mặt cắt K(P) = k cho mọi mặt phẳng P tại mọi điểm trên đa tạp. Đây chính là định nghĩa chính xác của đối tượng nghiên cứu trong khóa luận không gian Riemann độ cong hằng.

III. Phương pháp phân loại không gian Riemann độ cong hằng

Một trong những kết quả đẹp nhất của hình học vi phân là việc phân loại hoàn chỉnh các đa tạp Riemann hoàn toàn, đơn liên và có độ cong hằng. Kết quả này, thường được biết đến qua định lý Killing-Hopf, khẳng định rằng mỗi không gian như vậy sẽ đẳng cự (isometric) với một trong ba mô hình chuẩn. Việc phân loại này là mục tiêu cốt lõi của khóa luận không gian Riemann độ cong hằng. Ba mô hình này tương ứng với ba dấu của độ cong hằng k. Mỗi mô hình đại diện cho một loại hình học riêng biệt, với các tính chất độc đáo về khoảng cách, đường thẳng (đường trắc địa) và diện tích. Việc hiểu rõ cấu trúc của ba không gian mẫu này là chìa khóa để nắm bắt toàn bộ lý thuyết. Luận văn gốc đã trình bày chi tiết cách xây dựng các không gian này và chứng minh chúng có độ cong hằng tương ứng. Phương pháp phân loại này không chỉ có ý nghĩa lý thuyết mà còn là nền tảng cho việc mô hình hóa vũ trụ trong vũ trụ học hiện đại, nơi mà độ cong của không-thời gian quyết định số phận của vũ trụ.

3.1. Trường hợp k 0 Hình học phẳng và không gian Euclid

Khi độ cong hằng bằng 0, không gian này phẳng cục bộ ở mọi nơi. Không gian mẫu là không gian Euclid n-chiều, ký hiệu là ℝⁿ. Trong không gian này, các tiên đề của hình học Euclid cổ điển đều đúng. Đường trắc địa (geodesic) là các đường thẳng. Tổng các góc trong một tam giác luôn bằng 180 độ. Đây là không gian trực quan và quen thuộc nhất, làm cơ sở để so sánh với các không gian cong khác. Bất kỳ đa tạp Riemann hoàn toàn, đơn liên nào có độ cong hằng bằng 0 đều đẳng cự với ℝⁿ.

3.2. Trường hợp k 0 Hình học cầu và mặt cầu n chiều

Khi độ cong hằng dương, ví dụ k = 1/R², không gian mẫu là mặt cầu n chiều (n-sphere), ký hiệu là Sⁿ, với bán kính R. Hình học trên mặt cầu được gọi là hình học elliptic hoặc hình học Riemann nghĩa hẹp. Trong hình học này, đường trắc địa là các vòng tròn lớn. Không có đường thẳng song song; bất kỳ hai đường trắc địa nào cũng sẽ cắt nhau tại hai điểm đối cực. Tổng các góc trong một tam giác luôn lớn hơn 180 độ. Mặt cầu n chiều là một ví dụ quan trọng về một đa tạp compact, có thể tích hữu hạn.

3.3. Trường hợp k 0 Hình học và không gian hyperbolic

Khi độ cong hằng âm, ví dụ k = -1/R², không gian mẫu là không gian hyperbolic n-chiều, ký hiệu là ℍⁿ. Đây là hình học của Lobachevsky. Trong không gian này, qua một điểm nằm ngoài một đường thẳng, có vô số đường thẳng song song với nó. Đường trắc địa phân kỳ rất nhanh, và tổng các góc trong một tam giác luôn nhỏ hơn 180 độ. Có nhiều mô hình để biểu diễn không gian hyperbolic, bao gồm mô hình đĩa Poincaré, mô hình nửa mặt phẳng trên, và mô hình hyperboloid. Mỗi mô hình có ưu điểm riêng trong việc tính toán và trực quan hóa.

IV. Định lý Killing Hopf Chìa khóa cho phân loại toàn diện

Để việc phân loại các không gian Riemann độ cong hằng trở nên chặt chẽ và đầy đủ, cần đến một định lý nền tảng của hình học vi phân là định lý Killing-Hopf. Định lý này khẳng định rằng: một đa tạp Riemann hoàn toàn (complete) và đơn liên (simply connected) với độ cong mặt cắt không đổi k thì sẽ đẳng cự (isometric) với một trong ba không gian mẫu duy nhất: không gian Euclid ℝⁿ nếu k = 0, mặt cầu n chiều Sⁿ(1/√k) nếu k > 0, hoặc không gian hyperbolic ℍⁿ(1/√-k) nếu k < 0. Định lý này là một kết quả kinh điển, kết nối các tính chất hình học cục bộ (độ cong hằng) với cấu trúc tôpô và hình học toàn cục (hoàn toàn, đơn liên). Nó cho thấy rằng chỉ với ba giả thiết cơ bản, cấu trúc của đa tạp được xác định một cách duy nhất. Việc hiểu và chứng minh định lý này thường là một phần quan trọng trong một luận văn thạc sĩ toán học về chủ đề này, đòi hỏi kiến thức sâu về ánh xạ nâng, phân thớ và đường trắc địa.

4.1. Vai trò của đa tạp hoàn toàn complete manifold

Một đa tạp Riemann được gọi là đa tạp hoàn toàn nếu mọi đường trắc địa đều có thể kéo dài vô hạn theo cả hai hướng. Tính hoàn toàn là một giả thiết quan trọng về mặt toàn cục. Nó đảm bảo rằng không gian không có "biên" hay "lỗ thủng" đột ngột. Định lý Hopf-Rinow chỉ ra rằng tính hoàn toàn tương đương với việc không gian metric cảm sinh là hoàn toàn, nghĩa là mọi dãy Cauchy đều hội tụ. Giả thiết này trong định lý Killing-Hopf cho phép xây dựng các đẳng cự toàn cục, thay vì chỉ là các đẳng cự địa phương.

4.2. Ý nghĩa của tính đơn liên simply connected

Một đa tạp được gọi là đa tạp đơn liên nếu mọi vòng lặp trên nó đều có thể co lại thành một điểm. Về mặt tôpô, nó không có "lỗ thủng" một chiều. Ví dụ, mặt cầu là đơn liên, trong khi mặt xuyến (hình bánh rán) thì không. Giả thiết đơn liên loại bỏ sự phức tạp về cấu trúc tôpô, cho phép tập trung vào cấu trúc hình học thuần túy. Bất kỳ không gian độ cong hằng nào không đơn liên đều có thể được xem là không gian thương của một trong ba không gian mẫu đơn liên bởi một nhóm rời rạc các phép đẳng cự.

V. Ứng dụng thực tiễn của khóa luận không gian Riemann

Nghiên cứu về khóa luận không gian Riemann độ cong hằng không chỉ là một bài tập trí tuệ trong toán học lý thuyết mà còn có những ứng dụng sâu sắc và quan trọng trong các lĩnh vực khoa học khác, đặc biệt là vật lý và vũ trụ học. Hình học Riemann cung cấp ngôn ngữ và công cụ toán học cần thiết để mô tả các hiện tượng vật lý trong các điều kiện khắc nghiệt, nơi mà hình học Euclid thông thường không còn áp dụng được. Thuyết tương đối rộng của Albert Einstein là ví dụ nổi bật nhất, trong đó lực hấp dẫn không còn được xem là một lực mà là sự biểu hiện của độ cong của không-thời gian. Không-thời gian được mô hình hóa như một đa tạp Riemann bốn chiều (chính xác hơn là một đa tạp Lorentz). Các vật thể và ánh sáng di chuyển theo các đường trắc địa trong không-thời gian cong này. Các mô hình vũ trụ học chuẩn, như mô hình Friedmann–Lemaître–Robertson–Walker (FLRW), giả định rằng ở quy mô lớn, vũ trụ là đồng nhất và đẳng hướng. Điều này dẫn đến kết luận rằng các lát cắt không gian của vũ trụ phải là các không gian Riemann độ cong hằng, với độ cong có thể là dương, âm hoặc bằng không, tương ứng với một vũ trụ đóng, mở hoặc phẳng.

5.1. Mô hình vũ trụ và độ cong không gian

Trong vũ trụ học, việc xác định dấu của độ cong không gian là một trong những câu hỏi cơ bản nhất. Dấu của độ cong quyết định số phận cuối cùng của vũ trụ. Một vũ trụ có độ cong dương (như mặt cầu n chiều) sẽ có thể tích hữu hạn và cuối cùng sẽ co lại trong một sự kiện gọi là "Vụ Co Lớn" (Big Crunch). Một vũ trụ có độ cong bằng không (không gian Euclid) hoặc âm (không gian hyperbolic) sẽ giãn nở mãi mãi. Các quan sát thực nghiệm hiện tại, chẳng hạn như từ bức xạ nền vi sóng vũ trụ, cho thấy vũ trụ của chúng ta rất gần với trạng thái phẳng, nghĩa là độ cong gần bằng không.

5.2. Vai trò trong lý thuyết trường lượng tử và lý thuyết dây

Trong các lý thuyết vật lý hiện đại hơn như lý thuyết trường lượng tử trên không-thời gian cong và lý thuyết dây, các khái niệm từ hình học vi phân và đa tạp Riemann đóng vai trò trung tâm. Lý thuyết dây, một ứng cử viên cho lý thuyết thống nhất, giả định sự tồn tại của các chiều không gian phụ được cuộn lại thành các đa tạp nhỏ, compact. Các tính chất hình học và tôpô của các đa tạp này, bao gồm cả độ cong Ricci của chúng, xác định các hằng số vật lý cơ bản trong vũ trụ bốn chiều của chúng ta. Do đó, việc hiểu sâu sắc về cấu trúc của các đa tạp Riemann là điều cần thiết để thúc đẩy các nghiên cứu ở biên giới của vật lý lý thuyết.