Đề cương bài giảng Giải tích hàm nâng cao: Phần 1 - Phạm Hiến Bằng

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

Thêm vào BST

Báo xấu

288
lượt xem 39
download

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

Phần 1 Đề cương bài giảng Giải tích hàm nâng cao gồm nội dung 2 chương đầu tài liệu. Chương 1 trình bày những kiến thức cơ bản về giải tích hàm làm cơ sở cho nội dung của các chương tiếp theo. Chương 2 đề cập đến các kiến thức về các họ khả tổng và e- tôpô cũng như p - tôpô và dạng ánh xạ quan trọng mà tất cả những phần sau đều dựa trên nền kiến thức của chương này.

Chủ đề:

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

Lưu

Nội dung Text: Đề cương bài giảng Giải tích hàm nâng cao: Phần 1 - Phạm Hiến Bằng

®¹i häc th¸i nguyªn trêng ®¹i häc s ph¹m ph¹m hiÕn b»ng ĐỀ CƯƠNG BÀI GIẢNG GIẢI TÍCH HÀM NÂNG CAO (TÀI LIỆU DÙNG CHO NCS NGÀNH TOÁN) Thái Nguyên, 2011
®¹i häc th¸i nguyªn trêng ®¹i häc s ph¹m ph¹m hiÕn b»ng ĐỀ CƯƠNG BÀI GIẢNG GIẢI TÍCH HÀM NÂNG CAO (TÀI LIỆU DÙNG CHO NCS NGÀNH TOÁN) SỐ TÍN CHỈ: 3 (LÝ THUYẾT: 30 THẢO LUẬN: 15) Thái Nguyên, 2011
MỞ ĐẦU Mục đích của đề cương bài giảng này là trình bày những kiến thức cơ bản về lý thuyết các không gian lồi địa phương hạch. đó là một lớp không gian lồi địa phương có nhiều ứng dụng trong giải tích nói chung, đặc biệt giải tích phức nói riêng Nội dung của đề cương gồm 3 Chương. Chương 1 trình bày những kiến thức cơ bản về giải tích hàm làm cơ sở cho nội dung của các chương tiếp theo. Chương 2: phần đầu của chương đề cập đến các kiến thức về các họ khả tổng và e - tôpô cũng như p - tôpô. Phần tiếp theo của chương này đề cập tới các dạng ánh xạ quan trọng mà tất cả những phần sau đều dựa trên nền kiến thức của chương này. Đó là các ánh xạ khả tổng tuyệt đối, các ánh xạ hạch, ánh xạ tựa hạch, ánh xạ Hilbert- Schmidt . Phần cuối của chương trình bày mối liên hệ giữa các loại ánh xạ nêu trên. Chương 3: trình bày về lớp không gian lồi địa phương hạch. Các tiêu chuẩn nhận biết và các tính chất quan trọng của lớp không gian lồi địa phương hạch. Phần cuối của chương trình bày các kết quả về tích tensor của một không gian hạch và một không gian lồi địa phương tuỳ ý, các kết quả về ánh xạ loại l p và loại s . Nội dung của đề cương bài giảng được dùng để giảng dạy cho nghiên cứu sinh ngành Toán giải tích của Đại học Thái Nguyên. Các vấn đề trình bày ở đây có thể là cơ sở cho đề tài của các luận văn Thạc sĩ, luận văn tốt nghiệp đại học cũng như đề tài nghiên cứu khoa học của sinh viên chuyên ngành toán. . 1
Chương 1 KHÔNG GIAN LỒI ĐỊA PHƯƠNG Lý thuyết 04 Thảo luận 02 Mục tiêu: Trang bị cho học viên những kiến thức cơ bản về giải tích hàm: không gian lồi địa phương, không gian Banach, không gian Hilbert và ánh xạ tuyến tính liên tục giữa các không gian lồi địa phương làm cơ sở cho nội dung của các chương tiếp theo. 1.1. Không gian lồi địa phương 1.1.1 Chuẩn và nửa chuẩn trên không gian véctơ Giả sử E là không gian véc tơ thực hay phức. Hàm thực p trên E gọi là nửa chuẩn nếu nó thoả mãn N 1 ) p(x ) ³ 0 với mọi x Î E . N 2 ) p(l x ) = l p(x ), l Î K ( K = ¡ , £ ) , với mọi x Î E . N 3 ) p(x + y ) £ p(x ) + p(y ) với mọi x , y Î E . Nửa chuẩn p gọi là chuẩn nếu p(x ) = 0 Þ x = 0 . Từ N 2 ) và N 3 ) suy ra p(x ) - p(y ) £ p(x - y ) với x , y Î E . 1.1.2. Tập lồi, cân, hút và phiếm hàm Minkowski Tập con A trong không gian véctơ E gọi là a ) lồi nếu tx + (1 - t )y Î A với mọi x , y Î A và 0 £ t £ 1 . b) cân nếu l x Î A với mọi x Î A và l £ 1 . c ) hút nếu với mọi x Î E tồn tại e > 0 sao cho l x Î A với mọi l £ e . 1.1.2.1. Rõ ràng nếu p là nửa chuẩn trên E thì U = U p = { Î E : p(x ) < 1} x hay % x U = { Î E : p(x ) £ 1} là các tập lồi, cân, hút trong E . Ngoài ra x x % p(x ) = inf{l > 0 : Î U } = inf{l > 0 : Î U }. l l 1.1.2.2. Giả sử U là tập lồi, cân, hút trong E . Khi đó công thức 2
x pU (x ) = inf {l > 0 : Î U} l xác định một nửa chuẩn trên E , Nửa chuẩn pU gọi là phiếm hàm Minkowski kết hợp với U . Ta có { Î E : pU (x ) < 1}Ì U Ì { Î E : pU (x ) £ 1} x x và nếu W = { Î E : pU (x ) < 1} thì pU = pW . x 1.1.2.3. Một cách tổng quát nếu A là tập con lồi, cân của E và E (A ) ký hiệu không gian con véctơ sinh ra bởi A , thì công thức x pA (x ) = inf {l > 0 : Î A }, x Î E (A ) l xác định một nửa chuẩn trên E (A ) . 1.1.3. Định nghĩa không gian lồi địa phương 1.1.3.1. Không gian lồi địa phương E là không gian véctơ E cùng với một họ CS F (E ) các nửa chuẩn trên E sao cho với mọi p1,..., pn Î CS F (E ) đều tồn tại p Î CS F (E ) để: max (p1(x ),..., pn (x )) £ p(x ) với mọi x Î E . Sau này ta chỉ xét họ CS F (E ) thỏa mãn (H ) " x Î E , x ¹ 0, $ p Î CS F (E ) : p(x ) ¹ 0. Từ 1.1.2.1. và 1.1.2.2. suy ra không gian lồi địa phương E là không gian véctơ E cùng với một họ UF (E ) các tập con lồi cân hấp thụ của E thỏa mãn " U 1,...,U n Î UF (E ) , $ U Î UF (E ) : U Ì U 1 Ç ... Ç U n và (H ) tương đương với (H ¢ " x Î E , x ¹ 0, $ U Î UF (E ) : x Ï U . ) 1.1.3.2. Rõ ràng mọi không gian lồi địa phương là không gian tôpô, với tôpô xác định bởi V là lân cận của x Î E Û $ U Î UF (E ) : x + U Ì V . (H ¢ có nghĩa là tôpô xác định như trên là tôpô Hausdorff. ) 1.1.3.3. Dễ thấy rằng nửa chuẩn p trên E là liên tục khi và chỉ khi { Î E : p(x ) < 1} hay tương đương { Î E : p(x ) < r }, r > 0 là o- lân cận x x (lân cận của 0 Î E ). 3
1.1.4. Không gian con và không gian thương 1.1.4.1. Giả sử E là không gian lồi địa phương và F Ì E . Ta nói F là không gian con của E nếu F là không gian con vectơ của E và F được xét với tôpô cảm sinh bởi tôpô của E . Như vậy F cũng là không gian lồi địa phương với tôpô xác định bởi UF (F ) = { 0 = F Ç U : U Î U F (E )}. U 1.1.4.2. Giả sử F là không gian con đóng của E . Khi đó không gian vectơ thương E F là không gian lồi địa phương với tôpô cho bởi UF (E F ) = { (F ) : U Î UF (E )}, U ở đây U (F ) = U + F = { + y : x Î U , y Î F }. x Do F là đóng nên UF (E F ) thỏa mãn (H ¢ nghĩa là E F là Hausdorff. ) 1.1.5. Tập bị chặn, hoàn toàn bị chặn 1.1.5.1. Tập con A trong không gian lồi địa phương E gọi là a ) bị chặn nếu " U Î UF (E ) , $ e > 0 : eA Ì U . b) hoàn toàn bị chặn nếu n " U Î UF (E ), $ x 1,..., x n Î E : A Ì U(x i= 1 i + U ). Rõ ràng mọi tập hoàn toàn bị chặn là bị chặn. 1.1.5.2. Họ BF (E ) các tập bị chặn gọi là họ cơ bản các tập bị chặn nếu với mọi tập bị chặn A Ì E tồn tại B Î BF (E ) sao cho A Ì B . Do bao lồi cân của tập bị chặn A : ì n ï n ü ï G(A ) = ï å l i x i : å | l i |£ 1, x 1,..., x n Î A ï í ý ï i= 1 ï î i= 1 ï ï þ là tập bị chặn nên sau này các tập thuộc BF (E ) ta luôn coi là lồi cân. 1.1.5.3. Với U Î UF (E ) , giả sử pU là phiếm hàm Minkowski kết hợp với U . Khi đó 4
Ker pU = { Î E : pU (x ) = 0} x là không gian con véctơ của E . 1.1.5.4. Một dãy suy rộng trong E là một họ các phần tử { a } Î I với I là tập x a chỉ số định hướng: " a , b Î I , $ g Î I : a < g, b < g . Dãy suy rộng { a } Î I gọi là x a a ) hội tụ tới x nếu " U Î UF (E ) , $ a U : x a - x Î U , " a > a U . b) dãy Cauchy nếu " U Î UF (E ) , $ a U : x a - x b Î U , " a , b > a U . Hiển nhiên mọi dãy suy rộng hội tụ đều là dãy suy rộng Cauchy. Không gian lồi địa phương E gọi là đầy nếu mọi dãy Cauchy suy rộng đều hội tụ . Mệnh đề. Mọi tập đóng và hoàn toàn bị chặn trong một không gian lồi địa phương đầy là compact. 1.2. Không gian đối ngẫu với không gian lôi địa phương. 1.2.1. Định lý (Hahn-Banach). Giả sử F là không gian con của không gian véctơ E và p nửa chuẩn trên E . Khi đó với mọi phiếm hàm tuyến tính f trên F sao cho f (x ) £ p(x ) với mọi x Î F , ˆ tồn tại phiếm hàm tuyến tính f trên E sao cho ˆ f ˆ = f và f (x ) £ p(x ) với mọi x Î E . F Định lý 1.2.1 là cơ sở cho việc nghiên cứu lý thuyết đối ngẫu trong không gian lồi địa phương. 1.2.2. Định nghĩa. Giả sử E là không gian lồi địa phương. Không gian vectơ E ¢ tất cả các phiếm hàm tuyến tính liên tục trên E gọi là đối ngẫu tôpô của E. 1.2.3. Trên E ¢ thường xét ba tôpô lồi địa phương sau a ) Tôpô yếu s (E ¢ E ) sinh bởi hệ các nửa chuẩn , 5
p( f ) = m ax { x 1, f ,..., x n , f }, x ,..., x 1 n Î E b) Tôpô Mackey m(E ¢ E ) sinh bởi hệ các nửa chuẩn , p( f ) = sup { x , f : x Î K }, K Ì E compact. c ) Tôpô yếu b (E ¢ E ) sinh bởi hệ các nửa chuẩn , p( f ) = sup { x , f : x Î B }, B Ì E bị chặn. Ở đây ta viết x , f thay cho f (x ) . Rõ ràng s (E ¢ E ) £ m(E ¢ E ) £ b (E ¢ E ) và lần lượt là các tôpô hội tụ đều , , , trên các tập hữu hạn, compact, bị chặn. 1.2.4. Đổi vai trò E và E ¢ ta có thể xét trên E tôpô s (E ¢ E ) xác định bởi họ , các nửa chuẩn p(x ) = max { x, f 1 ,..., x , fn }, f ,..., f 1 n Î E¢ s (E , E ¢ gọi tôpô yếu của E . ) Ta có kết quả sau Định lý. (E ¢ s (E ¢ E ))¢ = E và (E , s (E ¢ E ))¢ = E ¢. , , , 1.2.5. Định lý (Mackey). Mọi tập con bị chặn yếu trong một không gian lồi địa phương là bị chặn. 1.2.6. Cho E là không gian lồi địa phương và M Ì E . Tập M 0 = {f Î E ¢: x , f £ 1, " x Î M } gọi là pôla của M (trong E ¢). Định lý (song pôla) Nếu M là tập lồi cân trong E thì M 00 là bao đóng của M , trong đó M 00 = { Î E : x , f £ 1, " f Î M 0 }. x 1.2.7. Định lý (Alaoglu – Bourbaki). Nếu U là o- lân cận trong không gian lồi địa phương E , thì U 0 là s (E ¢ E ) – compact. , 1.3. Một số lớp không gian lồi địa phương đặc biệt. 1.3.1. Giả sử E là không gian lồi địa phương. Ta nói E là a ) Tựa thùng nếu mọi tập bị chặn mạnh trong E ¢ là đồng liên tục. 6
b) s - tựa thùng nếu mọi tập đếm được bị chặn mạnh trong E ¢ là đồng liên tục. Ở đây A ¢Ì E ¢ gọi là đồng liên tục nếu tồn tại o– lân cận U trong E để A ¢Ì U 0 . 1.3.2. Nếu E là không gian lồi địa phương có một hệ cơ bản đếm được các o- lân cận, thì E là khả mêtric hay còn gọi là mêtric. Không gian lồi địa phương mêtric đầy gọi là không gian Frechet hay (F ) - không gian. Mệnh đề. Mọi không gian lồi địa phương mêtric là tựa thùng. 1.3.3. Một không gian s - tựa thùng E trong đó có một dãy cơ bản các tập bị chặn gọi là đối ngẫu mêtric. Một không gian đối ngẫu mêtric đầy gọi là (F ¢ – ) không gian. 1.3.4. Mối liên hệ giữa các không gian mêtric và đối ngẫu mêtric lồi địa phương cho bởi mệnh đề sau. Mệnh đề. a ) Nếu E là mêtric lồi địa phương thì E ¢là (F ¢ – không gian. ) ¢ b) Nếu E là đối ngẫu mêtric thì E b , nghĩa là E ¢ xét với tôpô mạnh b (E ¢ E ) là (F ) – không gian. , 1.4. Không gian Banach. 1.4.1. Không gian lồi địa phương E gọi là không gian định chuẩn nếu tôpô của nó có thể xác định bởi một chuẩn. Không gian định chuẩn đầy đủ gọi là không gian Banach. 1.4.2. Định lý (Conmogorov). Không gian lồi địa phương E là không gian định chuẩn nếu và chỉ nếu nó có một o – lân cận bị chặn. 1.4.3. Định lý (Riesz). Không gian lồi địa phương E là hữu hạn chiều nếu nó có một o – lân cận hoàn toàn bị chặn. 1.5. Không gian Hilbert. 1.5.1. Giả sử E là không gian véctơ phức. Một hàm (. .) : E ´ E ® £ gọi là nửa tích vô hướng nếu. H 1 ) (a x + b y z ) = a (x z ) + b (y z ), với mọi a , b Î £ và x , y , z Î E . H 2 ) (x y ) = (y x ) với mọi x , y Î E . 7
H 3 ) (x x ) ³ 0 với mọi x Î E . Nếu (x x ) = 0 Þ x = 0 thì (. .) gọi là tích vô hướng. Nếu (. .) là tích vô hướng trên E thì công thức 1 pU (x ) = (x | x )2 , x Î E xác định một chuẩn trên E gọi là chuẩn sinh bởi tích vô hướng. 1.5.2. Không gian Hilbert là không gian Banach với chuẩn sinh bởi tích vô hướng. 1.5.3. Định lý (Riesz). Nếu E là không gian Hilbert thì với mọi f Î E ¢ tồn tại duy nhất y Î E sao cho x , f = (x y ), x Î E . 1.5.4. Hai vectơ x , y Î E gọi là trực giao và viết là x ^ y nếu (x y ) = 0. Một họ các phần tử { i }Î I (viết là [ i , I ]) gọi là hệ trực chuẩn nếu e i e ì 1, i = j ï (ei e j ) = dij = ïíï 0, i ¹ j ï î Nếu [ i , I ] là hệ trực chuẩn thì ta có bất đẳng thức sau e 2 åI ei , x £ x 2, x Î E . (bất đẳng thức Bessel) Hệ trực chuẩn [ i , I ]gọi là đầy đủ nếu và chỉ nếu e x ^ ei , với mọi i Þ x = 0 . Mệnh đề. Hệ trực chuẩn [ i , I ] là đầy đủ nếu và chỉ nếu e x= å iÎ I (x | ei )ei , x Î E . 1.6. Ánh xạ tuyến tính liên tục giữa các không gian lồi địa phương. 1.6.1. Giả sử E và F là không gian lồi địa phương. Ánh xạ T : E ® F gọi là tuyến tính liên tục nếu T là ánh xạ tuyến tính, nghĩa là T (a x + b y ) = aT x + bT y , với mọi a , b Î K , x , y Î E , và T là ánh xạ liên tục. 1.6.2. Cho T : E ® F ánh xạ tuyến tính liên tục. Khi đó công thức x ,T ¢ = T x , b , với mọi x Î E , b Î F ¢, b 8
xác định ánh xạ T ¢: F ¢® E ¢ gọi là ánh xạ đối ngẫu của T . Nếu E và F là các không gian Hilbert, thì thay cho T ¢: F ¢® E ¢ ta xét ánh xạ liên hợp T * : F ® E xác định bởi (x T y ) = (T x y ), x Î * E,yÎ F. 1.6.3. Đối với hai không gian lồi địa phương E và F ta ký hiệu L(E , F ) là không gian vectơ các ánh xạ tuyến tính liên tục từ E vào F . 1.6.4. Trên L(E , F ) thường xét tôpô hội tụ đều trên các tập bị chặn và ký hiệu là Lb (E , F ) . Tôpô này xác định các họ nửa chuẩn p(A ,V ) (T ) = sup { V (T x ) : x Î A } A Î B(E ),V Î U(F ) p , ở đây B(E ) ký hiệu là họ tất cả các tập lồi cân bị chặn trong E còn U(F ) là họ tất cả các o- lân cận lồi cân trong F . Khi E và F là các không gian định chuẩn với các hình cầu đơn vị U và V thì Lb (E , F ) là không gian định chuẩn với chuẩn. b (T ) = sup { V (T x ) : x Î U } p = inf { > 0 : T (U ) Ì d }. d V Mệnh đề. Nếu E là không gian định chuẩn còn F là không gian Banach thì Lb (E , F ) là không gian Banach. 1.6.5. Ánh xạ T Î L(E , F ) , trong đó E và F là hai không gian định chuẩn được gọi là a) Hữu hạn chiều nếu Im T là không gian con hữu hạn chiều của F . b) Compact nếu T (U ) hoàn toàn bị chặn, với U = { Î E : x £ 1}. x 1.7. Không gian định chuẩn kết hợp với không gian lồi địa phương. 1.7.1. Cho U là o- lân cận tùy ý trong không gian lồi địa phương E . Khi đó N (U ) = { Î E : pU (x ) = 0} x là không gian con vectơ của E . Đặt E (U ) = E N (U ) . Dễ thấy rằng công thức p(x (U )) = pU (x ) với mọi x (U ) = x + N (U ) Î E N (U ) xác định một chuẩn trên E (U ). 9
Giả sử A là một tập lồi, cân, đóng, bị chặn trong E . Ký hiệu E (A ) là không gian con sinh bởi A . Ta có E (A ) = { Î E : x Î dA } với d > 0 nào đó x và công thức pA (x ) = inf { > 0 : x Î dA } d xác định một chuẩn trên E (A ) . Không gian này gọi là không gian định chuẩn kết hợp với A . 1.7.2. Cho U Î U(E ) và f Î E ¢U 0 ) . Khi đó đẳng thức ( ˆ x (U ), f = x , f , x Î E ˆ xác định f Î E (U )¢ thỏa mãn (ˆ p ¢ f ) = sup { x (U ), fˆ } : p(x (U )) £ 1 = pU 0 ( f ). Ngược lại, nếu g Î (E (U ))¢ thì đẳng thức f (x ) = g(x (U )), x Î E . ( ˆ Xác định f Î E ¢U 0 ) với f = g. Như vậy (E (U ))¢ = E ¢U 0 ). ( 1.7.3. Cho A Î B(E ) . Khi đó mọi f Î E ¢ công thức ˆ x f = x , f , x Î E (A ) ˆ xác định f Î E (A )¢ với (ˆ p ¢ f ) = sup { x , f : x Î A }= pA 0 ( f ) = p( f (A 0 )). Như vậy E ¢ A 0 ) có thể xét như không gian con của (E (A ))¢ . ( b 1.7.4. Nếu U ,V Î U(E ) thì các công thức p (U )x = x + N (U ) , x Î E và p (V ,U )(x (U )) = x (V ) , x Î E xác định các ánh xạ tuyến tính liên tục p (U ) : E ® E (U ) và p (U ,V ) : E (V ) ® E (U ) thỏa mãn 10
p (U ) = p (V ,U ) o p (V ). Tương tự nếu A, B Î B(E ), A Ì B thì các ánh xạ đồng nhất e(A )x = x , x Î E (A ) và e(A, B )x = x , x Î E (A ) xác định các ánh xạ tuyến tính liên tục từ E (A ) vào E và từ E (A ) vào E (B ) thỏa mãn e(A ) = e(B ) o e(A , B ). 1.8. Độ đo Radon 1.8.1. Giả sử M là không gian compact và C(M ) ký hiệu là không gian Banach các hàm thực hoặc phức liên tục trên M với chuẩn supremum, nghĩa là nếu j Î C(M ) thì j = sup {j (x ) : x Î M }. 1.8.2. Phiếm hàm tuyến tính liên tục m trên C(M ) gọi là độ đo Radon trên M . Độ đo Radon m gọi là dương nếu j , m ³ 0, với mọi j Î C(M ) , j ³ 0. Với mọi độ đo Radon m ³ 0 ta có j ,m £ j , m với mọi j Î C(M ) , j ³ 0. Nếu chuẩn của m ký hiệu là m(M ) , thì m(M ) = 1, j , ở đây 1 là hàm đồng nhất trên M . 1.8.3. Giả sử m là độ đo Radon tuỳ ý trên M . Khi đó công thức j , m = sup { y , m : y Î C(M ), y (x ) £ j (x )} xác định một hàm giá trị thực m trên C+ (M ) = { Î C(M ) : j ³ 0}. j Hàm m có hai tính chất sau j + y, m = j , m + y, m với mọi j , y Î C+ (M ) 11
aj , m = a j , m với mọi j Î C+ (M ) và a ³ 0 . Hàm này có thể mở rộng tới độ đo Radon dương trên M . Độ đo này cũng ký hiệu là m . Ta có j ,m £ j , m , với mọi j Î C(M ) . 1.8.4. Giả sử m là độ đo Radon dương trên M . Khi đó tồn tại duy nhất độ đo (cũng ký hiệu là m) trên s - đại số å m sao cho j ,m = ò j d m với mọi j Î C(M ) . M Ngoài ra s - đại số å m bao hàm s - đại số Borel sinh bởi các tập con đóng của M. 1.8.5. Đối với mỗi độ đo Radon dương m trên M , xác định nửa tích vô hướng(..) trên C(M ) ( f g) = ò f (x )g(x )dm M và nửa chuẩn kết hợp 1 ì ï ü2 ï f (x ) 2 d mï . l a(f ) = í ò ï ý ïM ï ï ï î þ Như vậy ta có không gian định chuẩn C (M ) Z với Z = {f Î C(M ) : l a ( f ) = 0}. Kí hiệu L2 (M ) bao đầy của C (M ) Z . Đó là không gian các hàm bình phương m khả tích theo độ đo m với đồng nhất. f = 0 Û l a ( f ) = 0. 1.8.6. Hàm fA(x) = 1 với x  A và fA(x) = 0 với x  A gọi là hàm đặc trưng của A. Hàm có dạng n f (x ) = å i= 1 a i f Ai (x ) . Với Ai Î å m rời nhau gọi là hàm m- bậc thang. Tập hợp các hàm m- bậc thang là trù mật trong L2 (M ) . m 12
Chương 2 ÁNH XẠ KHẢ TỔNG TUYỆT ĐỐI Lý thuyết 12 tiết Thảo luận 04 tiết Kiểm tra 2 tiết Mục tiêu: Trang bị cho học viên những kiến thức về ánh xạ khả tổng tuyệt đối, ánh xạ hạch, ánh xạ tựa hạch, ánh xạ Hilbert- Schmidt, mối liên hệ giữa các loại ánh xạ nêu trên. 2.1. Các họ khả tổng 2.1.1. Họ số khả tổng Cho I là tập chỉ số tuỳ ý. Họ số [xi , I ] đó là tập hợp các số thực hoặc phức xi , với i Î I . Ký hiệu F (I ) là tập hợp tất cả các tập con hữu hạn của tập hợp I với quan hệ thứ tự theo bao hàm: s 1 £ s 2 khi và chỉ khi s 1 Ì s 2 ; s 1, s 2 Î F (I ) . Khi đó với mỗi s Î F (I ) đặt s s = å iÎ s xi ta nhận được một dãy suy rộng { s } Î F ( I ) . s s 2.1.1.1. Định nghĩa. Nếu dãy suy rộng { s } Î F ( I ) có giới hạn hữu hạn s , thì s s họ số [xi , I ] được gọi là khả tổng và có tổng là s và ký hiệu là s = å iÎ I xi . 2.1.1.2. Bổ đề. Nếu với mỗi họ số [xi , I ] tồn tại số dương r sao cho ås xi £ r với mọi s Î F (I ) , thì å s xi £ 4r với mọi s Î F (I ) . Chứng minh. Giả sử [xi , I ] là họ số thực. Khi đó mỗi tập hợp s Î F (I ) có thể tách thành hai tập hợp s + = { Î s : xi ³ 0} và s - = { Î s : xi < 0}. i i Vì 13
ås+ xi = å s+ xi £ r và å xi = - å xi £ r , s- s- nên ås xi = å s+ xi + å s- xi £ 2r Nếu [xi , I ] là họ các số phức, thì với các họ số thực [Re xi , I ] và [Im xi , I ] ta có å s R e xi = Re( å xi ) £ r và s å s Im xi = Im( å xi ) £ r v theo trên ta có ås Re xi £ 2r và å s Im xi £ 2r . Từ đó ås xi £ 4r . 2.1.1.3. Định lý. Họ số [xi , I ] là khả tổng khi và chỉ khi tồn tại số dương r sao cho å s xi £ r với mọi s Î F (I ) . Chứng minh. Giả sử s là tổng của họ khả tổng [xi , I ]. Khi đó tồn tại tập hợp s 0 Î F (I ) sao cho s s - s £ 1 với mọi s Î F (I ) , s ³ s 0 . Khi đó với mọi s Î F (I ) ta có đánh giá sau å s xi £ å s Ès 0 xi - s + s - å s 0\ s xi £ 1 + s + å s0 xi . Do đó theo bổ đề 2.1.1.2 với mọi s Î F (I ) ta có å xi £ 4(1 + s + å xi ) s s0 Ngược lại, giả sử với họ số [xi , I ] tồn tại số dương r sao cho å s xi £ r với mọi s Î F (I ) . 14
Khi đó ì ï ü ï r 0 = sup ï å xi : s Î F (I )ï £ r < + ¥ . í ý (1) ï s ï î ï ï þ Do đó tồn tại dãy đơn điệu tăng s 1 < s 2 < ... < s n < ... các tập hợp thuộc F (I ) sao cho 1 å xi £ r 0 - n sn (2) Từ (1) và(2) ta có 1 å s xi £ n với mọi s Î F (I ) , s Ç s n = Æ. . (3) Giả sử sn = å xi . sn Do (3) với mọi số tự nhiên m , n ; m ³ n ta có 1 sm - sn £ å xi £ n . sm \ sn Từ đó { n } là dãy Côsi nên hội tụ đến s . Vì thế với mỗi d > 0 , tồn tại số tự s 2 d nhiên n sao cho n ³ và sn - s £ . Nhưng khi đó với mọi tập hợp d 2 s Î F (I ) , s ³ s n ,ta có 1 d ss - s = å s \sn xi + s n - s £ + £ d. n 2 Vậy họ [xi , I ] khả tổng và có tổng là s . 2.1.1.4. Mệnh đề. Mỗi họ khả tổng có không quá đếm được các số khác không. Chứng minh. Cho họ số [xi , I ] khả tổng. Ký hiệu như trong 2.1.1.3 và đặt 15
¥ 1 s0 = Us n=1 n . Khi đó s 0 hữu hạn hoặc đếm được và nếu i Ï s 0 , thì xi £ n với mọi số tự nhiên n . Vậy xi = 0 với mọi i Ï s 0 . 2.1.1.5. Định nghĩa. Họ số [ i , I ] được gọi là hội tụ đến 0, nếu với mỗi số a d > 0 tồn tại tập hợp s 0 Î F (I ) sao cho a i £ d với mọi i Ï s 0 . Tập hợp cI tất cả các họ số như thế tạo thành không gian Banach đối với các phép toán [a i ]+ [b i ]= [a i + b i , I ] và l [a i ]= [ a i , I ] l và chuẩn l ¥ [ i , I ]= sup {a i : i Î I } a . Vì mỗi dạng tuyến tính liên tục x trên cI có thể biểu diễn dưới dạng á[ i , I ] x ñ = a , å i a i xi , trong đó [xi , I ] là họ khả tổng xác định duy nhất, nên không gian đối ngẫu với cI được đồng nhất với không gian Banach lI1 tất cả các họ số khả tổng với chuẩn l 1 [ i , I ]= x å i xi . Ta cũng có khẳng định tương tự sau đây: không gian đối ngẫu với lI1 được đồng nhất với không gian Banach m I tất cả các họ số bị chặn. 2.1.1.6. Bổ đề. Nếu [xi , I ] là họ số có tính chất å i a i xi < + ¥ với mọi [a i , I ]Î cI , thì å i xi < + ¥ . Chứng minh. Giả sử å i xi = + ¥ . Khi đó tồn tại dãy đơn điệu tăng các tập hợp s r Î F (I ) bắt đầu với s 0 = Æ sao cho å xi ³ r 2 . Khi đó họ số sr 16
¥ 1 [a i , I ], a i = n với i Î s n \ s n - 1 (n = 1, 2,...) và a i = 0 với i Ï Us n= 1 n thuộc vào cI . Do đó å i a i xi < + ¥ . Nhưng điều đó không thể xảy ra, bởi vì å a i xi ³ å a i xi ³ r với mọi r . s sr 2.1.1.7. Định nghĩa. Họ số [xi , I ]được gọi là bình phương khả tổng nếu 2 å I xi < + ¥ . Tập hợp lI2 tất cả các họ số như thế tạo thành không gian tuyến tính đối với các phép toán [xi ]+ [hi ]= [xi + hi , I ] và l [xi ]= [ xi , I ], l trên đó ta đưa vào tích vô hướng ([xi , I ][ i , I ] = ,h ) å I xi hi , ở đó vế phải tồn tại theo bất đẳng thức Holder 1/ 2 1/ 2 ì ï 2ü ï ì ï 2ü ï å xi hi £ ï å xi ï í ý ï í å hi ï ý < +¥ , I ï I ï î ï ï þ ï I ï î ï ï þ với mọi cặp họ số bình phương khả tổng. Dễ chứng minh rằng lI2 là không gian đầy đủ trong tô pô lồi địa phương sinh bởi chuẩn 1/ 2 ì ï 2ü ï l 2 [xi , I ]= ï å xi ï í ý , ï I ï î ï ï þ xác định tích vô hướng đó. Như vậy lI2 là không gian Hilbert. 2.1.1.8. Bổ đề. Nếu [ i , I ] là họ số có tính chất a 1/ 2 ì ï 2ü ï å a i xi £ a ï å xi ï í ý với mọi [xi , I ]Î lI2 , i ï I ï î ï ï þ thì 2 å a i £ a 2. i 17