Header Page of 89 ĐẠI HỌC THÁI NGUYÊN TRƯỜNG ĐẠI HỌC SƯ PHẠM ĐỖ THANH TRÀ ĐỊNH LÝ KKM VÀ CÁC VẤN ĐỀ LIÊN QUAN TRONG LÝ THUYẾT TỐI ƯU VECTƠ LUẬN VĂN THẠC SỸ TOÁN HỌC Thái Nguyên - 2011 Footer Page of 89.Trung tâm Học liệu – Đại học Thái Nguyên Số1hóa http://www.lrc-tnu.edu.vn Header Page of 89 ĐẠI HỌC THÁI NGUYÊN TRƯỜNG ĐẠI HỌC SƯ PHẠM ĐỖ THANH TRÀ ĐỊNH LÝ KKM VÀ CÁC VẤN ĐỀ LIÊN QUAN TRONG LÝ THUYẾT TỐI ƯU VECTƠ Chuyên ngành: GIẢI TÍCH 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: GS.TSKH NGUYỄN XUÂN TẤN Thái Nguyên - 2011 Footer Page of 89.Trung tâm Học liệu – Đại học Thái Nguyên Số2hóa http://www.lrc-tnu.edu.vn Header Page of 89 i Mục lục MỞ ĐẦU 1 Kiến thức 1.1 1.2 Các không gian cần dùng 1.1.1 Không gian Banach 1.1.2 Không gian Hilbert 1.1.3 Không gian tôpô tuyến tính lồi địa phương Ánh xạ đa trị 10 1.2.1 Tính liên tục ánh xạ đa trị 10 1.2.2 Tính lồi ánh xạ đa trị 25 Ánh xạ KKM 29 2.1 Định nghĩa tính chất 29 2.2 Các định lý điểm bất động 34 2.3 Các ứng dụng 42 Bài toán tựa cân tổng quát loại II 48 3.1 Đặt toán 48 3.2 Sự tồn nghiệm toán (GEP )II 51 3.3 Một số vấn đề liên quan 55 KẾT LUẬN 64 Tài liệu tham khảo 65 Footer Page of 89.Trung tâm Học liệu – Đại học Thái Nguyên Số3hóa http://www.lrc-tnu.edu.vn Header Page of 89 MỞ ĐẦU Một định lý tiếng toán học kỉ trước Nguyên lý điểm bất động Brouwer Đó định lý trung tâm lý thuyết điểm bất động nguyên lý giải tích phi tuyến Định lý Brouwer chứng minh năm 1912, dựa vào công cụ sâu sắc tôpô lý thuyết bậc ánh xạ liên tục nên phức tạp Vì thế, nhiều nhà toán học tìm cách chứng minh Nguyên lý điểm bất động Brouwer công cụ đơn giản Năm 1929, ba nhà toán học Ba Lan Knaster, Kuratowski Mazurkiewicz chứng minh kết quan trọng mang tên ”Bổ đề KKM” phương pháp tương đối sơ cấp mà từ suy Nguyên lý điểm bất động Brouwer Bổ đề KKM chứng minh dựa kết Sperner năm 1928 phép tam giác phân đơn hình, thuộc lĩnh vực toán tổ hợp, lĩnh vực tưởng chừng không liên quan đến lý thuyết điểm bất động Một điều thú vị từ Nguyên lý điểm bất động Brouwer ta chứng minh Bổ đề KKM, từ Nguyên lý điểm bất động Brouwer Bổ đề KKM tương đương Từ Bổ đề KKM đặt tảng tạo bước ngoặt lớn cho phát triển ”Lý thuyết KKM” Mặc dù Bổ đề KKM quan trọng, cho ta chứng minh đơn giản Nguyên lý điểm bất động Brouwer lại hạn chế áp dụng cho không gian vectơ hữu hạn chiều Để khắc phục điều này, năm 1961, nhà toán học tiếng Ky Fan mở rộng bổ đề KKM cho trường hợp không gian vectơ tôpô Định lý Ky Fan ngày gọi Footer Page of 89.Trung tâm Học liệu – Đại học Thái Nguyên Số4hóa http://www.lrc-tnu.edu.vn Header Page of 89 ”Nguyên lý ánh xạ KKM” Nguyên lý ánh xạ KKM.Giả sử E không gian vectơ tôpô bất kì, X tập khác rỗng E F : X → 2E ánh xạ thỏa mãn F(x) tập đóng với x ∈ X; n F (xi ) với {x1 , x2 , , xn } ⊂ X; co {x1 , x2 , , xn } ⊂ i=1 F (x0 ) tập compact với x0 thuộc X Khi F (x) = ∅ x∈X Năm 1972, dựa vào Nguyên lý ánh xạ KKM năm 1961, Ky Fan chứng minh kết quan trọng mà sau người ta gọi ”Bất đẳng thức Ky Fan” Bất đẳng thức Ky Fan Giả sử E không gian vectơ tôpô bất kì, X tập lồi, compact, khác rỗng E f : X × X → R hàm số thỏa mãn f (x, x) ≤ với x ∈ X ; f (x, y) tựa lõm theo x với y cố định; f (x, y) nửa liên tục theo y với x cố định Khi đó, tồn y ∗ ∈ X cho f (x, y ∗ ) ≤ với x ∈ X Từ đây, Bất đẳng thức Ky Fan trở thành công cụ quan trọng để nghiên cứu toán như: Tối ưu, bất đẳng thức biến phân, điểm bất động, điểm cân Nash, điểm yên ngựa, Đến năm 1984, Ky Fan tiếp tục mở rộng Nguyên lý ánh xạ KKM chứng minh số kết quan trọng như: Các định lý ghép đôi (matching) cho phủ đóng hay phủ mở tập lồi, định lý điểm trùng định lý tương giao cho tập với thiết diện lồi Có thể nói, từ Nguyên lý ánh xạ KKM thu hút nhiều nhà toán học giới quan tâm, nghiên cứu suy nhiều kết Footer Page of 89.Trung tâm Học liệu – Đại học Thái Nguyên Số5hóa http://www.lrc-tnu.edu.vn Header Page of 89 Những kết nhiều dạng mở rộng tương đương tập hợp lại tên: Lý thuyết KKM Lý thuyết sử dụng rộng rãi công cụ hữu ích lĩnh vực như: Lý thuyết điểm bất động, lý thuyết minimax, toán kinh tế, tối ưu hóa, Mục đích luận văn trình bày số kết định lí KKM vấn đề liên quan lý thuyết tối ưu vectơ áp dụng vào tìm nghiệm toán tựa cân tổng quát loại II Ngoài phần mở đầu, kết luận tài liệu tham khảo, luận văn gồm ba chương Chương 1: Trình bày số kiến thức số không gian vectơ ánh xạ đa trị để tiện cho việc theo dõi luận văn Chương 2: Trình bày số kiến thức ánh xạ KKM ứng dụng Chương 3: Đề cập đến toán tựa cân tổng quát loại II, định lý tồn nghiệm số vấn đề liên quan Luận văn hoàn thành hướng dẫn tận tình nghiêm khắc GS.TSKH Nguyễn Xuân Tấn - Viện toán học Việt Nam Nhân dịp này, xin bày tỏ kính trọng, lòng biết ơn sâu sắc tới thầy Xin trân trọng cám ơn thầy, cô giáo thuộc viện toán học thầy, cô giáo trường ĐHSP Thái Nguyên trực tiếp giảng dạy tạo điều kiện thuận lợi cho suốt trình học tập nghiên cứu Xin thành kính cám ơn bố mẹ sinh thành nuôi dưỡng, cám ơn người thân yêu gia đình, bạn bè, đồng nghiệp bên cạnh ủng hộ, động viên giúp hoàn thành luận văn Do trình độ hạn chế, nên luận văn không tránh khỏi thiếu sót nội dung cách trình bày, tác giả mong nhận ý kiến đóng góp thầy cô bạn đọc để luận văn hoàn thiện Thái Nguyên, tháng năm 2011 Tác giả Đỗ Thanh Trà Footer Page of 89.Trung tâm Học liệu – Đại học Thái Nguyên Số6hóa http://www.lrc-tnu.edu.vn Header Page of 89 Chương Kiến thức Trong chương này, trình bày số kiến thức không gian cần dùng không gian Banach, không gian Hilbert, không gian tôpô tuyến tính lồi địa phương số tính chất ánh xạ đa trị tính liên tục, tính lồi theo nón ánh xạ đa trị, điều kiện cần đủ để ánh xạ đa trị liên tục liên tục theo nón Ta mối quan hệ tính chất tổng quát hóa số kết quen biết giải tích hàm, ví dụ hàm lồi nửa liên tục liên tục yếu, 1.1 Các không gian cần dùng Ta biết, xét toán, trước tiên phải nói đến không gian, sau nghiên cứu đến hàm số Cùng với phát triển toán học, người ta mở rộng việc xét toán từ không gian gồm số lên không gian mang tính trừu tượng như: không gian Banach, không gian Hilbert, không gian tôpô tuyến tính lồi địa phương, Sau đây, ta tóm tắt số kiến thức số không gian để tiện cho việc theo dõi luận văn 1.1.1 Không gian Banach Toán học đại xây dựng sở lý thuyết tập hợp với hệ tiên đề Người ta định nghĩa xác, cụ thể tập hợp Footer Page of 89.Trung tâm Học liệu – Đại học Thái Nguyên Số7hóa http://www.lrc-tnu.edu.vn Header Page of 89 mà coi chúng họ đối tượng có tính chất Ví dụ họ số nguyên dương tập hợp số tự nhiên, họ hàm số định nghĩa đoạn [a, b] tạo thành tập hợp hàm số đoạn thẳng ấy, họ học sinh học lớp học tập hợp học sinh lớp ấy, Các tập hợp thường kí hiệu chữ in hoa như: A, X, Y, phần tử chúng thường kí hiệu chữ: a, x, y, Nếu x phần tử tập hợp X, ta kí hiệu x ∈ X Ta có: Định nghĩa 1.1.1 a) Với cặp phần tử x, y tập hợp X (gọi tắt tập X), xác định qui tắc đó, số thực ρ(x, y), gọi khoảng cách x y b) Qui tắc nói thỏa mãn điều kiện sau: i) ρ(x, y) > x = y ; suy ρ(x, y) = x = y; ii) ρ(x, y) = ρ(y, x), với x, y (tính đối xứng); iii) ρ(x, y) ≤ ρ(x, z) + ρ(z, y), với x, y, z (bất đẳng thức tam giác); Hàm số ρ(x, y) gọi metric không gian X cặp (X, ρ) gọi không gian metric Ví dụ 1.1 a) Tập M tập số thực R với khoảng cách thông thường ρ(x, y) = |x − y| không gian metric n b) Không gian n chiều Rn với khoảng cách ρ(x, y) = (xi − yi )2 (với i=1 n x = (x1 , , xn ), y = (y1 , , yn ) ∈ R ), không gian metric Nhận xét: Trên tập hợp, chọn metric khác để có không gian metric khác Định nghĩa 1.1.2 Ta nói dãy điểm x1 , , xn , không gian metric X hội tụ tới điểm x không gian đó, lim ρ(xn , x) = Ta n→∞ kí hiệu xn → x hay limxn = x, điểm x gọi giới hạn dãy {xn } Nhận xét: Dãy dãy hội tụ dãy hội tụ Footer Page of 89.Trung tâm Học liệu – Đại học Thái Nguyên Số8hóa http://www.lrc-tnu.edu.vn Header Page of 89 Từ định nghĩa dãy hội tụ, ta có tính chất sau: 1) Nếu xn → x xn → x x = x’; 2) Nếu xn → x yn → y ρ(xn , yn ) → ρ(x, y) Định nghĩa 1.1.3 Cho X tập hợp Nếu X có hai phép tính: phép cộng hai phần tử X phép nhân số (thực phức) với phần tử X thỏa mãn điều kiện 1) x, y ∈ X x + y ∈ X , với x, y ∈ X ; 2) (x + y) + z = x + (y + z), với x, y, z ∈ X ; 3) x + y = y + x, với x, y ∈ X ; 4) Tồn ∈ X có tính chất: với x ∈ X x + = + x = x gọi phần tử gốc phần tử trung hòa; 5) Với x ∈ X tồn (- x) cho x + (−x) = 0; 6) 1.x = x, với x ∈ X ; 7) l.(k.x) = (l.k).x, với l, k ∈ K, x ∈ X ; 8) (l + k).x = l.x + k.x, với l, k ∈ K, x ∈ X ; 9) l.(x + y) = l.x + l.y , với l ∈ K, x, y ∈ X Khi đó, X gọi không gian tuyến tính Định nghĩa 1.1.4 Cho X không gian tuyến tính Hàm số : X → R+ thỏa mãn điều kiện: i) x ≥ 0, với x ∈ X x = ⇔ x = 0; ii) λx = |λ| x , với λ ∈ K, x ∈ X ; iii) x + y ≤ x + y , với x, y ∈ X ; gọi chuẩn cặp (X, ) không gian tuyến tính định chuẩn Định nghĩa 1.1.5 Giả sử (X, ) không gian tuyến tính định chuẩn Dễ thấy, hàm ρ : X × X → R (x, y) → ρ (x, y) = x − y metric Như vậy, không gian tuyến tính định chuẩn không gian metric Do đó, tính chất không gian metric cho không gian tuyến Footer Page of 89.Trung tâm Học liệu – Đại học Thái Nguyên Số9hóa http://www.lrc-tnu.edu.vn Header Page 10 of 89 tính định chuẩn Định nghĩa 1.1.6 Không gian tuyến tính định chuẩn (X, ) đầy đủ với metric xác định gọi không gian Banach n Ví dụ 1.2 a)Cho X = Rn với chuẩn x = (xi )2 , x = (x1 , x2 , , xn ) ∈ i=1 n R X không gian Banach b) Cho X = C[a,b] với chuẩn f = max |f (x)| , f ∈ X X không x∈[a,b] gian Banach n Định nghĩa 1.1.7 Cho dãy {xn } ⊆ (X, ), lập tổng riêng Sn = ∞ Nếu Sn → S ∈ X , ta nói chuỗi ∞ xi hội tụ S = i=1 ∞ ∞ xi hội tụ ta nói chuỗi chuỗi Nếu chuỗi i=1 xi i=1 xi tổng i=1 xi hội tụ tuyệt đối i=1 Định lý 1.1.8 Trong không gian Banach X, chuỗi hội tụ tuyệt đối hội tụ Chứng minh Ta cần chứng minh {Sn } dãy cauchy Thật vậy, với m m > n, Sm − Sn = xn+1 + + xm ≤ xi → n → ∞.Vì i=n+1 ∞ X đầy đủ, nên dãy {Sn } hội tụ Do đó, chuỗi n ∞ n xk , nên Sn ≤ xk ≤ k=1 k=1 xi hội tụ Hơn nữa, i=1 ∞ xk Do đó, S ≤ k=1 xk k=1 Chú ý 1.1 Điều ngược lại định lý đúng, tức không gian tuyến tính định chuẩn X, chuỗi hội tụ tuyệt đối hội tụ X không gian Banach 1.1.2 Không gian Hilbert Định nghĩa 1.1.9 Cho X không gian tuyến tính Nếu X có dạng song tuyến tính , : X × X → R (x, y) → x, y Footer Page 89 Số10 hóaofbởi Trung tâm Học liệu – Đại học Thái Nguyên thỏa mãn: http://www.lrc-tnu.edu.vn Header Page 55 of 89 52 tục đồng thời trên, liên tục Định nghĩa 3.2.2 Cho G : D → 2Y ánh xạ đa trị C nón Y Ta nói rằng: i) G C - tựa lồi trên D với x1 , x2 ∈ D, t ∈ [0, 1] G(x1 ) ⊆ G(tx1 + (1 − t)x2 ) + C ; G(x2 ) ⊆ G(tx1 + (1 − t)x2 ) + C ii) G C - tựa lồi D với x1 , x2 ∈ D, t ∈ [0, 1] G(tx1 + (1 − t)x2 ) ⊆ G(x1 ) − C ; G(tx1 + (1 − t)x2 ) ⊆ G(x2 ) − C Định nghĩa 3.2.3 Cho F : K × D × D → 2Y , Q : D × D → 2K ánh xạ đa trị Cho C : K × D → 2Y ánh xạ nón đa trị Ta nói rằng: i) F (Q, C) - tựa lồi theo đường chéo ba biến, với tập hữu hạn {x1 , x2 , , xn } ⊆ D, x ∈ co {x1 , x2 , , xn }, có số j ∈ {1, 2, , n} cho: F (y, x, xj ) ⊆ F (y, x, x) + C(y, x), với y ∈ Q(x, xj ) ii) F (Q, C) - tựa lồi theo đường chéo ba biến, với tập hữu hạn {x1 , x2 , , xn } ⊆ D, x ∈ co {x1 , x2 , , xn }, có số j ∈ {1, 2, , n} cho: F (y, x, x) ⊆ F (y, x, xj ) − C(y, x), với y ∈ Q(x, xj ) Định nghĩa 3.2.4 Cho F : K × D × D → 2X , Q : D × D → 2K ánh xạ đa trị Ta nói F Q - KKM với tập hữu hạn {t1 , t2 , , tn } ⊂ D x ∈ co {t1 , t2 , , tn }, có tj ∈ {t1 , t2 , , tn } cho ∈ F (y, x, tj ), với y ∈ Q(x, tj ) Định nghĩa 3.2.5 Cho R quan hệ hai K × D Ta nói R đóng với lưới (yα , xα ) → (y, x) R ((yα , xα )) xảy với α R(y, x) xảy Định nghĩa 3.2.6 Cho R quan hệ K × D × D Ta nói R Q - KKM với tập hữu hạn {t1 , t2 , , tn } ⊂ D x ∈ Footer Page 89 Số55 hóaofbởi Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn Header Page 56 of 89 53 co {t1 , t2 , , tn }, có tj ∈ {t1 , t2 , , tn } cho R(y, x, tj ) xảy với y ∈ Q(x, tj ) Sau đây, ta xét số điều kiện cần đủ cho tính C - liên tục trên, Mệnh đề 3.2.7 Cho F : K × D × D → 2Y ánh xạ đa trị C : K × D → 2Y ánh xạ nón đa trị, liên tục với giá trị đóng, lồi, khác rỗng 1) Nếu F C - liên tục (y0 , x0 , t0 ) ∈ domF F (y0 , x0 , t0 ) + C(y0 , x0 ) đóng, với lưới (yβ , xβ , tβ ) → (y0 , x0 , t0 ) , vβ ∈ F (yβ , xβ , tβ )+ C (yβ , xβ ) , vβ → v0 , kéo theo v0 ∈ F (y0 , x0 , t0 ) + C (y0 , x0 ) Ngược lại, F compact với lưới (yβ , xβ , tβ ) → (y0 , x0 , t0 ) , vβ ∈ F (yβ , xβ , tβ ) + C (yβ , xβ ) , vβ → v0 kéo theo v0 ∈ F (y0 , x0 , t0 ) + C (y0 , x0 ) F C - liên tục (y0 , x0 , t0 ) 2)Nếu F compact C - liên tục tai (y0 , x0 , t0 ) ∈ domF với lưới (yβ , xβ , tβ ) → (y0 , x0 , t0 ) , v0 ∈ F (y0 , x0 , t0 ) + C (y0 , x0 ), có lưới {vβ } , vβ ∈ F (yβ , xβ , tβ ) mà có lưới hội tụ vβγ , vβγ − v0 → c ∈ C (y0 , x0 ) (tức vβγ − v0 + c ∈ v0 + C (y0 , x0 )) Đảo lại, F (y0 , x0 , t0 ) compact với lưới (yβ , xβ , tβ ) → (y0 , x0 , t0 ) , v0 ∈ F (y0 , x0 , t0 )+C (y0 , x0 ), có lưới {vβ } , vβ ∈ F (yβ , xβ , tβ ) mà có lưới hội tụ vβγ , vβγ − v0 → c ∈ C (y0 , x0 ), F C - liên tục (y0 , x0 , t0 ) Chứng minh Chứng minh tương tự Mệnh đề 2.3 ([15]), ta điều phải chứng minh Kết chứng minh sở Định lý sau ([21]) Định lý 3.2.8 Cho D tập compact, lồi, khác rỗng X F : D → 2D ánh xạ đa trị thỏa mãn điều kiện sau: i) Với x ∈ D, x ∈ / F (x) F(x) lồi; ii) Với y ∈ D, F −1 (y) mở D Khi ấy, tồn x ∈ D cho F (x) = ∅ Footer Page 89 Số56 hóaofbởi Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn Header Page 57 of 89 54 Như hệ định lý trên, ta có định lý sau Định lý 3.2.9 Cho F : D → 2D ánh xạ đa trị có F −1 (y) mở intF −1 (x); tồn x ∈ D cho D, với y ∈ D D = x∈D x ∈ coF (x) Cho X, Y, Z không gian vectơ tôpô Hausdorff thực, D ⊆ X, K ⊆ Z tập khác rỗng Các ánh xạ đa trị Pi , i = 1, 2, Q F phần đầu Ta xét định lý sau: Định lý 3.2.10 Điều kiện đủ để toán (GEP )II có nghiệm là: i) D tập lồi, compact, khác rỗng; ii) P1 : D → 2D ánh xạ đa trị với tập điểm bất động đóng khác rỗng D0 = {x ∈ X |x ∈ P1 (x)}; iii) P2 : D → 2D ánh xạ đa trị với P2−1 (x) mở bao lồi coP2 (x) P2 (x) chứa P1 (x), với x ∈ D; iv) Q : D × D → 2K ánh xạ đa trị cho với t cố định thuộc D, ánh xạ đa trị Q(., t) : D → 2K l.s.c; v) Với t cố định thuộc D, tập B = {x ∈ D |0 ∈ / F (y, x, t) với y ∈ Q(x, t)} mở D; vi) F : K × D × D → 2Y ánh xạ đa trị Q - KKM Chứng minh Ta định nghĩa ánh xạ đa trị M : D → 2D bởi: M (x) = {t ∈ D |0 ∈ / F (y, x, t) , với y ∈ Q (x, t)} Chú ý rằng, cho x ∈ D, x ∈ P1 (x), xác định M (x) ∩ P2 (x) = ∅ ∈ F (y, x, t), với t ∈ P2 (x) y ∈ Q(x, t) Do đó, định lý chứng minh đầy đủ Vì mục đích ta chứng tỏ tồn điểm x Thật vậy, ngược lại, giả sử với x ∈ P1 (x) M (x) ∩ P2 (x) = ∅ Xét ánh xạ đa trị H : D → 2D định nghĩa bởi: co (M (x) ∩ P2 (x)) , x ∈ P1 (x) ; H (x) = P2 (x) , x ∈ / P1 (x) Ta chứng tỏ H thỏa mãn giả thiết Định lý 3.2.8 Thật vậy, Vì Footer Page 89 Số57 hóaofbởi Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn Header Page 58 of 89 55 H −1 (x) Hơn H(x) = ∅, ta có D = x∈D H (x) = (coM )−1 (x) ∩ (coP2 )−1 (x) ∪ P2 −1 (x) \D0 đó, D0 = {x ∈ D : x ∈ P1 (x)} tập đóng D Do đó, H −1 (x) tập mở D, với x ∈ D Hơn nữa, có x ∈ D cho x ∈ H(x) = coM (x) ∩ coP2 (x), tìm t1 , , tn ∈ M (x) −1 n n αi ti ,αi ≥ 0, cho x = i=1 αi = Do định nghĩa M, ta có: i=1 0∈ / F (y, x, ti ), với y ∈ Q(x, ti ), với i = 1, ,n Mặt khác, ánh xạ đa trị F Q - KKM, nên có số j = 1, , n cho: ∈ F (y, x, tj ), với y ∈ Q(x, tj ) Như vậy, ta có mâu thuẫn Vì vậy, ta kết luận rằng: với x ∈ D, x ∈ / H(x) Theo Định lý 3.2.8, suy tồn x ∈ D với H(x) = ∅ Nếu x ∈ / P1 (x), H(x) = P2 (x) = ∅, điều không xảy Vì thế, ta kết luận x ∈ P1 (x) H(x) = coM (x) ∩ coP2 (x) = ∅ Suy ra, ta có mâu thuẫn định lý chứng minh đầy đủ Ta nghiên cứu vài ứng dụng định lý tồn nghiệm toán tựa cân bằng, toán bao hàm thức biến phân, Chúng thể qua hệ sau: 3.3 Một số vấn đề liên quan Bài toán tựa cân vô hướng Hệ 3.3.1 Cho D, K, P1 , P2 , Q Định lý 3.2.10 Cho Φ : K × D × D → R hàm (Q, R+ ) - tựa lồi thực theo đường chéo với Φ(y, x, x) = 0, với y ∈ K, x ∈ D Trong phép cộng, giả sử với số t ∈ D, hàm Φ(., , t) : K × D → R nửa liên tục Thì tồn x ∈ D cho x ∈ P1 (x) Φ(y, x, t) ≥ 0, với t ∈ P2 (x) y ∈ Q(x, t) Footer Page 89 Số58 hóaofbởi Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn Header Page 59 of 89 56 Chứng minh Đặt F (y, x, t) = Φ(y, x, t) − R+ , với (y, x, t) ∈ K × D × D Ta có, với số t ∈ D, tập B = {x ∈ D |0 ∈ / F (y, x, t) , với y ∈ Q (x, t)} = {x ∈ D |Φ (y, x, t) < 0} mở D Vì Φ (Q, R+ ) - tựa lồi theo đường chéo ba biến, nên với tập hữu hạn {t1 , t2 , , tn } ⊆ D, x ∈ co {t1 , t2 , , tn }, có số j ∈ {1, 2, , n} cho: Φ(y, x, tj ) ∈ Φ(y, x, x) + R+ , với y ∈ Q(x, tj ) Điều kéo theo Φ(y, x, tj ) ≥ đó, ∈ F (y, x, tj ), với y ∈ Q(x, tj ) Điều cho thấy F ánh xạ đa trị Q - KKM từ K × D × D 2R Vì thế, P1 , P2 , Q F thỏa mãn tất điều kiện định lý 3.2.10 Suy ra, có x ∈ D cho: x ∈ P1 (x); ∈ F (y, x, t), với t ∈ P2 (x) y ∈ Q(x, t) Điều tương đương với Φ(y, x, t) ≥ 0, với t ∈ P2 (x) y ∈ Q(x, t) Bài toán quan hệ biến phân lý tưởng Trong hệ sau, giả sử C : K × D → 2Y ánh xạ nón đa trị, liên tục với giá trị lồi, đóng Hệ 3.3.2 Cho D, K, P1 , P2 Q định lý 3.2.10 Cho G, H : K × D × D → 2Y ánh xạ đa trị với giá trị compact G(y, x, x) ⊆ H(y, x, x) + C(y, x), với (y, x) ∈ K × D Cho C : K × D → 2Y ánh xạ nón đa trị với giá trị lồi, đóng, khác rỗng Trong phép cộng, giả sử: i) Với số t ∈ D, ánh xạ đa trị G(., , t) : K × D → 2Y (-C) -liên tục ánh xạ đa trị N : K × D → 2Y định nghĩa N (y, x) = H(y, x, x) C - liên tục trên; ii) G (Q, C) - tựa lồi theo đường chéo ba biến Thì tồn x ∈ D cho : x ∈ P1 (x) G(y, x, t) ⊆ H(y, x, x)+C(y, x), Footer Page 89 Số59 hóaofbởi Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn Header Page 60 of 89 57 với t ∈ P2 (x) y ∈ Q(x, t) Chứng minh Ta định nghĩa ánh xạ đa trị M : K × D → 2X F : K × D × D → 2D M (y, x) = {t ∈ D |G (y, x, t) ⊆ H (y, x, x) + C (y, x)} , (y, x) ∈ K × D; F (y, x, t) = t − M (y, x), (y, x, t) ∈ K × D × D Với số t ∈ D, đặt A = {x ∈ D |0 ∈ F (y, x, t) , với y ∈ Q (x, t)} = {x ∈ D |t ∈ M (y, x) , với y ∈ Q (x, t)} = {x ∈ D |G (y, x, t) ⊆ H (y, x, x) + C (y, x) , với y ∈ Q (x, t)} Ta chứng minh A đóng D Thật vậy, giả sử lưới {xα } ⊂ A xα → x Lấy y ∈ Q(x, t) tùy ý Vì Q(., t) ánh xạ nửa liên tục xα → x, nên tồn lưới {yα }, yα ∈ Q(xα , t) cho yα → y Với lân cận V điểm gốc Y, có số α0 cho với α ≤ α0 , bao hàm thức sau xác định: G(y, x, t) ⊆ G(yα , xα , t) + V + C(yα , xα ) ⊆ H(yα , xα , xα ) + V + C(yα , xα ) ⊆ H(y, x, x) + 2V + C(y, x) Từ điều kết hợp với giá trị compact H, suy G(y, x, t) ⊆ H(y, x, x) + C(y, x) Vì vậy, x ∈ A, đó, A đóng D tập B = D\A = {x ∈ D |0 ∈ / F (y, x, t) , với y ∈ Q(x, t) } mở D Hơn nữa, G(y, x, x) ⊆ H(y, x, x) + C(y, x), với (y, x) ∈ K × D G (Q, C) - tựa lồi theo đường chéo ba biến, nên ta kết luận rằng, với tập hữu hạn {t1 , , tn } ⊆ D, x ∈ co {t1 , , tn }, có số j ∈ {1, , n} cho G(y, x, tj ) ⊆ G(y, x, x) + C(y, x) ⊆ H(y, x, x) + C(y, x), với y ∈ Q(x, tj ) Điều ∈ F (y, x, tj ) F ánh xạ đa trị Q - KKM Suy ra, hệ chứng minh đầy đủ Áp dụng định lý 3.2.10, ta kết luận rằng, có x ∈ D cho x ∈ P1 (x) ∈ F (y, x, t), với t ∈ P2 (x) y ∈ Q(x, t) Footer Page 89 Số60 hóaofbởi Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn Header Page 61 of 89 58 Điều tương đương với G(y, x, t) ⊆ H(y, x, x) + C(y, x), với t ∈ P2 (x) y ∈ Q(x, t) Tương tự, ta có hệ sau Bài toán quan hệ biến phân lý tưởng Hệ 3.3.3 Cho D, K, P1 , P2 Q định lý 3.2.10 Cho G, H : K × D × D → 2Y ánh xạ đa trị với giá trị compact H(y, x, x) ⊆ G(y, x, x) − C(y, x), với (y, x) ∈ K × D Cho C : K × D → 2Y ánh xạ nón đa trị với giá trị lồi, đóng, khác rỗng Ta giả thiết: i) Với t ∈ D, ánh xạ đa trị G(., , t) : K × D → 2Y (-C) liên tục ánh xạ đa trị N : K × D → 2Y định nghĩa N (y, x) = H(y, x, x) C - liên tục dưới; ii) G (Q, C) - tựa lồi theo đường chéo ba biến Thì tồn x ∈ D cho x ∈ P1 (x) H(y, x, x) ⊆ G(y, x, t) − C(y, x), với t ∈ P2 (x) y ∈ Q(x, t) Chứng minh Chứng minh tương tự Hệ 3.3.2 Bài toán tựa cân yếu Hệ 3.3.4 Cho D, K, P1 , P2 Q Định lý 3.2.10 Cho G, H : K × D × D → 2Y ánh xạ đa trị với giá trị compact Cho C : K × D → 2Y ánh xạ nón đa trị liên tục với giá trị lồi, đóng, khác rỗng Ta giả thiết: i) Với t ∈ D, ánh xạ đa trị G(., , t) : K × D → 2Y (-C) - liên tục Ánh xạ đa trị N : K × D → 2Y định nghĩa N (y, x) = H(y, x, x), với (y, x) ∈ K × D C - liên tục ii) Với tập hữu hạn {t1 , , tn } ⊂ D x ∈ co {t1 , , tn }, có số j ∈ {1, , n} cho: G (y, x, tj ) ⊆ H (y, x, x) + intC (y, x), với t ∈ P2 (x) y ∈ Q(x, t) Thì tồn x ∈ D cho x ∈ P1 (x) Footer Page 89 Số61 hóaofbởi Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn Header Page 62 of 89 59 G (y, x, t) ⊆ H (y, x, x) + intC (y, x), với t ∈ P2 (x) y ∈ Q(x, t) Chứng minh Ta định nghĩa ánh xạ đa trị M : K × D → 2X F : K × D × D → 2D M (y, x) = {t ∈ D |G (y, x, t) ⊆ H (y, x, x) + intC (y, x)} , (y, x) ∈ K×D ; F (y, x, t) = t − M (y, x) , (y, x, t) ∈ K × D × D Với số t ∈ D, ta đặt A = {x ∈ D |0 ∈ F (y, x, t) , với y ∈ Q (x, t)} = {x ∈ D |t ∈ M (y, x) , với y ∈ Q (x, t)} = {x ∈ D |G (y, x, t) ⊆ H (y, x, x) +intC (y, x), với y ∈ Q (x, t)} Ta chứng minh tập đóng D Thật vậy, giả sử có lưới {xα } ⊂ D xα → x Lấy tùy ý y ∈ Q(x, t) Vì Q(., t) ánh xạ nửa liên tục xα → x, nên tồn lưới {yα } , yα ∈ Q(xα , t) cho yα → y Với lân cận V điểm gốc Y, có số α0 cho với α ≤ α0 , bao hàm thức sau không đổi: G(yα , xα , t) ⊆ G(y, x, t) + V − C(y, x); H(y, x, x) ⊆ H(yα , xα , xα ) + V + C(yα , xα ) Cho xα ∈ A, ta có: G(yα , xα , t) ⊆ H(yα , xα , xα ) + intC(yα , xα ); G(y, x, t)+V −C(y, x) ⊆ H(yα , xα , xα )+C(yα , xα )+intC(yα , xα ) Vì vậy, ta kết luận: G(y, x, t) + V − C(y, x) ⊆ H(y, x, x) + V + intC(y, x) nên G(y, x, t) + V ⊆ H(y, x, x) + intC(y, x), với lân cận V tùy ý điểm gốc Y Bây giờ, giả sử G(y, x, t) ⊆ H(y, x, x) + intC(y, x) Với lân cận Vα tùy ý điểm gốc Y, tồn aα ∈ G(y, x, t), vα ∈ Vα aα + vα ∈ / H(y, x, t) + intC(y, x) Footer Page 89 Số62 hóaofbởi Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn Header Page 63 of 89 60 Không tính tổng quát, ta giả sử aα → a vα → aα + vα → a ∈ G(y, x, t) ⊆ H(y, x, x) + intC(y, x) Nhưng, H(y, x, x) + intC(y, x) tập mở, nên tồn α0 cho với α ≤ α0 , aα + vα ∈ H(y, x, t) + intC(y, x), suy ta có mâu thuẫn Vì vậy, ta kết luận rằng: G(y, x, t) ⊆ H(y, x, x) + intC(y, x) Điều chứng tỏ x ∈ A A tập đóng D Do đó, với số t ∈ D, tập B = D\A = {x ∈ D |0 ∈ / F (y, x, t) , với y ∈ Q (x, t)} mở Hơn nữa, điều kiện ii) suy ánh xạ đa trị F Q - KKM Vì vậy, hệ chứng minh đầy đủ Áp dụng định lý 3.2.10, kết luận rằng: có x ∈ D cho x ∈ P1 (x) ∈ F (y, x, t), với t ∈ P2 (x) y ∈ Q(x, t) Điều tương đương với G(y, x, t) ⊆ H(y, x, x) + intC(y, x), với t ∈ P2 (x) y ∈ Q(x, t) Tương tự, ta thu hệ sau: Bài toán tựa cân yếu Hệ 3.3.5 Cho D, K, P1 , P2 Q định lý 3.2.10 Cho G, H : K × D × D → 2Y ánh xạ đa trị Cho C : K × D → 2Y ánh xạ nón đa trị liên tục với giá trị lồi, đóng, khác rỗng Trong phép cộng, giả sử: i) Với t ∈ D, ánh xạ đa trị G(., , t) : K × D → 2Y C liên tục ánh xạ đa trị N : K × D → 2Y định nghĩa N (y, x) = H(y, x, x) (-C) - liên tục có giá trị compact; ii) Với tập hữu hạn {t1 , , tn } ⊂ D x ∈ co {t1 , , tn }, có số j ∈ {1, , n} cho: H (y, x, x) ⊆ G (y, x, tj ) − intC (y, x) xác định,với t ∈ P2 (¯ x) y ∈ Q(x, t) Thì tồn x ∈ D cho x ∈ P1 (x) H (y, x¯, x¯) ⊆ G (y, x¯, t) −intC (y, x¯), với t ∈ P2 (x) y ∈ Q(x, t) Footer Page 89 Số63 hóaofbởi Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn Header Page 64 of 89 61 Chứng minh chứng minh tương tự Hệ 3.3.4 Bài toán tựa quan hệ biến phân Hệ 3.3.6 Cho D, K, P1 , P2 Q Định lý 3.2.10 Cho R quan hệ y ∈ K, x ∈ D, t ∈ D Giả thiết: i) Với số t ∈ D, quan hệ R(., , t)liên kết phần tử y ∈ K, x ∈ D đóng; ii) R Q - KKM; tồn x ∈ D cho x ∈ P1 (x) R(y, x, t) xác định, với t ∈ P2 (x) y ∈ Q(x, t) Chứng minh Ta định nghĩa ánh xạ đa trị M : K × D → 2X F : K × D × D → 2D bởi: M (y, x) = {t ∈ D |R (y, x, t) xác định }; F (y, x, t) = t − M (y, x), (y, x, t) ∈ K × D × D Với số t ∈ D, ta đặt: A = {x ∈ D |R (y, x, t) xác định, với y ∈ Q(x, t) } = {x ∈ D |0 ∈ F (y, x, t) , với y ∈ Q(x, t) } Lí luận tương tự chứng minh hệ 3.3.2, ta kêt luận tập đóng D., tập B = D\A = {x ∈ D |0 ∈ / F (y, x, t) , với y ∈ Q(x, t) } mở D Hơn nữa, dễ dàng kiểm tra R Q - KKM, nên ánh xạ đa trị F ánh xạ Q - KKM Vì vậy, hệ chứng minh đầy đủ Áp dụng Định lý 3.2.10, kết luận có x ∈ D cho x ∈ P1 (x) R(y, x, t) không đổi, với t ∈ P2 (x) y ∈ Q(x, t) Bài toán tương giao Hệ 3.3.7 Cho D, K, P1 , P2 Q định lý 3.2.10 Cho G : K × D → 2Y ánh xạ đa trị Trong phép cộng, giả sử: i) Với số t ∈ D, ánh xạ đa trị G(., t) : K → 2Y đóng; Footer Page 89 Số64 hóaofbởi Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn Header Page 65 of 89 62 ii) Với tập hữu hạn {t1 , t2 , , tn } ⊂ D x ∈ co {t1 , t2 , , tn }, có số j ∈ {1, 2, , n} cho: x ∈ G(y, tj ) xác định, với t ∈ P2 (x) y ∈ Q(x, t); tồn x ∈ D cho: x ∈ P1 (x) ∩ G (y, t) t∈P2 (x) y∈Q(x,t) Chứng minh Ta định nghĩa ánh xạ đa trị F : K × D × D → 2X F (y, x, t) = x − G(y, t), (y, x, t) ∈ K × D × D Với số t ∈ D, ta chứng tỏ tập A = {x ∈ D |0 ∈ F (y, x, t) , với y ∈ Q(x, t) } = {x ∈ D |x ∈ G (y, t) , với y ∈ Q(x, t) } đóng D Thật vậy, giả sử có lưới {xα } ⊂ A xα → x Lấy tùy ý y ∈ Q(x, t) Vì Q(., t) ánh xạ nửa liên tục xα → x nên tồn lưới {yα }, yα ∈ Q(xα , t) cho yα → y Vì thế, xα ∈ G(yα , t), xα → x, yα → y Từ tính xác G(., t), suy x ∈ G(y, t) Điều có nghĩa x ∈ A A đóng Do đó, tập B = D\A = {x ∈ D |0 ∈ / x − G (y, t) = F (y, x, t) , với y ∈ Q (x, t)} mở D Hơn nữa, điều kiện ii) kéo theo với tập hữu hạn {t1 , t2 , , tn } ⊂ D x ∈ co {t1 , t2 , , tn }, có số j ∈ {1, 2, , n} cho: ∈ F (y, x, tj ) xác định, với t ∈ P2 (x) y ∈ Q(x, t) Điều cho thấy F Q - KKM Vì vậy, hệ chứng minh đầy đủ Áp dụng Định lý 3.2.10, kết luận rằng, có x ∈ D cho x ∈ P1 (x) ∈ F (y, x, t) xác định, với t ∈ P2 (x) y ∈ Q(x, t) Điều mang lại kết x ∈ P1 (x) ∩ G (y, t) t∈P2 (x) y∈Q(x,t) Trường hợp đặc biệt hệ trên, ta có hệ sau Hệ 3.3.8 Cho D tập lồi, compact X Với ánh xạ Footer Page 89 Số65 hóaofbởi Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn Header Page 66 of 89 63 KKM G : D → 2D với giá trị đóng, khác rỗng, có G(t) = ∅ t∈D Chứng minh Việc chứng minh hệ hiển nhiên Hệ 3.3.9 Cho D, K, P1 , P2 Q định lý 3.2.10 Cho F ⊆ K × D × D tập thỏa mãn điều kiện sau: i) Với số t ∈ D, tập B = {x ∈ D |(y, x, t) ∈ / F , với y ∈ Q (x, t)} mở D; ii) Với tập hữu hạn {t1 , , tn } ⊂ D x ∈ co {t1 , , tn } , có số j ∈ {1, , n} cho (y, x, tj ) ∈ F , với t ∈ P2 (x) y ∈ Q(x, t); tồn x ∈ D cho x ∈ P1 (x) (y, x, t) ∈ F , với t ∈ P2 (x) y ∈ Q(x, t); Q (x, t) × {x} × {t} ⊆ F ) (Điều kéo theo t∈P2 (x) Chứng minh Ta định nghĩa ánh xạ đa trị M : K × D → 2X F : K × D × D → 2D M (y, x) = {t ∈ D |(y, x, t) ∈ F } , (y, x) ∈ K × D, F (y, x, t) = t − M (y, x), (y, x, t) ∈ K × D × D Do điều kiện i), với số t ∈ D, tập B = {x ∈ D |0 ∈ / F (y, x, t) , với y ∈ Q (x, t)} = {x ∈ D |(y, x, t) ∈ / F , với y ∈ Q (x, t)} mở D Hơn nữa, điều kiện ii) suy ánh xạ đa trị F Q - KKM Do đó, hệ chứng minh đầy đủ Footer Page 89 Số66 hóaofbởi Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn Header Page 67 of 89 64 KẾT LUẬN Luận văn đề cập đến vấn đề sau: • Một số khái niệm không gian Banach, Hilbert, Tôpô tuyến tính lồi địa phương; • Tính liên tục tính lồi ánh xạ đa trị; • Tìm hiểu chứng minh tương đối hoàn chỉnh số định lý điểm bất động cho ánh xạ đa trị thuộc lớp ánh xạ KKM; • Giới thiệu vấn đề liên quan định lý điểm trùng, định lý sánh đôi; • Tìm hiểu toán tựa cân tổng quát loại II định lý tồn nghiệm áp dụng điểm bất động định lý KKM Mặc dù có cố gắng nỗ lực, song hẳn luận văn không tránh khỏi hạn chế, thiếu sót Tác giả mong nhận ý kiến đóng góp thầy cô giáo bạn đồng nghiệp để luận văn hoàn thiện Xin trân trọng cảm ơn! Footer Page 89 Số67 hóaofbởi Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn Header Page 68 of 89 65 Tài liệu tham khảo Tài liệu tiếng Việt [1] Lê Hương Giang (2009), Các định lý điểm bất động ánh xạ đa trị chấp nhận tốt tập hầu lồi, luận văn tốt nghiệp [2] Nguyễn Thị Thanh Hà (2006), Một số vấn đề điểm bất động, NXB ĐHSP Hà Nội [3] Đỗ Hồng Tân Nguyễn Thị Thanh Hà (2003), Các định lý điểm bất động, NXB ĐHSP Hà Nội [4] Nguyễn Xuân Tấn Nguyễn Bá Minh (2006), Một số vấn đề lý thuyết tối ưu vectơ đa trị, NXB Giáo dục [5] Nguyễn Xuân Tấn Nguyễn Bá Minh (2007), Lý thuyết tối ưu không trơn, NXB ĐHQG Hà Nội Tài liệu tiếng Anh [6] J.P Aubin (1979), Mathematical Methods of Game and Economic Theory, North - Holland, Amsterdam [7] Berge C (1959), Espaces topologiques fonctions multivoques, Dunod, Paris [8] E.Blum and W.Oettli (1994), "From optimization and variational inequalities to quilibrium problems", Math Student,63 pp 23 - 145 [9] T.H.Chang (1998), KKM properties and Leray - Shauder principles, Far East Math J [10] T.H.Chang, C.L.Yen (1996), "KKM properties and fixed poind theorems", J.Math.Anal.Apply, 203, pp 224 - 235 [11] F.Ferro (1989), "A minimax theorem for vector - valued func- Footer Page 89 Số68 hóaofbởi Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn Header Page 69 of 89 66 tions", J.Optim.Theory and Appl,60, pp 19 - 31 [12] V.Klee (1960), "Leray - Shauder theory without local convexity", Math.Ann, 141, pp 286 - 297 [13] M.Lassonde (1983), "On the use of KKM multifuncttions in fixed point theory and related topics", J.Math.Anal.Appl, 97(1), pp 151 201 [14] Lai - Jiu Lin and Nguyễn Xuân Tấn (2007), On quasivariational inclusion problems of type I and related problems, J.Global.Optim, 39 [15] Lai - Jiu Lin, Zenn - Tsuen Yu (1999), "Fixed points theorems of KKM - type maps", Nonlin.Anal, 38, pp 265 - 275 [16] H.Ben - El - Michaiekh and P.Deguire (1992), "Approachability and Fixed point for non - convex set - valued maps ", J.Math.Anal.Appl, 170, pp 477 - 500 [17] M.Nagumo (1951), "Degree of mappings in convex linear topological space", Amer.J.Math, 73, pp 495 - 511 [18] Spark (1989), "Generalizations of Ky Fan’s matching theorems and thier applications", J.Math.Anal.Appl, 141, pp 164 - 176 [19] Spark (1994), "Foundations of the KKM theory via coincidences of composites of upper semicontinuous maps", J.Korean Math Soc, 31, pp 493 - 519 [20] N.C Yannelis and N.D Prabhaker (1983), "Existence of maximal elements and equilibria in linear topological spaces" , Jour of Math.Eco, Vol 12, pp 233 - 245 Footer Page 89 Số69 hóaofbởi Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn ... 89 ĐẠI HỌC THÁI NGUYÊN TRƯỜNG ĐẠI HỌC SƯ PHẠM ĐỖ THANH TRÀ ĐỊNH LÝ KKM VÀ CÁC VẤN ĐỀ LIÊN QUAN TRONG LÝ THUYẾT TỐI ƯU VECTƠ Chuyên ngành: GIẢI TÍCH Mã số: 60.46.01 LUẬN VĂN THẠC SỸ TOÁN HỌC Người... tên: Lý thuyết KKM Lý thuyết sử dụng rộng rãi công cụ hữu ích lĩnh vực như: Lý thuyết điểm bất động, lý thuyết minimax, toán kinh tế, tối ưu hóa, Mục đích luận văn trình bày số kết định lí KKM vấn. .. bày số kết định lí KKM vấn đề liên quan lý thuyết tối ưu vectơ áp dụng vào tìm nghiệm toán tựa cân tổng quát loại II Ngoài phần mở đầu, kết luận tài liệu tham khảo, luận văn gồm ba chương Chương