Tài liệu hạn chế xem trước, để xem đầy đủ mời bạn chọn Tải xuống
1
/ 66 trang
THÔNG TIN TÀI LIỆU
Thông tin cơ bản
Định dạng
Số trang
66
Dung lượng
1,26 MB
Nội dung
Số hóa bởi Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn ĐẠ I HỌ C THÁ I NGUYÊN TRƯỜ NG ĐẠ I HỌ C SƯ PHẠ M DƯƠNG THỊ HỒNG NGỌC MỘTSỐKẾTQUẢNGHIÊNCỨUGẦNĐÂYVỀCÁCÁNHXẠCHỈNHHÌNHTÁCHBIẾN CHUYÊN NGÀ NH : TOÁN GIẢI TCH M SỐ : 60.46.01 LUẬ N VĂN THẠ C SĨ TOÁN HỌC NGƯỜI HƯỚ NG DẪ N KHOA HỌ C: TS . NGUYỄN THỊ TUYẾT MAI Thái Nguyên- 2010 Số hóa bởi Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn ĐẠ I HỌ C THÁ I NGUYÊN TRƯỜ NG ĐẠ I HỌ C SƯ PHẠ M DƯƠNG THỊ HỒNG NGỌC MỘTSỐKẾTQUẢNGHIÊNCỨUGẦNĐÂYVỀCÁCÁNHXẠCHỈNHHÌNHTÁCHBIẾN LUẬ N VĂN THẠ C SĨ TOÁN HỌC Thái Nguyên- 2010 Số hóa bởi Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn Số hóa bởi Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn MỤC LỤC Trang Mở đầu 1 Chương 1. Kiến thức chuẩn bị 5 1.1. Miền xấp xỉ 5 1.2. Tập đa cực 9 1.3. Hàm cực trị tương đối 9 1.4. Độ đo đa điều hoà dưới 10 1.5. Ánhxạchỉnhhìnhtách 11 1.6. Tính chất thác triển Hartogs 14 1.7. Lý thuyết Poletsky vềcác đĩa và định lý của Rosay trên các đĩa chỉnhhình 15 Chương 2. Mộtsốkếtquảnghiêncứugầnđâyvềánhxạchỉnhhìnhtáchbiến 17 2.1. Dạng tổng quát của định lý Alehyane - Zeriehi trong trường hợp ,A D B G 17 2.2 Bài toán 1 trong trường hợp , A D B G 23 2.3. Bài toán 1 trong trường hợp tổng quát 36 2.4. Bài toán 2 51 2.5. Mộtsố áp dụng 55 Kếtluận 58 Tài liệu tham khảo 59 Số hóa bởi Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn 1 MỞ ĐẦU Nghiêncứuvềánhxạchỉnhhìnhtáchbiến là một trong những hướng nghiêncứu quan trọng của giải tích phức. Những kếtquả cơ bản trong lĩnh vực này gắn liền với các tên tuổi như Riemann, Hartogs, Oka, Bernstein Ngày nay, nhiều nhà toán học trên thế giới vẫn tiếp tục quan tâm đến vấn đề trên bằng những cách tiếp cận khác nhau nhằm giải quyết được những bài toán cụ thể đặt ra trong lĩnh vực đó. Trong đó có hai bài toán cơ bản sau: Bài toán 1: Cho ,XY là hai đa tạp phức, giả sử D ( tương ứng G ) là một tập con mở của X (tương ứng Y ), A (tương ứng B ) là một tập con của D (tương ứng G ) và Z là không gian giải tích phức. Ta định nghĩa chữ thập như sau: : (( ) ) ( ( )). W D A B A G BÈÈÈ Bao chỉnhhình của chữ thập W là một tập con mở ''tối ưu'' của XY ký hiệu là W được đặc trưng bởi các tính chất sau: Với mỗi ánhxạ : f W Z thoả mãn ( , ) ( , ) ( , ), , ( , ) ( , ) ( , ), , f a G B Z G Z a A f b D A Z D Z b B Î È Ç Î Î È Ç Î CO CO thì tồn tại mộtánhxạ ( , )f W ZÎ O sao cho với mọi ( ) ,WÎz,h ( , )f z w dần tới ( , )f zh khi ( , )z w WÎ dần tới ()z,h . Trước khi nói đến bài toán thứ hai ta đưa ra một vài thuật ngữ và ký hiệu sau: Cho , , , , ,X Y D G A B và Z và W như trong bài toán 1.Giả sử ,MW tập hợp : :( , ) , , a M w G a w M a AÎ Î Î được gọi là thớ thẳng đứng của M trên a (tương ứng : :( , ) , , b M z D z b M b BÎ Î Î được gọi là thớ nằm ngang của M trên b ). Số hóa bởi Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn 2 Ta nói rằng M có tính chất nào đó trong các thớ trên A (tương ứng B ) nếu tất cả các thớ thẳng đứng ,, a M a AÎ (tương ứng tất cả các thớ nằm ngang ,, b M b BÎ ) có tính chất này. Bài toán 2: Với giả thiết ở trên và ký hiệu W là bao chỉnhhình của W được đưa ra trong bài toán 1 .Với mỗi tập con MW đa cực địa phương đóng tương đối(tương ứng mỏng) trong các thớ trên A và B (có thể M Æ ) thì tồn tại một tập"tối ưu" các điểm kỳ dị MW là đa cực địa phương đóng tương đối (tương ứng là tập giải tích đóng tương đối) được đặc trưng bởi các tính chất sau. Với mọi ánhxạ : f W Z thoả mãn ( , ) (( ) , ) ( , ), , ( , ) (( ) , ) ( , ), , aa bb f a G B \ M Z G \ M Z a A f b D A \ M Z D \ M Z b B Î È Ç Î Î È Ç Î CO CO thì tồn tại ánhxạ ( \ , )f W M ZÎ O sao cho với mọi ( ) ,W \ MÎz,h ( , )f z w dần tới ( , )f zh khi ( , ) \z w W MÎ dần tới ()z,h . Có rất nhiều nhà toán học đã nghiêncứu giải quyết hai bài toán trên trong mộtsố trường hợp cụ thể. Kếtquả chủ yếu đầu tiên của chỉnhhìnhtách là định lý thác triển Hartogs đối với các hàm chỉnhhìnhtách (xem [9]) giải quyết bài toán 1 trong trường hợp , , , , nm X Y A D B G Z và kếtquả là W D G . Sử dụng hàm cực trị tương đối, Siciak đã giải quyết bài toán 1 trong trường hợp , , , A D B G X Y Z . Các bước nghiêncứu tiếp theo được bắt đầu bởi Zahariuta vào năm 1976 sau đó là Nguyễn Thanh Vân và Zeriahi. Shiffman là người đầu tiên tổng quát hoá mộtsốkếtquả của Siciak đối với cácánhxạchỉnhhìnhtách với giá trị trong không gian giải tích phức (xem [33]). Số hóa bởi Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn 3 Vào năm 2001 Alehyane và Zeriahi đã giải quyết bài toán 1 trong trường hợp , A D B G và ,XY là các đa tạp Stein, Z là không gian giải tích phức có tính chất thác triển Hartogs. Bao chỉnhhình W được cho bởi : ( , ) ): ( , , ) ( , , ) 1 W z w D G z A D w B GÎ<ww , trong đó ( , , ) ADw và ( , , ) BGw là các hàm độ đo đa điều hoà dưới. Bài toán 2 được bắt đầu với một bài báo của Oktem năm 1998 (xem [24, 26]). Trong công trình gầnđây của mình Henkin và Shananin đã đưa ra một vài áp dụng kếtquả của Bernstein trong lý thuyết chỉnhhìnhtách mà cụ thể là đối với bài toán 2. Đó là kếtquả chung nhất trong hướng nghiêncứu này. Nguyễn Việt Anh đã tổng quát hoá cáckếtquảnghiêncứu xung quanh hai bài toán 1 và bài toán 2 trong trường hợp ,XY là các đa tạp tuỳ ý. Chủ yếu tác giả sử dụng lý thuyết Poletsky vềcác đĩa, định lý Rosay trên các đĩa chỉnhhình và định lý Alehyane - Zeriehi. Ngoài ra, tác giả đã vận dụng một kỹ thuật quan trọng khác là sử dụng các tập mức của độ đo đa điều hoà dưới, định lý chữ thập hỗn hợp. Mục đích của luận văn là nghiêncứu và trình bày lại, cùng những chứng minh chi tiết mộtsốkếtquảnghiêncứugầnđâyvềánhxạchỉnhhìnhtách biến. Nội dung luận văn gồm phần mở đầu, hai chương chính, kếtluận và danh mục các tài liệu tham khảo. Chƣơng 1: Kiến thức chuẩn bị. Trong chương này chúng tôi trình bày các khái niệm miền xấp xỉ, tập đa cực, hàm cực trị tương đối, độ đo đa điều hoà dưới, chữ thập và ánhxạchỉnhhình tách, không gian phức có tính chất thác triển Hartogs. Số hóa bởi Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn 4 Phần cuối chương, chúng tôi trình bày cáckếtquả liên quan và mộtsố vấn đề của lý thuyết đa thế vị như lý thuyết Poletsky vềcác đĩa và định lý Rosay trên các đĩa chỉnh hình. Chƣơng 2: Mộtsốkếtquảnghiêncứugầnđâyvềánhxạchỉnhhìnhtách biến. Chúng tôi trình bày các định lý là các trường hợp riêng và trường hợp tổng quát của bài toán 1và bài toán 2. Luận văn được hoàn thành dưới sự hướng dẫn tận tình của cô giáo T.S Nguyễn Thị Tuyết Mai. Nhân dịp này em xin bày tỏ lòng biết ơn sâu sắc nhất đối với cô. Em xin chân thành cảm ơn Ban chủ nhiệm Khoa Toán trường Đại học sư phạm Thái Nguyên cùng các thầy cô giáo đã tận tình giảng dạy chúng em trong suốt khoá học. Tôi xin chân thành cảm ơn Ban giám hiệu Trường THPT Phú Bình và Tổ Toán đã hết sức quan tâm tạo mọi điều kiện thuận lợi nhất cho tôi trong suốt quá trình học tập và nghiên cứu. Xin chân thành cảm ơn gia đình, đồng nghiệp và bạn bè đã động viên khích lệ tôi trong suốt quá trình hoàn thành, bảo vệluận văn này. Số hóa bởi Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn 5 CHƢƠNG 1 KIẾN THỨC CHUẨN BỊ Trong luận văn này, ta giả thiết tất cả các đa tạp phức là hữu hạn chiều và đếm được ở vô cực, tất cả các không gian giải tích phức được thu gọn, bất khả quy và đếm được ở vô cực. Với một tập con S của không gian tôpô M , ký hiệu S là bao đóng của S trong M . Với hai không gian giải tích phức (tương ứng, hai không gian tôpô) D và Z , ( , )DZO ( tương ứng ( , )DZC ) là ký hiệu tập tất cả cácánhxạchỉnhhình ( tương ứng, liên tục) từ D vào Z . 1.1. Miền xấp xỉ 1.1.1. Định nghĩa. Cho X là một đa tạp phức và DX là một tập con mở. Một hệ các miền xấp xỉ của D là một tập hợp , ( ( )) ( DI IA= A z az za z với mọi DÎz ) các tập con mở của D có các tính chất sau: (i) Với mọi DÎz , hệ ( ( )) I A z aa z tạo nên một cơ sởcác lân cận mở của z (tức là với mỗi lân cận mở U của một điểm DÎz tồn tại Î I z a sao cho ()AÎ U a zz ). (ii) Với mọi DÎz và z a IÎ , ()AÎ a zz . ()A a z thường được gọi là một miền xấp xỉ tại z . Hơn nữa A được gọi là chính tắc nếu nó thoả mãn (i) và tính chất sau (mạnh hơn (ii)). (ii') Với mọi điểm Î Dz tồn tại một cơ sở gồm các lân cận mở () I U z aa của z trong X sao cho ( ) , .A ÇÎU D I a a z za Nhiều loại hệ của các miền xấp xỉ khác nhau thường gặp trong giải tích phức sẽ được mô tả trong phần tiếp theo. Các hệ của các miền xấp xỉ của Số hóa bởi Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn 6 D được sử dụng để giải quyết vấn đề giới hạn tại các điểm trong D của cácánhxạ xác định trên mộtsố tập con mở của D . Hơn nữa từ định nghĩa 1.1.1 suy ra rằng trong một vài trường hợp đặc biệt họ con , ( ( )) DI A z a z a z không phụ thuộc vào việc chọn hệ các miền xấp xỉ A . Vì vậy hai hệ chính tắc của các miền xấp xỉ bất kỳ là tương đương, ta có quy ước như sau: Với mỗi tập mở DX chúng ta cố định một hệ chính tắc của các miền xấp xỉ. Khi đó muốn xác định một hệ các miền xấp xỉ A của một tập mở DX ta chỉ cần chỉ rõ họ con , ( ( )) DI A z a z a z . Nếu ta cố định một tập con mở DX và một hệ các miền xấp xỉ , ( ( )) DI A= A z a za z của D thì với mỗi hàm : , uD định nghĩa , ( ), ( limsup )( ): sup limsup ( ) , I z w z w z u z u w z D A A Î a a Từ định nghĩa 1.1.1(i), ( limsup ) D uA | trùng với khái niệm hàm chính quy hoá nửa liên tục trên thông thường của .u 1.1. 2. Mộtsố hệ các miền xấp xỉ Có rất nhiều hệ các miền xấp xỉ có ứng dụng trong giải tích phức. Trong phần này chúng ta sẽ giới thiệu mộtsốcác hệ đó. 1.1.2.1. Hệ chính tắc của các miền xấp xỉ Hệ chính tắc của các miền xấp xỉ được đưa ra trong định nghĩa 1.1.1 (i)-(ii'). 1.1.2.2. Hệ các miền xấp xỉ góc với đĩa đơn vị mở Cho E là một đĩa đơn vị mở của . Đặt ( ): : arg , ,0 , 2 t t E EA Î < Î < < a z z a z a z [...]... bởi Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn 17 CHƢƠNG 2 MỘTSỐKẾTQUẢNGHIÊNCỨUGẦNĐÂYVỀÁNHXẠCHỈNHHÌNHTÁCHBIẾN Trong chương này, chúng tôi sẽ trình bày các kết quảnghiêncứu xung quanh hai bài toán 1 và bài toán 2 trong các trường hợp đặc biệt và trường hợp tổng quát với X ,Y là các đa tạp phức tuỳ ý, Z là không gian giải tích phức có tính chất thác triển Hartogs... G : w(z , w ) < 1 1.5.2 Ánhxạchỉnhhìnhtách Cho Z là không gian giải tích phức và M W là một tập con đóng tương đối trong các thớ trên A và B Ta nói rằng mộtánhxạ f : W 0 \ M Z là chỉnhhìnhtách và viết là f Î OS (W 0 \ M ,Z ) nếu với mỗi a Î A ( tương ứng b Î B ) ánhxạ f (a , ) |G \ Ma (tương ứng f (,b) | D \ M b ) là chỉnhhìnhÁnhxạ f : W \ M Z là liên tục tách và viết là f Î Cs (W... Với một đa tạp phức M , ký hiệu O (E , M ) là tập hợp tất cả cácánhxạchỉnhhình f : E M có tính chất Số hóa bởi Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn 16 thác triển chỉnhhình trong một lân cận cuả E Ánhxạ f như vậy được gọi là đĩa chỉnhhình trên M Hơn nữa, với một tập con A của M , đặt 1, z Î A, 1A,M (z ) : 0, z Î M \ A Rosay đã chứng minh được một kết quả. .. w(, A , D ) và w(, B ,G ) là các hàm độ đo điều hoà 1.7 Lý thuyết Poletsky vềcác đĩa và định lý của Rosay trên các đĩa chỉnhhình Lý thuyết Poletsky vềcác đĩa được phát minh bởi Poletsky (xem [30,31]) vào cuối những năm 1980 Nguyễn Việt Anh đã đưa ra một cách tiếp cận mới tới lý thuyết chỉnhhìnhtách dựa trên lý thuyết Poletsky vềcác đĩa Chúng tôi sẽ trình bày lại mộtsố nội dung trong lý thuyết... ra W= W Số hóa bởi Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn 19 Hơn nữa từ cách xây dựng ¦ , cố định mọi z Î D , ánhxạ thu hẹp f (z ,.) là chỉnhhình trên một tập mở w Î G : (z , w ) Î W Tuy nhiên là rất khó để chỉ ra f chỉnhhình đối với cả hai biến (z ,w ) Một chứng minh đầy đủ của kếtluận này được đưa ra trong định lý 4.1 trong [21] Ở đây chúng ta chỉ... Î D chúng ta có thể kếtluận ít nhất trong trường hợp A D khái niệm độ đo đa điều hoà dưới là công cụ tốt với hàm cực trị tương đối Siciak tổng quát đối với các đa tạp phức trong lý thuyết chỉnhhìnhtách 1.5 Ánhxạchỉnhhìnhtách 1.5.1 Chữ thập 2- lá Số hóa bởi Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn 12 Cho X ,Y là hai đa tạp phức, D X và G Y là các tập mở khác rỗng,... vị thì W ÇW "gần như" bằng với W Định lý sau là một dạng tổng quát của định lý Alehyane - Zeriahi Định lý 2.1(Nguyễn Việt Anh) Cho X ,Y là các đa tạp phức tuỳ ý, D X và G Y là các tập mở và A D , B G là các tập con không đa cực địa phương Cho Z là một không gian giải tích phức có tính chất thác triển Hartogs Khi đó với mỗi ánhxạ f Î OS W o ,Z tồn tại mộtánhxạ duy nhất... là các đa tạp Stein, và D X ,G Y là các miền, A D , B G là các tập con không đa cực Cho Z là không gian giải tích phức có tính chất thác triển Hartogs Khi đó với mỗi ánhxạ f :W Z như trong giả thiết của bài toán 1 thì tồn tại mộtánhxạ duy nhất f Î O (W ,Z ) sao cho f f trên W ÇW Định lý 1.6.4 vẫn đúng với chữ thập N- lá ( N 2 ) Sau đó Gonchar đã chứng minh được một kết quả. .. dụng bước 3 cho fa thì có mộtánhxạ f a Î O (X(A ÇU a , B ;U a ,G ),Z ) sao cho f a (z , w ) f (z , w ), (z ,w ) X(A Ç A ÇU a , B Ç B ;U a ,G ) (2.7) 1 Cho 0 < , từ (2.7) ta có thể dán họ ánhxạ ( f a |Ua , G )aAÇ A được ánh 2 ¢ xạ f Î O (A G , Z ) Tương tự, với mỗi b Î B Ç B có mộtánhxạ f b Î O (X(A , B ÇV b ;D ,V b ),Z ) sao cho Số hóa bởi Trung tâm Học liệu... 1 với mục đích sử dụng hai hệ các miền xấp xỉ khác nhau được định Số hóa bởi Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn 24 nghĩa trong phần 1.1.2 Các kết quả này là công trình nghiên cứu chung của Nguyễn Việt Anh và Pflug (xem [27,28,29]) 2.2.1 Trường hợp X ,Y là các đa tạp một chiều Định lý 2.2.1 Cho X ,Y là các diện Riemann và D X và G Y là các tập con mở, A (tương ứng B . bày các kết quả liên quan và một số vấn đề của lý thuyết đa thế vị như lý thuyết Poletsky về các đĩa và định lý Rosay trên các đĩa chỉnh hình. Chƣơng 2: Một số kết quả nghiên cứu gần đây về ánh. những chứng minh chi tiết một số kết quả nghiên cứu gần đây về ánh xạ chỉnh hình tách biến. Nội dung luận văn gồm phần mở đầu, hai chương chính, kết luận và danh mục các tài liệu tham khảo. Chƣơng. 1.5. Ánh xạ chỉnh hình tách 11 1.6. Tính chất thác triển Hartogs 14 1.7. Lý thuyết Poletsky về các đĩa và định lý của Rosay trên các đĩa chỉnh hình 15 Chương 2. Một số kết quả nghiên cứu gần