BỘ GIÁO DỤC VÀ ĐÀO TẠO TRƯỜNG ĐẠI HỌC sư PHẠM HÀ NỘI 2 NGUYỄN THỊ THẮM MỞ RỘNG ĐỊNH LÝ FORELLI CHO ÁNH XẠ CHỈNH HÌNH VÀO KHÔNG GIAN PHỨC LUẬN VĂN THẠC SĨ TOÁN HỌC Chuyên ngành: Toán giải tích Mã số: 60 46 01 02 Người hướng dẫn khoa học TS. Lê Tài Thu HÀ NỘI, 2014 Lời cảm ơn Tôi xin bày tỏ lòng biết ơn sâu sắc tới TS. Lê Tài Thu, người đã định hướng chọn đề tài và tận tình hướng dẫn để tôi có thể hoàn thành luận văn này. Tôi cũng xin bày tỏ lòng biết ơn chân thành tới phòng sau đại học, các thầy cô giáo dạy cao học chuyên ngành Toán giải tích, trường Đại học Sư phạm Hà Nội 2 đã giúp đỡ và tạo điều kiện cho tôi trong suốt quá trình học tập. Nhân dịp này tôi cũng xin được gửi lời cảm ơn chân thành tới gia đình, bạn bè đã luôn động viên, cổ vũ, tạo mọi điều kiện thuận lợi cho tôi trong quá trình học tập và hoàn thành luận văn. Hà Nội, tháng 12 năm 20lị T á c g i ả Nguyễn Thị Thắm Lời cam đoan Tôi xin cam đoan dưới sự hướng dẫn của TS. Lê Tài Thu, luận văn Thạc sĩ chuyên ngành Toán giải tích với đề tài: “ M Ở R Ộ NG Đ Ị N H L Ý F O R E L L I C H O Á N H X Ạ C H Ỉ N H H Ì N H V À O KH Ô N G GI A N P H ỨC ” được hoàn thành bởi nhận thức của bản thân tác giả. Trong quá trình nghiên cứu thực hiện luận văn, tác giả đã kế thừa những thành tựu của các nhà khoa học với sự trân trọng và biết ơn. Hà Nội, tháng 12 năm 20lị T á c g i ả Nguyễn Thị Thắm Mục lục Mở đầu. Định lý Hartogs cho hàm chỉnh hình Chương 1. 1.1. 5 5 1 Hàm chỉnh hình Định lý Hartogs cho hàm chỉnh hình 1.2 Định lý Forelli đối với ánh xạ chỉnh hình vào không Chương 2. gian phức 2 0 2 0 2 Hàm đa điều hòa dưới và tập đa cực 2.1 Hàm đa điều hòa dưới 2.1. 1. Tập đa cực Định lý Forelli đối với hàm chỉnh hình và ánh xạ chỉnh hình vào 2.2 không gian phức kiểu Stein 2 Định lý Forelli đối với ánh xạ chỉnh hình vào không gian phức 2.3 . Kết luận 4 4 Tài liệu tham khảo Mở đầu 1. Lý do chọn đề tài Như chúng ta đã biết định lý cổ điển của Hartogs nói rằng nếu một hàm xác định trên một miền trong C n , chỉnh hình theo từng biến riêng rẽ thì chỉnh hình trên cả miền đó. về trực giác hình học, điều này có nghĩa là nếu một hàm chỉnh hình trên giao của miền với từng đường thẳng song song với trục tọa độ thì sẽ chỉnh hình trên cả miền đó. Một vấn đề rất tự nhiên được đặt ra là nếu chúng ta thay họ đường thẳng song song với trục tọa độ bởi họ đường thẳng kiểu khác thì định lý Hartogs có còn đúng không? Nói cách khác có hay không những định lý Hartogs đối với những họ đường thẳng không nhất thiết song song với trục tọa độ? Xuất phát từ những ý tưởng trên vào cuối những năm bảy mươi của thế kỷ hai mươi F. Forelli đã chứng minh một định lý đẹp đẽ nói rằng định lý Hartogs vẫn còn đúng đối với họ đường thẳng đi qua gốc tọa độ. Cụ thể ông đã chứng minh định lý sau: G I Ả S Ử F : B n —»• с L À H À M S AO C H O F C H Ỉ N H H Ì N H Ở T RÊ N G I AO C Ủ A B n V Ó I M Ỗ I Đ ƯỜ NG TH Ẳ N G P H Ứ C I Đ I QU A G Ố C T Ọ A ĐỘ , V À F L À H À M Ỉ Ớ P C 00 T R O N G M Ộ T L Ă N C Ậ N C Ủ A Đ I Ể M G Ố C . T H Ế T H Ì F C H Ì N H H Ì NH T R ON G B n . Lưu ý một điều rằng điều kiện / là nhẵn trong một lân cận của điểm gốc là không thể bỏ được. Một vấn đề được đặt ra là xem xét định lý Forelli nói trên cho lớp ánh xạ chỉnh hình vào không gian phức. Thật vậy vấn đề này là hoàn toàn 1 rất tự nhiên bởi lẽ đã có nhiều kết quả của các nhà toán học trên thế giới đề cập đến việc mở rộng định lý Hartogs cổ điển cho lớp ánh xạ chỉnh hình vào không gian phức. Năm 2003 Đỗ Đức Thái và Phạm Ngọc Mai đã chứng tỏ định lý Forelli vẫn còn đúng đối với lớp ánh xạ chỉnh hình vào không gian phức kiểu Stein. Với những lý do trên và mong muốn tìm hiểu sâu hơn về định lý Forelli được sự định hướng của người hướng dẫn tôi đã chọn đề tài: “ M Ở R Ộ N G Đ Ị NH L Ý F O R EL L I C HO ÁN H XẠ C H Ỉ N H HÌ NH V À O K HÔ N G G IA N P H Ứ C ” để thực hiện luận văn tốt nghiệp chương trình đào tạo Thạc sĩ chuyên ngành Toán giải tích. Nội dung chính của luận văn là mở rộng định lý Forelli cho lớp ánh xạ chỉnh hình vào không gian phức tùy ý. Đề tài đã chỉ ra được rằng trong trường hợp tổng quát thì ánh xạ / là chỉnh hình ngoài một tập đa cực trên mặt cầu. Trong đề tài này, chúng tôi đưa vào lớp không gian phức có tính chất Forelli và chứng tỏ rằng những không gian phức kiểu Hartogs đều có tính chất Forelli. Đồng thời khẳng định ngược lại cũng đúng đối với lớp không gian phức Káhler lồi chỉnh hình. Một phản ví dụ được cho sau đó chỉ ra rằng điều kiện Káhler là không thể bỏ được. Cuối cùng, chúng tôi muốn bình luận đôi điều về sự so sánh giữa hai định lý Hartogs và định lý Forelli. Chúng ta thấy, trong định lý Hartogs thì hàm đã cho chỉnh hình trên họ các đường thẳng song song với trục tọa độ. Ta cũng có thể xem họ đường thẳng này cùng đi qua điểm vô cùng. Điều này cũng tương đồng với giả thiết về tính chỉnh hình của hàm trên họ đường thẳng đi qua gốc tọa độ trong định lý Forelli. Mặt khác khó khăn cơ bản trong chứng minh định lý 7 Hartogs là ta không có được tính liên tục của hàm đã cho. Bù lại họ các đường thẳng song song với trục tọa độ là rất nhiều. Trong định lý Forelli thì ngược lại, tính liên tục tại gốc tọa độ của hàm đã được giả thiết nhưng họ đường thẳng đi qua gốc tọa độ thì không nhiều. Trong định lý Forelli nhờ vào tính nhẵn của hàm tại gốc nên cách chứng minh là không khó như trong định lý Hartogs. Đề tài này gồm hai chương: Chương 1 dành cho việc nhắc lại một số khái niệm cơ bản và các kết quả đã biết về hàm biến số phức và các kết quả có liên quan tới đề tài. Phần cuối của chương dành cho việc nhắc lại một số kết quả đã biết về định lý cổ điển của Hartogs. Chương 2 dành cho việc mở rộng định lý Forelli từ lớp hàm chỉnh hình lên lớp ánh xạ chỉnh hình vào không gian phức tùy ý. 2. Mục đích nghiên cứu Mở rộng định lý Forelli cho lớp ánh xạ chỉnh hình vào không gian phức tùy ý. 3. Nhiệm vụ nghiên cứu - Nghiên cứu định lý Hartogs cổ điển; - Nghiên cứu định lý Forelli cho hàm chỉnh hình; - Mở rộng định lý Forelli cho ánh xạ chỉnh hình vào không gian phức tùy ý. 4. Đối tượng và phạm vi nghiên cứu Đối tượng nghiên cứu là định lý Hartogs cổ điển và mở rộng định lý Forelli cho ánh xạ chỉnh hình vào không gian phức tùy ý. Phạm vi nghiên cứu của luận án là lớp ánh xạ chỉnh hình vào không gian phức tùy ý. 8 5. Phương pháp nghiên cứu Để giải quyết nhiệm vụ của đề tài chúng tôi đã vận dụng một cách linh hoạt các kết quả của hình học giải tích phức, giải tích phức nhiều biến. 6. Đóng góp mới của luận văn Hệ thống lại cách chứng minh định lý Hartogs cổ điển. Mở rộng định lý Forelli cho lớp ánh xạ chỉnh hình vào không gian phức tùy ý. Luận văn chỉ ra được rằng trong trường hợp tổng quát thì ánh xạ / là chỉnh hình ngoài một tập đa cực trên mặt cầu. Chúng tôi đưa vào lớp không gian phức có tính chất Forelli và chứng tỏ rằng những không gian phức kiểu Hartogs đều có tính chất Forelli. 9 Chương 1 Định lý Hartogs cho hàm chỉnh hình Trong chương này trình bày một số kiến thức chuẩn bị nhằm phục vụ cho chương sau. Nội dung của chương trình bày một số kiến thức về hàm chỉnh hình, tiếp sau trình bày về định lý Hartogs cổ điển, hàm đa điều hòa dưới và tập đa cực trong mặt phẳng phức. 1.1. Hàm chỉnh hình Cho Z = ( Z Ị , Z 2 , . . . , Z N ) E c n . Với mỗi Z E c n hai chuẩn trên c n thường được sử dụng là chuẩn Euclide I I 2 I I = (ZịZị -Ị f z n z n ý và chuẩn max \ Z\ = maxd^iỊ, , \ Z N \ } . Dễ thấy rằng hai chuẩn này là tương đương vì ta có \ Z\ < \ \ Z \\ < \/rĩỊ, 2 :Ị V Z e C". Cho A e c n và r > 0. Một Đ A Đ Ĩ A mở tâm tại A bán kính r là tập hợp D(a,r) = {z € c n : \z — a\ < r } . 5 Đa đĩa đóng tâm A bán kính R là tập hợp D(a, r) = { Z e c n : Ị Z — a| < r}. Trước tiên, chúng tôi nhắc lại định nghĩa hàm R 2n -khả vi. [...]... là / chỉnh hình trong V Định lý □ 1.5 ( H a r t o g s ) Giả sử hàm f chỉnh hình tại mọi điểm của miền D С С n theo mỗi biến z v thì nó chỉnh hình trong D C H Ứ N G M I N H Ta chỉ cần chứng minh tính chỉnh hình của / tại điểm Z ° € D tùy ý, đồng thời không mất tính tổng quát ta có thể giả sử Z ° = 0 Như vậy, giả sử / chỉnh hình theo mỗi biến trong đa tròn U ( 0 , R ) đòi hỏi chứng minh nó chỉnh hình. .. nguyên lý môdun cực đại đối với hàm một biến phụ thuộc vào hằng số U ) , < P u j { 0 = c(w) Mặt khác, 2 Hàm f : íì — >• c gọi là tách chỉnh hình nếu f chỉnh hình theo mỗi biến khi ta cố định các... 0 € C n , được gọi là hàm chỉnh hình tại điểm ZQ Hàm chỉnh hình tại mỗi điểm của tập mở í ỉ nào đó được gọi là chỉnh hình trên í ĩ Trước hết, chúng tôi nhắc lại một số tính chất cơ bản của hàm chỉnh hình nhiều biến Kí hiệu: Hàm / liên tục trong miền D cC" theo tập hợp các biến và tại mỗi điểm Z ° E D hàm / chỉnh hình theo từng tọa độ n Chú ý rằng, sau khi chứng minh định lý Hartogs cổ điển thì tính... F ( A ) = F ( B ), nghĩa là định lý đúng cho hàm N biến Định □ lý 1.4 (Nguyên môdun lý cực đại) Nếu f chỉnh hình trên tập mở liên thông Q c c n , và l / Ị đạt cực đại tại điểm a € D nào đó, thì f là hàm hằng trong í ĩ C H Ứ N G M I N H Xét đường thẳng giải tích tùy ý •Ể(c) = ữ + đi qua A Hạn chế của / trên đường thẳng này là hàm . lục Mở đầu. Định lý Hartogs cho hàm chỉnh hình Chương 1. 1.1. 5 5 1 Hàm chỉnh hình Định lý Hartogs cho hàm chỉnh hình 1.2 Định lý Forelli đối với ánh xạ chỉnh hình vào không Chương 2. gian phức 2 0 2 0 2 Hàm. dưới 2.1. 1. Tập đa cực Định lý Forelli đối với hàm chỉnh hình và ánh xạ chỉnh hình vào 2.2 không gian phức kiểu Stein 2 Định lý Forelli đối với ánh xạ chỉnh hình vào không gian phức 2.3 . Kết luận 4 4 Tài. cứu Mở rộng định lý Forelli cho lớp ánh xạ chỉnh hình vào không gian phức tùy ý. 3. Nhiệm vụ nghiên cứu - Nghiên cứu định lý Hartogs cổ điển; - Nghiên cứu định lý Forelli cho hàm chỉnh hình; - Mở