Luận văn Thạc sĩ Toán học: Định lý Levy - Steinitz về miền tổng của chuỗi

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

Thêm vào BST

Báo xấu

80
lượt xem 8
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: Định lý Levy - Steinitz về miền tổng của chuỗi gồm có 4 chương với những nội dung về kiến thức chuẩn bị; định lý Levy - Steinitz trong không gian hữu hạn chiều; định lý Levy - Steinitz trong không gian vectơ Tôpô lồi địa phương khả mêtric; định lý Levy - Steinitz trong không gian hạ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: Định lý Levy - Steinitz về miền tổng của chuỗi

BỘ GIÁO DỤC VÀ ĐÀO TẠO TRƯỜNG ĐẠI HỌC SƯ PHẠM TP.HỒ CHÍ MINH Phạm Ngọc Tuấn ĐỊNH LÝ LEVY-STEINITZ VỀ MIỀN TỔNG CỦA CHUỖI LUẬN VĂN THẠC SĨ TOÁN HỌC Thành phố Hồ Chí Minh, năm 2009
LỜI CẢM ƠN Qua luận văn này em xin bày tỏ sự biết ơn sâu sắc đến PGS.TS. Đậu Thế Cấp, người thầy đã tận tình hướng dẫn và giúp em tích lũy những kinh nghiệm bổ ích để hoàn thành luận văn này. Trong suốt quá trình học tập, em đã nhận được những kiến thức quý báu từ các thầy cô trong khoa Toán-Tin trường Đại học Sư Phạm Tp.HCM và trường Đại học Khoa Học Tự Nhiên. Qua luận văn này em xin gửi đến các thầy cô lòng tri ân thành kính nhất. Cuối cùng, em cũng xin chân thành cảm ơn các thầy cô làm việc tại phòng KHCN-SĐH đã giúp em rất nhiều trong quá trình học tập và khi thực hiện luận văn này. *********************** Phạm Ngọc Tuấn
MỤC LỤC trang MỞ ĐẦU 1 Chương 1 KIẾN THỨC CHUẨN BỊ 5 1.1 Ánh xạ hạch và không gian hạch . . . . . . . . . . . . . 5 1.2 Các kiến thức cơ bản về chuỗi . . . . . . . . . . . . . . . 12 1.3 Một số kiến thức bổ sung . . . . . . . . . . . . . . . . . 13 Chương 2 ĐỊNH LÝ LEVY-STEINITZ TRONG KHÔNG GIAN HỮU HẠN CHIỀU 15 Chương 3 ĐỊNH LÝ LEVY-STEINITZ TRONG KHÔNG GIAN VECTƠ TÔPÔ LỒI ĐỊA PHƯƠNG KHẢ MÊTRIC 24 Chương 4 ĐỊNH LÝ LEVY-STEINITZ TRONG KHÔNG GIAN HẠCH 36 KẾT LUẬN 49 TÀI LIỆU THAM KHẢO 51
1 MỞ ĐẦU 1. Lý do chọn đề tài Lý thuyết chuỗi đóng một vai trò quan trọng trong giải tích toán học. Các loại chuỗi khác nhau như chuỗi số, chuỗi hàm hay chuỗi vectơ được áp dụng khá nhiều trong các lĩnh vực toán học như là công cụ để xấp xỉ một số đối tượng toán học. Ví dụ như chuỗi lũy thừa cho phép ta xấp xỉ các hàm giải tích bằng các đa thức. Nhờ có chuỗi Fourier các hàm tuần hoàn có thể được xấp xỉ bởi các đa thức lượng giác hoặc đa thức mũ. Nghiệm của các bài toán vật lý, hóa học... được trình bày dưới dạng chuỗi của các hàm đặc biệt. Trong giải tích, khái niệm chuỗi nảy sinh khi lấy tổng của vô hạn phần tử và các tính chất đơn giản nhất của tổng hữu hạn cũng đúng trên chuỗi. Ngoại trừ tính chất giao hoán, khi thay đổi thứ tự các số hạng trong một chuỗi thì tổng có thể thay đổi. Hai câu hỏi được đặt ra là: thứ nhất, đối với những chuỗi nào tổng của chuỗi sẽ không thay đổi khi thay đổi thứ tự các phần tử của tổng; thứ hai, nếu tổng của chuỗi thay đổi thì sẽ thay đổi như thế nào? Hai câu hỏi trên được đặt ra và được giải quyết bởi Riemann đối với chuỗi số thực. Cụ thể trong R miền tổng của chuỗi hoặc chỉ là một điểm hoặc toàn bộ R. Trong không gian hữu hạn chiều (với số chiều lớn hơn 1) Levy-Steinitz đã chứng minh định lý "Giả sử chuỗi ∞ P i=1 xi hội tụ về s trong không gian m chiều E.
2 P Khi đó miền tổng của chuỗi xi là đa tạp n chiều (n ≤ m), cụ thể là P DS( xi ) = s + Γ◦ ". Định lý này cho ta một miêu tả đầy đủ về miền tổng của chuỗi hội tụ là một đa tạp tuyến tính, lồi và đóng. Sau đó W. Banasczyk, J. Bonet, A. Defant... đã chứng minh các kết quả tương tự Định lý Levy-Steinitz trong không gian vô hạn chiều. Nhận thấy ý nghĩa của Định lý Levy-Steinitz, chúng tôi chọn "Định lý Levy-Steinitz về miền tổng của chuỗi" làm chủ đề cho luận văn thạc sĩ. 2. Mục đích Nghiên cứu Định lý Levy-Steinitz trong không gian hữu hạn chiều và các định lý tương tự Định lý Levy-Steinitz trong không gian vô hạn chiều với điều kiện thu hẹp được đặt lên chuỗi hoặc lên không gian. 3. Đối tượng và phạm vi nghiên cứu Trong luận văn này chúng tôi sẽ trình bày miền tổng của chuỗi trong không gian Rn , không gian vectơ tôpô lồi địa phương khả mêtric (kèm theo điều kiện được đặt lên chuỗi) và không gian hạch. Luận văn gồm 4 chương, chương 1 trình bày một số kiến thức cơ bản về không gian hạch, chuỗi và một số kiến thức bổ sung. Trong chương 2 trình bày Định lý Levy-Steinitz trong không gian hữu hạn chiều Rn . Giả sử ∞ P k=1 xk là một chuỗi trong không gian Rn . Theo Định lý Riemann, nếu n = 1 thì DS( ∞ P k=1 xk ) = R với mọi chuỗi hội tụ có điều kiện trong R. Nhưng khi n > 1, miền tổng của chuỗi hội tụ có điều kiện thì không nhất thiết là toàn bộ không gian. Chẳng hạn, nếu tất cả các số hạng của một chuỗi
3 hội tụ có điều kiện điều phụ thuộc tuyến tính vơi vectơ e thì miền tổng của chuỗi vẫn phụ thuộc tuyến tính với e. Trong trường hợp này miền tổng của chuỗi là đường thẳng đi qua 0 và e. Định lý Levy-Steinitz cho chúng ta một mô tả đầy đủ về miền tổng của chuỗi trong không gian hữu hạn chiều (miền tổng của chuỗi là một đa tạp tuyến tính, và do đó đóng và lồi). Trong không gian vô hạn chiều chúng ta mong muốn có những kết quả tương tự Định lý Levy-Steinitz. Tuy nhiên chúng ta không thể dùng các kết quả trong không gian hữu hạn chiều để áp lên không gian vô hạn chiều. Trong [6] có những ví dụ về miền tổng của chuỗi hội tụ có điều kiện trong không gian vô hạn chiều có thể chỉ là một điểm; không lồi; không đóng hoặc không tuyến tính... Vì vậy để đạt được định lý tương tự Định lý Levy-Steinitz ta cần phải đặt thêm điều kiện lên chuỗi hoặc lên không gian. Trong chương 3, ta sẽ chứng minh kết quả tương tự Định lý Levy-Steinitz trong không gian vectơ tôpô lồi địa phương khả mêtríc với điều kiện thu hẹp được đặt lên chuỗi: điều P kiện (σ, θ). Một chuỗi ai trong không gian vectơ tôpô E được gọi là thỏa điều kiện (σ, θ) nếu với mọi phép hoán vị σ : N → N, luôn tồn tại P∞ một dãy (θi )∞ i=1 với θi ∈ {−1, 1} sao cho chuỗi i=1 aσ(i) θi hội tụ trong E. Trong chương 4, ta sẽ chứng minh Định lý Levy-Steinitz đúng trong không gian hạch khả mêtric mà không cần bất cứ điều kiện gì đặt lên chuỗi. 4. Ý nghĩa khoa học và thực tiễn Định Lý Levy-Steinitz cho ta một cái miêu tả đầy đủ về miền tổng của
4 chuỗi trong không gian hữu hạn chiều. Hơn nữa Định lý Levy-Steinitz là tiền đề cho các nhà toán học có cơ sở để nghiên cứu sâu hơn miền tổng của chuỗi hay tổng quát hơn là chuỗi trong không gian vô hạn chiều.
5 Chương 1 MỘT SỐ KIẾN THỨC CHUẨN BỊ 1.1 Ánh xạ hạch và không gian hạch Cho E và Eα (α ∈ A) là các không gian vectơ trên trường K, fα ánh xạ tuyến tính từ E vào Eα , và Tα là một tôpô lồi địa phương trên Eα (α ∈ A). Tôpô xạ ảnh T trên E tương ứng với họ {(Eα , Tα , fα ) : α ∈ A} là tôpô thô nhất trên E sao cho mỗi ánh xạ fα (α ∈ A) từ E vào (Eα , Tα ) là liên tục. Từ định nghĩa trên ta có nếu x ∈ E và xα = fα (x) ∈ Eα thì một cơ sở T -lân cận của x được cho bởi họ α∈H fα−1 (Uα ), với Uα là lân cận tùy ý T của xα tương ứng với Tα và H là một tập con hữu hạn tùy ý của A. Vì fα là các ánh xạ tuyến tính và Tα là tôpô lồi địa phương trên Eα nên T là tôpô lồi địa phương trên E. Định lý 1.1 [8] Tôpô xạ ảnh trên E tương ứng với họ {(Eα , Tα , fα ) : α ∈ A} là tôpô Hausdorff nếu và chỉ nếu với mỗi 0 6= x ∈ E, tồn tại α ∈ A và một lân cận Uα của 0 trong Eα sao cho fα (x) ∈ / Uα .
6 Định lý 1.2 [8] Một ánh xạ u từ không gian vectơ F vào không gian vectơ E, với tôpô trên E là tôpô xạ ảnh cảm sinh bởi họ {(Eα , Tα , fα ) : α ∈ A}, là liên tục nếu và chỉ nếu với mỗi α ∈ A, fα ◦ u liên tục từ F vào (Eα , Tα ). Cho A là một tập chỉ số cùng với một quan hệ thứ tự ” 5 ”. Cho {Eα : α ∈ A} là họ không gian lồi địa phương trên K và với α 5 β, gαβ là một ánh xạ tuyến tính liên tục từ Eβ vào Eα . E là không gian con của Q α Eα thỏa với mỗi x = (xα ) ∈ E thì xα = gαβ (xβ ) với mọi α 5 β; E được gọi là giới hạn xạ ảnh của họ {Eα : α ∈ A} tương ứng với các ánh xạ gα,β (α, β ∈ A; α 5 β), và ký hiệu là limgαβ (Eβ ). Hiển nhiên rằng tôpô ← trên E là tôpô xạ ảnh trên E tương ứng với họ {(Eα , Tα , fα ) : α ∈ A} với Tα là tôpô trên Eα và fα là thu hẹp của lên E của ánh xạ chiếu Q pα : β : Eβ → Eα . Định lý 1.3 [8] Giới hạn xạ ảnh của một họ các không gian lồi địa phương tựa đầy đủ (đầy đủ) là tựa đầy đủ (đầy đủ). Định lý 1.4 [8] Mỗi không gian vectơ tôpô lồi địa phương đầy đủ E thì đẳng cấu với giới hạn xạ ảnh của một họ các không gian Banach; họ này có thể được chọn sao cho lực lượng của nó bằng với lực lượng của cơ sở lân cận 0 của E. Hệ quả 1.1 [8] Mỗi không gian Frechet thì đẳng cấu với giới hạn xạ ảnh một một dãy các không gian Banach.
7 Hệ quả 1.2 [8] Mỗi không gian lồi địa phương thì đẳng cấu với một không gian con của một tích các không gian Banach. Cho E là không gian vectơ trên trường K và V là một tập lồi, cân và hấp thụ của E. Khi đó {n−1 V : n ∈ N} là một cơ sở lân cận của tôpô lồi địa phương =V trên E. Không gian vectơ tôpô Haudorff kết hợp với (E, =V ) là không gian thương (E, =V )/p−1 (0), với p là hàm cở của V ; không gian thương này là khả chuẩn với chuẩn xˆ → ||ˆ x|| = p(x), x ∈ xˆ. Ta ký hiệu EV là không gian định chuẩn (E/p−1 (0), ||.||) vừa mới giới thiệu ở trên và E˜V là đầy đủ hóa của nó (E˜V là không gian Banach). Nếu E là không gian lồi địa phương và V là lân cận lồi cân thì tôpô của không gian thương E/p−1 (0) mịn hơn tôpô của EV . Do vậy ánh xạ thương (ánh xạ chính tắc) là liên tục từ E vào E˜V ; ký hiệu ánh xạ này là ΦV . Đối ngẫu lại, nếu E là không gian lồi địa phương và B 6= ∅ là tập lồi, cân và bị chặn của E thì E1 = ∞ S n=1 nB là không gian con của E. Hàm cở pB của B trong E1 là một chuẩn trên E1 ; Không gian định chuẩn (E1 , pB ) được ký hiệu là EB . Rõ ràng phép nhúng (chính tắc) ΨB : EB → E là liên tục. Hơn nữa nếu B đầy đủ trong E thì EB là không gian đầy đủ. Trong trường hợp V = B là tập lồi, cân, hấp thụ và bị chặn thì EV và EB là đồng nhất. Nếu U và V là các tập lồi, cân và hấp thụ của E với các hàm cở tương ứng p, q và thỏa U ⊂ V , thì p−1 (0) ⊂ q −1 (0) và mỗi lớp tương đương xˆ mod p−1 (0) được chứa trong duy nhất một lớp tương đương yˆ mod q −1 (0); xˆ → yˆ là một ánh xạ tuyến tính ΦV,U và gọi là ánh xạ
8 chính tắc từ EU đến EV . Vì ΦV,U là liên tục nên có duy nhất một mở rộng liên tục trên E˜U đến E˜V và cũng được gọi là ánh xạ chính tắc, ký ˜ V,U . hiệu là Φ Tương tự, nếu B và C là các tập lồi, cân và bị chặn của không gian lồi địa phương E sao cho ∅ = 6 B ⊂ C thì EB ⊂ EC và phép nhúng chính tắc ΨC,B : EB → EC là liên tục. Nếu U, V, B, C là các tập như đã nêu trên và ΦU , ΦV , ΨB , ΨC là các ánh xạ chính tắc E → E˜U , E → E˜V , EB → E và EC → E thì ta có mối liên hệ ΦV = ΦV,U ◦ ΦU và ΨC = ΨC,B ◦ ΨB . Cho E, F là các không gian lồi địa phương và E 0 là đối ngẫu tôpô của E. Mỗi phần tử v ∈ E 0 ⊗ F xác định một ánh xạ tuyến tính u ∈ L(E, F ): Xr x 7−→ u(x) = fi (x)yi i=1 Pr nếu v = i=1 fi ⊗ yi và v → u là một phép đẳng cấu (đại số) của E 0 ⊗ F vào L(E, F ). Ánh xạ u ∈ L(E, F ) được sinh ra bởi v ∈ E 0 ⊗ F được gọi là ánh xạ liên tục với bậc hữu hạn; Hạng r của u chính là hạng của v. Những ánh xạ với bậc hữu hạn là một trường hợp đặc biệt của ánh xạ tuyến tính compact từ E vào F . Giả sử E, F là các không gian Banach và E 0 là không gian Banach (đối ngẫu mạnh của E). Khi đó, phép nhúng v → u là liên tục với tôpô xạ ảnh trên E 0 ⊗ F và tôpô định chuẩn trên L(E, F ). Nếu v ∈ E 0 ⊗ F thì r X r X ||u|| = sup ||u(x)|| ≤ sup |fi (x)| ||yi || ≤ ||fi || ||yi || ||x||≤1 ||x||≤1 i=1 i=1 Pr với mọi v = i=1 fi ⊗ yi ; vì vậy ||u|| ≤ r(v) với chuẩn r là tích tensor của các chuẩn tương ứng trên E và F . Vì L(E, F ) là đầy đủ với tôpô định
9 0⊗F chuẩn nên phép nhúng v → u có một mở rộng liên tục τ tới v ∈ E^ với giá trị trong L(E, F ). Các ánh xạ tuyến tính chứa trong miền giá trị của τ được gọi là hạt nhân; cụ thể u ∈ L(E, F ) là hạt nhân nếu tồn 0 ⊗ F để u = τ (v). tại v ∈ E^ Bây giờ ta định nghĩa ánh xạ hạt nhân cho không gian lồi địa phương E, F . Một ánh xạ tuyến tính u : E → F là bị chặn nếu tồn tại một lân cận U trong E sao cho u(U ) là tập bị chặn trong F ; mỗi ánh xạ bị chặn u này là liên tục. Một ánh xạ bị chặn u có khai triển như sau: lấy U là lân cận lồi, cân trong E sao cho u(U ) ⊂ B, với B là tập lồi, cân và bị chặn trong F ; khi đó u = ΨB ◦ u0 ◦ ΦU với u0 là ánh xạ trong L(EU , FB ) cảm sinh bởi u. Nếu thêm điều kiện FB đầy đủ thì u0 có mở rộng liên tục u¯0 ∈ L(E˜U , FB ) với u = ΨB ◦ u¯0 ◦ ΦU . Khi đó, ta định nghĩa: Định nghĩa 1.1 [8] Một ánh xạ tuyến tính u của không gian lồi địa phương E đến một không gian lồi địa phương F gọi là hạch nếu tồn tại một lân cận U lồi, cân trong E sao cho u(U ) ⊂ B, với B bị chặn, FB đầy đủ và sao cho ánh xạ cảm sinh u¯0 là hạch từ E˜U đến FB . Định lý 1.5 [8] Một ánh xạ tuyến tính u ∈ L(E, F ) là hạch nếu và chỉ nếu nó có dạng ∞ X x 7−→ u(x) = λn fn (x)yn n=1 P∞ với n=1 |λn | < +∞, {fn } là dãy đồng liên tục trên E 0 và {yn } là dãy chứa trong tập lồi, cân, đóng và bị chặn B của F với FB đầy đủ. Hệ quả 1.3 [8] Mỗi ánh xạ hạch là compact.
10 Hệ quả 1.4 [8] Cho E, F, F, H là các không gian lồi địa phương, u ∈ L(E, F ) và ω ∈ L(G, H) và cho v là ánh xạ hạch của F vào G. Khi đó v ◦ u và ω ◦ u là các ánh xạ hạch. Hệ quả 1.5 [8] Nếu u ∈ L(E, F ) là hạch thì u có duy nhất một mở rộng ˜ F ) với E˜ là đầy đủ hóa của E và u¯ là ánh xạ hạch. u¯ ∈ L(E, Định nghĩa 1.2 [8] Một không gian lồi địa phương E là hạch nếu tồn tại một cơ sở lân cận B của 0 gồm các tập lồi cân trong E sao cho với mỗi V ∈ B, ánh xạ E → E˜V là hạch. Từ định nghĩa trên ta thấy Rn (Cn ) là các không gian hạch. Thật vậy, với bất kỳ lân cận lồi, cân V , EV = E˜V là không gian hữu hạn chiều; vì vậy E → E˜V có bậc hữu hạn và do đó là ánh xạ hạch. Hơn nữa, một không gian định chuẩn không thể là không gian hạch nếu nó không hữu hạn chiều. Vì nếu V là lân cận lồi, cân và bị chặn thì E → EV là một tự đẳng cấu tôpô; mặt khác do E → E˜V là ánh xạ hạch nên theo Định lý (1.3) nó là compact. Từ đó suy ra E là hữu hạn chiều. Định lý 1.6 [8] Cho E là không gian lồi địa phương. Các khẳng đỉnh sau là tương đương: a) E là không gian hạch. b) Mỗi ánh xạ tuyến tính liên tục của E vào không gian Banach tùy ý là ánh xạ hạch.
11 c) Mỗi lân cận lồi, cân U của E đều chứa một lân cận V sao cho ánh xạ chính tắc E˜V → E˜U là ánh xạ hạch. Hệ quả 1.6 [8] Nếu E là không gian hạch thì E → E˜V là ánh xạ hạch với mỗi lân cận V lồi, cân trong E. Hệ quả 1.7 [8] Mỗi tập bị chặn của không gian hạch là tiền compact. Định lý 1.7 [8] Cho E là không gian hạch và U là một lân cận trong E và p ∈ [1, +∞) ∩ N. Khi đó tồn tại một lân cận lồi, cân V ⊂ U sao cho E˜V là đẳng cấu (chuẩn) với một không gian con của không gian lp . Hệ quả 1.8 [8] Cho E là không gian hạch và cho {Eα , α ∈ A} là họ các không gian Banach, mỗi Eα đẳng cấu với một không gian lp (1 ≤ p ≤ ∞). Khi đó tồn tại các ánh xạ tuyến tính fα từ E vào Eα sao cho tôpô của E là tôpô thô nhất làm tất cả các fα liên tục. Hệ quả 1.9 [8] Trong mỗi không gian hạch E, tồn tại một cơ sở lân cận {Vα : α ∈ A} của 0 sao cho với mỗi α ∈ A, E˜Vα là một không gian Hilbert; vì vậy tôpô của E có thể được sinh bởi một họ các nửa chuẩn, mỗi nửa chuẩn này được sinh từ một dạng Hermite nửa xác định dương trên E × E. Hệ quả 1.10 [8] Mỗi không gian hạch đầy đủ đẳng cấu với giới hạn xạ ảnh của một họ thích hợp các không gian Hilbert. Một không gian Frechet E là hạch nếu và chỉ nếu nó là giới hạn xạ ảnh của một dãy các không gian Hilbert, E = limgmn Hn sao cho gmn là ánh xạ hạch với m < n. ←
12 1.2 Các kiến thức cơ bản về chuỗi Định nghĩa 1.3 [6] Một chuỗi trong không gian vectơ E được định nghĩa là biểu diễn của một dạng tổng vô hạn số hạng trong E: x1 + x2 + · · · + xn + · · · P∞ Biểu diễn k=1 xk được dùng như một ký hiệu viết tắt của chuỗi. Định nghĩa 1.4 [6] Tổng Sn = nk=1 xk của hữu hạn phần tử đầu tiên P của chuỗi ∞ P k=1 xk được gọi là tổng riêng của chuỗi. Định nghĩa 1.5 [6] Một chuỗi được gọi là hội tụ nếu dãy tổng riêng của nó hội tụ theo tôpô trên không gian. Giới hạn của dãy tổng riêng được gọi là tổng của chuỗi: s = limn→∞ Sn . Khi đó, ta viết s = ∞ P k=1 xk và hiểu rằng chuỗi ∞ P k=1 xk hội tụ và tổng của nó bằng S. Định nghĩa 1.6 [6] Một đoạn của chuỗi được định nghĩa là tổng của hữu hạn phần tử của chuỗi lấy theo thứ tự: X n xk = Sn − Sm . m+1 Định lý 1.8 (Tiêu chuẩn Cauchy cho sự hội tụ của chuỗi)[6] Chuỗi P∞ k=1 xk hội tụ trong không gian đầy đủ E nếu và chỉ nếu dãy các đoạn con của nó hội tụ đến 0. P∞ Định nghĩa 1.7 [6] Chuỗi k=1 xk được gọi là hội tụ không điều kiện nếu nó hội tụ với mọi sự sắp xếp lại các số hạng của chuỗi (khi đó các chuỗi được sắp xếp lại có cùng tổng).
13 P∞ Định nghĩa 1.8 [6] Chuỗi k=1 xk được gọi là hội tụ có điều kiện nếu nó hội tụ nhưng không phải là hội tụ không điều kiện. Định nghĩa 1.9 [6] Cho chuỗi ∞ P k=1 xk là chuỗi trong không gian vectơ tôpô E. Miền tổng của chuỗi ∞ P P∞ k=1 xk được định nghĩa là tập DS( k=1 xk ) gồm những x ∈ E sao cho chuỗi ∞ P k=1 xπ(k) hội tụ về x vơi π là một hoán vị của N. 1.3 Một số kiến thức bổ sung Cho p là một nửa chuẩn trên không gian vectơ E. Ta ký hiệu Bp = {u ∈ E : p(u) ≤ 1}. Ta nói p là nửa chuẩn tiền Hilbert nếu p2 (u + v) + p2 (u − v) = 2p2 (u) + 2p2 (v) với mọi u, v ∈ E. Cho q ≤ p là một nửa chuẩn khác trên E. Ta ký hiệu dk (Bp , Bq ) là đường kính k-Kolmogorov của Bp tương ứng với Bq : dk (Bp , Bq ) = inf inf{ > 0 : Bp ⊂ L + Bq } L trong đó inf lấy trên tất cả các không gian L của E với dim L < k. Do đó, nếu E = Rn , Bn là quả cầu đơn vị và Bp là một ellipsoid n-chiều với các bán trục chính λ1 ≥ · · · ≥ λn , thì dk (Bp , Bn ) = λk với k = 1, · · · , n.
14 P Định lý 1.9 [5] Cho là một vành các tập hợp, v là một hàm tập hợp P cộng tính trên với giá trị trong không gian định chuẩn E, M là tập P tất cả các giá trị của v trên và δ là một số không âm tùy ý. Giả sử M có tính chất sau: với mọi a, b ∈ M , tồn tại một vectơ c ∈ M sao cho 1 kc − (a + b)k ≤ δ. 2 Khi đó M là một (2δ + )-lưới của convM với mọi > 0. Định lý 1.10 (Định lý Mitiagin) Một không gian lồi địa phương E là không gian hạch nếu và chỉ nếu với mọi lân cận lồi cân U của 0 trong E tồn tại một lân cận lồi cân V của 0 sao cho limk→∞ k p dk (V, U ) = 0 với mọi (hoặc một) p > 0.
15 Chương 2 ĐỊNH LÝ LEVY-STEINITZ TRONG KHÔNG GIAN HỮU HẠN CHIỀU P Định nghĩa 2.1 [6] Giả sử rằng chuỗi xi hội tụ có điều kiện với tổng s trong không gian Banach E. Một hàm tuyến tính f ∈ X ∗ được gọi là xk nếu ∞ P P hàm hội tụ có điều kiện của chuỗi i=1 |f (xi )| < ∞. Tập các xk là một không gian con Γ của X ∗ . P hàm hội tụ của chuỗi Đặt Γ◦ = {x ∈ X : f (x) = 0 ∀f ∈ Γ}. Γ◦ là không gian con đóng của X. Đặt P ({xk }∞ 1 ) = {xi1 + xi2 + · · · + xip : i1 < i2 < · · · < ip ; p ∈ N}, và XN Q({xk }∞ 1 ) ={ λi xi : 0 ≤ λi ≤ 1, N = 1, 2, · · · }. i=1
16 Ta có: P ({xk }∞ ∞ ∞ 1 ) ⊂ Q({xk }1 ) và Q({xk }1 ) là tập lồi. ¯ = clo Q({xk }∞ Ký hiệu Q 1 ). P∞ Định lý 2.1 (Levy-Steinitz) [6] Giả sử chuỗi i=1 xi hội tụ về s trong P không gian m chiều E. Khi đó miền tổng của chuỗi xi là đa tạp n chiều (n ≤ m), cụ thể là X DS( xi ) = s + Γ ◦ . Để chứng minh định lý Levy-Steinitz ta cần chứng minh một số bổ đề quan trọng sau: Bổ đề 2.1 [6] Cho K là một đa diện trong Rn được xác định bởi:   fi (x) = ai , i = 1, 2, · · · , p,  g (x) ≤ b , j = 1, 2, · · · , q, j j với fi và gj là các phiếm hàm tuyến tính. Giả sử x◦ là một đỉnh của K và đặt A = {j : gj (x◦ ) = bj }. Khi đó card(A) ≥ n − p. Chứng minh. Giả sử phản chứng rằng card(A) < n − p. Khi đó hệ   fi (x) = 0, i = 1, 2, · · · , p,  g (x) = 0, j ∈ A, j có nghiệm không tầm thường x1 . Với đủ nhỏ ta có x◦ ± x1 ∈ K. Điều này mâu thuẫn với x◦ là đỉnh của K. Vậy card(A) ≥ n − p.
17 Bổ đề 2.2 (Bổ đề làm tròn hệ số) [6] Cho x1 , x2 , · · · , xn là dãy hữu hạn phần tử của không gian định chuẩn m-chiều, (λi ) ∈ [0, 1]n và x = Pn n i=1 λi xi . Khi đó tồn tại (θi ) ∈ {0, 1} (bộ làm tròn hệ số) sao cho n X m ||x − θi xi || ≤ max ||xi ||. i=1 2 i Chứng minh. 1 Nếu n ≤ m, ta chọn θi = 0 khi λi ≤ 2 và θi = 1 khi λi > 12 . Khi đó, n n X X m ||x − θi xi || ≤ |λi − θi | ||xi || ≤ max ||xi ||. i=1 i=1 2 i Ta xét trường hợp còn lại khi n > m. Xét đa diện K trong Rn được xác định như sau:   0 ≤ ti ≤ 1, i = 1, 2, · · · , n,  Pn t x = x, (gồm m phương trình vô hướng). i=1 i i Do (λi ) ∈ K nên K khác rỗng, mặt khác K bị chặn nên có đỉnh T = (t¯i )ni=1 . Theo Bổ đề 2.1, trong số các t¯i có ít nhất n − m số bằng 0 hoặc 1. Khi đó, (θi )ni=1 được xác định như sau:   t¯ , t¯ ∈ {0, 1},  i i   θi = 0, t¯i ∈ (0, 21 ],    1, t¯ ∈ ( 1 , 1).  i 2 Ta thấy bộ (θi )ni=1 thỏa mãn bất đẳng thức. Thật vậy, n X n X n X ||x − θi xi || = || θi xi − t¯i xi || i=1 i=1 i=1 n X m ≤ |θi − t¯i | ||xi || ≤ max ||xi ||. i=1 2 i