Giá 10k/, tài liệu này đang ở dạng xem trước, vui lòng nạp thẻ cào để được xem full tài liệu www.facebook.com/garmentspace www.facebook.com/garmentspace www.facebook.com/garmentspace

1. BỘ GIÁO DỤC VÀ ĐÀO TẠO
TRƯỜNG ĐẠI HỌC SƯ PHẠM TP. HỒ CHÍ MINH
Trần Hữu Mạnh
TÍCH PHÂN CHOQUET
VÀ ĐỊNH LÍ CHOQUET
LUẬN VĂN THẠC SĨ TOÁN HỌC
Thành phố Hồ Chí Minh - 2011

2. BỘ GIÁO DỤC VÀ ĐÀO TẠO
TRƯỜNG ĐẠI HỌC SƯ PHẠM TP. HỒ CHÍ MINH
Trần Hữu Mạnh
TÍCH PHÂN CHOQUET
VÀ ĐỊNH LÍ CHOQUET
Chuyên ngành: Toá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 NGUYỄN BÍCH HUY
Thành phố Hồ Chí Minh - 2011

3. LỜI CẢM ƠN
Lời cảm ơn sâu sắc nhất, tôi xin trân trọng cảm ơn thầy của tôi – cố PGS.TS Đậu Thế
Cấp, người đã giảng dạy tôi trong khóa học, cũng như tận tình hướng dẫn tôi trong quá trình
thực hiện luận văn Thạc sĩ và nghiên cứu khoa học. Tôi cũng xin gửi lời chia buồn sâu sắc tới
gia đình thầy vì sự ra đi đột ngột của thầy.
Tôi xin gửi lời cảm ơn đến PGS.TS Nguyễn Bích Huy đã hỗ trợ tôi trong quá trình hoàn
thành luận văn.
Tôi xin chân thành cảm ơn quý thầy cô trong Hội đồng chấm luận văn đã dành thời gian
đọc và cho tôi những nhận xét quý báu về luận văn.
Tôi xin chân thành cảm ơn Ban Giám Hiệu, quý thầy cô của khoa Toán – Tin học, quý
thầy cô thuộc phòng Sau Đại Học trường Đại Học Sư Phạm TP.HCM đã trang bị cho tôi kiến
thức cũng như đã tạo điều kiện thuận lợi cho tôi trong suốt quá trình học tập tại trường.
Tôi cũng xin cám ơn các bạn học viên cùng lớp Cao học Giải Tích khóa 20 đã chia sẻ,
giúp đỡ nhau trong suốt quá trình học tập.
Cuối cùng là lời cảm ơn tôi dành cho những người thân trong gia đình tôi, những người
luôn động viên tôi trong suốt thời gian qua.
TP.HCM, ngày 29 tháng 7 năm 2011
Trần Hữu Mạnh

4. MỤC LỤC
LỜI CẢM ƠN.................................................................................................................1
MỤC LỤC.......................................................................................................................2
MỞ ĐẦU .........................................................................................................................3
Chương 1: KIẾN THỨC CHUẨN BỊ...........................................................................5
1.1 Độ đo....................................................................................................................5
1.2 Tôpô .....................................................................................................................8
1.3 Dung lượng trong không gian tôpô....................................................................11
1.4 Mối liên hệ giữa dung lượng và độ đo ............................................................15
1.5 Một số dung lượng đặc biệt................................................................................17
1.6 Dung lượng rời rạc.............................................................................................23
Chương 2: TÍCH PHÂN CHOQUET THEO DUNG LƯỢNG ...............................28
2.1 Định nghĩa..........................................................................................................28
2.2 Tính chất.............................................................................................................28
Chương 3: ĐỊNH LÍ CHOQUET ...............................................................................40
3.1 Hàm dung lượng.................................................................................................40
3.2 Định lí Choquet..................................................................................................41
KẾT LUẬN ...................................................................................................................54
TÀI LIỆU THAM KHẢO ...........................................................................................55

5. MỞ ĐẦU
1. Lý do chọn đề tài
Lý thuyết dung lượng và tích phân theo dung lượng được đưa ra bởi nhà toán học Pháp
Gustave Choquet (1955) và đã được mở rộng, phát triển bởi nhiều nhà toán học. Hiện nay vấn
đề này vẫn đang có tính thời sự, được nhiều nhà toán học quan tâm. Vì vậy, chúng tôi chọn đề
tài: “Tích phân Choquet và định lí Choquet” nhằm tìm hiểu cũng như bước đầu nghiên cứu
theo lý thuyết nói trên.
2. Mục đích nghiên cứu
Trong luận văn này, chúng tôi đưa ra khái niệm dung lượng, tích phân Choquet theo dung
lượng trong không gian tôpô Hausdorff tổng quát với σ - đại số Borel và định lí Choquet ứng
với hàm dung lượng.
3. Đối tượng và phạm vi nghiên cứu
Trong luận văn này, chúng tôi nghiên cứu dung lượng trong không gian tôpô Hausdorff
với σ - đại số Borel, khảo sát một số trường hợp dung lượng rời rạc, nghiên cứu một số tính
chất của tích phân Choquet theo các dung lượng, dung lượng rời rạc. Định lí Choquet trong
không gian tôpô compắc địa phương, Hausdorff và khả li cũng được chúng tôi nghiên cứu.
4. Ý nghĩa khoa học thực tiễn
Các kết quả có được của luận văn là một trường hợp cho lý thuyết dung lượng trong
không gian tôpô Hausdorff, có nhiều ứng dụng trong lý thuyết độ đo, xác suất.
5. Cấu trúc luận văn
Nội dung luận văn được trình bày 3 chương:
- Chương 1: Trình bày một số vấn đề về lý thuyết độ đo, tôpô, lý thuyết dung lượng,
dung lượng rời rạc cần thiết.

6. - Chương 2: Trình bày định nghĩa tích phân Choquet theo các dung lượng trên không
gian tôpô Hausdorff, một số tính chất của tích phân Choquet theo các dung lượng,
dung lượng rời rạc.
- Chương 3: Trình bày định nghĩa hàm dung lượng và chứng minh định lí Choquet
trong không gian tôpô compắc địa phương, Hausdorff và khả li.

7. Chương 1: KIẾN THỨC CHUẨN BỊ
1.1 Độ đo
Kí hiệu ( )XP là họ tất cả các tập con của tập X .
Định nghĩa 1.1.1
Một họ M ⊂ ( )XP được gọi là một σ - đại số trên X nếu thỏa mãn các điều kiện
i. ∅∈ M .
ii. Mọi dãy{ }nE ⊂ M thì
1
n
n
E
+∞
=
∈ M .
iii. E∀ ∈ M thì c
E X E= ∈ M .
Nếu điều kiện ii. được thay bởi điều kiện
ii’. 1 2, ,..., nE E E ∈ M thì
1
n
j
j
E
=
∈ M .
thì M gọi là một đại số.
Cặp (X, M ) gồm tập X và một σ - đại số trên X gọi là một không gian đo được.
Ta biết giao của một họ khác rỗng các σ - đại số các tập con của X là một σ - đại số.
Nếu C là một họ các tập con của X thì ( )XP là một σ - đại số chứa C . Do đó ta có σ -
đại số M (C) là giao của tất cả các σ - đại số chứa C và σ - đại số M (C ) được gọi là σ -
đại số sinh bởi C .
Với các họ tập con C , F của X , ta có
C ⊂ M ( F ) ⇒ M (C ) ⊂ M ( F )
Định nghĩa 1.1.2
Cho X là một không gian tôpô. Ta gọi σ - đại số Borel trên X là σ - đại số sinh bởi họ
các tập con mở của X , kí hiệu là ( )XB . Mỗi phần tử thuộc ( )XB gọi là một tập Borel.

8. Như vậy tập Borel bao gồm các tập mở, các tập đóng, giao của đếm được các tập mở, hợp
của đếm được các tập đóng…của X . Đặc biệt nếu X là không gian Hausdorff thì mọi tập
compắc là tập Borel. Ta gọi một tập bằng giao của đếm được các tập mở là tập Gδ , một tập
bằng hợp của đếm được các tập đóng là tập Fσ .
Định nghĩa 1.1.3
Họ C các tập con của X gọi là một nửa đại số nếu
i. ∅∈ C .
ii. ,E F ∈ C E F⇒ ∩ ∈C .
iii. E ∈ C thì
c
E bằng hợp của hữu hạn các tập rời nhau của C .
Định lí 1.1.4
Nếu C là một nửa đại số thì họ A các hợp hữu hạn của các tập rời nhau của C là một
đại số.
Định nghĩa 1.1.5
Cho M là một σ - đại số trên X . Một hàm tập [ ]: 0;µ → +∞M gọi là một độ đo
trên M nếu thỏa mãn các điều kiện
i. ( ) 0µ ∅ = .
ii. { }nE là dãy các tập rời nhau thuộc M thì
11
( ).n n
nn
E Eµ µ
+∞ +∞
==
 
= 
 
∑
Độ đo µ trên M gọi là hữu hạn nếu ( ) ,E Eµ < +∞ ∀ ∈ M .
Độ đo µ trên M gọi là độ đo xác suất nếu ( ) 1Xµ = .
Độ đo µ trên M gọi là σ - hữu hạn nếu tồn tại dãy { } ( ) ,n nE E nµ⊂ < +∞ ∀M, và
1
n
n
E X
+∞
=
= .

9. Độ đo µ trên M gọi là độ đo đầy đủ nếu mọi ( ) 0E Eµ∈ =M, thì mọi F E⊂ đều có
F ∈ M .
Bộ ba ( , , )X µM trong đó M là một σ - đại số trên X , µ là một độ đo trên M gọi
là một không gian độ đo.
Định lí 1.1.1
Cho ( , , )X µM là một không gian độ đo. Khi đó
a. Mọi ,E F E F∈ ⊂M, đều có
( ) ( )E Fµ µ≤ (tính chất đơn điệu)
b. Mọi dãy { }nE ⊂ M đều có
11
( )n n
nn
E Eµ µ
+∞ +∞
==
 
≤ 
 
∑ (tính chất cộng tính dưới)
c. Mọi dãy { } 1, ,n n nE E E n+⊂ ⊂ ∀M đều có
1
lim ( )n n
n
n
E Eµ µ
+∞
→+∞
=
 
= 
 
 (tính chất liên tục dưới)
d. Mọi dãy { } 1 1, , , ( )n n nE E E n Eµ+⊂ ⊃ ∀ < +∞M đều có
1
lim ( )n n
n
n
E Eµ µ
+∞
→+∞
=
 
= 
 
 (tính chất liên tục trên)
Định nghĩa 1.1.6
Một độ đo trên σ - đại số Borel của không gian tôpô X được gọi là độ đo Borel.
Một độ đo Borel µ trên X gọi là chính quy nếu mọi ( )E X∈ B ta có
( ) infEµ = { (U) U Eµ ⊃ và Umở}
sup= { ( )K K Eµ ⊂ và K compắc}

10. 1.2 Tôpô
Định nghĩa 1.2.1
Cho không gian tôpô X và A X∈ . Một họ G các lân cận của Ađược gọi là một hệ cơ
bản các lân cận của Anếu với mọi lân cận U của Ađều tồn tại một lân cận V G∈ sao cho
V U⊂ .
Định nghĩa 1.2.2
Không gian X được gọi là không gian (LCS) nếu X là không gian tôpô compắc địa
phương, Hausdorff và khả li.
Định lí 1.2.1
Cho X là không gian (LCS). Khi đó
a. Với mọi tập compắc K X⊂ , tồn tại một dãy các tập mở { }nG sao cho
1n nG G +⊃ và
1
n
n
G K
+∞
=
= .
b. Với mọi tập mở G X⊂ , tồn tại một dãy tăng các tập mở và compắc tương đối
{ }nB (nghĩa là với mọi n thì nB là tập mở và nB là tập compắc) sao cho 1n nB B +⊂ và
1
1 1
n n
n n
G B B
+∞ +∞
+
= =
= =  . Đặc biệt, nếu K G⊂ thì nK B⊂ với n đủ lớn.
c. Với mọi tập Borel V , tồn tại một dãy tăng các tập compắc { }nK sao cho
1
n
n
K V
+∞
=
= .
Định nghĩa 1.2.3
Cho không gian tôpô X . Một họ các tập { } I
Fα α∈
được gọi là có tâm nếu mọi tập con
hữu hạn 0I của I đều có
0I
Fα
α∈
≠ ∅ .

11. Định lí 1.2.2
Không gian tôpô X là compắc nếu và chỉ nếu mọi họ các tập con đóng có tâm
{ } I
Fα α∈
đều có giao
I
Fα
α∈
≠ ∅ .
Kể từ đây, trong luận văn này kí hiệu ( ), ( ), ( ), ( )X X X XK F G B lần lượt là họ tất cả
các tập compắc, tập đóng, tập mở và tập Borel của không gian tôpô X .
Định nghĩa 1.2.4
Cho X là không gian tôpô. Với 1, , ,..., nA K G G X∈ , định nghĩa
a. { ( ): }, { ( ): }A
A F X F A F X F A= ∈ ∩ ≠ ∅ = ∈ ∩ = ∅F FF F
1 2 1 2, ,..., ...n n
K K
G G G G G G= ∩ ∩ ∩ ∩F F F F F (nếu 0n = thì 1 2, ,..., n
K
G G GF là
K
F )
b. ( )B F là σ - đại số sinh bởi họ { }: ( )K
K X∈ KF và { }: ( )G G X∈GF .
Từ định nghĩa, dễ thấy
, , ( )G G X∅ ∅
∅= =∅ =FF F F F .
Định lí 1.2.3
Cho X là không gian (LCS). Nếu ( )K X∈ K và { }nG là một hệ cơ bản các lân cận mở
của K thì
1
nG K
n
+∞
=
=F F và
1
nG K
n
+∞
=
=F F .
Định nghĩa 1.2.5
Cho không gian tôpô X .Tôpô miss and hit trong ( )XF là tôpô có cơ sở là họ
{ }1 2, ,..., 1 2: ( ); , ,..., ( )n
K
G G G nK X G G G X∈ ∈K GF .
Định lí 1.2.4
Cho X là không gian tôpô. Khi đó không gian tôpô miss and hit ( )XF là compắc.

12. Chứng minh:
Rõ ràng họ các tập
{ }: ( ),iK
iK X i I∈ ∈KF và { }: ( ),jG jG X j J∈ ∈GF là tiền cơ sở của tôpô miss and hit.
Theo định lí Alexandroff, ta chỉ cần chứng minh rằng nếu
{ } { }: ( ), : ( ),i
j
K
i G jK X i I G X j J∈ ∈ ∈ ∈F FK G là một phủ của F thì nó có phủ con
hữu hạn.
Ta có
( ) i
j
K
G
i I j J
X
∈ ∈
  
=   
   
 F FF
Đặt j
j J
G
∈
Ω = thì Ω là tập mở.
Ta có
( ) ( )( ) ( )i
j
j
i
i
i
K
G
i I j J
G
K
i I j J
K
i I
K
i I
X X
∈ ∈
∈ ∈
Ω
∈
Ω
∈
  
∅ =   
   
  
=   
   
 
=  
 
=



 
 


F F
F F
F F
F
F F
Do đó tồn tại 0i I∈ sao cho 0iK ⊂ Ω.
Thật vậy, giả sử trái lại ( ) ,iK X i I∩ Ω ≠ ∅ ∀ ∈ .
Khi đó iK
i I
X Ω
∈
∅ ≠ Ω∈F là điều vô lý.

13. Vì 0iK là tập compắc nên tồn tại tập 1 2{ , ,..., }nj j j J⊂ sao cho { }1 2
, ,..., nj j jG G G là một phủ
của 0iK . Với F là một tập con đóng tùy ý của X thì 0iF K∩ =∅ hoặc kjF G∩ ≠ ∅ với
một số {1,2,..., }k n∈ .
Do đó
0
1
...i
j jn
K
G GF ∈ ∪ ∪ ∪F F F
Định nghĩa 1.2.6
Cho tập Ω. Một lớp A các tập con của Ω được gọi là một lớp compắc nếu với mọi dãy
tập compắc { }nK ⊂ Ω thỏa
1
n
n
K
+∞
=
= ∅ thì tồn tại một số nguyên N sao cho
1
N
n
n
K
=
= ∅ .
1.3 Dung lượng trong không gian tôpô
Định nghĩa 1.3.1
Cho X là không gian tôpô Hausdorff. Hàm : ( ) [0, )T X → +∞B được gọi là dung
lượng trên X nếu nó thỏa mãn 4 điều kiện sau đây:
1. ( ) 0T ∅ = .
2. T đan dấu cấp vô hạn. Nghĩa là với mọi họ tập Borel , 1,..., , 2iA i k k= ≥ ta có
# 1
( )1
( 1)
k
I
i i
I I ki i I
T A T A+
∈= ∈
   
≤ −   
   
∑ 
trong đó ( ) { {1,..., }, },# ( )I k I k I I card I= ⊂ ≠ ∅ = .
3. ( ) sup{ ( ): ( ), }, ( )T A T C C X C A A X= ∈ ⊂ ∀ ∈K, B .
4. ( ) inf{ ( ): ( ), }, ( )T C T G G X G C C X= ∈ ⊃ ∀ ∈G K, .
Kể từ đây trong luận văn này nếu không chú thích gì thêm, không gian tôpô X ta xét là
không gian tôpô Hausdorff.
Định lí 1.3.1

14. Cho T là dung lượng trên X . Khi đó T là hàm không giảm trên ( )XB .
Chứng minh:
Giả sử , ( ),A B X A B∈ ⊂B
Đặt ( ) { : ( ), }A C C X C A= ∈ ⊂K, K,
( ) { : ( ), }B C C X C B= ∈ ⊂K, K,
Thế thì ( ) ( )A B⊂K, K,
Theo định nghĩa 1.3.1 thì
( ) ( )
( ) sup { ( )} sup { ( )}= ( )
C A C B
T A T C T C T B
∈ ∈
= ≤
K, K,
Vậy ( ) ( )T A T B≤
Hệ quả 1.3.1
Cho T là dung lượng trên X . Nếu ( )A X∈ B và ( ) 0T A = thì
( ) ( ), ( )T B T B A B X= ∪ ∀ ∈ B
Chứng minh:
Theo định lí 1.3.1 ta có ( ) ( )T B T B A≤ ∪
Vì T là dung lượng trên X nên
( ) ( ) ( ) ( )T B A T B T A T B A∩ ≤ + − ∪
( ) ( ) ( ) ( )T B A T B T A T B A⇒ ∪ ≤ + − ∩
Mà ( ) 0 ( ) 0T A T B A= ⇒ ∩ =
Do đó ( ) ( )T B A T B∪ ≤
Vậy ( ) ( ), ( )T B T B A B X= ∪ ∀ ∈ B .
Định nghĩa 1.3.2
Hàm : ( ) [0, )T X → +∞B được gọi là cực đại nếu
( ) max{ ( ), ( )}, , ( )T A B T A T B A B X∪= ∀ ∈ B

15. Định lí 1.3.2
Nếu hàm : ( ) [0, )T X → +∞B là cực đại thì với mọi họ tập Borel , 1,..., , 2iA i k k= ≥
ta có
# 1
{1,...,k}
( )
( 1) min { ( )}I
i i
i
I I k i I
T A T A+
∈
∈ ∈
 
− = 
 
∑ 
Chứng minh:
Với 2k = ta có
1 2 1 2( ) ( ) ( )T A T A T A A+ − ∪
1 2 1 2( ) ( ) max{ ( ), ( )}T A T A T A T A= + −
1 2min{ ( ), ( )}T A T A=
Giả sử đẳng thức trên đúng với , 2k n n= ≥ , ta chứng minh đẳng thức trên đúng với
1k n= + .
Với mọi họ tập Borel , 1,..., 1iA i n= + , không mất tính tổng quát ta có thể giả sử
1
1 1
( ) min{ ( )}i
i n
T A T A
≤ ≤ +
= và 1
1 1
( ) max{ ( )}n i
i n
T A T A+
≤ ≤ +
= .
Ta có
# 1
( 1)
# 1 # ' 1
1
( ) ' ( , 1) '
( 1)
( 1) ( ) ( 1)
n
I
i
I I n i I
I I
i n i
I I n I I ni I i I
T A
T A T A T A
+
∈ + ∈
+ +
+
∈ ∈ +∈ ∈
 
−  
 
   
= − + + −   
   
∑
∑ ∑

 
( )1 2
1 1 1( ) ( ) ... ( 1) ( )n n
n n n n nT A T A C C C T A+ += + + − + − + −
( )0 1 2
1 1( ) ... ( 1) ( )n n
n n n n nT A C C C C T A += + − + − + −
1( )T A=
1 1
min{ ( )}i
i n
T A
≤ ≤ +
=
với ( , 1) { { 1}: ( )}nI n I n I I n+ = ∪ + ∈ .

16. Định lý 1.3.3
Nếu hàm : ( ) [0, )T X → +∞B là cực đại thì T thỏa điều kiện 2. của định nghĩa 1.3.1
Chứng minh:
Với mọi họ tập Borel , 1,..., , 2iA i k k= ≥ ta có
# 1
{1,...,k}
( )1
min { ( )}= ( 1)
k
I
i i i
i
I I ki i I
T A T A T A+
∈
∈ ∈
   
≤ −   
   
∑ 
Định nghĩa 1.3.3
Hàm : ( ) [0, )T X → +∞B được gọi là độ đo cực đại nếu T là cực đại và thỏa các điều
kiện 1.,3.,4. của định nghĩa 1.3.1.
Như vậy, một độ đo cực đại là một dung lượng trên X .
Định nghĩa 1.3.4
Hàm : ( ) [0, )T X → +∞B được gọi là có tính liên tục trên nếu mọi dãy
{ } ( )nC X⊂ B , 0nC C↓ (nghĩa là 1n nC C+ ⊂ và 0
1
n
n
C C
+∞
=
= ) thì 0( ) ( )nT C T C↓ (nghĩa là
1( ) ( )n nT C T C+ ≤ và 0lim ( ) ( )n
n
T C T C
→+∞
= ).
Hàm : ( ) [0, )T X → +∞B được gọi là có tính liên tục dưới nếu mọi dãy
{ } ( )nC X⊂ B , 0nC C↑ (nghĩa là 1n nC C +⊂ và 0
1
n
n
C C
+∞
=
= ) thì 0( ) ( )nT C T C↑ (nghĩa là
1( ) ( )n nT C T C +≤ và 0lim ( ) ( )n
n
T C T C
→+∞
= ).
Định nghĩa 1.3.5
Tập S X⊂ được gọi là giá của dung lượng T nếu S là tập đóng nhỏ nhất trong X thỏa
( ) 0T X S = . Giá của T được kí hiệu là suppT .
Định lí 1.3.4

17. Nếu T là dung lượng trên X thì (supp ) ( ), ( )T T T A A X≥ ∀ ∈ B .
Và do đó (supp ) ( )T T T X= .
Chứng minh:
Với suppS T= và ( )A X∀ ∈ B thì ta có ( ) ( )c
A A S A S= ∩ ∪ ∩ .
Theo định nghĩa 1.3.1 thì
( )0 ( ) ( ) ( ) ( ) ( )c c
T A S A S T A S T A S T A= ∩ ∩ ∩ ≤ ∩ + ∩ −
( ) ( ) ( )c
T A T A S T A S⇒ ≤ ∩ + ∩
Mà ( ) ( )T A S T A∩ ≤ và ( ) 0c
T A S∩ =, do đó ( ) ( )T A T S≤ .
Ta có (supp ) ( )T T T X≤ và theo trên thì ( ) (supp )T X T T≤ nên được
(supp ) ( )T T T X= .
Hệ quả 1.3.2
Nếu T là dung lượng trên X thì
supp { : ( ), ( ) 0}T X G G X T G= ∈ = G .
Định nghĩa 1.3.6
Dung lượng T được gọi là dung lượng xác suất trên X nếu (supp ) 1T T = .
Định lí 1.3.5
Cho X là không gian (LCS) và T là dung lượng trên X . Cho
0, ( )G G X∈G , ( )K X∈ K , { } ( )nK X⊂ K là dãy tập compắc sao cho nK G↑ ,
{ } ( )nG X⊂ G là dãy các tập mở sao cho 1 ( )n nG G X+⊃ ∈ K và nG K↓ . Khi đó
0 0lim ( ) ( )n n
n
T G G K T G G K
→+∞
∪ ∪ = ∪ ∪
1.4 Mối liên hệ giữa dung lượng và độ đo
Định lí 1.4.1

18. Nếu µ là độ đo hữu hạn trên ( )XB thì với mọi họ tập Borel , 1,..., , 2iA i k k= ≥ ta có
# 1
( )1
( 1)
k
I
i i
I I ki i I
A Aµ µ+
∈= ∈
   
= −   
   
∑ 
Chứng minh:
Với 2k = , do µ là độ đo hữu hạn nên ta có
1 2 1 2 1 2( ) ( ) ( ) ( )A A A A A Aµ µ µ µ∩ = + − ∪
Giả sử đẳng thức trên đúng với , 2k n n= ≥ , ta chứng minh đẳng thức trên đúng với
1k n= + . Kí hiệu { }( 1) ( ) {n+1} ( , 1)nI n I n I n+ = ∪ ∪ + , với
( , 1) { { 1}: ( )}nI n I n I I n+ = ∪ + ∈ .
Đặt
1
n
i
i
A A
=
= 
Ta có

19. 1
1
1
1 1
1 1
1
1 1
1 1
# 1 # 1
1 1
( ) ( )
( )
( ) ( ) ( )
( ) ( )
( ) ( )
( 1) ( ) ( 1) ( )
n
i
i
n
n n
n
n i n
i
n n
i n i n
i i
I I
i n i n
I I n I I ni I i I
A
A A
A A A A
A A A A
A A A A
A A A A
µ
µ
µ µ µ
µ µ µ
µ µ µ
µ µ µ
+
=
+
+ +
+ +
=
+ +
= =
+ +
+ +
∈ ∈∈ ∈
 
 
 
= ∩
= + − ∪
  
= + − ∪  
  
   
= + − ∪   
   
 
= − + − − ∪ 
 
∑ ∑


 
 
# 1 # 1
1
( ) ( ) '
# 1 # ' 1
1
( ) ' ( , 1) '
# 1
( 1)
( 1) ( ) ( 1)
( 1) ( ) ( 1)
( 1)
n
I I
i n i
I I n I I ni I i I
I I
i n i
I I n I I ni I i I
I
i
I I n i I
A A A
A A A
A
µ µ µ
µ µ µ
µ
+ +
+
∈ ∈∈ ∈
+ +
+
∈ ∈ +∈ ∈
+
∈ + ∈
 
 
 
   
= − + − −   
   
   
= − + + −   
   
 
= −  
 
∑ ∑
∑ ∑
∑
 
 

với ' {n+1}, ( )I I I I n=∪ ∈ .
Hệ quả 1.4.1
Độ đo Borel chính quy hữu hạn trên X là dung lượng trên X .
Đặc biệt, với mọi tập con Borel bị chặn Acủa
n
R , thu hẹp của độ đo Lebesgue trên
( )AB là dung lượng trên A.
Như vậy, lớp các dung lượng trên X chứa lớp các độ đo Borel chính quy hữu hạn và lớp
của những độ đo cực đại.
1.5 Một số dung lượng đặc biệt
Định lí 1.5.1
Cho x X∈ . Hàm : ( ) [0,+ )xT X → ∞B được xác định như sau

20. 1
( ), ( )
0
x
khi x A
A X T A
khi x A
∈
∀ ∈ =
∉
B
Khi đó xT là dung lượng xác suất trên X .
Chứng minh:
Ta có ( ) 0xT ∅ = .
xT là cực đại. Thật vậy, , ( )A B X∀ ∈ B :
Nếu x A B∈ ∪ x A⇒ ∈ hoặc x B∈ thì
( ) max{ ( ), ( )}=1x x xT A B T A T B∪ = .
Nếu x A B∉ ∪ x A⇒ ∉ và x B∉ thì
( ) max{ ( ), ( )} 0x x xT A B T A T B∪= =
Do đó xT thỏa mãn điều kiện 2. của định nghĩa 1.3.1.
Ta có ( ) sup{ ( ): ( ), }, ( )x xT A T C C X C A A X= ∈ ⊂ ∀ ∈K, B . Thật vậy:
Nếu x A∈ thì ( ) 1xT A = . Vì { }x là tập compắc chứa trong Avà ( ){ } 1xT x = nên đẳng
thức đúng.
Nếu x A∉ thì ( ) 0xT A = . Vì ( ),C X C A∀ ∈ ⊂K, ( ) 0xx C T C⇒ ∉ ⇒ = nên đẳng
thức cũng đúng.
Ta có ( ) inf{ ( ): ( ), }, ( )x xT C T G G X G C C X= ∈ ⊃ ∀ ∈G K, . Thật vậy:
Nếu x C∈ thì ( ) 1xT C = và ( ) 1, ( ),xT G G X G C= ∀ ∈ ⊃G nên đẳng thức đúng.
Nếu x C∉ thì ( ) 0xT C = . Ta có { }X x là một tập mở chứa C . Mà ( ){ } 0xT X x =
nên đẳng thức cũng đúng.
Vậy xT là dung lượng trên X .
Hiển nhiên supp { }xT x= và ( ){ } 1xT x = nên xT là dung lượng xác suất trên X .
Định lí 1.5.2
Cho ( )C X∈ K, . Hàm : ( ) [0,+ )CT X → ∞B được xác định như sau