1. Trang chủ
  2. » Giáo Dục - Đào Tạo

Đo độ và tích phân.pdf

6 6,2K 308
Tài liệu đã được kiểm tra trùng lặp

Đang tải... (xem toàn văn)

THÔNG TIN TÀI LIỆU

Thông tin cơ bản

Tiêu đề Đo Độ Và Tích Phân
Tác giả PGS TS Nguyễn Bách Huy
Trường học Trường Đại Học
Chuyên ngành Giải Tích
Thể loại tài liệu
Năm xuất bản 2005
Định dạng
Số trang 6
Dung lượng 111,99 KB

Nội dung

Tài liệu đo độ và tích phân.

Trang 1

GIẢI TÍCH (CƠ SỞ)

Phần 3 Độ Đo Và Tích Phân

Chuyên ngành: Giải Tích, PPDH Toán

§1 Độ Đo

(Phiên bản đã chỉnh sửa)

PGS TS Nguyễn Bích Huy Ngày 18 tháng 4 năm 2005

1 PHẦN LÝ THUYẾT

1 Không gian đo được

Định nghĩa :

1) Cho tập X 6= ø; một họ F các tập con của X được gọi là một σ−đại số nếu nó thỏa mãn các điều kiện sau :

i X ∈ F và nếu A ∈ F thì Ac ∈ F , trong đó Ac = X \ A

ii Hợp của đếm được các tập thuộc F cũng là tập thuộc F

2) Nếu F là σ−đại số các tập con của X thì cặp (X, F ) gọi là một không gian đo được

; mỗi tập A ∈ F gọi là tập đo được (đo được với F hay F − đo được)

Tính chất

Giả sử F là σ−đại số trên X Khi đó ta có :

1) ø ∈ X

Suy ra hợp của hữu hạn tập thuộc F cũng là tập thuộc F

2) Giao của hữu hạn hoặc đếm được các tập thuộc F cũng là tập thuộc F

3) Nếu A ∈ F , B ∈ F thì A \ B ∈ F

2 Độ đo

Định nghĩa :

Cho một không gian đo được (X, F )

1) Một ánh xạ µ : F −→ [0, ∞] được gọi là một độ đo nếu :

i µ(ø) = 0

ii µ có tính chất σ−cộng, hiểu theo nghĩa

∀{An}n ⊂ F, (An∩ Am = ø, n 6= m) ⇒ µ(

[

n=1

An) =

X

n=1

µ(An)

2) Nếu µ là một độ đo xác định trên σ−đại số F thì bộ ba (X, F, µ) gọi là một không gian độ đo

Trang 2

Tính chất :

Cho µ là một độ đo xác định trên σ−đại số F ; các tập được xét dưới đây đều giả thiết

là thuộc F

1) Nếu A ⊂ B, thì µ(A) ≤ µ(B), hơn nữa nếu µ(A) < ∞ thì ta có

µ(B \ A) = µ(B) − µ(A) 2) µ(

S

n=1

An) ≤

P

n=1

µ(An)

Do đó, nếu µ(An) = 0 (n ∈ N∗) thì µ(

S

n=1

An) = 0 3) Nếu An⊂ An+1 (n ∈ N∗) thì µ(

S

n=1

An) = lim

n→∞µ(An) 4) Nếu An⊃ An+1 (n ∈ N∗) và µ(A1) < ∞ thì

µ(

T

n=1

An) = lim

n→∞µ(An) Quy ước về các phép toán trong R

Giả sử x ∈ R, a = +∞ hoặc a = −∞ Ta quy ước :

1) −∞ < x < +∞

2) x + a = a, a + a = a

3) x.a = a , nếu x > 0

−a , nếu x < 0 , a.a = +∞, a.(−a) = −∞

4) x

a = 0

Các phép toán a − a, 0.a, a

0,

x

0,

∞ không có nghĩa.

Khi thực hiện các phép toán trong R ta phải hết sức cẩn trọng Ví dụ, từ x + a = y + a không suy ra được x = y (nếu a = ±∞)

Định nghĩa

Độ đo µ xác định trên σ−đại số F các tập con của X được gọi là :

1) Độ đo hữu hạn nếu µ(X) < ∞

2) Độ đo σ− hữu hạn nếu tồn tại dãy {An} ⊂ F sao cho

X =

[

n=1

An, µ(An) < ∞ ∀n ∈ N∗

3) Độ đo đủ nếu nó có tính chất

(A ⊂ B; B ∈ F, µ(B) = 0) ⇒ A ∈ F

3 Độ đo Lebesgue trên R

Tồn tại một σ−đại số F các tập con của R mà mỗi A ∈ F gọi là một tập đo dược theo Lebesgue (hay (L)− đo được) và một độ đo µ xác định trên F (gọi là độ đo Lebesgue trên R ) thỏa mãn các tính chất sau :

1) Các khoảng (hiểu theo nghĩa rộng), tập mở, tập đóng, là (L)−đo được Nếu I là khoảng với đầu mút a, b (−∞ ≤ a ≤ b ≤ t) thì µ(I) = b − a

2) Tập hữu hạn hoặc đếm được là (L)−đo được và có độ đo Lebesgue bằng 0

Trang 3

3) Tập A ⊂ R là (L)−đo được khi và chỉ khi với mọi ε > 0, tồn tại tập đóng F , tập mở

G sao cho

F ⊂ A ⊂ G, µ(G \ F ) < ε 4) Nếu A là tập (L)−đo được thì các tập x + A, xA cũng là (L)−đo được và :

µ(x + A) = µ(A) µ(xA) = |x|µ(A) 5) Độ đo Lebesgue là đủ, σ− hữu hạn

2 PHẦN BÀI TẬP

1 Bài 1 Cho không gian độ đo (X, F, µ), tập Y 6= ø và ánh xạ ϕ : X −→ Y Ta định nghĩa :

A = {B ⊂ Y : ϕ−1(B) ∈ F } Chứng minh A là σ−đại số trên Y và γ là độ đo xác định trên F

Giải

• Ta kiểm tra A thỏa hai điều kiện của σ−đại số :

i Ta có Y ∈ A vì ϕ−1(Y ) = X ∈ F

Giả sử B ∈ A, ta cần chứng minh Bc = Y \ B ∈ A Thật vậy, ta có

 ϕ−1(Y \B) = ϕ−1(Y )\ϕ−1(B) = X\ϕ−1(B)

ϕ−1(B) ∈ F ( do B ∈ A) nên X \ ϕ−1(B) ∈ F

⇒ ϕ−1(Y \ B) ∈ F hay Y \ B ∈ A

ii Giả sử Bn ∈ A(n ∈ N∗) và B =

S

n=1

Bn Ta có

ϕ−1(B) =

S

n=1

ϕ−1(Bn)

ϕ−1(Bn) ∈ F (n ∈ N∗)

⇒ ϕ−1(B) ∈ F hay B ∈ A

• Tiếp theo ta kiểm tra γ là độ đo

Với B ∈ A ta có ϕ−1(B) ∈ F nên số µ[ϕ−1(B)] xác định, không âm Vậy số γ(B) ≥ 0, xác định

i Ta có γ(ø) = µ[ϕ−1(ø)] = µ(ø) = 0

ii Giả sử Bn ∈ A (n ∈ N∗), Bn∩ Bm = ø (n 6= m) và B =

S

n=1

Bn.Ta có

ϕ−1(B) =

S

n=1

ϕ−1(Bn),

ϕ−1(Bn) ∩ ϕ−1(Bm) = ϕ−1(Bn∩ Bm) = ø (n 6= m)

⇒ µ[ϕ−1(B)] =

P

n=1

µ [ϕ−1(Bn)] (do tính σ−cộng của µ)

⇒ γ(B) =

P

n=1

γ(Bn)

Trang 4

2 Bài 2 Cho không gian độ đo (X, F, µ) và các tập An∈ F (n ∈ N∗) Đặt :

B =

S

k=1

 ∞

T

n=k

An

 (Tập các điểm thuộc mọi An từ một lúc nào đó)

B =

T

k=1

 ∞

S

n=k

An

 (Tập các điểm thuộc vô số các An)

Chứng minh

1) µ(B) ≤ lim

n→∞

µ(An)

2) µ(C) ≥ lim

n→∞µ(An) Nếu có thêm điều kiện µ(

S

n=1

An) < ∞

Giải 2) Đặt Ck=

S

n=k

ta có :

Ck ∈ F (k ∈ N∗), C1 ⊃ C2 ⊃ , µ(C1) < ∞; C =

[

k=1

Ck

Do đó : µ(C) = lim

k→∞µ(Ck) (1) Mặt khác ta có Ck ⊃ Ak

nên

µ(Ck) ≥ µAk ∀k ∈ N∗ và

lim

k→∞µ(Ck) ≥ lim

k→∞µ(Ak) (2)

Từ (1), (2) ta có đpcm

3 Bài 3 : Cho σ−đại số F và ánh xạ :

µ : F −→ [0, ∞]

thỏa mãn các điều kiện sau :

i µ(ø) = 0

ii Nếu A1, A2 ∈ F, A1∩ A2 = ø thì µ(A1∪ A2) = µ(A1) + µ(A2)

(Ta nói µ có tính chất cộng hữu hạn)

iii Nếu An ∈ F (n ∈ N∗), A1 ⊃ A2 ⊃ và

T

n=1

An 6= ø thì lim

n→∞µ(An) = 0 Chứng minh µ là độ đo

Giải

Giả sử Bn ∈ F (n ∈ N∗), Bn∩ Bm = ø (n 6= m) và B =

S

n=1

Bn, ta cần chứng minh

µ(B) =

X

n=1

µ(Bn) (1)

Trang 5

Ck =

[

n=k

Bn (k = 1, 2 ),

ta có

Ck ∈ F, C1 ⊃ C2 ⊃ và

B = B1∪ ∪ Bn∪ Cn+1

T

k=1

Ck= ø (Xem ý nghĩa tập C, bài 2 và giả thiết về các Bn)

µ(B) =

n

P

k=1

µ(Bk) + µ(Cn+1) (2) ( do tính chất ii.) lim

m→∞µ(Cn) = 0 ( do tính chất iii.) Cho n → ∞ trong (2) ta có (1)

4 Bài 4 : Ký hiệu µ là độ đo Lebesgue trên R Cho A ⊂ [0, 1] là tập (L)−đo được và µ(A) = a > 0 Chứng minh rằng trong A có ít nhất một cặp số mà hiệu của chúng là số hữu tỷ

Giải

Ta viết các số hữu tỷ trong [0, 1] thành dãy {rn}n và đặt An = rn+ A (n ∈ N∗) Ta chỉ cần chứng minh tồn tại n 6= m sao cho An∩ Am 6= ∅ Giả sử trái lại, điều này không đúng Khi đó ta có

µ(

[

n=1

An) =

X

n=1

µ(An) (1) Mặt khác, ta có

µ(An) = µ(A) = a,

[

n=1

An ⊂ [0, 2]

Do đó vế phải của (1) bằng +∞ còn vế trái ≤ 2, vô lý

5 Bài 5 : Cho tập (L)− đo được A ⊂ R Chứng minh A có thể viết thành dạng A = B \ C với B là giao của đếm được tập mở và C là tập (L)−đo được, có độ đo Lebesgue bằng 0

Giải

Do tính chất 3) của độ đo Lebesgue, với mỗi n ∈ N∗ta tìm được tập mở Gn ⊃ A sao cho µ(Gn\ A) < 1

n Đặt B =

T

n=1

Gn và C = B \ A

Ta có B là (L)− đo đưực và do đó C cũng là (L)− đo được Vì

C ⊂ Gn\ A ∀n = 1, 2, nên ta có :

µ(C) ≤ 1

n ∀n = 1, 2, Vậy µ(C) = 0

Trang 6

6 Bài 6 : Cho tập L− đo được A ⊂ [0, 1] với µ(A) = a > 0 Chứng minh:

1) Hàm f (x) = µ(A ∩ [0, x]) liên tục trên [0, 1]

2) ∀b ∈ (0, a) ∃B ⊂ A : B (L)− đo được, µ(B) = b

Giải 1) Với 0 ≤ x < y ≤ 1 ta có

f (y) =µ(A ∩ [0, y])

=µ(a ∩ [0, x]) + µ(A ∩ (x, y])

⇒ f (x) − f (y) = µ(A ∩ (x, y])

⇒ 0 ≤ f (x) − f (y) ≤ y − x

Do đó f liên tục trên [0, 1]

2) Ta có f (0) = 0, f (1) = a và f liên tục nên tồn tại xo ∈ (0, 1) thỏa f (xo) = b hay µ(A ∩ [0, x]) = b Tập B := A ∩ [0, xo] cần tìm

Ngày đăng: 15/08/2012, 09:54

TỪ KHÓA LIÊN QUAN

TÀI LIỆU CÙNG NGƯỜI DÙNG

TÀI LIỆU LIÊN QUAN

w