Luận văn Thạc sĩ Toán học: Khảo sát tôpô trên không gian các hàm chỉnh hình

Chia sẻ: Lavie Lavie | Ngày: | Loại File: PDF | Số trang:56

Thêm vào BST

Báo xấu

72
lượt xem 4
download

Download Vui lòng tải xuống để xem tài liệu đầy đủ

Luận văn Thạc sĩ Toán học: Khảo sát tôpô trên không gian các hàm chỉnh hình tập trung trình bày một số tính chất của tôpô trên không gian các hàm chỉnh hình. Mời các bạn tham khảo luận văn để nắm bắt nội dung chi tiết, với các bạn chuyên nành Toán học thì đây là tài liệu hữu ích.

Chủ đề:

Bình luận(0) Đăng nhập để gửi bình luận!

Lưu

Nội dung Text: Luận văn Thạc sĩ Toán học: Khảo sát tôpô trên không gian các hàm chỉnh hình

THƯ BỘ GIÁO DỤC VÀ ĐÀO TẠO VIỆN TRƯỜNG ĐẠI HỌC SƯ PHẠM TP. HỒ CHÍ MINH _________________________ LÝ THỊ LOAN THẢO KHẢO SÁT TÔ PÔ TRÊN KHÔNG GIAN CÁC HÀM CHỈNH HÌNH LUẬN VĂN THẠC SĨ TOÁN HỌC NGƯỜI HƯỚNG DẪN KHOA HỌC: TS. NGUYỄN HÀ THANH Thành Phố Hồ Chí Minh - 2008
1 LÔØI CAÛM ÔN Tröôùc tieân , toâi xin baøy toû loøng bieát ôn chaân thaønh vaø saâu saéc ñeán TS . Nguyeãn Haø Thanh . Thaày ñaõ taän tình höôùng daãn , giuùp ñôõ , trang bò nhieàu taøi lieäu vaø truyeàn cho toâi nhöõng kieán thöùc quyù baùu trong suoát quaù trình hoïc taäp vaø thöïc hieän luaän vaên naøy . Toâi cuõng xin chaân thaønh caûm ôn söï giaûng daïy nhieät tình quyù baùu cuûa caùc thaày – coâ trong khoa Toaùn trong suoát quaù trình hoïc taäp . Xin gôûi lôøi caûm ôn chaân thaønh ñeán quyù thaày coâ phoøng Khoa hoïc Coâng ngheä – Sau Ñaïi hoïc ñaõ taïo moïi ñieàu kieän thuaän lôïi cho toâi thöïc hieän luaän vaên . Trong quaù trình hoïc taäp vaø thöïc hieän luaän vaên , Ban Giaùm Hieäu tröôøng THPT chuyeân Löông Theá Vinh ñaõ heát söùc giuùp ñôõ , taïo ñieàu kieän thuaän lôïi cho toâi hoaøn thaønh toát khoaù hoïc. Toâi xin baøy toû loøng bieát ôn saâu saéc ñeán Ban Giaùm Hieäu nhaø tröôøng . Cuoái cuøng , toâi xin caûm ôn gia ñình , baïn beø, ñoàng nghieäp vì ñaõ uûng hoä, ñoäng vieân , khích leä toâi trong thôøi gian qua. Tp. Hoà Chí Minh thaùng 10 naêm 2008 Taùc giaû Lyù Thò Loan Thaûo
4 MÔÛ ÑAÀU 1. Lyù do choïn ñeà taøi Caáu truùc khoâng gian vectô toâpoâ H(U) , U laø taäp con môû cuûa CM ñaõ ñöôïc nghieân cöùu bôûi nhieàu taùc giaû nhö Grothendieck , G Kothe vaø Martineau . Toâpoâ môû compact laàn ñaàu tieân ñöôïc khaûo saùt treân khoâng gian caùc haøm chænh hình bôûi Alexander vaø Nachbin. Tuy nhieân , khoâng chæ coù caùc toâpoâ thoâng duïng treân ñöôïc khaûo saùt treân khoâng gian caùc haøm chænh hình . Naêm 1969 , Nachbin ñaõ giôùi thieäu toâpoâ τ ω treân khoâng gian caùc haøm chænh hình vaø cuõng trong thôøi gian naøy Coeureù ñaõ ñöa vaøo trong khoâng gian caùc haøm chænh hình toâpoâ τ δ döïa treân caùc ñònh nghóa môû roäng cuûa Nachbin. Vieäc nghieân cöùu tính chaát toâpoâ τ ω , τ δ treân khoâng gian caùc haøm chænh hình ñaõ ñöôïc quan taâm ñaëc bieät bôûi raát nhieàu nhaø toaùn hoïc trong thôøi gian gaàn ñaây. Luaän vaên cuûa chuùng toâi ñaëc bieät quan taâm ñeán hai toâpoâ naøy : τ ω , τ δ treân khoâng gian H(U) vôùi U laø taäp con môû caân cuûa khoâng gian Banach vôùi cô sôû khoâng ñieàu kieän hoaëc laø moät ña ñóa môû trong khoâng gian DN haïch ñaày ñuû coù cô sôû . Vì vaäy, ñeà taøi nghieân cöùu cuûa chuùng toâi laø “ khaûo saùt toâpoâ τ ω , τ δ treân khoâng gian caùc haøm chænh hình ”. ”.
5 2. Muïc ñích nghieân cöùu : Trong luaän vaên naøy , chuùng toâi trình baøy moät soá tính chaát cuûa toâpoâ τ ω , τ δ treân khoâng gian caùc haøm chænh hình vaø khaûo saùt ñieàu kieän ñeå τω = τδ . 3. Ñoái töôïng vaø noäi dung nhieân cöùu Khoâng gian caùc haøm chænh hình . Cuï theå laø khoâng gian Banach vôùi cô sôû khoâng ñieàu kieän vaø khoâng gian DN haïch ñaày ñuû coù cô sôû . 4. YÙ nghóa khoa hoïc thöïc tieãn : Khaûo saùt caùc toâpoâ τ ω , τ δ treân moät soá khoâng gian caùc haøm chænh hình cuï theå vaø tìm ñieàu kieän ñeå τ ω = τ δ . 5. Caáu truùc luaän vaên : Noäi dung cuûa luaän vaên chuùng toâi goàm phaàn môû ñaàu , boán chöông noäi dung vaø phaàn keát luaän . Cuï theå : Phaàn môû ñaàu : Neâu lyù do choïn ñeà taøi . Phaàn noäi dung : Chöông 1 : Trong chöông naøy toâi trình baøy caùc kieán thöùc cô baûn veà khoâng gian toâpoâ , khoâng gian loài ñòa phöông vaø toâpoâ loài ñòa phöông treân khoâng gian caùc haøm chænh hình ñeå chuaån bò cho caùc chöông sau. Chöông 2 : Toâpoâ treân khoâng gian ña thöùc . Trong chöông naøy chuùng toâi ñònh nghóa caùc toâpoâ treân khoâng gian aùnh xaï tuyeán tính vaø caùc toâpoâ treân khoâng gian ña thöùc.
6 Chöông 3 : Haøm chænh hình treân khoâng gian Banach vôùi cô sôû khoâng ñieàu kieän . Trong chöông naøy keát quaû chính laø ñònh lyù sau : ‘‘ Neáu U laø moät taäp con môû caân cuûa khoâng gian Banach E vôùi cô sôû khoâng ñieàu kieän thì τ ω = τ δ treân H(U)’’. Chöông 4 : Haøm chænh hình treân khoâng gian DN coù cô sôû . Trong chöông naøy keát quaû chính laø ñònh lyù sau : ‘‘ Neáu U laø moät ña ñóa môû trong khoâng gian DN haïch ñaày ñuû coù cô sôû E thì τ 0 = τ δ treân H(U)’’. Phaàn keát luaän : Ñöa ra nhöõng nhaän xeùt khi khaûo saùt caùc toâpoâ τ ω , τ δ treân khoâng gian caùc haøm chænh hình cuï theå .
7 Chöông 1 KIEÁN THÖÙC CHUAÅN BÒ 1. Moät soá lyù thuyeát toâpoâ 1.1. Khoâng gian vectô toâpoâ 1.1 1.1.1. Ñònh nghóa Cho E laø moät khoâng gian vectô treân tröôøng K , τ laø moät toâpoâ treân E . Khi ñoù,(E,τ ) ñöôïc goïi laø khoâng gian vectô toâpoâ neáu : (i). (E,τ ) laø khoâng gian toâpoâ taùch . (ii). Caùc aùnh xaï sau lieân tuïc : E×E → E ; K×E → E . ( x , y ) ֏ x + y (α , x ) ֏ α x 1.1.2 1.1.2. 1.2. Khoâng gian toâpoâ compac Moät hoï S nhöõng taäp con khoâng roãng cuûa moät taäp E goïi laø moät loïc treân E neáu : (i). A , B ∈ S ⇒ A ∩ B ∈ S , (ii). A ∈ S , A ⊂ B ⇒ B ∈ S Cho khoâng gian toâpoâ E . Ta noùi moät loïc S treân E hoäi tuï tôùi x neáu moãi laân caän cuûa E ñeàu bao haøm moät taäp thuoäc S. Khi ñoù x goïi laø giôùi haïn cuûa S. Ta noùi moät loïc S maïnh hôn moät loïc T neáu T ⊂ S . Moät khoâng gian toâpoâ E goïi laø compac neáu moãi loïc S treân E ñeàu coù moät loïc maïnh hôn hoäi tuï.
8 1.1.3 1.1.3. 1.3. Ñònh lyù1 Moät taäp con M cuûa moät khoâng gian toâpoâ E laø compac khi vaø chæ khi noù coù moät trong hai ñieàu kieän döôùi ñaây : (i). Moïi phuû môû cuûa M ñeàu chöùa moät phuû con höõu haïn . (ii). Baát kyø hoï taäp ñoùng naøo trong E maø coù giao khoâng caét M thì phaûi chöùa moät hoï con höõu haïn vaãn coù giao khoâng caét M. 1.2. Khoâng gian loài ñòa phöông 1.2.1 1.2.1. 2.1. Taäp loài – haáp thuï - caân Cho E laø moät khoâng gian vectô treân tröôøng K vaø moät taäp U chöùa trong E. • Taäp U ñöôïc goïi laø loài ( convex) neáu : ∀ x , y ∈ U , ∀ λ ∈ [0;1] ta coù λ x + (1 − λ ) y ∈ U . • Taäp U ñöôïc goïi laø haáp thuï ( absobent) neáu : ∀ x ∈ E , ∃ λ 0 > 0 sao cho ∀ λ ∈ K , λ ≥ λ ⇒ x ∈ λ U . 0 • Taäp U ñöôïc goïi laø caân (balance) neáu : ∀α ∈ K , α ≥1⇒ αU ⊂ U . 1.2.2 1.2.2. 2.2. Ñònh nghóa Khoâng gian vectô toâpoâ ñöôïc goïi laø loài ñòa phöông neáu noù coù moät cô sôû laân caän cuûa goác O goàm caùc taäp loài. 1.2.3 1.2.3. 2.3. Meänh ñeà 1 Trong moãi khoâng gian vectô toâpoâ loài ñòa phöông coù moät cô sôû laân caän loài , caân ñoái , haáp thuï vaø ñoùng.
9 1.3. 1.3. Khoâ Khoâng gian Frechet 1.3.1 1.3.1. 3.1. Chuaån –nöûa chuaån Cho E laø moät khoâng gian vectô treân tröôøng R. Aùnh xaï p : E → R ñöôïc goïi laø moät nöûa chuaån neáu : (i). p ( x + y ) ≤ p ( x ) + p ( y ), ∀x , y ∈ E . (ii). p(α x) = α . p ( x), ∀α ∈ R, ∀x ∈ E . Aùnh xaï p : E → R ñöôïc goïi laø moät chuaån neáu : (i). p ( x) = 0 ⇔ x = 0, ∀x ∈ E . (ii). p ( x + y ) ≤ p ( x ) + p ( y ), ∀x , y ∈ E . (iii). p (α x ) = α . p ( x ), ∀α ∈ R, ∀x ∈ E . 1.3.2 1.3.2. 3.2. Khoâng gian ñeám ñöôïc chuaån Moät khoâng gian vectô toâpoâ loài ñòa phöông maø toâpoâ ñöôïc xaùc ñònh bôûi moâït hoï nöûa chuaån { p α }α ∈ A höõu haïn hoaëc ñeám ñöôïc vaø thoaû ñieàu kieän taùch sau ñaây thì ñöôïc goïi laø khoâng gian ñeám ñöôïc chuaån . ∀ x ≠ 0, ∃ α ∈ A : p α ( x ) > 0 1.3.3 1.3.3 Ñònh lyù 2 Caùc meänh ñeà sau laø töông ñöông : (i). E laø khoâng gian ñeám ñöôïc chuaån. (ii). E laø khoâng gian loài ñòa phöông coù moät cô sôû laân caän ñeám ñöôïc. (iii). E laø khoâng gian loài ñòa phöông meâ–tríc hoaù ñöôïc.
10 1.3.4 1.3.4. 3.4. Ñònh nghóa Moät khoâng gian ñeám ñöôïc chuaån vaø ñaày ñuû goïi laø khoâng gian Frechet. 1.3.5 1.3.5. 3.5. Ñònh lyù 3 Trong khoâng gian Frechet, moãi taäp V loài, caân ñoái, haáp thuï, ñoùng laø moät laân caän cuûa goác. 1.4. Khoâng gian Banach Banach 1.4.1 1.4.1. 4.1. Ñònh nghóa Caëp (E , p ) , trong ñoù E laømoät khoâng gian tuyeán tính vaø p laø moät chuaån treân E, goïi laø moät khoâng gian tuyeán tính ñònh chuaån. Khi ñoù haøm soá thöïc ρ xaùc ñònh treân E × E bôûi coâng thöùc ρ ( x, y) = p( x − y) laø moät meâtric. Neáu {xn} laø moät daõy phaàn töû cuûa E vaø x0 ∈ E thì lim n→∞ xn = x0 coù nghóa laø lim p ( xn − x0 ) = 0 . n →∞ Khoâng gian tuyeán tính ñònh chuaån (E, p ) ñaày ñuû ñoái vôùi meâtric xaùc ñònh nhö treân goïi laø moät khoâng gian Banach. 1.4.2 1.4.2. 4.2. Ñònh lyù Hahn – Banach Cho E laø moät khoâng gian loài ñòa phöông , p laø moät nöûa chuaån lieân tuïc treân E vaø F laø khoâng gian con cuûa E . Khi ñoù: (i). Vôùi moãi y ∈ F ' , toàn taïi Y ∈ E ' sao cho YE = y . (ii). Vôùi moãi z ∈ E ,toàn taïi y ∈ E ' sao cho y(z) = p(z), y(x) ≤ p(x), ∀x ∈ E . (iii). Vôùi moãi x ∈ E, x ≠ OE , toàn taïi y ∈ E ' sao cho y(x) ≠ 0 .
11 1.5.Toâ 1.5.Toâpoâ loài ñòa phöông 1.5.1. Toâpoâ hoäi tuï ñeàu Cho E laø khoâng gian vectô toâpoâ , goïi E* laø khoâng gian caùc phieám haøm tuyeán tính treân E vaø E’ laø khoâng gian caùc phieám haøm tuyeán tính lieân tuïc treân E . Ta goïi E’ laø khoâng gian ñoái ngaãu (toâpoâ) cuûa E. Cho M laø hoï con (baát kyø) cuûa hoï caùc taäp bò chaën trong E . Vôùi moãi M ta coù moät hoï sô chuaån {p M ( f ), f ∈ E ' : M ∈ M } , hoï naøy xaùc ñònh moät toâpoâ loài ñòa phöông treân E’ , nhaän laøm cô sôû laân caän caùc taäp coù daïng {f : f ( x) < ε , ∀x ∈U in=1M i } vôùi n laø soá töï nhieân baát kyø , ε laø soá nguyeân döông baát kyø vaø Mi laø nhöõng taäp baát kyø trong hoï M . Ta goïi nhöõng toâpoâ naøy laø M- toâpoâ treân E’ hay toâpoâ hoäi tuï ñeàu treân caùc taäp thuoäc hoï M . 1.5.2. 1.5.2. Giôùi haïn xaï aûnh Giaû söû cho tröôùc : (i). Moät khoâng gian tuyeán tính E. (ii). Moät hoï khoâng gian loài ñòa phöông Ei , i ∈ I . (iii). Vôùi moãi i ∈ I , cho moät aùnh xa ïtuyeán tính fi : E → Ei . Khi ñoù toâpoâ loài ñòa phöông yeáu nhaát treân E sao cho taát caû caùc aùnh xaï fi lieân tuïc goïi laø toâpoâ loài ñòa phöông khôûi ñaàu cuûa hoï caùc toâpoâ cuûa caùc Ei vaø khoâng gian E vôùi toâpoâ ñoù ñöôïc goïi laø giôùi haïn xaï aûnh cuûa caùc khoâng gian loài ñòa phöông Ei ñoái vôùi caùc aùnh xaï fi . 1.5.3. 1.5.3. Giôùi haïn quy naïp Giaû söû cho tröôùc : (i). Moät khoâng gian tuyeán tính E. (ii). Moät hoï khoâng gian loài ñòa phöông Ei , i ∈ I .
12 (iii). Vôùi moãi i ∈ I, cho moät aùnh xa ïtuyeán tính gi : Ei → E . Khi ñoù toâpoâ loài ñòa phöông maïnh nhaát treân E sao cho taát caû caùc aùnh xaï gi lieân tuïc goïi laø toâpoâ loài ñòa phöông taän cuøng cuûa hoï caùc toâpoâ cuûa caùc Ei vaø khoâng gian E vôùi toâpoâ ñoù ñöôïc goïi laø giôùi haïn quy naïp cuûa caùc khoâng gian loài ñòa phöông Ei ñoái vôùi caùc aùnh xaï gi . 2. Khoâng gian aùnh xaï tuyeán tính vaø khoâng gian ña thöùc thuaàn nhaát 2.1. Khoâng gian La ( n E , F ) , Ls ( n E , F ) a Cho E ,F laø caùc khoâng gian vectô treân tröôøng soá phöùc. Vôùi moãi n ∈ N , ta kyù hieäu La ( n E , F ) laø khoâng gian aùnh xaï n-tuyeán tính töø E vaøo F . Khi F = C ta vieát La ( n E ) . Moät aùnh xaï n-tuyeán tính L töø E vaøo F ñöôïc goïi laø ñoái xöùng neáu L ( x1 ,..., x n ) = L ( xσ (1) ,..., xσ ( n ) ) vôùi moïi ( x1 ,..., xn ) ∈ E vaø moïi hoaùn vò σ cuûa n soá töï nhieân ñaàu tieân . Ta kyù hieäu Ls ( n E , F ) laø khoâng gian vectô caùc aùnh xaï n- tuyeán tính a ñoái xöùng töø E vaøo F. 2.2. Khoâng gian Pa ( n E , F ) , Pa ( E , F ) Moät aùnh xaï töø khoâng gian loài ñòa phöông E vaøo khoâng gian loài ñòa phöông F laø söï hôïp thaønh cuûa aùnh xaï ñöôøng cheùo töø E vaøo En vaø aùnh xaï n- tuyeán tính töø E vaøo F ñöôïc goïi laø moät ña thöùc n-thuaàn nhaát . Ta kyù hieäu Pa ( n E , F ) laø khoâng gian vectô caùc ña thöùc n -thuaàn nhaát töø E vaøo F .
13 Nhö vaäy moät aùnh xaï p : E → F laø moät ña thöùc n- thuaàn nhaát khi vaø chæ khi toàn taïi moät aùnh xaï n- tuyeán tính L töø E vaøo F sao cho tam giaùc sau giao hoaùn: Pa (n E , F) ∆ E En L p F Trong ñoù ∆( x) = x n , ∀x ∈ E . Moät ña thöùc töø E vaøo F laø toång höõu haïn cuûa caùc ña thöùc thuaàn nhaát töø E vaøo F . Ta kyù hieäu Pa ( E , F ) laø khoâng gian vectô caùc ña thöùc töø E vaøo F. 2.3. Khoâng gian P ( n E , F ) , L ( n E , F ) , Ls ( n E , F ) Cho E , F laø caùc khoâng gian toâpoâ vaø cuõng laø khoâng gian vectô treân tröôøng soá phöùc . Khi ñoù ta kyù hieäu P ( n E , F ) , L ( n E , F ) , Ls ( n E , F ) laàn löôït laø khoâng gian ña thöùc n - thuaàn nhaát lieân tuïc töø E vaøo F ; khoâng gian aùnh xaï n - tuyeán tính lieân tuïc töø E vaøo F vaø khoâng gian aùnh xaï n - tuyeán tính ñoái xöùng lieân tuïc töø E vaøo F. Khi E , F laø caùc khoâng gian loài ñòa phöông , ta kyù hieäu cs(E) laø taäp hôïp caùc nöûa chuaån lieân tuïc treân E. 2.4. Khoâng gian PHY ( n E , F ) , PM ( n E , F ) Phaàn töû P cuûa Pa ( n E , F ) ñöôïc goïi laø noäi lieân tuïc neáu noù lieân tuïc treân caùc taäp con compac cuûa E . Ta kyù hieäu PHY ( n E , F ) laø khoâng gian vectô caùc ña thöùc n- thuaàn nhaát noäi lieân tuïc töø E vaøo F.
14 Phaàn töû P cuûa Pa ( E , F ) ñöôïc goïi laø lieân tuïc Mackey (hoaëc Silva) neáu noù laø aùnh xaï töø taäp con bò chaën cuûa E vaøo taäp con bò chaën cuûa F . Ta kyù hieäu PM ( n E , F ) laø khoâng gian vectô caùc ña thöùc n- thuaàn nhaát lieân tuïc Mackey töø E vaøo F. 2.5. Khoâng gian nöûa – Montel , khoâng gian bonrnological Moät khoâng gian loài ñòa phöông laø khoâng gian nöûa – Montel neáu moïi taäp bò chaën ñoùng cuûa noù ñeàu laø taäp compac. Moät khoâng gian loài ñòa phöông E ñöôïc goïi laø bonrnological khi vaø chæ khi LM ( E , F ) = L ( E , F ) . 2.6. Khoâng gian LN ( n E , F ) , PN ( n E , F ) Cho E , F laø caùc khoâng gian loài ñòa phöông . (i). L ∈ L ( n E , F ) ñöôïc goïi laø aùnh xaï n-tuyeán tính haïch töø E vaøo F neáu toàn taïi moät laân caän U loài ,bò chaën cuûa 0 trong E , moät taäp con bò chaën B ∞ ∞ ∞ cuûa E , ( λk )k =1 ∈ e1 vaø daõy (φ )i , k k =1 , i = 1,..., n vaø (γ k )k =1 trong ñoù φi ,k ∈ U 0 , ∀i, k vaø γ k ∈ B, ∀k sao cho : ∑ , ∀ ( x1 ,..., x n ) ∈ E n . ∞ L ( x1 ,..., x n ) = k =1 λ k φ1, k ( x1 )...φ n , k ( x n ) γ k Ta kyù hieäu LN ( n E , F ) laø khoâng gian caùc aùnh xaï n-tuyeán tính haïch töø E vaøo F. (ii). P ∈ P ( n E , F ) ñöôïc goïi laø moät ña thöùc n-thuaàn nhaát haïch töø E vaøo F neáu toàn taïi moät laân caän U loài ,bò chaën cuûa 0 trong E , moät taäp con bò ∞ chaën B cuûa E , ( λk )k =1 ∈ e1 vaø daõy (φk )k =1 ⊆ U 0 vaø ( γ k )k =1 ⊆ B sao cho: ∞ ∞ ∑ ,∀x ∈ E . ∞ P ( x) = k =1 λ k φ k ( x )γ k
15 Ta kyù hieäu PN ( n E , F ) laø khoâng gian caùc ña thöùc n-thuaàn nhaát haïch töø E vaøo F. 2.7 Khoâng gian haïch 2.7.1. Ñònh nghóa Vôùi n =1 trong 2.6 (i) ta coù ñònh nghóa aùnh xaï tuyeán tính haïch töø E vaøo F. Moät khoâng gian loài ñòa phöông E ñöôïc goïi laø khoâng gian haïch neáu vôùi moãi α ∈ cs ( E ) ñeàu toàn taïi β ∈ cs ( E ), β ≥ α sao cho aùnh xaï chính taéc töø E β vaøo Eα laø aùnh xaï haïch. Moät khoâng gian loài ñòa phöông E ñöôïc goïi laø khoâng gian haïch ñoái ngaãu neáu E β' laø khoâng gian haïch . 2.7.2. Ñònh lyù 4 Neáu E laø moät khoâng gian loài ñòa phöông haïch vaø n ∈ N thì LN ( n E ) = L ( n E ) vaø PN ( n E ) = P ( n E ) . 3. Caùc toâpoâ loài ñòa phöông treân khoâng gian caùc haøm chænh hình 3.1. Haøm chænh hình 3.1.1.Taäp môû höõu haïn Taäp con U cuûa khoâng gian vectô E ñöôïc goïi laø môû höõu haïn neáu U ∩ F laø moät taäp con môû höõu haïn cuûa khoâng gian Euclide F vôùi moïi khoâng gian con höõu haïn chieàu F cuûa E. 3.1.2. .1.2. Haøm G - chænh hình : Moät haøm f xaùc ñònh treân moät taäp con môû höõu haïn U cuûa khoâng gian vectô E ,laáy giaù trò treân khoâng gian loài ñòa phöông F ñöôïc goïi laø G -chænh hình (chænh hình Gaâteaux) neáu vôùi moãi a ∈ U , b ∈ E vaø ∅ ∈ F , haøm giaù trò
16 phöùc cuûa moät bieán phöùc λ → Φ f ( a + λ b ) laø chænh hình trong moät vaøi laân caän cuûa 0. Kyù hieäu HG(U,F) laø taäp caùc aùnh xaï G – chænh hình töø U vaøo F. 3.1.3. .1.3. Boå ñeà Neáu E laø moät khoâng gian vectô , U laø moät taäp con môû höõu haïn chieàu cuûa E , F laø moät khoâng gian loài ñòa phöông vaø f ∈ HG(U,F) thì f lieân tuïc khi U ñöôïc cho bôûi toâpoâ môû höõu haïn . Chöùng minh : Deã thaáy τ f laø toâpoâ giôùi haïn quy naïp ñöôïc cho bôûi caùc aùnh xaï G → E trong ñoù G laø khoaûng treân caùc khoâng gian con höõu haïn chieàu cuûa E. Do ñoù haøm f xaùc ñònh treân moät toâpoâ τ f taäp con môû U cuûa E laø lieân tuïc khi vaø chæ khi haïn cheá cuûa noù leân caùc nhaùt caét höõu haïn chieàu cuûa U laø lieân tuïc. Khi ñoù moät haøm giaûi tích bieán phöùc laø lieân tuïc vaø boå ñeà ñöôïc chöùng minh. 3.1.4.Ñònh .1.4.Ñònh nghóa (haøm chænh hình ) Cho E vaø F laø caùc khoâng gian loài ñòa phöông vaø U laø moät taäp con môû cuûa E. Moät haøm f :U → F ñöôïc goïi laø chænh hình neáu noù laø G -chænh hình vaø ∞ d m f (ξ ) vôùi moãi ξ ∈ U , haøm γ → ∑ m=0 m! ( γ ) hoâïi tuï vaø xaùc ñònh moät haøm lieân tuïc treân laân caän cuûa 0. Ta kyù hieäu H(U,F) laø khoâng gian vectô caùc haøm chænh hình töø U vaøo F.
17 3.1.5. Boå ñeà 1 Neáu U laø moät taäp con môû cuûa khoâng gian loài ñòa phöông E , F laø moät khoâng gian loài ñòa phöông vaø f ∈ HG(U,F) thì f ∈ H(U,F) khi vaø chæ khi n α f ∈ H (U , Fα ) vôùi moïi α trong cs(F) . 3.1.6. Boå ñeà 2 Neáu U laø moät taäp con môû cuûa khoâng gian loài ñòa phöông E , F laø moät khoâng gian tuyeán tính ñònh chuaån vaø f ∈ HG(U,F) thì f ∈ H(U,F) khi vaø chæ khi f bò chaën ñòa phöông. 3.2. Caùc toâpoâ loài ñòa phöông 3.2.1. .2.1. Toâpoâ môû compac τ o Cho U laø moät taäp con môû cuûa khoâng gian loài ñòa phöông E vaø F laø moät khoâng gian loài ñòa phöông . Toâpoâ môû compac ( hay toâpoâ cuûa daïng hoäi tuï treân caùc taäp con compac cuûa U ) treân H(U,E) laø toâpoâ loài ñòa phöông sinh bôûi nöûa chuaån : ρ B ,K ( f ) = f B ,K = sup B ( f ( x ) . x ∈K Trong ñoù K bieán thieân treân caùc taâïp con compac cuûa U vaø B bieán thieân treân nöûa chuaån lieân tuïc treân F . Ta kyù hieäu toâpoâ naøy laøτ o . .2.2. Toâpoâ τ ω 3.2.2. 3.2.2.1. .2.2.1. Ñònh nghóa 1 Cho U laø moät taäp con môû cuûa khoâng gian loài ñòa phöông E vaø F laø moät khoâng gian tuyeán tính chuaån taéc . Moät nöûa chuaån ρ treân H(U,F) ñöôïc coi laø töïa treân taäp con compac K cuûa U neáu vôùi moãi taäp môû V , K ⊂V ⊂U toàn taïi c (V ) > 0 sao cho ρ ( f ) ≤ c (V ) f V vôùi moïi f thuoäc H(U,F).
18 Toâpoâ τ ω treân H(U,F) laø toâpoâ loài ñòa phöông sinh bôûi taát caû caùc nöûa chuaån töïa treân caùc taäp con compac cuûa U. 3.2.2.2. .2.2.2. Ñònh nghóa 2 Cho U laø moät taäp con môû cuûa moät khoâng gian loài ñòa phöông vaø F laø moät khoâng gian loài ñòa phöông. Ta ñònh nghóa τ ω treân H(U,F) bôûi : (H (U ; F ) ,τ ω )= lim B∈ cs (F ) (H ( U ; F B ) ,τ ω ). 3.2.3. .2.3. Toâpoâ τ δ 3.2.3.1. .2.3.1. Ñònh nghóa 1 Cho U laø moät taäp con môû cuûa khoâng gian loài ñòa phöông E vaø F laø moät khoâng gian tuyeán tính chuaån taéc . Moät nöûa chuaån ρ treân Há(U,F) ñöôïc coi laø τ δ lieân tuïc neáu vôùi moãi phuû môû ñeám ñöôïc taêng cuûa U, (V n ) n = 1 , toàn taïi moät soá nguyeân döông n0 vaø ∞ c>0 sao cho ρ ( f ) ≤ c f V n0 vôùi moïi f trong H(U,F). Toâpoâ τ δ treân H(U,F) laø toâpoâ loài ñòa phöông sinh bôûi toâpoâ τ δ nöûa chuaån lieân tuïc. 3.2.3.2. .2.3.2. Ñònh nghóa 2 Cho U laø taäp con môû cuûa khoâng gian loài ñòa phöông E vaø F laø moät khoâng gian loài ñòa phöông . Ta ñònh nghóa τ δ treân H(U,F) bôûi : ( H (U ; F ),τ δ ) = lim B ∈ cs ( F ) ( H (U ; F B ),τ δ ) . 3.2.4. .2.4. Boå ñeà Cho E vaø F laø caùc khoâng gian loài ñòa phöông vaø U laø moät taäp con môû cuûa E . Treân H(U,F) ta coù : τδ ≥ τω ≥ τ0 .
19 Chöùng minh : Khoâng maát tính toång quaùt , giaû söû raèng F laø moät khoâng gian tuyeán tính ñònh chuaån . Do ε K ≤ ε V vôùi moïi V chöùa trong K neân τ ω ≥ τ 0 . Baây giôø giaû söû raèng ρ laø moät τ ω nöûa chuaån lieân tuïc treân H(U;F) töïa treân ∞ taäp con compac K cuûa U . Laáy (V )n=1 laø moät phuû môû ñeám ñöôïc taêng cuûa U. n Do K compac neân ta coù theå choïn n0 sao cho Vn 0 laø moät laân caän cuûa K . Khi ñoù toàn taïi c > 0 sao cho ρ (ε ) ≤c f Vn 0 vôùi moïi f trong H(U;F). Ñieàu naøy chæ ra raèng ρ laø moät τ δ lieân tuïc vaø boå ñeà ñöôïc chöùng minh. 3.2.5. .2.5. Toâpoâ τ π Neáu U laø taäp con môû cuûa khoâng gian loài ñòa phöông E vaø F laø moät khoâng gian loài ñòa phöông thì toâpoâ τ π treân H(U;F) ñöôïc ñònh nghóa nhö laø giôùi haïn xaï aûnh cuûa H(K;F), trong ñoù K chaïy treân caùc taäp con compac cuûa U. 3.3. Ña ñóa Cho E ≅ Λ ( P ) laø moät khoâng gian daõy haïch vaø A ∈ Λ ( P ) . Khi ñoù A ñöôïc goïi laø moät ña ñóa neáu A coù moät trong hai daïng sau : (i). znβ n < 1 , ∞ ( z n )n =1 ∈ Λ ( P ); su p n (ii). ∞ ( z n )n =1 ∈ Λ ( P ); su p znβ n ≤ 1 n Trong ñoù β n ∈ [ 0; + ∞ ] vôùi moïi n , a.(+∞) = +∞ neáu a > 0 vaø 0.(+∞) = 0 . Moät ña ñóa coù daïng (i) laø môû khi vaø chæ khi ( β n )n ∈ P vaø moät ña ñóa coù daïng (ii) thì luoân ñoùng.
20 3.4. Troïng soá Cho p laø moät taäp hôïp caùc daõy soá thöïc khoâng aâm sao cho vôùi moãi soá nguyeân döông r ≥ 0 toàn taïi α = (α n )n =1 ∈ p vôùi α r > 0 . Khoâng gian daõy ∞ Λ ( p ) laø taäp taát caû caùc daõy soá phöùc ( x n )n =1 sao cho ∑ vôùi moïi ∞ ∞ xn α n < ∞ n =1 ∞ α = (α n ) n = 1 trong p . Chuùng ta cho Λ ( p ) moät toâpoâ sinh bôûi nöûa chuaån pα , ∞ α = (α n )n = 1 ∈ p , trong ñoù p α ( ) ∑ x n α n vôùi moïi ( x n ) n = 1 trong ∞ ∞ ∞ ( x n ) n =1 = n =1 Λ( p) . Khi ñoù phaàn töû cuûa p ñöôïc goïi laø troïng soá . Neáu ( β n )n =1 laø moät daõy ∞ soá khoâng aâm tuyø yù vaø  ( x n )∞ ∈ Λ ( p ); ∑ x n β n ≤ 1  laø moät laân caän cuûa 0 ∞ n =1  n =1  thì ñöôïc goïi laø moät troïng soá lieân tuïc treân Λ ( p ) .
21 Chöông 2 TOÂPOÂ TREÂN KHOÂNG GIAN ÑA THÖÙC Trong chöông naøy chuùng ta xeùt caùc toâpoâ treân caùc khoâng gian ña thöùc khaùc nhau maø ta ñaõ ñònh nghóa trong chöông tröôùc . Do ñònh lyù ñoái ngaãu cuûa khoâng gian loài ñòa phöông neân P ( L E ) = E ' . Toâpoâ höõu ích nhaát laø toâpoâ maïnh nhaát – ñoù laø toâpoâ hoäi tuï ñeàu treân caùc taäp con bò chaën cuûa E . Toâpoâ naøy ñöôïc kyù hieäu laø β . 1. Caùc toâpoâ treâ treân P ( n E ; F ) 1.1. Toâpoâ β treân PM ( n E ; F ) 1.1.1. Ñònh nghóa Cho E vaø F laø caùc khoâng gian loài ñòa phöông . Toâpoâ maïnh hoaëc toâpoâ β treân P M ( n E ; F ) ñöôïc ñònh nghóa laø toâpoâ hoäi tuï ñeàu treân caùc taâïp con bò chaën cuûa E . (P M ( n E ; F ), β ) laø moät khoâng gian loài ñòa phöông vaø toâpoâ cuûa noù ñöôïc sinh bôûi nöûa chuaån α ,β , trong ñoù α bieán thieân treân cs(F) vaø β bieán thieân treân caùc taäp con bò chaën cuûa E. 1.1.2. Meänh ñeà 1: Neáu E laø moät khoâng gian tuyeán tính ñònh chuaån vaø F laø moät khoâng gian Banach thì (P ( n E ; F ), β ) laø moät khoâng gian Banach.