Chẳng hạn, một mặt chính quytrong R3 có độ cong Gauss đồng nhất bằng không khi và chỉ khi nó là mặt kẻ khả triển.Việc tìm hiểu các kết quả thể hiện các tính chất hình học của lớp mặt kiể
Trang 1BỘ GIÁO DỤC VÀ ĐÀO TẠOTRƯỜNG ĐẠI HỌC VINH
ĐẶNG VĂN CƯỜNG
MỘT SỐ TÍNH CHẤT ĐỊA PHƯƠNG
VÀ TOÀN CỤC CỦA MẶT ĐỐI CHIỀU HAI TRONG KHÔNG GIAN LORENTZ-MINKOWSKI
LUẬN ÁN TIẾN SĨ TOÁN HỌC
Nghệ An - 2013
Trang 2ĐẶNG VĂN CƯỜNG
MỘT SỐ TÍNH CHẤT ĐỊA PHƯƠNG
VÀ TOÀN CỤC CỦA MẶT ĐỐI CHIỀU HAI TRONG KHÔNG GIAN LORENTZ-MINKOWSKI
LUẬN ÁN TIẾN SĨ TOÁN HỌC Chuyên ngành: Hình học và Tôpô
Trang 3MỤC LỤC
1 Lý do chọn đề tài 1
2 Mục đích nghiên cứu 3
3 Đối tượng nghiên cứu 4
4 Phạm vi nghiên cứu 4
5 Phương pháp nghiên cứu 4
6 Ý nghĩa khoa học và thực tiễn 5
7 Tổng quan và cấu trúc luận án 6
7.1 Tổng quan luận án 6
7.2 Cấu trúc luận án 9
Chương 1 Kiến thức cơ sở 11 1.1 Không gian Lorentz-Minkowski 11
1.2 Các độ cong của mặt trong Rn+11 . 16
a) Độ cong liên kết với một trường vectơ pháp 16
b) Elip độ cong 20
Kết luận chương 1 . 22
Chương 2 Xây dựng ánh xạ ν-Gauss nhận giá trị trên HSr, trên LSr và tính chất hình học của mặt ν-rốn 23 2.1 Ánh xạ Gauss nhận giá trị trên HSr và mặt n±r-rốn 25
a) Ánh xạ n±r-Gauss 26
b) Mặt n∗r-dẹt đối chiều hai 27
Trang 4c) Mặt n∗r-rốn đối chiều hai 30
d) Một số ví dụ mặt ν-rốn trong R4 1 . 35
2.2 Ánh xạ Gauss nhận giá trị trên LSr và mặt l±r-rốn 40
a) Ánh xạ l±r-Gauss 40
b) Mặt l∗r-rốn đối chiều hai 41
2.3 Mặt rốn đối chiều hai 46
Kết luận chương 2 . 48
Chương 3 Tính chất hình học của mặt ν-phẳng trong R4 1 49 3.1 Mối liên hệ giữa mặt ν-rốn và mặt ν-phẳng 49
3.2 Tính phẳng của mặt trong không gian 4-chiều 54
a) Tính phẳng của mặt trong R4 . 54
b) Tính phẳng của mặt kiểu không gian trong R4 1 . 58
3.3 Một số ví dụ về mặt ν-phẳng 62
Kết luận chương 3 . 67
Chương 4 Mặt kẻ và mặt tròn xoay kiểu không gian trong R4 1 68 4.1 Mặt kẻ 68
4.2 Mặt tròn xoay 72
a) Mặt tròn xoay kiểu hypebolic 73
b) Mặt tròn xoay kiểu eliptic 79
c) Mặt tròn xoay với kinh tuyến phẳng 84
Kết luận chương 4 . 87
Kết luận và kiến nghị . 88
Danh mục các công trình của nghiên cứu sinh liên quan đến luận án . 90
Tài liệu tham khảo . 91
Chỉ mục . 95
Trang 5Lời cam đoan
Tôi xin cam đoan đây là công trình nghiên cứu của riêng tôi, các kết quả trình bày trong luận án là hoàn toàn trung thực, được các đồng tác giả cho phép sử dụng
và luận án không trùng lặp với bất kì tài liệu nào khác.
Tác giả
Trang 6LỜI CẢM ƠN
Luận án được hoàn thành tại trường Đại học Vinh dưới sự hướng dẫn của thầy giáo PGS TS Đoàn Thế Hiếu và thầy giáo TS Nguyễn Duy Bình Sự định hướng của quý Thầy trong nghiên cứu, sự nghiêm khắc của các Thầy trong học tập và
sự hướng dẫn tận tình của quý Thầy trong làm việc là những yếu tố cơ bản nhất tác động nên việc hoàn thành luận án Thêm vào đó là tình yêu thương của hai Thầy dành cho tác giả trong cuộc sống đã cho tác giả có sức mạnh để vượt qua rất nhiều khó khăn trong học tập và nghiên cứu Tác giả xin bày tỏ lòng biết ơn chân thành và sâu sắc nhất đến với hai Thầy.
Luận án như là món quà tác giả tặng đến gia đình mình, những người đã dành cho tác giả những gì tốt nhất trong quá trình học tập Cảm ơn người vợ thân yêu
đã nỗ lực hết sức một mình chăm sóc gia đình trong suốt thời gian tác giả đi học Tác giả gửi lời cảm ơn đến Khoa Toán và Khoa Sau đại học - Trường Đại học Vinh, nơi tác giả đã học tập và nghiên cứu trong thời gian làm nghiên cứu sinh Tác giả gửi lời cảm ơn đến Trường Đại học Duy Tân và Khoa Khoa học tự nhiên - Trường Đại học Duy Tân, nơi tác giả công tác giảng dạy và cũng là nơi cử tác giả đi làm nghiên cứu sinh.
Tác giả gửi lời cảm ơn đến Khoa Toán - Trường Đại học Sư phạm Huế, nơi tác giả đã dành nhiều thời gian làm nghiên cứu.
Tác giả gửi lời cảm ơn sâu sắc đến PGS TS Nguyễn Huỳnh Phán, PGS TS Nguyễn Hữu Quang, GS TSKH Đỗ Ngọc Diệp, TS Kiều Phương Chi và PGS.
TS Trần Văn Ân đã dành thời gian đọc luận án và cho tác giả những nhận xét quý báu.
Tác giả gửi lời cảm ơn đến tất cả các nhà khoa học, thầy cô, người thân, bạn
bè vì những góp ý, ủng hộ và động viên về tinh thần cũng như vật chất dành cho tác giả.
Nghệ An, tháng 01 năm 2013Đặng Văn Cường
Trang 7Mở đầu
1 Lý do chọn đề tài
1.1 Việc nghiên cứu các tính chất địa phương và toàn cục của mặt là một trong nhữngvấn đề cơ bản của hình học vi phân Tính chất địa phương của mặt là những tính chấtliên quan đến tham số hóa địa phương của mặt, còn tính chất toàn cục là những tínhchất thể hiện trên toàn bộ mặt mà không chịu sự chi phối của tham số hóa địa phương.Chúng ta đã biết, trong hình học vi phân cổ điển, một trong những công cụ cơ bản
để nghiên cứu các tính chất địa phương của mặt là ánh xạ Gauss Ánh xạ Gauss đưa đếncác khái niệm độ cong bao gồm: độ cong Gauss; độ cong trung bình; độ cong chính, .Với các mặt đối chiều một, mặt trong R3 và siêu mặt trong Rn, ánh xạ Gauss đã chứng
tỏ là một công cụ hữu hiệu để nghiên cứu tính chất địa phương của chúng Chẳng hạn,dựa vào tính chất của độ cong chúng ta nhận được kết quả: một mặt chính quy trong R3
là mặt rốn khi và chỉ khi nó là (một phần của) một mặt cầu hoặc (một phần của) mộtmặt phẳng
Đối với các tính chất toàn cục của mặt, một trong những công cụ để tìm được mốiliên hệ giữa tính chất địa phương với tính chất toàn cục là trường Jacobi dọc theo mộtđường trắc địa Thông qua công cụ này một số tính chất toàn cục của mặt trong R3 đãđược đưa ra trong lý thuyết hình học vi phân cổ điển Chẳng hạn, một mặt chính quytrong R3 có độ cong Gauss đồng nhất bằng không khi và chỉ khi nó là mặt kẻ khả triển.Việc tìm hiểu các kết quả thể hiện các tính chất hình học của lớp mặt kiểu khônggian đối chiều hai trong không gian Lorentz-Minkowski, tương tự như trường hợp củamặt trong R3, là một trong những vấn đề được chúng tôi quan tâm
1.2 Hình học của mặt trong R4 đã được quan tâm nghiên cứu trong một số công trìnhnhư: [10], [31], [32], [38], [34], [26], [30], [39] Chúng ta có thể điểm lại một số kết quả
1
Trang 8chính đã đạt được trong lĩnh vực này như sau Vào năm 1969, Little [26] đã xây dựngcác bất biến hình học, chẳng hạn như elip độ cong, để nghiên cứu tính kỳ dị của đa tạpcon đối chiều hai trong không gian Ơ-clít Cũng trong [26] tác giả đã chỉ ra được rằngmặt trong R4 thoả mãn điều kiện mọi trường vectơ pháp là trường trùng pháp khi và chỉkhi nó là một mặt kẻ khả triển Đến năm 1995, Mochida và một số tác giả khác trong[31] đưa ra một số điều kiện cần và đủ về sự tồn tại trường trùng pháp của mặt trong
R4 Trong bài báo này các tác giả đã khẳng định điều kiện cần và đủ để mặt trong R4chấp nhận đúng hai trường trùng pháp là lồi ngặt địa phương Các kết quả này được mởrộng lên mặt đối chiều hai trong Rn+2 bởi Mochida và một số tác giả khác trong [32] vàonăm 1999 Hướng nghiên cứu này được tiếp tục bởi Romero-Fuster và Sánchez-Brigas [38]vào năm 2002, để nghiên cứu khái niệm rốn trên mặt Trong [38] các tác giả đã chỉ ramối quan hệ tương đương giữa các lớp mặt: ν-rốn, tồn tại hai phương tiệm cận trực giaovới nhau tại mọi điểm, nửa rốn và độ cong pháp đồng nhất bằng không Đến năm 2010,
Nueno-Ballesteros và Romero-Fuster [34] xây dựng khái niệm quỹ tích độ cong (curvaturelocus), nó là một mở rộng của khái niệm elip độ cong cho mặt đối chiều hai trong Rn+2,
để nghiên cứu tính chất của các đa tạp con đối chiều hai Trong bài báo này các tác giảcũng đã chuyển một số kết quả trong [38] lên đa tạp con đối chiều hai trong Rn+2.Việc phát triển các kết quả nghiên cứu về mặt trong R4 lên mặt kiểu không gian đốichiều hai trong không gian Lorentz-Minkowski là một trong những vấn đề chúng tôi quantâm nghiên cứu
1.3 Những năm gần đây một số kết quả nghiên cứu mặt kiểu không gian đối chiều haitrong không gian Lorentz-Minkowski đã được công bố, chẳng hạn như [17], [20], [21], [22],[24], [23], Chúng ta điểm qua một số kết quả chính cho lĩnh vực này như sau Bằngcách sử dụng tính chất của độ cong liên kết với một trường vectơ pháp để nghiên cứumặt kiểu không gian đối chiều hai, vào năm 2004 Izumiya và một số tác giả khác trong[20] đã chỉ ra rằng nếu mặt chứa trong một giả cầu thì nó là mặt ν-rốn, trong đó ν làtrường vectơ vị trí của mặt Với chiều ngược lại của mệnh đề này, các tác giả trong [20]
bổ sung thêm giả thiết song song của ν để mặt ν-rốn chứa trong một giả cầu Trong bàibáo này các tác giả cũng đã trình bày lại cách xây dựng khái niệm elip độ cong cho mặtkiểu không gian hai chiều trong không gian Lorentz-Minkowski số chiều lớn hơn 3 và chỉ
ra mối liên hệ giữa mặt ν-rốn và mặt nửa rốn, nó là mặt mà elip độ cong suy biến thànhmột đoạn thẳng Xuất phát từ tính chất mặt phẳng pháp của một mặt kiểu không gian
Trang 9đối chiều hai là một 2-phẳng kiểu thời gian, dễ dàng chỉ ra được rằng nó có một cơ sở giảtrực chuẩn với một vectơ kiểu không gian và một vectơ kiểu thời gian Bằng cách sử dụngtổng và hiệu của hai vectơ trong cơ sở này của mặt phẳng pháp, vào năm 2007 Izumiya
và một số tác giả trong [21], đã xây dựng khái niệm ánh xạ Gauss nón ánh sáng và nghiêncứu khái niệm dẹt trên các mặt kiểu không gian đối chiều hai
Tìm cách xác định một trường vectơ pháp trên mặt kiểu không gian đối chiều hai,xem như ánh xạ Gauss, thuận tiện cho việc nghiên cứu các tính chất hình học của mặt,cũng là một trong những vấn đề chúng tôi quan tâm
1.4 Nghiên cứu tính phẳng, điều kiện chứa trong mặt phẳng, của một đường cong trong
R3 là một bài toán cổ điển của hình học vi phân Tính phẳng của đường cong phụ thuộcvào độ xoắn của đường cong, đường cong là phẳng khi và chỉ khi độ xoắn của nó bằngkhông Điều này tương đương với trường vectơ trùng pháp của đường cong là trường vectơhằng Ngoài ra một số tính chất của mặt phẳng mật tiếp của đường cong cũng cho chúng
ta một số điều kiện đủ để đường cong phẳng
Tìm kiếm các điều kiện đủ để một mặt kiểu không gian trong R41 chứa trong một siêuphẳng cũng là một trong những vấn đề chúng tôi quan tâm
1.5 Việc nghiên cứu các lớp mặt đặc biệt trong không gian, chẳng hạn mặt kẻ, mặt trònxoay, , cũng là một trong những vấn đề được các nhà hình học quan tâm Khi xâydựng một công cụ nào đó để nghiên cứu các lớp mặt, công cụ đó thực sự có giá trị nếu
nó có thể đưa ra một phân loại cho các lớp mặt đặc biệt này Chúng tôi cũng mong muốnđưa ra các định lí phân loại cho các lớp mặt đặc biệt, chẳng hạn như mặt kẻ cực đại, mặttròn xoay cực đại hay khảo sát khái niệm rốn trên các lớp mặt này
Bởi các lý do nêu ở trên, tôi chọn đề tài “Một số tính chất địa phương và toàncục của mặt đối chiều hai trong không gian Lorentz-Minkowski” làm đề tài luận
Trang 10(2) Nghiên cứu các khái niệm rốn trên mặt kiểu không gian đối chiều hai, đưa ra một
số kết quả phân loại mặt kiểu không gian ν-rốn đối chiều hai và mặt kiểu khônggian rốn đối chiều hai
(3) Nghiên cứu mối quan hệ giữa mặt ν-rốn và mặt ν-phẳng
(4) Nghiên cứu các điều kiện chứa trong siêu phẳng của mặt trong không gian R4 sau
đó mở rộng lên mặt kiểu không gian trong R4
1.(5) Sử dụng các kết quả đạt được theo hướng nghiên cứu để ứng dụng vào việc khảosát tính chất hình học của một số lớp mặt kiểu không gian đặc biệt trong khônggian Lorentz-Minkowski R41, đó là mặt kẻ và mặt tròn xoay
3 Đối tượng nghiên cứu
Đối tượng nghiên cứu của luận án bao gồm: mặt kiểu không gian đối chiều hai; cáccông cụ nghiên cứu mặt kiểu không gian đối chiều hai; các tính chất hình học của mặtkiểu không gian đối chiều hai trong không gian Lorentz-Minkowski Vậy nên, nếu khôngđược nhắc lại, đối tượng mặt trong luận án được hiểu là mặt kiểu không gian đối chiềuhai
4 Phạm vi nghiên cứu
Trong luận án này chúng tôi nghiên cứu một số tính chất địa phương và toàn cụctrên mặt kiểu không gian đối chiều hai, nghiên cứu một số lớp mặt kiểu không gian đốichiều hai đặc biệt trong không gian Lorentz-Minkowski
5 Phương pháp nghiên cứu
Chúng tôi sử dụng phương pháp lý thuyết trong quá trình thực hiện đề tài Bằngcách sử dụng các công cụ là các độ cong trên mặt, chẳng hạn độ cong liên kết với mộttrường vectơ pháp; elip độ cong; độ cong Gauss, chúng tôi tìm kiếm các tính chất hìnhhọc của mặt đối chiều hai thoả mãn tương ứng các điều kiện của các độ cong này cũngnhư mối liên hệ giữa các lớp mặt đó
Trang 116 Ý nghĩa khoa học và thực tiễn
6.1 Luận án góp phần giải quyết các bài toán của mặt đối chiều hai trong không gianLorentz-Minkowski sau:
(1) Đưa ra hai phương pháp để xác định một trường vectơ pháp khả vi trên phân thớpháp của mặt đối chiều hai, đó là một cặp trường vectơ pháp kiểu không gian vàmột cặp trường vectơ pháp kiểu ánh sáng
(2) Sử dụng trường vectơ pháp ν (được xác định ở trên) vào việc nghiên cứu khái niệmdẹt trên mặt và đưa ra một số định lí thể hiện được tính chất hình học của mặtν-dẹt
(3) Đưa ra một số định lí có tính phân loại đối với các mặt chứa trong một giả cầu thoảmãn điều kiện ν-rốn hoặc mặt thoả mãn điều kiện rốn
(4) Đưa ra một tiêu chuẩn để kiểm tra một trường vectơ pháp là trường trùng pháp.Xác định quan hệ giữa mặt ν-rốn và mặt ν-phẳng
(5) Đưa ra các điều kiện đủ để mặt trong R4 và R4
ra các điều kiện tương ứng với số lượng trường trùng pháp trên mặt tròn xoay vớikinh tuyến phẳng Xác định các trường vectơ pháp ν trên mặt kẻ và mặt tròn xoay
để chúng là mặt ν-rốn
6.2 Luận án có thể làm tài liệu tham khảo cho sinh viên, cho học viên cao học và nghiêncứu sinh theo hướng nghiên cứu này
Trang 127 Tổng quan và cấu trúc luận án
7.1 Tổng quan luận án
Phần kiến thức cơ sở của luận án được giới thiệu trong chương 1 Đây là khối kiếnthức rất căn bản nhưng nó được sử dụng nhiều trong luận án nên không thể bỏ qua Đónggóp của luận án được trình bày trong các chương 2, 3 và 4 Trong chương 2, chúng tôiđưa ra hai phương pháp để xác định một cặp trường vectơ pháp khả vi trên mặt, một cặpkiểu không gian và một cặp kiểu ánh sáng, đồng thời ứng dụng các trường vectơ phápnày để nghiên cứu tính chất hình học của mặt ν-rốn, mặt rốn Chương 3 đưa ra một tiêuchuẩn để kiểm tra một trường vectơ pháp trên mặt là trường trùng pháp, nghiên cứu mốiquan hệ giữa mặt ν-rốn và mặt ν-phẳng đồng thời xác định số lượng trường trùng pháptrên mặt ν-rốn Cũng trong Chương 3, chúng tôi nghiên cứu các điều kiện đủ để một mặttrong không gian 4-chiều, R4 và R41, chứa trong một siêu phẳng Trong chương 4, chúngtôi khảo sát một số tính chất hình học của hai lớp mặt đặc biệt trong R4
1, đó là mặt kẻkiểu không gian và mặt tròn xoay kiểu không gian
7.1.1 Việc nghiên cứu lớp mặt ν-rốn đối chiều hai, trước hết cần kể đến các tác giảIzumiya, Pei, Romero-Fuster, trong các bài báo [18], [17], [20], [21], [22], [23], Cáctác giả đã giả sử trên mặt tồn tại một trường vectơ pháp ν (kiểu không gian, kiểu thờigian hoặc kiểu ánh sáng), xây dựng các độ cong liên kết với trường vectơ pháp ν, sau đóđưa ra một số tính chất hình học của mặt ν-rốn Tuy nhiên, sự tồn tại các trường vectơpháp ν như thế nào thì chưa được nhắc đến Điều này có ý nghĩa về mặt lý thuyết nhưnglại khó khăn khi thực hành tính toán trên các mặt cụ thể Cho đến thời điểm này, khicho một mặt dưới dạng tham số hoá, việc xác định một trường vectơ pháp trên mặt đồngthời kiểm soát được thuộc tính (kiểu không gian, kiểu thời gian hoặc kiểu ánh sáng) của
nó vẫn đang là vấn đề chưa được nghiên cứu cụ thể Trong Chương 2 của luận án nàychúng tôi đưa ra hai phương pháp để xác định hai cặp trường vectơ pháp trên một mặtđược cho dưới dạng tham số, đó là một cặp trường vectơ pháp kiểu không gian và mộtcặp trường vectơ pháp kiểu ánh sáng Điều này có ý nghĩa về mặt thực hành, khi chomột mặt tham số chúng ta sẽ xác định được trường vectơ pháp cụ thể trên mặt (kiểukhông gian hoặc kiểu ánh sáng) từ đó ta tính được các độ cong liên kết với nó để nghiêncứu các tính chất hình học của mặt Quá trình này được tổng quan lại như sau: Với mỗiđiểm p ∈ M, mặt phẳng pháp NpM của M tại p là một 2-phẳng kiểu thời gian, nó sẽ
Trang 13cắt n-không gian hypebolic tâm v = (0, 0, , 0, −1) bán kính R = 1 (t.ư nón ánh sáng)theo một hypebol (t.ư hai tia) Với một số thực r > 0, siêu phẳng {xn+1= r} cắt hypebol(t.ư hai tia) theo đúng hai vectơ, ký hiệu là n±r (t.ư l±r) Chúng ta chứng minh được cáctrường vectơ n±r (t.ư l±r) là các trường vectơ kiểu không gian (t.ư kiểu ánh sáng) khả
vi (Định lí 2.1.3) và vì vậy có thể tính toán các độ cong liên kết với chúng để tiến hànhnghiên cứu mặt n∗r-rốn và mặt l∗r-rốn Không cần giả thiết n∗r là trường vectơ pháp songsong (như trong [20]), M là mặt n∗r-dẹt khi và chỉ khi n∗r là trường vectơ hằng, điều nàytương đương với M chứa trong một siêu phẳng kiểu thời gian không chứa trục xn+1(Định
lí 2.1.5) Chúng tôi cũng đưa ra một số điều kiện tương đương để các mặt chứa trong mộtgiả cầu hypebolic là mặt n∗r-rốn (Định lí 2.1.12) Vì n∗r không là trường vectơ pháp songsong nên nếu M là mặt n∗r-rốn thì nói chung (ngay cả khi M chứa trong một giả cầu)hàm độ cong n∗r-chính không là hàm hằng Định lí 2.1.14 cho chúng ta các tính chất hìnhhọc của mặt chứa trong giả cầu hypebolic thoả mãn điều kiện n∗r-rốn và độ cong n∗r-chính
là hàm hằng Với mặt không giả thiết chứa trong giả cầu, điều kiện n∗r-rốn và n∗r songsong tương đương với điều kiện M chứa trong giao của một giả cầu hypebolic với mộtsiêu phẳng {xn+1= c} (Định lí 2.1.15) Chúng tôi cũng đưa ra một điều kiện tương đươngvới điều kiện song song của n∗r (Định lí 2.1.16) Để có một phân lớp giữa mặt: ν-rốn; mặtrốn; mặt chứa trong giả cầu và mặt ν-rốn với hàm độ cong hằng, chúng tôi đưa ra các ví
dụ trong mục d) Các kết quả nhận được là tương tự khi sử dụng trường vectơ pháp l∗r
để nghiên cứu mặt l∗r-rốn Điều này được thể hiện trong các Định lí 2.2.7, 2.2.8 và 2.2.9.Điều đáng lưu ý ở đây là ánh xạ l±r-Gauss thực sự hữu dụng với lớp mặt chứa trong giảcầu de Sitter, nơi mà sử dụng ánh xạ n∗r-Gauss có phần không thuận lợi trong việc khảosát khái niệm rốn của mặt Tổng hợp các kết quả về mặt ν-rốn và kết hợp với sự tồn tạitrường mục tiêu gồm các trường vectơ song song trên một liên thông dẹt, chúng tôi nhậnđược đặc trưng hình học của mặt rốn đối chiều hai trong Định lí 2.3.2
7.1.2 Trong Chương 3 của luận án chúng tôi đưa ra một điều kiện để kiểm tra mộttrường vectơ pháp là trường trùng pháp, nghiên cứu mối quan hệ giữa mặt ν-rốn và mặtν-phẳng và phát triển một số kết quả trong [29], [31], [32], [38], [34] về mặt trong R4 lênmặt trong R41, nghiên cứu các điều kiện đủ để mặt trong R4 chứa trong một siêu phẳng
và phát triển lên mặt kiểu không gian trong R4
1.Trước hết, sử dụng tích ngoài của 3 vectơ, chúng tôi đưa ra một điều kiện để kiểmtra một trường vectơ pháp có phải là trường trùng pháp hay không (Mệnh đề 3.1.2) Về
Trang 14quan hệ bao hàm giữa mặt ν-rốn và mặt ν-phẳng, Định lí 3.1.3 chỉ ra rằng trên mặt ν-rốn(không ν-dẹt) luôn tồn tại ít nhất 1 và nhiều nhất 2 trường trùng pháp, tức nó là mộtmặt ν-phẳng Hơn thế, chúng tôi cũng cho các ví dụ để chỉ ra sự tồn tại các mặt ν-phẳngnhưng trên nó không tồn tại bất kỳ trường vectơ pháp ν nào để nó là mặt ν-rốn Điềunày có nghĩa lớp mặt ν-rốn chứa trong lớp mặt ν-phẳng, nhưng chiều ngược lại thì khôngđúng Ngoài ra, Mệnh đề 3.1.10 còn cho chúng ta một điều kiện cần và đủ để mặt hoàntoàn phẳng.
Tiếp theo chúng tôi nghiên cứu một số điều kiện đủ để một mặt trong không gianbốn chiều chứa trong một siêu phẳng Trước hết, chúng tôi có các ví dụ để chỉ ra rằngviệc mở rộng các điều kiện đủ để đường cong trong R3 chứa trong một siêu phẳng lênmặt trong trong không gian 4-chiều chứa trong một siêu phẳng nói chung là không đúng(Ví dụ 3.2.1, 3.2.2) Từ tính chất của các mặt phẳng tiếp xúc, Mệnh đề 3.2.5 cho chúng
ta hai điều kiện đủ để một mặt là mặt ν-dẹt Mở rộng lên tính chất của các siêu phẳngν-pháp trên mặt, Mệnh đề 3.2.6 cho các điều kiện để để mặt là mặt ν-phẳng Tuy vậy, cácđiều kiện này chưa đủ để suy ra mặt chứa trong siêu phẳng Bằng cách bổ sung các điềukiện mạnh hơn, chúng tôi nhận được bốn điều kiện đủ để một mặt trong R4 chứa trongmột siêu phẳng (Mệnh đề 3.2.7) Ý tưởng của việc đưa ra các điều kiện này xuất phát từviệc mở rộng các kết quả về điều kiện phẳng của đường cong trong R3 Mặc dù các kếtquả của các Mệnh đề 3.2.5, 3.2.6 và 3.2.7 được phát biểu cho mặt trong R4 nhưng nó vẫnđúng đối với mặt kiểu không gian trong R4
1 Khi trường vectơ pháp là trường vectơ kiểukhông gian hoặc kiểu thời gian thì các kết quả tính chất của mặt trong trong R4 và mặtkiểu không gian trong R4
1 nói chung là trùng nhau Sự khác biệt về tính chất của mặtkiểu không gian trong R41 với mặt trong R4 thể hiện khi trường vectơ pháp của mặt làtrường kiểu ánh sáng Các Mệnh đề 3.2.13 và 3.2.15 đưa ra các điều kiện chứa trong siêuphẳng của mặt kiểu không gian nhưng nó chỉ đúng khi trường vectơ pháp là trường vectơkiểu ánh sáng Chúng tôi cũng đưa ra các ví dụ để chỉ ra các kết quả này không đúng đốivới mặt trong R4 cũng như đối với mặt kiểu không gian mà trường vectơ pháp không làtrường kiểu ánh sáng
Phần cuối của Chương 3 chúng tôi đưa ra các ví dụ minh hoạ cho các kết quả đạtđược, các phản ví dụ cho các kết quả cũng như khẳng định tính tối ưu của các giả thiếtđược đưa ra trong các mệnh đề và các định lí
7.1.3 Việc khảo sát các tính chất hình học cũng như tìm kiếm các kết quả có tính phân
Trang 151, chúng tôi xét hai loại mặt, đó là xoay một đường cong trong không gian
ba chiều quanh một mặt phẳng (mặt tròn xoay kiểu hypebolic và kiểu eliptic) và xoaymột đường cong phẳng đồng thời quanh hai mặt phẳng với tốc độ quay khác nhau (mặttròn xoay với kinh tuyến phẳng) Định lí 4.2.4 và Định lí 4.2.10, bằng cách ứng dụng ánh
xạ l±r-Gauss, cho chúng ta xác định được phương trình tham số của mặt tròn xoay (kiểuhypebolic và kiểu eliptic) thoả mãn điều kiện rốn Tiếp tục ứng dụng ánh xạ l±r-Gauss,chúng ta xác định được phương trình tham số hóa của mặt tròn xoay (kiểu hypebolic
và kiểu eliptic) là mặt cực đại (Định lí 4.2.6, Định lí 4.2.12) Mệnh đề 4.2.8 và Mệnh đề4.2.14 khẳng định trên mặt tròn xoay kiểu hypebolic và kiểu eliptic (không chứa trongsiêu phẳng) tồn tại đúng hai trường trùng pháp và tồn tại duy nhất một trường vectơpháp ν để mặt ν-rốn Định lí 4.2.16 chỉ ra rằng tính chất hằng của độ cong Gauss đối mặttròn xoay kiểu hypebolic và eliptic trong R41 là trùng nhau và chỉ phụ thuộc vào hàm bánkính quay Khi đó, công thức xác định bán kính quay chỉ phụ thuộc vào dấu của độ congGauss Với mặt tròn xoay có kinh tuyến phẳng, chúng tôi đưa ra được các điều kiện củatham số hoá đường kinh tuyến tương ứng với việc xác định số lượng trường trùng pháptrên mặt Chúng tôi cũng cho các ví dụ chỉ ra sự tồn tại của các lớp mặt tương ứng vớicác điều kiện được đưa ra
7.2 Cấu trúc luận án
Nội dung của luận án được chia làm 4 chương Ngoài ra luận án còn có Lời cam đoan,Lời cảm ơn, Mục lục, phần Mở đầu, phần Kết luận và Kiến nghị, Danh mục công trìnhkhoa học của nghiên cứu sinh liên quan đến luận án, Tài liệu tham khảo và Chỉ mục.Chương 1 là chương kiến thức cơ sở bao gồm 2 mục Mục 1.1 trình bày khối các kiếnthức cơ bản về không gian Lorentz-Minkowski Mục 1.2 giới thiệu một số công cụ nghiêncứu mặt đối chiều hai trong không gian Lorentz-Minkowski mà luận án sử dụng, nó được
Trang 16chia thành 2 mục nhỏ bao gồm: Mục a) trình bày các kiến thức về các độ cong liên kếtvới một trường vectơ pháp cũng như các khái niệm mặt tương ứng với một số trường hợpđặc biệt của các độ cong này; Mục b) giới thiệu khái niệm elip độ cong của mặt trongkhông gian Lorentz-Minkowski.
Chương 2 trình bày các nội dung nghiên cứu các khái niệm rốn (ν-rốn) trên mặt đốichiều hai, bao gồm 3 mục Mục 2.1 trình bày cách xây dựng ánh xạ n±r-Gauss và ứngdụng của nó để đưa ra một số tính chất hình học của mặt ν-rốn; Mục 2.2 trình bày cáchxây dựng ánh xạ l±r-Gauss và ứng dụng của nó vào việc nghiên cứu mặt ν-rốn; Mục 2.3trình bày phân loại mặt rốn Nội dung trong chương chủ yếu nghiên cứu tính chất địaphương trên mặt, riêng các tính chất n±r-dẹt và l±r-dẹt thể hiện tính chất toàn cục trênmặt
Chương 3 nghiên cứu tính chất hình học của mặt ν-phẳng và điều kiện chứa trongsiêu phẳng của mặt trong không gian 4-chiều, bao gồm 3 mục Mục 3.1 đưa ra một tiêuchuẩn để kiểm tra một trường vectơ pháp là trường trường trùng pháp và xác định mốiquan hệ giữa mặt ν-rốn, mặt ν-phẳng và mặt rốn Mục 3.2 trình bày nghiên cứu các điềukiện đủ để mặt trong không gian 4-chiều chứa trong siêu phẳng, bao gồm hai mục nhỏ.Mục a) nghiên cứu các điều kiện đủ để mặt trong R4 chứa trong siêu phẳng và Mục b)
mở rộng các kết quả vừa đạt được trong R4 lên mặt kiểu không gian trong R4
1 Mục 3.3trình bày một số ví dụ về mặt ν-phẳng và một số phản ví dụ cho các phát biểu trongchương này Các kết quả trong mục 3.1 thể hiện các tính chất địa phương trên mặt, riêngcác kết quả trong mục 3.2 thể hiện được tính chất toàn cục trên mặt
Chương 4 trình bày một số tính chất của mặt kẻ và mặt tròn xoay trong R4
1, bao gồm
2 mục Mục 4.1 trình bày một số tính chất hình học của mặt kẻ kiểu không gian trong
R41 Mục 4.2 trình bày một số tính chất hình học của mặt tròn xoay trong R4
1, bao gồm:Mục a) trình bày các kết quả nghiên cứu về mặt tròn xoay kiểu hypebolic, Mục b) trìnhbày các kết quả nghiên cứu về mặt tròn xoay kiểu eliptic và Mục c) trình bày một số tínhchất của mặt tròn xoay với kinh tuyến phẳng trong R41
Trang 17Chương 1
Kiến thức cơ sở
Trong chương này, chúng tôi tổng quan khối kiến thức về không gian Minkowski Rn+11 , giới thiệu một số độ cong trên mặt đối chiều hai và một số lớp mặtđối chiều hai trong Rn+11 Đây là khối kiến thức hết sức căn bản của hình học vi phân,nhưng vì được sử dụng nhiều trong luận án nên không thể không nhắc đến
Trong mục này, chúng tôi chỉ giới thiệu các kết quả được sử dụng trong các chươngsau của luận án mà không đi vào các chứng minh chi tiết
Cho Rn+1 là không gian vectơ thực và
ξ = {e1, e2, , en+1}
là cơ sở chính tắc của Rn+1
Định nghĩa 1.1.1 Không gian Lorentz-Minkowski (n + 1)-chiều, ký hiệu Rn+11 , là khônggian vectơ Rn+1được trang bị dạng song tuyến tính đối xứng và không suy biến, xác địnhbởi
g(x, y) := hx, yi =
nXi=1
xiyi− xn+1yn+1,
trong đó x = (x1, x2, , xn+1) , y = (y1, y2, , yn+1)
Dễ dàng kiểm tra được rằng, h, i là một tích (giả) vô hướng trên Rn+11 với chỉ số (n, 1)
Vì h, i không xác định dương nên hx, xi có thể bằng không hoặc âm Từ đó các vectơ trên
Rn+11 được phân thành ba loại khác nhau
11
Trang 18Định nghĩa 1.1.2 Một vectơ x ∈ Rn+11 được gọi là
1 kiểu không gian (spacelike) nếu hx, xi > 0 hoặc x = 0,
2 kiểu thời gian (timelike) nếu hx, xi < 0,
3 kiểu ánh sáng (lightlike) nếu hx, xi = 0 và x 6= 0
Với x, y ∈ Rn+11 , nếu hx, yi = 0 thì ta nói x và y (giả) trực giao với nhau Chuẩn củamột vectơ x ∈ Rn+11 , ký hiệu kxk, là
x ∈ HPn(c) là vectơ kiểu không gian; HPn(c) là siêu phẳng kiểu ánh sáng nếu và chỉ nếu
nó chứa một vectơ kiểu ánh sáng nào đó và không chứa vectơ kiểu thời gian nào; HPn(c)
là siêu phẳng kiểu thời gian nếu và chỉ nếu nó chứa ít nhất một vectơ kiểu thời gian.Trường hợp c = 0, siêu phẳng HPn(c) được ký hiệu đơn giản HPn
Ta có ba loại giả cầu trên Rn+11 được định nghĩa như sau
Định nghĩa 1.1.3 Với một vectơ a = (a1, , an+1) ∈ Rn+11 và một hằng số dương R,
ta có:
1 Giả cầu hypebolic tâm a và bán kính R, ký hiệu Hn(a, R), là
Hn(a, R) =x ∈ Rn+1
1 | hx − a, x − ai = −R Khi a = 0 và R = 1 ta có giả cầu hypebolic, ký hiệu Hn
2 Giả cầu de Sitter tâm a và bán kính R, ký hiệu S1n(a, R), là
S1n(a, R) =x ∈ Rn+1
1 | hx − a, x − ai = R Khi a = 0 và R = 1 ta có giả cầu de Sitter, ký hiệu S1n
Trang 193 Giả cầu nón ánh sáng với đỉnh a, ký hiệu LC(a), là
LC(a) =x ∈ Rn+1
1 | hx − a, x − ai = 0 Trường hợp a = 0 ta có nón ánh sáng
khi đóex ∈ Sn
+
Định nghĩa 1.1.4 Cho W là một không gian vectơ con của Rn+11 , khi đó:
1 W được gọi là kiểu không gian nếu g|W xác định dương, điều này có nghĩa W làmột không gian với tích vô hướng cảm sinh là không gian Ơ-clít
2 W được gọi là kiểu thời gian nếu g|W không suy biến với chỉ số 1
Trang 203 W được gọi là kiểu ánh sáng nếu g|W suy biến.
Tương tự như trong [20] và [22], khái niệm mặt kiểu không gian đối chiều hai M ởtrong luận án này được hiểu là đa tạp (n − 1)-chiều được nhúng chính quy vào Rn+11thoả mãn: tại mỗi điểm p ∈ M không gian tiếp xúc TpM là kiểu không gian Về mặt địaphương M được xác định thông qua phép nhúng X : U → Rn+11 , trong đó U ⊂ Rn−1 làmột tập mở Chúng ta luôn giả thiết mặt đã cho là liên thông và đồng nhất M = X(U ),một cách địa phương, với U thông qua X Với (u1, u2, , un−1) ∈ U ta ký hiệu
X(u1, u2, , un−1) = X1(u1, u2, , un−1), , Xn+1(u1, u2, , un−1) = p ∈ M
và
Xui = ∂X
∂ui.Hoàn toàn tương tự, chúng ta cũng có các khái niệm mặt kiểu thời gian đối chiều hai,mặt kiểu ánh sáng đối chiều hai trong không gian Lorentz-Minkowski Vì nội dung luận
án chỉ nghiên cứu các tính chất hình học của các mặt kiểu không gian nên từ đây về sauthuật ngữ mặt đối chiều hai luôn được hiểu là mặt kiểu không gian đối chiều hai
Cho x1, x2, , xn ∈ Rn+1
1 , ta định nghĩa tích ngoài của n vectơ này như sau
x1∧ x2∧ · · · ∧ xn =
e1 en −en+1
x1
1 xn
1 xn+11
. .
x1
n xn
n xn+1 n
... Một điểm nửa rốn gọi kiểu không gian, kiểu thời gianhoặc kiểu ánh sáng tương ứng đoạn thẳng mà elip suy biến thành có phương làkiểu không gian, kiểu thời gian kiểu ánh sáng NpM Nếu p...
(1) M mặt dẹt kiểu ánh sáng;
(2) Ánh xạ Gauss nón ánh sáng ánh xạ hằng;
(3) Tồn vectơ kiểu ánh sáng v số thực c cho M ⊂ HP (v, c)
Khái niệm dẹt kiểu ánh sáng có nghĩa M mặt... pháp kiểu ánh sáng mặt Nhận thấynếu M mặt kiểu không gian đối chiều hai khơng gian pháp NpM M
p 2-phẳng kiểu thời gian Khi tồn trường vectơ pháp đơn vị kiểu thời gian
nT