Bài Tập ToPo-Độ đo-Tích Phân Lebesgue

Học viên :Vũ Duy Thắng

Giữa kì:
* Lý thuyết có CM: Các câu: 4,5,8,13,16
* Các câu không CM: 2,10,12,15,18
Cuối kì:
* Có CM: 20,21,27,34,35,40
* Không CM: 19,26,33,37,39
* Bài tập:
+ Chương 5: Từ BÀI 1 --> BÀI 5
+ Chương 6: Từ BÀI 1 --> BÀI 6
+ Chương 7: Từ BÀI 1 --> BÀI 4

Tài liệu tham khảo

1.Giáo trình Độ đo-Tích phân ĐHKHTN
2.Bài tập Độ đo-Tích phân-Thày Đỗ Đức Thái
3.Bài tập Topo-Độ đo-Tích phân(giáo trình bên ĐHSPHN)

Phần Đề Bài Tập

I.Độ Đo
Bài 1
Giả sử là các tập đo được Lebesgue(L) trong đoạn thỏa mãn

.Chứng minh
Bài 2
Cho là một dãy tăng các tập đo được L của thỏa mãn
.

Chứng minh
Bài 3
Cho là dãy tăng các tập đo được với .

Có thể kết luận được không?

Giải

Ví dụ thì song
Bài 4
Nếu là 1 tập đo được L với thì trong E có thể tìm được các
điểm có khoảng cách giữa chúng là số vô tỷ.
Giải
Lấy cố định,vì nên E ko đếm được.
Xét tập A= với d là khoảng cách thông thường.Do nên A
cũng có lực lượng continum(ko đếm được) vì thế ko phải mọi phần tử của A
là số hữu tỷ->đpcm
Bài 5
Cho tập không đếm được X.
Xét ko quá đếm được
Xác định hàm tập trên như sau

Chứng minh là một -đại số và là một độ đo.

Bài 6
Cho A,B là các tập đo được theo độ đo .Chứng minh

II.Hàm đo được-Tích phân Lebesgue

Bài 1:Cho ví dụ hàm đo được trên E thì f(x) không nhất thiết đo được
trên E
Bài 2

Cho dãy hàm trên A.Chứng minh nếu thì .

Cho ví dụ nếu bỏ giả thiết thì kết luận ko còn đúng nữa.
Giải
ta chứng minh

Có với Vì nên
(đpcm)
Phản ví dụ (nếu bỏ giả thiết thì kết luận ko còn đúng)
Ví dụ

Cho

Ta có song ko suy ra được

Bài 3
Giả sử A là tập đo được có .Chứng minh

trên A
Cho ví dụ nếu bỏ giả thiết thì kết luận ko còn đúng.
Giải

Nếu theo bài 2 ta có

Nếu ta có hơn nữa và nên

theo định lý Lebesgue hội tụ bị chặn đều ta có

Ví dụ

Xét dãy hàm thì

Bài 4
Cho đo được trên A.Chứng minh các điều sau là tương đương
i)f khả tích L trên A

ii) hội tụ

iii) hội tụ
với
Giải

Bài 5
Cho f khả tích L trên A.Đặt .Chứng minh

Bài 6
Giả sử là không gian đo hữu hạn.Đặt

1.Chứng minh nếu thì sự hội tụ theo d tương đương sự hôi tụ theo
độ đo
2.Chứng minh không gian là không gian metric đầy nếu đồng nhất
các hàm với các lớp tương đương của nó
Giải
1.
Mệnh đề 1.8. (Sự liên tục của độ đo) Giả sử 𝒜 là một đại số và 𝜇 là một độ đo
trên đại số 𝒜. Khi đó :

1. Nếu {A } 𝒜, A 𝒜 và A ↑ A thì 𝜇(A ) ↑ 𝜇(A) ( liên tục dưới ).

2. Nếu {A } 𝒜, A 𝒜 và A ↓ A và 𝜇(A ) < ∞ với n ℕ nào đó thì

𝜇(A ) = 𝜇(A) (liên tục trên)

Chứng minh :

1. Do {A } 𝒜, A ↑ A nên A=

Đặt B = A

B =A \A
...

B =A \A
...

Khi đó B B = ,i≠j, = và A =

Do đó 𝜇(A) = 𝜇( ) = 𝜇( )

= 𝜇( ) (Tính chất - cộng tính của độ đo)

= 𝜇( )

= 𝜇( )
= 𝜇( )

2. Do { } 𝒜, A ↓ A, nên A = =
Đặt B = A \ A

Khi đó B B = ,i≠j,A =
Mặt khác 𝜇(A ) < ∞ với ∈ nào đó, không mất tổng quát lấy

= 1, ta có 𝜇(A ) < ∞, hay 𝜇( )<∞

Do tính của độ đo ta có 𝜇(B ) < ∞ hay chuỗi 𝜇(B ) hội tụ.

Nên phần dư của chuỗi 𝜇(B ) → 0.

Mặt khác 𝜇 ( A ) = 𝜇( B )

= 𝜇 (B ) (tính σ-cộng tính).

Do đó 𝜇 (A ) → 0.
 BÀI TẬP NHÓM MÔN ĐỘ ĐO TICH PHÂN

(NHÓM 2)
Thành viên:

1. Trương Thị Sỡ Như – 21101115

2. Nguyễn Quỳnh Mai – 21101039
3. Đỗ Thị Thanh Tâm – 21101056
4. Huỳnh Nguyễn Hoài Như – 21101114
5. Lê Thị Thảo Vi – 21101132
6. Ksor H’Trúc – 21101129
7. Phan Ngọc Yến Vy –21101135
Nội dung:

1.Mệnh đề 1.4
2.Mệnh đề 1.5
3.Mệnh đề 1.6
4.Mệnh đề 1.7
5.Mệnh đề 1.8
6.Mệnh đề 1.9
7.Hệ quả 1.1
8.Mệnh đề 1.10
Mệnh đề 1.5:

1. Nếu f là hàm tập cộng tính hoặc σ - cộng tính thì f ( ∅ )=0.
2. Nếu f là hàm tập cộng tính thì nó cũng cộng tính hữu hạn và ngược lại.
3. Nếu f là hàm tập σ - cộng tính thì f cũng là hàm tập cộng tính.
Chứng minh:
Mệnh đề 1.5:

Giả sử μ là độ đo trên đại số . Khi đó

1. μ là cộng tính
2. Nếu A , B ∈ A , A B thì μ ( A ) ≤ μ ( B ) .
3. Nếu A , B ∈ A , A B , μ ( A)<∞ thì μ ( B ¿ )=μ ( B )−μ ( A ) .
Chứng minh:
Mệnh đề 1.6:

Giả sử μ : A →[0; +∞ ] là một hàm tập trên đại số A . Khi đó μ là một độ đo trên A khi và
chỉ khi
1. μ ( ∅ )=0.
2. Nếu A , A i ∈ A , ∀ i ∈ N , ¿ i=1 ¿ ∞ A i A và các Ai đôi một rời nhau thì ta có
∞

∑ μ (¿ A i) ≤ μ ( A)¿
i=1

3. (Tính σ - nửa cộng tính) A , A i ∈ A , ∀ i ∈ N , A ¿ i=1 ¿ ∞ Ai thì ta có

∞
μ( A) ≤ ∑ μ (¿ A i )¿
i=1

Chứng minh:
Mệnh đề 1.7:(Bất đẳng thức Boole)

μ là một độ đo trên đại số A , ∀ { An } A ta có:

∞
μ(¿ n=1 ¿ ∞ A n )≤ ∑ μ(¿ A n)¿
n=1

Chứng minh:

Đặt B 1= A 1
B2= A2 { A ¿1

B3= A3 ( A 1 ¿❑ ¿❑ A 2 ¿

Bn= A n ¿ (¿ i=1 ¿ n−1 Ai ¿ )

Khi đó các Bi đôi một rời nhau

Bi ⊂ A i , ∀ i=1 , ∞,

Bn ⊂ A n và ¿ n=1¿ ∞ A n=¿ n=1 ¿ ∞ Bn ¿

Ta có:

∞
μ ( ¿ n=1 ¿ ∞ A n )=μ( ¿ n=1 ¿ ∞ B n)=∑ μ ( B n ) (do tính σ−cộng tính)
n=1

∞ ∞
Và ∑ μ (B n)≤ ∑ μ ( A n ) (vì B n ⊂ A n , ∀ n)
n =1 n=1

∞
Từ đó μ(¿ n=1 ¿ ∞ A n )≤ ∑ μ(¿ A n)¿
n=1
Mệnh đề 1.8:(Sự liên tục của độ đo)

Giả sử A là đại số và μ là một độ đo trên đại số A . Khi đó

1. Nếu { A n } A , A ∈ A và An ↑ A thì μ ( An ) ↑ μ ( A)(Liên tục dưới).
2. Nếu { A n } A , A ∈ A và An ↓ A và μ ( A ) <∞ với n 0 ∈ N nào đó thì
lim μ ( A n ) =¿ μ (A )¿ ( Liên tục trên)
n→∞

Chứng minh:
Mệnh đề 1.9: (Bất đẳng thức Fatou dưới dạng độ đo)

Cho ( X , A , μ ) là một không gian độ đo,{ A n } A . Khi đó:

1. μ ¿.
2. Nếu μ ( ¿ n=1 ¿ ∞ A n ) ≤ ∞ thì lim ¿n μ ( An )≤ μ ¿ ¿.
Chứng minh:
Hệ quả 1.1:

Cho ( X , A , μ ) là một không gian độ đo, μ là độ đo hữu hạn. Nếu An → A thì μ ( An ) → μ ( A ) .

Chứng minh:
Mệnh đề1.10: (Borel – Cantelli)

∞
Cho không gian độ đo ( X , A , μ ),{ A n } A . Nếu ∑ μ (¿ A n )<+ ∞ ¿ thì μ ¿.
i=1

Chứng minh:
TÀI LIỆU THAM KHẢO