Lý thuyết tích phân và ứng dụng

1 BỘ GIÁO DỤC VÀ ĐÀO TẠO ĐẠI HỌC ĐÀ NẴNG XAYAPHET KEODAVANH LÝ THUYẾT TÍCH PHÂN VÀ ỨNG DỤNG Chuyên ngành: Phương pháp toán sơ cấp Mã số : 60.46.40 TÓM TẮT LUẬN VĂN THẠC SĨ KHOA HỌC Đà Nẵng – Năm 2012 2 Công trình ñược hoàn thành tại ĐẠI HỌC ĐÀ NẴNG Người hướng dẫn khoa học: TS. CAO VĂN NUÔI Phản biện 1: GS. TSKH. Nguyễn Văn Mậu Phản biện 2: PGS. TSKH. Trần Quốc Chiến Luận văn sẽ ñược bảo vệ trước Hội ñồng chấm Luận văn tốt nghiệp thạc sĩ toán học họp tại Đại học Đà Nẵng, vào ngày… tháng …… năm ……. Có thể tìm hiểu tại: - Trung tâm Thông tin – Học liệu, Đại học Đà Nẵng - Thư viện trường Đại học Sư phạm, Đại học Đà Nẵng 3 MỞ ĐẦU I. LÝ DO CHỌN ĐỀ TÀI Trong chương trình toán của Lào, lý thuyết tích phân ñược học từ lớp 10, 11, 12, vậy có thể nói lý thuyết tích phân ñóng một vai trò khá quan trọng trong việc học và giảng dạy bộ môn toán. Trong chương trình toán ở bậc trung học, phần kiến thức về tích phân chiếm một tỷ lệ lớn. Trong quá trình giảng dạy ở trường phổ thông, tôi phát hiện ra rằng thông thường các học sinh ñều cảm thấy lúng túng khi giải các bài toán về tích phân, chính vì vậy tôi muốn nghiên cứu một phần lý thuyết tích phân nhằm góp phần phục vụ cho công việc giảng dạy ở trường phổ thông. Đó là lý do ñể tôi chọn ñể tài “Lý thuyết tích phân và ứng dụng” làm luận văn tốt nghiệp thạc sĩ của mình. II. PHƯƠNG PHÁP NGHIÊN CỨU Dựa vào sự ứng dụng sau này của ñề tài nên chúng tôi sử dụng các phương pháp giải quyết vấn ñề thiên về cách chứng minh của toán sơ cấp. Mặc dù thế trong một vài tinh huống ñặc biệt chúng tôi cũng mạnh dạn mở rộng vấn ñề theo hướng toán học hiện ñại. Phương pháp chủ yếu ñược sử dụng trong luận văn này là kết hợp các kết quả ñã có trong các tài liệu chuyên khảo có liên quan ñến ñề tài và sự liên hệ ñến các ứng dụng của nó trong chương trình toán phổ thông. III. ĐỐI TƯỢNG NGHIÊN CỨU Đối tượng mà chúng tôi tập trung nghiên cứu là lý thuyết tích phân và sự ứng dụng của chúng ñể giải toán ở bậc phổ thong trung học và có thể dùng ñể giảng dạy cho các sinh viên ñại học. Ngoài ra 4 chứng tôi có xét một vài trường hợp mở rộng ñể chứng tỏ lĩnh vực này có thể phát triển xa hơn về mặt lý thuyết cũng như ứng dụng. IV. NỘI DUNG NGHIÊN CỨU Nội dung nghiên cứu của luận văn này ñược giới hạn trong phạm vi về lý thuyết tích phân theo ñộ ño, khuyếch ñộ ño và các ứng dụng của tích phân trong vật lý. Sau ñó chúng tôi có ñưa ra một số ví dụ cụ thể trong chương cuối ñể minh họa cho việc ứng dụng của chúng ñến việc giải toán ở bậc trung học phổ thông. V. Ý NGHĨA KHOA HỌC VÀ THỰC TIỄN CỦA ĐỀ TÀI 5.1. Ý nghĩa khoa học: Hệ thống kiến thức về tiếp cận lý thuyết tích phân và sử dụng tích phân vào việc giải một số bài toán thực tế. 5.2. Ý nghĩa thực tiễn: Đề tài hoàn thành trở thành tài liệu tham khảo bổ ích cho giáo viên, sinh viên ở các trường ñại học, cao ñẳng và học sinh ở trường trung học phổ thông, các bạn yêu toán VI. CẤU TRÚC LUẬN VĂN Luận văn gồm 3 chương với cấu trúc như sau: • Mở ñầu • Chương 1: Độ ño dương • Chương 2: Lý thuyết tích phân • Chương 3: Các ứng dụng của tích phân • Kết luận 5 Chương 1- ĐỘ ĐO DƯƠNG 1.1 TẬP HỢP Định lý 1.1.1 [ ] 2 Nếu A n= , thì | P ( ) A | 2 n = . Định lý 1.1.2 [ ] 2 Quan hệ bao hàm có các tính chất sau ñây - Phản xạ: Với mọi tập A thì A A⊂ . - Phản ñối xứng: Với mọi tập ,A B sao cho A B⊂ và B A⊂ thì A B= . - Bắc cầu: Với mọi tập , ,ABCsao cho A B⊂ và B C⊂ thì A C⊂ . 1.2. CÁC PHÉP TOÁN TẬP HỢP Cho các tập A và B . Ta ñịnh nghĩa các phép toán sau: • phép hiệu: Hiệu của A và B , ký hiệu \A B là tập { \A B x x A= ∈ và } x B∉ . • Phần bù: Cho tập X và A X⊂ . Phần bù của A (trong X ) là tập ký hiệu bởi ( ) X C A và ñược xác ñịnh bởi: ( ) \ X C A X A= . • Phép hợp: Hợp của A và B , ký hiệu A B∪ là tập ñược xác ñịnh bởi: { A B x x A∪ = ∈ hoặc } x B∈ . • Phép giao: Giao của A và B , ký hiệu A B∩ là tập ñược xác ñịnh bởi: { A B x x A∩ = ∈ và } x B∈ • Phân hoạch một tập hợp: Nếu A B φ ∩ = , ta nói A và B rời nhau. Nếu các tập 1 2 , , ., n X X X thỏa mãnvà chúng rời nhau từng ñôi một, ta nói { } 1 2 , , ., n X X X là một phân hoạch của tập hợp A . 6 Định lý 1.2.1 [ ] 2 Giả sử { } 1 2 , , ., n X X X là một phân hoạch của tập S . Khi ñó: 1 2 . n S X X X= + + + • Hệ quả: A B A B A B∪ = + − ∩ . Định lý 1.2.2 [ ] 2 Cho các tập , ,A BC trong tập vũ trụ ,U khi ñó ta có: - Luật kết hợp: ( ) ( ) ( ) ( ) A B C A B C A B C A B C ∪ ∪ = ∪ ∪ ∩ ∩ = ∩ ∩ - Luật giao hoán: A B B A A B B A ∪ = ∪ ∩ = ∩ - Luật phân bố: ( ) ( ) ( ) ( ) ( ) ( ) A B C A B A C A B C A B A C ∪ ∩ = ∪ ∩ ∪ ∩ ∪ = ∩ ∪ ∩ - Luật bù kép (ñối hợp): A A= (trong ñó: ) \A U A= . - Luật ñối ngẫu De Morgan: A B A B∪ = ∩ , A B A B∩ = ∪ 1 2 1 2 1 2 1 2 . . . . . n n n n A A A A A A A A A A A A ∪ ∪ ∪ = ∩ ∩ ∩ ∩ ∩ ∩ = ∪ ∪ ∪ 1.3. CÁC CẤU TRÚC TRONG DẠI SỐ TẬP HỢP 1.3.1. Vành Boole (Boole, Boolean ring). Định nghĩa 1.3.1 [ ] 1 Một vành Boole (Boole, Boolean ring), các tập 7 hợp là một tập hợp ℜ Các tập hợp thỏa mãn nếu ,A B∈ℜ ∈ℜ thì A B∪ ∈ℜ và \A B ∈ℜ . Mệnh ñề 1.3.1 [ ] 1 cho ℜ là một vành Boole, khi ñó φ ∈ℜ, các phép hiệu ñối xứng và giao của hai tập hợp là ñóng trong ℜ . 1.3.2. Đại số Boole (Boolean algebra). Định nghĩa 1.3.2 [ ] 1 Một lớp các tập hợp A ñược gọi là một ñại số Boole nếu thỏa mãn: /a Nếu A∈ ℜ và B ∈ℜ thì A B∪ ∈ℜ . /b Nếu A∈ℜ thì c A ∈ℜ, ( c A là phần bù của A ). Rõ rang mỗi ñại số Boole là một vành Boole vì: ( ) \ c c c A B A B A B= ∩ = ∪ . Mệnh ñề 1.3.2 [ ] 1 cho ℜ là một vành Boole các tập con của X . Vành ℜ là một ñại số khi và chỉ khi X ∈ℜ. 1.4. VÀNH SINH (generated ring), σ - VÀNH ( σ - ring ) Định nghĩa 1.4.1 [ ] 1 cho ε là một lớp các tập hợp. Vành nhỏ nhất chứa ε ñược gọi là vành sinh bởi lớp ε và ñược ký hiệu bởi ( ) R ε . Định lý 1.4.1 [ ] 1 Nếu ε là lớp các tập hợp bất kỳ thì tồn tại một vành sinh bởi lớp ε duy nhất ( ) R ε . Định lý 1.4.2 [ ] 1 Nếu ε là một lớp bất kỳ các tập hợp thì mỗi tập trong ( ) R ε ñược phủ bởi một họ hữu hạn các tập trong ε . 8 Định lý 1.4.3 [ ] 1 Nếu ε là một lớp ñếm ñược các tập hợp, thì ( ) ε ℜ là ñếm ñược. Định nghĩa 1.4.2 [ ] 1 Một lợp không rỗng S các tập hợp ñược gọi là σ - vành nếu nó thỏa mãn: /a Nếu E S∈ và F S∈ thì \E F S∈ . /b Nếu { } n n N E S ∈ ⊂ thì n n N E S ∈ ∈ U . Định nghĩa 1.4.3 [ ] 1 Cho một lớp bất kỳ các tâp hợp , ε σ - vành nhỏ nhất chứa lớp ε ñược gọi là σ - vành sinh bởi lớp ε là ñược ký hiệu bởi ( ) σ ε . Định lý 1.4.4 [ ] 1 Nếu ε là một lớp bất kỳ các tập hợp và E là một tập bất kỳ trong ( ) σ ε thì tồn tại một lớp ñếm ñược D của ε sao cho ( ) E D σ ∈ . Định lý 1.4.5 [ ] 1 Nếu ε là lớp bất kỳ các tập hợp con của tập X và A là tập con bất kỳ của X thì ( ) ( ) A A σ ε σ ε ∩ = ∩ . 1.5. CÁC LỚP ĐƠN ĐIỆU (monotone classes) 1.5.1. Giới hạn trên (the superior limit) Định nghĩa 1.5.1 [ ] 1 Cho { } n n N E ∈ là một dãy các tập con của X , tập E ∗ gồm tất cả các phần tử của X thuộc n E với vô hạn các giá trị của n ñược gọi là giới hạn trên của dãy { } n E và ký hiệu: . limsup n n E E ∗ = 9 1.5.2. Giới hạn dưới (the inferior limit) Định nghĩa 1.5.2 [ ] 1 Cho { } n n N E ∈ là một dãy các tập con của X , tập E ∗ gồm tất cả các phần tử của X thuộc mọi n E trừ một số hữu hạn các giá trị của n ñược gọi là giới hạn dưới của dãy { } n E và ký hiệu: liminf n n E E ∗ = Nếu xảy ra trường hợp E E ∗ ∗ = thì ta ký hiệu lim n n E E E ∗ ∗ = = và gọi là giới hạn của dãy { } n E . - Dãy các tập hợp { } n E ñược gọi là tăng (ñồng biến) nếu 1,n n E E n N + ⊂ ∀ ∈ . - Dãy các tập hợp { } n E ñược gọi là giảm (nghịch biến) nếu 1 , . n n E E n N + ⊂ ∀ ∈ Một dãy các tập hợp tăng hay là giảm ñược gọi dãy ñơn ñiệu (monotone). Định nghĩa 1.5.3 [ ] 1 Một lớp không rỗng M các tập ñược gọi là ñơn ñiệu nếu mọi dãy ñơn ñiệu các tập { } n E trong M ta có lim n n E ∈ M. Định nghĩa 1.5.4 [ ] 1 Lớp ñơn ñiệu nhỏ nhất chứa lớp ε ñược gọi là lớp ñơn ñiệu sinh bởi lớp ε và ñược ký hiệu bởi ( ) M ε . Định lý 1.5.1 [ ] 1 Một lớp ε là một σ - vành khi và chỉ khi nó là vành ñơn ñiệu. 1.6 . ĐỘ ĐO; KHÔNG GIAN ĐO; ĐỘ ĐO ĐỦ; ĐỘ ĐO σ - HỮU HẠN . 10 Định nghĩa 1.6.1 [ ] 1 Ánh xạ : µ A [ ] 0,→ +∞ ñược gọi là một ñộ ño dương trên σ - ñại số A nếu với mọi họ ñếm ñược các tập ñôi một không giao nhau { } k k N A ∈ , trong ñó k A ∈ A với mọi k N∈ , ta có: ( ) k k k N k N A A µ µ ∈ ∈   =     ∑U và ( ) 0 µ φ = . Định nghĩa 1.6.2 [ ] 1 Tập X với σ - ñại số A các tập con của X và ñộ ño dương µ trên A thì bộ ba ( ,X A, ) µ ñược gọi là một không gian ño. Định nghĩa 1.6.3 [ ] 1 Ta nói µ là σ - hữu hạn nếu X là hợp của một họ ñếm ñược các tập có ñộ ño hữu hạn. Định nghĩa 1.6.4 [ ] 1 Nếu với mọi A∈ A thỏa mãn ( ) 0A µ = và với mọi ' A A⊂ ta có: ' A ∈ A, thì ta nói rằng σ - ñại số A là µ − ñủ (tức là ñủ theo ñộ ño µ ). Định nghĩa 1.6.5 [ ] 1 Bộ ba ( ,X A, ) µ ñược gọi là một không gian có ñộ ño ñủ, σ - hữu hạn nếu µ là ñộ ño dương σ - hữu hạn và A là µ − ñủ. 1.7 . CÁC TÍNH CHẤT CỦA ĐỘ ĐO CẢM SINH 1.7.1. Độ ño ngoài Định nghĩa 1.7.1.1 [ ] 1 Một lớp không rỗng các tập hợp ε ñược gọi là lớp di truyền nếu với mọi tập E ε ∈ và F E⊂ thì .F ε ∈ 11 Định nghĩa 1.7.1.2 [ ] 1 σ - vành di truyền nhỏ nhất chứa lớp ε ñược gọi là σ -vành di truyền sinh ra bởi lớp ε và ñược ký hiệu bởi ( ) .H ε Định nghĩa 1.7.1.3 [ ] 1 Một hàm tập µ ∗ có giá trị trên tập số thực mở rộng, xác ñịnh trên lớp ε ñược gọi là: - Dưới cộng tính nếu với mọi tập E ε ∈ , F ε ∈ và E F ε ∪ ∈ thì: ( ) ( ) ( ) .E F E F µ µ µ ∗ ∗ ∗ ∪ ≤ + - Dưới công tính hữu hạn nếu với mọi hữu hạn tập 1 2 , , . , n E E E và 1 n i i E ε = ∈ U thì: ( ) 1 1 . n n i i i i E E µ µ ∗ ∗ = =   ≤     ∑ U - σ - dưới công tính (dưới cộng tính ñếm ñược) nếu với mọi dãy các tập { } i E mà 1 n i i E ε = ∈ U thì: ( ) 1 1 . i i i i E E µ µ ∞ ∞ ∗ ∗ = =   ≤     ∑ U - Đơn ñiệu nếu E ε ∈ , F ε ∈ và E F⊂ thì ( ) ( ) .E F µ µ ≤ Định nghĩa 1.7.1.4 [ ] 1 Một hàm tập µ ∗ nhận giá trị trên tập số thực mở rộng, xác ñịnh trên σ - vành di truyền H ñược gọi là một ñộ ño ngoài nếu nó không âm, ñơn ñiệu, σ - dưới cộng tính và ( ) 0. µ φ ∗ = Định lý 1.7.1.1 [ ] 1 Nếu µ là một ñộ ño trên vành ε và nếu với mọi tập ( ) E H ε ∈ ñặt: ( ) ( ) 1 1 inf : , : . i i i i i E E E i E E µ µ ε ∞ ∞ ∗ = =   = ∈ ∀ ⊂     ∑ U Thì µ ∗ là một ñộ ño ngoài trên ( ) H ε và là một mở rộng của µ . 12 Nếu µ là (hoàn toàn) σ - hữu hạn thì µ ∗ cũng vậy. Độ ño ngoài µ ∗ ñược gọi là cảm sinh bởi ñộ ño µ . 1.7.2. Các tập ño ñược Định nghĩa 1.7.2.1 [ ] 1 Cho µ ∗ là một ñộ ño ngoài trên σ - vành di truyền H . Một tập E H∈ ñược gọi là µ ∗ ño ñược nếu với mọi tập , A H∈ ta có: ( ) ( ) ( ) c A A E A E µ µ µ ∗ ∗ ∗ = ∩ + ∩ c E là phần bù của . E Định lý 1.7.2.1 [ ] 1 Nếu µ ∗ là một ñộ ño ngoài trên một σ - vành di truyền H và nếu S là một lớp tất cả các tập µ ∗ - ño ñược thì S là một vành. Định lý 1.7.2.2 [ ] 1 Nếu µ ∗ là một ñộ ño ngoài trên σ - vành di truyền H và nếu S là lớp tất cả các tập µ ∗ ño ñược, thì S là một σ - vành. Nếu A H∈ và nếu { } n E là dãy rời nhau các tập trong S với 1 , n n E E ∞ = = U thì: ( ) ( ) 1 . n n A E A E µ µ ∞ ∗ ∗ = ∩ = ∩ ∑ Định lý 1.7.2.3 [ ] 1 Nếu µ ∗ là một ñộ ño ngoài trên σ - vành di truyền H và nếu S là lớp tất cả các tập µ ∗ - ño ñược, thì mỗi tập có ñộ ño ngoài bằng 0 thuộc vào S và hàm tập µ xác ñịnh trên S ñược cho bởi ( ) ( ) ,E E E S µ µ ∗ = ∀ ∈ là một ñộ ño ñủ trên S . 13 Độ ño µ ñược gọi là ñộ ño cảm sinh bởi ñộ ño ngoài µ ∗ . Độ ño µ là hạn chế của ñộ ño ngoài µ ∗ trên S và ñược ký hiệu S µ µ ∗ = . Định lý 1.7.1 [ ] 1 Mọi tập trong ( ) σ ε là các tập µ ∗ ño ñược. Định lý 1.7.2 [ ] 1 Nếu ( ) E H ε ∈ thì: ( ) ( ) { } ( ) ( ) { } inf : inf : E E E F S F E F µ µ µ σ ε ∗ = ⊂ ∈ = ⊂ ∈ Nghĩa là, ñộ ño ngoài cảm sinh bởi µ trên ( ) σ ε và ñộ ño ngoài cảm sinh bởi µ trên S trùng nhau. Định nghĩa 1.7.1 [ ] 1 Tập ( ) F σ ε ∈ ñược gọi là một phủ ño ñược của tập ( ) E H E ∈ nếu mọi tập ( ) G σ ε ∈ mà \G F E ⊂ thì ( ) 0G µ = . Định lý 1.7.3 [ ] 1 Nếu một tập ( ) E H ε ∈ có ñộ ño ngoài σ - hữu hạn thì tồn tại một phủ ño ñược ( ) ( ) F ε σ ε ∈ sao cho: ( ) ( ) E F µ µ ∗ = . Định lý 1.7.4 [ ] 1 Nếu 1 2 ,F F là các phủ ño ñược của ( ) E H ε ∈ thì ( ) 1 2 0F F µ ∆ = , nếu F là phủ ño ñược của E thì ( ) ( ) E F µ µ ∗ = . Định lý 1.7.5 [ ] 1 Nếu ñộ ño µ trên σ - vành ε là σ - hữu hạn thì ( ) σ ε µ và S µ cũng σ - hữu hạn. 1.8. KHUYẾCH , ĐẦY ĐỦ VÀ XẤP XỈ MỘT ĐỘ ĐO 14 Định lý 1.8.1 [ ] 1 Nếu µ là ñộ ño σ - hữu hạn trên vành ε , thì tồn tại một ñộ ño duy nhất µ trên σ - vành ( ) σ ε sao cho ε µ µ = . Định lý 1.8.2 [ ] 1 Cho µ là ñộ ño trên σ - vành K và ñặt: ( ) { } : , , , 0K E N E K B K N B B µ = ∆ ∈ ∃ ∈ ⊂ = . Khi ñó K là một σ - vành và hàm tập µ xác ñịnh bởi ( ) ( ) E N E µ µ ∆ = là một ñộ ño ñủ trên K . Định lý 1.8.3 [ ] 1 Nếu µ là ñộ ño σ - hữu hạn trên vành ε và µ ∗ là ñộ ño ngoài ñược cảm sinh bởi ñộ ñô µ thì tính ñủ của ñộ ño mở rộng của µ trên ( ) σ ε ñồng nhất với tính ñủ của µ ∗ trên lớp tất cả các tập µ ∗ - ño ñược. Định lý 1.8.4 [ ] 1 Nếu µ là ñộ ño σ - hữu hạn trên vành ε , thì với mọi tập E có ñộ ño hữu hạn trong ( ) σ ε và với mọi số dương ε , tồn tại tập 0 E ε ∈ sao cho ( ) 0 E E µ ε ∆ ≤ . 1.9. ĐỘ ĐO TRONG (Inner measures) Định lý 1.9.1 [ ] 1 Nếu ( ) E H S ∈ , thì: ( ) ( ) { } ( ) sup : 1.12E F E F S µ µ ∗ ≤ ⊃ ∈ Mặt khác do ñịnh lý 2.3.1 với mọi F S∈ tồn tại tập G S∈ sao cho G F⊂ và ( ) ( ) F G µ µ = . Nên: 15 ( ) { } ( ) { } ( ) ( ) sup : sup : 1.13 F E F S G E G S E µ µ µ ∗ ⊃ ∈ = ⊃ ∈ = Từ ( ) 2.3.1 và ( ) 2.3.2 suy ra ñiều phải chứng minh. Định nghĩa 1.9.1 [ ] 1 Tập F S∈ ñược gọi là hạt nhân ño ñược của tập ( ) E H S∈ nếu F E⊂ và mọi tập G S∈ mà \G E F⊂ thì ( ) 0G µ = . Định lý 1.9.2 [ ] 1 Mọi tập ( ) E H S∈ có một hạt nhân ño ñược. Định lý 1.9.3 [ ] 1 Nếu ( ) E H S∈ và F là hạt nhân ño ñược của E thì ( ) ( ) F E µ µ ∗ = , nếu 1 F và 2 F ñều là các hạt nhân ño ñược của E thì ( ) 1 2 0F F µ ∆ = . Định lý 1.9.4 [ ] 1 Nếu { } n E là dãy các tập rời nhau trong ( ) H S thì: ( ) 1 1 n n n n E E µ µ ∞ ∞ ∗ ∗ = =   ≥     ∑ U . Định lý 1.9.5 [ ] 1 Nếu ( ) A H S∈ và nếu { } n E là dãy các tập rời nhau với 1 n n E E ∞ = = U thì: ( ) ( ) 1 n n A E A E µ µ ∞ ∗ ∗ = ∩ = ∩ ∑ . Định lý 1.9.6 [ ] 1 Nếu E S⊂ thì ( ) ( ) ( ) E E E µ µ µ ∗ ∗ = = . Ngược lại nếu ( ) E H S∈ và ( ) ( ) E E µ µ ∗ ∗ = < ∞ thì E S∈ . Định lý 1.9.7. [ ] 1 Nếu ( ) ( ) .E H S F H S∈ ∈ và E F φ ∩ = thì: ( ) ( ) ( ) ( ) E F E F E F µ µ µ µ ∗ ∗ ∗ ∪ ≤ + ≤ ∪ . 16 Định lý 1.9.8 [ ] 1 Nếu E S∈ thì với mọi tập con A X⊂ có: ( ) ( ) ( ) c A E A E E µ µ µ ∗ ∩ + ∩ = . 1.10. ĐỘ ĐO LEBESGUE (Lebesgue measure) Định lý 1.10.1 [ ] 1 Mỗi tập ñếm ñược trong ℜ là một tập Borel có ñộ ño khong (tập A ñược gọi là có ñộ ño không nếu ( ) 0A µ = ). Định lý 1.10.2 [ ] 1 Gọi u là lớp tất cả các tập mở rộng ℜ . khi dó: ( ) ( ) P u σ σ = . Định lý 1.10.3 [ ] 1 Nếu E ⊂ ℜ thì: ( ) ( ) { } inf :E U E U u µ µ ∗ = ⊂ ∈ . Định lý 1.10.4 [ ] 1 Nếu T là một hàm từ ℜ ñược xác ñịnh bởi ( ) T x ax β = + , trong ñó , α β ∈ℜ ∈ℜ và 0 α ≠ , thì: ( ) ( ) .E E µ α µ ∗ ∗ = và ( ) ( ) ( ) .T E E µ α µ ∗ ∗ = . Chương 2- LÝ THUYẾT TÍCH PHÂN (The Theory of the Integral) 2.1. ĐỊNH NGHĨA VÀ KHÁI NIỆM Định nghĩa 2.1.1 [ ] 3 Nếu f là ño ñược không âm trên không gian ño ( χ :F: ) µ thì tích thân của f theo ñộ ño µ ñược xác ñịnh như sau: ( ) ( ) ( ) ( ) lim n n f x dx f x dx µ µ = ∫ ∫ . Suy ra: ( ) ( ) ( ) ( ) lim lim n m n m f x dx g x dx µ µ = ∫ ∫ . 17 Định nghĩa 2.1.2 [ ] 3 Tích phân bất ñịnh của một hàm ño ñược f là hàm tập xác ñịnh trên lớp các tập ño ñược E bởi ( ) ( ) ( ) E v E f x dx µ = ∫ . Định nghĩa 2.1.3 [ ] 3 Với f là hàm ño ñược ta ñặt ( ) max ;0f f + = và ( ) 1 min ;0f f − = − . Giả sử ( ) ( ) ( ) 1 min :f dx f dx µ µ + − < ∞ ∫ ∫ , ta xác ñịnh tích phân của f theo ñộ ño bởi: ( ) ( ) ( ) ( ) ( ) ( ) f x dx f x dx f x dx µ µ µ + − = − ∫ ∫ ∫ . Dãy cơ bản theo trung bình và sự hội tụ theo ñộ ño. Định lý 2.1.1 [ ] 3 Một dãy hàm cơ bản theo trung bình { } n f các hàm khả tích cũng là dãy hàm cơ bản theo ñộ ño. Định lý 2.1.2 [ ] 3 Nếu { } n f là dãy cơ bản theo trung bình các hàm ñơn giản khả tích và tích phân bất ñịnh của n f là , n v n N∈ thì ( ) ( ) lim n n v E v E= . Tồn tại với mỗi tập ño ñược E và hàm tập v có giá trị hữu hạn và cộng tính ñếm ñược ( σ cộng tính). Định lý 2.1.3 [ ] 3 Nếu { } n f là dãy cơ bản theo trung bình các hàm khả tích và tích phân bất ñịnh của n f là , n v n N∈ thì hàm tập n v là liên tục tuyệt ñối ñều. Định lý 2.1.4 [ ] 3 Nếu { } n f và { } n g là các dãy hàm cơ bản theo trung bình các hàm ñơn giản khả tích hội tụ theo ñộ ño tới cùng một giới hạn là hàm ño ñược f và nếu n v và n λ lần lượt là các tích phân bất ñịnh của n f và n g . Với mỗi tập ño ñược E , ta ñặt: 18 ( ) ( ) lim n n v E v E= và ( ) ( ) lim n n E E λ λ = Thì các hàm tập v và λ trùng nhau. Định lý 2.1.5 [ ] 3 Nếu { } n f là một dãy các hàm khả tích hội tụ theo trung bình tới f thì { } n f hội tụ tới f theo ñộ ño. 2.2. CÁC TÍNH CHẤT CỦA TÍCH PHÂN Định lý 2.2.1 [ ] 3 /a Nếu f là một hàm ño ñược và c là một hằng số thì: ( ) ( ) ( ) ( ) . .c f x dx c f x dx µ µ = ∫ ∫ /b Nếu f và g các hàm ño ñược và f g≤ thì: ( ) ( ) ( ) ( ) f x dx g x dx µ µ ≤ ∫ ∫ . Định lý 2.2.2 [ ] 3 /a Nếu ( ) ( ) f x dx µ ∫ tồn tại thì ( ) ( ) ( ) ( ) f x dx f x dx µ µ ≤ ∫ ∫ . /b Nếu ( ) ( ) f x dx µ ∫ tồn tại thì ( ) ( ) ( ) . A f x x dx χ µ ∫ tồn tại với mỗi A χ ∈ ; nếu ( ) ( ) f x dx µ ∫ hữu hạn thì ( ) ( ) ( ) . A f x x dx χ µ ∫ cũng hữu hạn. /c Nếu f và g là các hàm ño ñược không âm hay ( ) ( ) f x dx µ < ∞ ∫ và ( ) ( ) g x dx µ < ∞ ∫ thì: ( ) ( ) ( ) ( ) ( ) ( ) ( ) f x g x dx f x dx g x dx µ µ µ   + = +  ∫ ∫ ∫ . Định lý 2.2.3 [ ] 3 Nếu f là một hàm khả tích không âm hẩu khắp 19 nơi, thì diều kiện cần và ñủ ñể ( ) ( ) 0f x dx µ = ∫ là 0 .f a e= Định lý 2.2.4 [ ] 3 Nếu f là hàm khả tích và dương hầu khắp nơi trên tập ño ñược E và ( ) ( ) 0 E f x dx µ = ∫ , thì ( ) 0E µ = . Định lý 2.2.5 [ ] 3 Nếu f là hàm khả tích sao cho ( ) ( ) 0 F f x dx µ = ∫ với mọi tập ño ñược ,f thì 0f = hầu khắp nơi. Định lý 2.2.6 [ ] 3 Nếu f là một hàm khả tích thì tập ( ) ( ) { } : 0N f x f x= ≠ có ñộ ño σ -hữu hạn. 2.3. ĐÃY CÁC HÀM KHẢ TÍCH (Sequences of integrable function) Định lý 2.3.1 [ ] 4 Nếu { } n f là dãy hàm cơ bản theo trung bình các hàm ñơn giản khả tích hội tụ. Theo ñộ ño tới hàm khả tích f thì: ( ) ( ) ( ) ( ) , 0 n n f f f x f x dx ρ µ = − → ∫ khi n → ∞ . Định lý 2.3.2 [ ] 4 Nếu { } n f là dãy hàm cơ bản khả tích tồn tại hàm khả tích f sao cho ( ) , 0 n f f ρ → . 2.4. ĐỊNH LÝ VỀ HỘI TỤ BỊ CHẶN Cho dãy ánh xạ ( ) : n n N f I ∈ → ℜ . Nếu: • Với mọi n thuộc , n N f liên tục từng khúc trên I . • ( ) n n N f ∈ hội tụ ñơn trên I ñến một ánh xạ ký hiệu là f . • f liên tục từng khác trên I . 20 • Có : I ϕ → ℜ liên tục từng khúc, không âm khả tích trên I sao cho: , n n N f ϕ ∀ ∈ ≤ (giả thiết bị chặn) Thì: • Với mọi n thuộc N , n f khả tích trên I . • f khả tích trên I . • ( ) ( ) n n I I f x dx f x dx →∞ → ∫ ∫ . Mệnh ñề 2.4.1 [ ] 4 Cho một dãy ánh xạ ( ) : n n N f I K ∈ → . Nếu: • Với mọi n thuộc , n N f liên tục và khả tích trên I . • ( ) n n N f ∈ hội tụ ñều trên I ñến một ánh xạ ký hiệu là f . • I bị chặn Thì: • f liên tục và khả tích trên I . • ( ) ( ) n n I I f x dx f x dx →∞ → ∫ ∫ . 2.5. HỘI TỤ ĐỀU VÀ LẤY TÍCH PHÂN TRÊN MỘT ĐOẠN Định lý2.5.1 [ ] 4 Giả sử ( ) 2 ,a b ∈ℜ sao cho a b≤ và [ ] ( ) 0 : ; n n f a b E ≥ → ∑ là một chuỗi ánh xạ. Nếu: • Với mọi , n n N f∈ liên tục trên [ ] ;a b . • 0 n n f ≥ ∑ hội tụ ñều trên [ ] ;a b . Thì: