Tài liệu hạn chế xem trước, để xem đầy đủ mời bạn chọn Tải xuống
1
/ 54 trang
THÔNG TIN TÀI LIỆU
Thông tin cơ bản
Định dạng
Số trang
54
Dung lượng
573,62 KB
Nội dung
BỘ GIÁO DỤC VÀ ĐÀO TẠO TRƯỜNG ĐẠI HỌC SƯ PHẠM T.P HỒ CHÍ MINH _ VÕ SƠN PHÒNG PHẦN TỬ NGẪU NHIÊN VÀ SỰ HỘI TỤ YẾU CỦA ĐỘ ĐO XÁC SUẤT CHUN NGÀNH: TỐN 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 PGS.TS ĐẬU THẾ CẤP THÀNH PHỐ HỒ CHÍ MINH-2010 LỜI CAM ĐOAN Tơi xin cam đoan : Những nội dung luận văn thực hướng dẫn trực tiếp thầy Đậu Thế Cấp Mọi tham khảo dùng luận văn trích dẫn rõ ràng tên tác giả, tên cơng trình, thời gian, địa điểm cơng bố Mọi chép không hợp lệ, vi phạm quy chế đào tạo, hay gian trá, tơi xin chịu hồn tồn trách nhiệm Học viên Võ Sơn Phịng MỞ ĐẦU Lý thuyết độ đo không gian mêtric giữ vai trò quan trọng nhiều vấn đề giải tích xác suất Đã có nhiều kết đặc sắc lĩnh vực định lý Prohorov, định lý Varadarajans, định lý Fernigue … Mục đích luận văn nghiên cứu phần tử ngẫu nhiên hội tụ yếu độ đo xác suất khơng gian mêtric vấn đề có liên quan Luận văn hoàn thành trường Đại Học Sư Phạm Thành Phố Hồ Chí Minh hướng dẫn khoa học PGS TS Đậu Thế Cấp Tác giả xin bày tỏ lòng biết ơn tới Thầy hướng dẫn tận tâm nhiệt tình Thầy tác giả suốt trình học tập, nghiên cứu thực luận văn CHƯƠNG I MỘT SỐ KIẾN THỨC CƠ SỞ 1.1 GIẢI TÍCH HÀM VÀ LÍ THUYẾT ĐỘ ĐO 1.1.1 Khơng gian tôpô Cho X tập Một họ tập X gọi tôpô X có tính chất sau: (i) , X ; (ii) U i , i I iI U i ; (iii) U ,V U V Nếu tơpơ X cặp X ( X , ) gọi không gian tôpô Cho ( X , ) khơng gian tơpơ Khi tập U gọi tập mở Phần bù tập mở gọi tập đóng Cho A tập không gian tôpô X Tập đóng bé X chứa A gọi bao đóng A , kí hiệu A Tập A X gọi tập trù mật X A X Không gian tôpô ( X , ) gọi không gian khả li (hay tách được), có tập đếm trù mật Tập mở lớn chứa A gọi phần A , kí hiệu Một họ G I int A tập mở X gọi phủ mở X I G X Không gian tô pô X gọi không gian compăc từ phủ mở G I X trích phủ hữu hạn Tập A X gọi compăc compăc tơpơ cảm sinh, tức tôpô A U A : U A 1.1.2 Không gian mê tric Cho X Một ánh xạ d : X X gọi mêtric (hay khoảng cách) X với x, y, z X có (i) d ( x, y) 0, d x, y x y ; (ii) d x, y d y, x ; (iii) d x, y d x, z d z , y Nếu d mêtric cặp X ( X , d ) gọi không gian mêtric Giả sử X không gian mêtric Với x X , đặt B x, y X : d x, y gọi hình cầu tâm x bán kính Tập G X gọi mở x G tồn cho B x, G Họ tập mở X tôpô X , gọi tôpô sinh mê tric Không gian mêtric không gian tôpô với tơ pơ sinh mêtric Ta nói dãy xn X hội tụ x X d xn , x n Kí hiệu xn x (khi n ) hay lim xn x n 1.1.3 Định lí Tập F X tập đóng với dãy xn F , xn x X x F Giả sử X không gian mêtric Dãy xn X gọi dãy (hay dãy Cauchy) 0, N , m, n N : d xm , xn Không gian mêtric X gọi không gian đầy đủ dãy hội tụ Trong không gian mê tric X , tập A X tập compăc với dãy xn A , tồn dãy xnk xn cho xnk x A Nếu X khơng gian mêtric compăc tập đóng tập compăc Tập F không gian tôpô gọi tập có tính chất G F giao đếm tập mở 1.1.4 Định lí Trong khơng gian mê tric, tập đóng có tính chất G Chứng minh Giả sử F đóng khơng gian mêtric ( X , d ) Đặt 1 Gn x X : d x, F n Khi x Gn , ta có d x, F a 1 Đặt r a r n n d y , F d x, y d x, F r a , y B x, r n nên B x, r Gn Vậy Gn mở Ta chứng minh F G n Thật vậy, với x F ta có n 1 d x, F với n , nên x Gn với n hay x Gn n n 1 Do F Gn n 1 Ngược lại, với x G n ta có x Gn , n , nên d x, F n 1 yn F cho d x, yn G n n 1 , n Từ đó, với n có n nên lim d x, yn , chứng tỏ yn x Mà F đóng nên x F , n n F Vậy F Gn Từ suy F có tính chất G n 1 1.1.5 Khơng gian Banach thực Không gian vectơ thực E gọi không gian định chuẩn (thực) tồn ánh xạ : E thỏa mãn (i) x 0, x x ; (ii) x x ; (iii) x y x y với x, y E , Nếu đặt d x, y x y , với x, y E d mêtric E , gọi mêtric sinh chuẩn Không gian định chuẩn không gian mêtric với mêtric sinh chuẩn Không gian định chuẩn đầy đủ gọi không gian Banach Cho E khơng gian định chuẩn Kí hiệu E khơng gian phiếm hàm tuyến tính E , E khơng gian phiếm hàm tuyến tính liên tục E Với f E ta gọi chuẩn f f sup f x inf k : f x k x , x E x 1 Không gian E gọi không gian liên hợp (tôpô) E 1.1.6 Định lí (Định lí Hahn- Banach) Cho E không gian định chuẩn, F không gian E Khi với f F f f F , tồn f E cho f f 1.1.7 Hệ Cho E khơng gian định chuẩn Khi với x E , x , tồn f E cho f x x f 1.1.8 Hệ Giả sử E khơng gian định chuẩn Khi với x, y E , f x f y với f E x y 1.1.9 Hệ Giả sử E khơng gian khả li Khi tồn dãy f n E cho x sup f n x , x E n Chứng minh Vì E khả li nên tồn dãy xn E cho Vậy tồn dãy f n E cho f n f n xn xn xn : n trù mật E Giả sử x E Vì f n x x , n , nên x sup f n x Mặt khác, với , n xn : n trù mật E nên tồn n : xn x x xn x xn hay xn x Khi Từ ta có f n x xn xn f n x f n xn xn f n x xn f n xn f n x xn f n xn x xn f n xn x xn xn x x x 2 Do với , tồn n cho f n x x Vậy x sup f n x n 1.1.10 Độ đo Cho Họ tập F 2 gọi đại số thỏa mãn điều kiện (i) , F ; (ii) Nếu A, B F A \ B F ; (iii) Nếu A, B F A B F Nếu thay điều kiện (iii) điều kiện (iii’) Nếu An F , n A F n F n 1 1.1.11 Định lí F đại số thỏa mãn (i) (iv) Nếu A F Ac X \ A F ; (v) Nếu A, B F F A B F - đại số (i), (ii) gọi - đại số (v’) Nếu An F , n A F n n 1 Cặp , F , F hai khơng gian đo , F - đại số tập , gọi không gian đo Cho , G Ánh xạ : gọi F / G -đo 1 B F với B G Cho F F - đại số tập Ánh xạ : F gọi độ đo thỏa mãn: (i) A 0, A F ; (ii) ; (iii) Nếu An F , n Ai Aj , i j An An n1 n1 Nếu gọi độ đo hữu hạn Đặc biệt, gọi độ đo xác suất Bộ ba , F , , F - đại số tập , độ đo F , gọi không gian độ đo Không gian độ đo gọi đầy đủ A F , A tập B A thuộc F Khi ta có B Nếu p độ đo xác suất (, F , p) gọi khơng gian xác suất 1.2 TẬP BOREL TRONG KHƠNG GIAN TƠPƠ 1.2.1 Tập Borel Cho X khơng gian tơ pơ Khi - đại số bé chứa tập mở X gọi đại số Borel X , kí hiệu B X Tập A B X gọi tập Borel Kí hiệu K a, b , , b , a, : a, b Mỗi tập dạng D D1 Dn , D j K , j 1,, n gọi khoảng n Kí hiệu M n tập hợp hợp hữu hạn khoảng rời n 1.2.2 Định lí (i) M n đại số; (ii) M n B n Chứng minh (i) Vì [ a, a ) [ a, a ) nên M n Ta chứng minh n M n qui nạp Với n 1, , a [ a, ) M Giả sử với k n 1, k M k Khi n n1 [ , a [ a, )] n1 , a n1 [a, ) M n n1 hợp hữu hạn khoảng rời n1 Ta chứng minh rằng, A, B M n A B M n Nếu A, B K A B K Giả sử A, B khoảng n Khi A D1 Dn , với D j K ; B 1 n , với j K Ta có A B D1 1 Dn n nên A B khoảng n n Bây giả sử A, B M n Khi A A i i 1 n B B j , với B j khoảng n Ta có j 1 p p A B Ai B Ai B i 1 i 1 q p q Ai B j Ai B j i 1 j 1 i 1 j 1 p nên A B M n với Ai khoảng n , CHƯƠNG III SỰ HỘI TỤ YẾU CỦA ĐỘ ĐO XÁC SUẤT 3.1 ĐỘ ĐO CHÍNH QUY VÀ ĐỘ ĐO RADON 3.1.1 Độ đo quy Cho X không gian tô pô, độ đo B X Khi gọi quy với A B E A sup F : F F A ; gọi quy ngồi với A B ( X ) A inf G : G int G A ; gọi quy quy quy ngồi 3.1.2 Định lí Nếu độ đo xác suất, ba điều kiện sau tương đương (i) quy (ii) quy ngồi (iii) quy Chứng minh Giả sử quy A B X Khi với , tồn F đóng, F Ac cho F Ac Đặt G X \ F G mở, G A G F Ac A Do A inf G : G int G A , nên quy ngồi Ngược lại, giả sử quy ngoài, tương tự ta chứng minh qui 3.1.3 Định lí Nếu độ đo xác suất qui A B X , 0, F đóng, G mở cho F A G , G \ F Chứng minh Ta có quy quy quy A B X , 0, F đóng, F A cho: F A G A cho G A tồn G mở, Với A B X , 0, F đóng, G mở, F A G , cho: G \ F G F A A 3.1.4 Định lí Cho X khơng gian tơpơ cho tập đóng có tính chất G Khi đó, độ đo xác suất B X quy Chứng minh Đặt A B X : A sup F : F F A inf G : G int G A Từ chứng minh Định lí 3.1.2 ta thấy A 0, F đóng, G mở, F A G : G \ F Do với A A : \ , 0, nên A với A X X A X : X \ X , 0, , nên A X Giả sử A với , tồn F đóng, G mở, F A G cho G \ F Khi Gc đóng, F c mở, F c Ac G c , F c \ G c F c G c F G G \ F Do Ac Giả sử An , n Khi với n , tồn F n đóng, G n mở, F n An G n , cho G n \ F n k n 1 n 1 3n Đặt F F n , Gk F n Vì Gk F nên theo tính liên tục tồn lim Ck F Do tồn k k0 để F Ck , k k0 Đặc biệt ta có F \ Ck0 2 Đặt F k0 n 1 n 1 n 1 F n Ck0 , G G n Khi F đóng, G mở, F An G G \ F G \ F F \ F Gn \ Fn F \ Ck0 n1 Gn \ Fn F \ Ck0 n 1 n 1 3n n 2 n 1 Do A n Vậy - đại số n 1 Bây giả sử F tập đóng X Khi đó, theo giả thiết, F có tính chất G , nên F G n , với Gn mở n 1 k Đặt Dk G n Dk F nên tồn lim Dk F Do với , tồn k n1 k0 để Dk F , k k0 lúc ta có Dk0 \ F Đặt F F ; G Dk0 Khi F đóng, G mở, F F G G \ F Dk \ F Do đó: F , tức chứa tập đóng Từ chứng minh suy B X Vậy độ đo quy 3.1.5 Hệ Mọi độ đo Borel xác suất không gian mêtric độ đo quy 3.1.6 Độ đo Radon Cho X không gian tôpô độ đo xác định B X Khi đó, gọi độ đo Radon A sup K : K compăc A , A B X 3.1.7 Định lí Giả sử độ đo xác suất Khi độ đo Radon quy với , tồn K compăc cho X \ K Chứng minh Giả sử độ đo xác suất độ đo Radon Khi độ đo xác suất nên quy Vì X B X , độ đo Radon, nên X sup K : K compăc Do đó, với , tồn K compăc cho X K , hay X \ K Ngược lại, giả sử quy thỏa mãn: , K compăc cho X \ K Khi đó, quy nên với A B X , , tồn F đóng A cho A \ F Với nói trên, theo giả thiết tồn K compăc cho X \ K Đặt K F K K đóng K nên K compăc Ta có K A A \ K A \ F K A \ F A \ K A \ F A \ K Từ A K Do A sup K : K compăc A Vậy độ đo Radon 3.1.8 Định lí Mỗi độ đo Borel xác suất không gian mêtric đầy đủ khả li độ đo Radon Chứng minh Giả sử X khơng gian mêtric đủ khả li cịn độ đo xác suất B X Khi đó, độ đo xác suất nên quy Giả sử Vì X khả li nên với n 1,2, ta có X B nj , Bnj j 1 hình cầu đóng bán kính n Vì Ck B nj X liên tục nên tồn lim Ck X , hay lim X \ Ck k j 1 Do đó, với n 1,2, tồn k n cho X \ kn Đặt X n B nj k kn B nj j 1 n ; K X n Khi X n , K đóng Hơn nữa, với , tồn n0 cho j 1 n 1 Ta có K X n0 , với X n0 bị phủ kn0 hình cầu đóng bán kính bé , nên K hồn n0 tồn bị chặn Do K compăc Mặt khác ta có n 1 X \ K X \ X n X \ Xn X \ Xn n1 n1 kn X \ Bnj n 1 j 1 n 1 Vậy độ đo Radon 2n 3.2 SỰ HỘI TỤ YẾU CỦA ĐỘ ĐO 3.2.1 Hội tụ yếu Trong đoạn ta kí hiệu X , không gian mê tric khả li, p X tập hợp độ đo xác suất B X , Cb X tập hợp hàm thực, liên tục, bị chặn X , U X tập hợp hàm liên tục đều, bị chặn X w , Giả sử n , P X Ta nói n hội tụ yếu đến n , kí hiệu n lim fd n fd , f Cb X n X X Cho X : (, F , p) B E phần tử ngẫu nhiên Đặt X B ta có p X p p X 1 B với B B E , độ đo xác suất B E Dãy phần tử ngẫu nhiên X n , X n : (, F , p) B E gọi hội tụ yếu hay hội tụ theo phân phối đến X p Xn w p X W X , kí hiệu X n Chúng ta cần bổ đề sau 3.2.2 Bổ đề Nếu : B X độ đo hữu hạn X có khơng q đếm điểm có độ đo dương Chứng minh Đặt A x X : x , 1 An x X : x n ta có A A n Giả sử tồn n0 cho An0 tập vơ hạn Khi đó, tồn dãy xk An0 cho n1 xi x j Lúc ta có k 1 n0 An X k : k xk k 1 Ta gặp mâu thuẩn Do An tập hữu hạn với n A không đếm Bây ta chứng minh định lí quan trọng sau 3.2.3 Định lí Các điều kiện sau tương đương w ; (i) n (ii) f U X : lim fd n n X fdu ; X (iii) F đóng X : lim n F F ; n (iv) G mở X : lim n G G ; n (v) A B X , A 0, lim n A A n Chứng minh w (i) (ii) Nếu n lim fd n n nên lim fd n n X fdu , f U X X X fdu , X f Cb X , mà U X Cb X (ii) (iii) Giả sử lim n fd fdu , n X f U X F tập đóng X Vì X X khơng gian mêtric nên theo Định lí 1.1.4, F có tính chất G , tức F G n , với Gn mở X n 1 n Ta xem Gn F (vì khơng thay Gn Gn G k ) Đặt k 1 fn x x, Gnc x, Gnc x, F Ta có f n U X Kí hiệu A hàm đặc trưng tập A Vì F f n Gn , n , nên n F F d n f k d n , k Từ ta có X X lim n F lim f k d n lim f k d n n n n X X Gk d Gk , k X Do lim n F lim Gk F n k (iii) (vi) Giả sử có (iii) G tập mở X Khi ta có lim n G c G c n Do lim n G lim n G c n n lim n G c lim n G c n n Gc G (iv) (v) Giả sử có (iv) A thuộc B X cho A Khi int A A A int A A , nên int A A A Do lim n A lim n int A int A A ; n n lim n A lim n A A A n n Như lim n A A lim n A n n Mặt khác, ta ln có lim n A lim n A , n n lim n A lim n A A Nên n n Do tồn lim n A A n (v) (i) Giả sử có (v) f tùy ý thuộc Cb x Xét hàm tập v f : B xác định v B f B f 1 B x X : f x B với B B Ta có v độ đo xác suất Thật vậy, f Cb x nên f bị chặn nên tồn khoảng a, b hữu hạn cho f X a, b Do v a, b f 1 a, b X b a 1 khoảng Giả sử tùy ý Ta chia đoạn a , b thành m 1 , , m với độ dài bé Vậy tồn ti i cho v t j 0, j 1, , m Khi t1 , , tm thỏa mãn a t0 t1 tm b ; a f x b, x X ; t j t j 1 , j 1, , m v t j 0, j 1, , m Đặt Aj x X : t j 1 f x t j , j 1, , m Khi m X Aj Ai Aj i j j 1 Mặt khác x X : t j 1 f x t j đóng chứa Aj , cịn x X : t j 1 f x t j mở Aj nên Aj x X : t j 1 f x t j , int Aj x X : t j 1 f x t j Từ suy Aj \ A0j x X : f x t j 1 x X : f x t j Do Aj A j \ A0j x : f x t j 1 x : f x t j v t j 1 v t j Từ áp dụng (v), ta lim n Aj A j n m Đặt f * t j 1 A ta có j j 1 f * x f x f x t j 1 t j t j 1 , x X Do fd fd f f d f * n X n X X X * f d f *d n fd n f f * d n f * f d X X m 2 t j 1 m j 1 X f X n Aj Aj 2 t j 1 n Aj Aj j 1 X * d n fd n X Từ suy lim n fd fd 2 , 0, f C X n X Vì lim fd n n b X w n fd X X 3.3 -HỆ THỐNG Trong đoạn ta kí hiệu X không gian mêtric Tập A không gian xác suất (, F , p) gọi p -liên tục p A Họ tập hợp A gọi -hệ thống A, B A A B A 3.3.1 Định lí Cho ( p n) dãy độ đo xác suất ( X , B X , P), A -hệ thống B X cho tập mở X viết dạng hợp dãy tập thuộc A Khi P n w P A A P n A P A với Chứng minh Với A1 , , An A ta có p n r A Pn(Ai) - P(Ai) - i i 1 P(Ai Aj)+ r Pn(Ai Aj Ak) b2 4ac i j k i j i = p Pn(Ai Aj)+ i j i P(Ai A j Ak) b 4ac i j k A i 1 i Giả sử G mở, G A i với Ai A Với tùy ý, chọn r cho i 1 p i r Từ A p G i p G p A lim p A lim p G i r i n n i r i n n Do tùy ý nên Theo (iv) Định lí 3.2.2 ta có khẳng định định lí 3.3.2 Định lí Cho (pn) dãy độ đo xác suất ( X , B X , P),, X không gian mêtric khả li, A -hệ thống B X có tính chất: x X , , tồn A A cho x int A A B x, w Khi p n A p A với A A p n p Chứng minh Theo giả thiết, x thuộc tập mở G tồn Ax A cho x int Ax Ax G Vì X khả li nên theo tính chất Lindelof, tồn họ đếm int Axi họ int Ax xG phủ G Do G A xi Vậy giả thiết Định lí 3.3.1 thỏa mãn có kết luận định lí i Một họ A B X gọi họ hội tụ xác định độ đo xác suất p dãy (pn) w p Với độ đo xác suất B X , p n A p A với tập p-liên tục A A p n x X đặt Ax , = A A : x int A A B x, , Cho A B X Ax , =A : A Ax , 3.3.3 Định lí Cho X khơng gian mêtric khả li, A -hệ thống B X Khi x X , , Ax , chứa tập rỗng chứa đếm tập rời A họ hội tụ xác định Chứng minh Cố định p kí hiệu A p họ tập p -liên tục A Với A, B A p ta có A B A B nên p A B p A p B Do A p một -hệ thống Giả sử p n A p A với A A p Nếu Ax , chứa rỗng tồn x Ax , có A nên p A Do A A p Nếu Ax, khơng chứa rỗng theo giả thiết Ax, đếm tập rời nên phải tồn A Ax , để p A Từ A A p Vậy trường hợp họ Ax , chứa tập A p Do giả thiết Định lí 3.2.2 thỏa w p mãn nên ta có p n KẾT LUẬN Luận văn đạt số kết sau: Đã hệ thống kiến thức bản, cần thiết không gian mêtric không gian tôpô, môt số khái niệm tính chất độ đo Đã nêu tính chất độ đo khơng gian mêtric Đã nêu tính chất phần tử ngẫu nhiên hội tụ yếu độ đo xác suất không gian mêtric hội tụ theo phân phối dãy phần tử ngẫu nhiên nhận giá trị không gian mêtric Vấn đề phần tử ngẫu nhiên hội tụ yếu độ đo xác suất không gian mêtric vấn đề rộng lớn Kết luận văn phần vấn đề rộng lớn Hy vọng sau luận văn này, tơi có kiện tốt để quan tâm nghiên cứu vấn đề Vì thời gian kiến thức có hạn, chắn luận văn khơng tránh khỏi sai sót Tác giả chân thành mong thầy giáo bạn góp ý kiến giúp đỡ TÀI LIỆU THAM KHẢO 1 Đậu Thế Cấp, Tôpô đại cương, NXB Giáo dục, 2008 2 Đậu Thế Cấp, Độ đo tích phân, NXB Giáo dục, 2009 3 Đậu Thế Cấp, Giải tích hàm, NXB Giáo dục, 2009 4 Y.S Cho, H.Teicher, Probability theory: Independence, Interchangebility, Martingale, Springer-Verlag, New York, 1997 5 M Ledoux, M Talagrand, Probability in Banach spaces, Springer-Verlag, New York, 1991 6 K.R Parthasathy, Probability measures on mêtric spaces, New York, London, 1967 7 Nguyễn Văn Quảng, Phân phối xác suất không gian Banach, Đại học Vinh, 2007 8 Nguyễn Duy Tiến, Vũ Việt Yên, Lý thuyết xác suất, NXB Giáo dục, 2001 9 N.N Vakhania, V.I Tarieladze, S.A Chobanyan, Probability Distributions on Banach Space, D.Reidel Publishing Company, Holland ... X : e gọi phần tử ngẫu nhiên G - đo được, nhận giá trị e X G / B (e) -đo (tức B B (e) X 1 B G ) Phần tử ngẫu nhiên F -đo gọi đơn giản phần tử ngẫu nhiên Phần tử ngẫu nhiên nhận giá... Vậy X phần tử ngẫu nhiên 2.1.2 Định lí Ánh xạ X : e phần tử ngẫu nhiên G - đo X giới hạn dãy phần tử ngẫu nhiên rời rạc G - đo được, tức tồn dãy phần tử ngẫu nhiên rời rạc X n G - đo cho... Định lí Nếu X n dãy phần tử ngẫu nhiên h.c c X n X X phần tử ngẫu h.c c X X nhiên Đặc biệt, X n dãy phần tử ngẫu nhiên G - đo X n phần tử ngẫu nhiên G -đo Chứng minh Trước hết