Lý thuyết chọn Michael và ứng dụng

Header Page 1 of 126.

1

BỘ GIÁO DỤC VÀ ĐÀO TẠO
ĐẠI HỌC ĐÀ NẴNG

PHẠM TƯỜNG BẢO NGUYÊN

LÝ THUYẾT CHỌN MICHAEL 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 2011

Footer Page 1 of 126.


Header Page 2 of 126.

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. Lê Hoàng Trí

Phản biện 1: ………………………………………
Phản biện 2: ……………………………………....

Luận văn sẽ ñược bảo vệ tại Hội ñồng chấm luận văn tốt nghiệp Thạc sĩ khoa học họp tại
Đại học Đà Nẵng vào ngày…. tháng …. năm 2011

Có thể tìm hiểu luận văn 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

Footer Page 2 of 126.


Header Page 3 of 126.

3

MỞ ĐẦU
1. Lý do chọn ñề tài
Cho X, Y là các không gian tôpô, ký hiệu 2Y là họ tất cả các tập con
khác rỗng của Y. Một hàm

Φ : X → 2Y ñược

gọi là giá . Vấn ñề ñặt ra là với

ñiều kiện nào của các không gian X, Y và của hàm
liên tục f : X

→

chọn liên tục của

Y mà f(x)

∈ Φ (x),

x

∈

Φ

thì tồn tại một hàm

X. Hàm f ñược gọi là một phép

Φ.

Việc tồn tại phép chọn liên tục của các giá với giá trị là các tập lồi của
một không gian metric tuyến tính ñược nghiên cứu bởi Michael. Lý thuyết
này ñược gọi là lý thuyết chọn của Michael. Nó có nhiều ứng dụng quan
trọng trong Giải tích hàm, tôpô và lý thuyết ñiểm bất ñộng, nhất là trong
việc mở rộng ñịnh lý thác triển của Tietze – Urysohn.
Định lý Tietze – Urysohn phát biểu rằng “ Cho X là một không gian
metric, A là một tập con ñóng bất kỳ của X, f : A → R là một hàm liên tục.
Khi ñó sẽ tồn tại một hàm liên tục F: X → R mà là một thác triển của f ”.
Dugundji mở rộng kết quả này bằng cách thay tập hợp số thực R bằng một
không gian tôpô tuyến tính lồi ñịa phương E tùy ý. Sử dụng lý thuyết chọn
của Michael, ta có thể thay không gian metric X bởi một không gian tôpô
chuẩn tắc và không gian tôpô tuyến tính X phải ñược giả thiết thêm là khả
metric ñầy ñủ.

Cho một không gian tôpô X, ta nói rằng X có tính chất ñiểm bất ñộng
nếu mỗi hàm liên tục f:X → X ñều tồn tại một phần tử x ∈ X sao cho f(x) =
x. Định lý ñiểm bất ñộng của Schauder phát biểu rằng mỗi tập lồi compact
trong một không gian tuyến tính ñịnh chuẩn ñều có tính chất ñiểm bất
ñộng. Bằng cách sử dụng lý thuyết chọn của Michael, ta cũng có thể mở
Footer Page 3 of 126.


Header Page 4 of 126.

4

rộng Định lý này cho các ánh xạ ña trị (Định lý Kakutani).
Vì vậy vấn ñề ñặt ra của luận văn nay là tìm hiểu lý thuyết trên và các
ứng dụng của nó. Do ñó, tôi chọn ñề tài “ LÝ THUYẾT CHỌN
MICHAEL VÀ ỨNG DỤNG” làm luận văn tốt nghiệp thạc sĩ của mình.
2. Mục ñích nghiên cứu
Luận văn “LÝ THUYẾT CHỌN MICHAEL VÀ ỨNG DỤNG”
nhằm thể hiện vai trò của lý thuyết chọn Michael trong việc mở rộng ñịnh
lý thác triển của Dugundji, mở rộng ñịnh lý Tietze – Urysohn và mở rộng
ñịnh lý về ñiểm bất ñộng của Schauder.
3. Đối tượng và phạm vi nghiên cứu
3.1. Đối tượng nghiên cứu
- Các tập lồi, các ánh xạ liên tục, các giá nửa liên tục dưới, các ánh xạ
tuyến tính liên tục, các không gian tôpô, các không gian metric tuyến tính.
3.2. Phạm vi nghiên cứu Nghiên cứu trong các tài liệu sau :
- SELECTED TOPICS IN INFINITE-DIMENTIONAL TOPOLOGY của
các tác giả “Czeslaw Bessaga và Aleksander Pelczynski”
- Infinite - Dimensional Topology của tác giả J. van Mill
- Tôpô ñại cương – Độ ño và tích phân của Nguyễn Xuân Liêm.

- Và các sách chuyên ñề về giải tích hàm, về lý thuyết chọn Michael.
4. Phương pháp nghiên cứu
Phương pháp nghiên cứu chủ yếu của luận văn là khảo sát, nghiên
cứu, phân tích, tổng hợp và làm sáng tỏ các kết quả khoa học trong các bài
báo về lý thuyết chọn Michael.
5. Ý nghĩa khoa học và thực tiễn của ñề tài
Mở rộng các ñịnh lý Tiezte – Urysohn, ñịnh lý Dugundji.
Footer Page 4 of 126.


Header Page 5 of 126.

5

Mở rộng ñịnh lý ñiểm bất ñộng của Schauder.
6. Cấu trúc của luận văn
Luận văn gồm phần mở ñầu, ba chương, phần kết luận:
Chương 1- MỘT SỐ KIẾN THỨC CHUẨN BỊ.
Chương 2 - LÝ THUYẾT CHỌN CỦA MICHAEL.
Chương 3- CÁC ỨNG DỤNG CỦA LÝ THUYẾT CHỌN MICHAEL

Footer Page 5 of 126.


Header Page 6 of 126.

6

CHƯƠNG 1
MỘT SỐ KIẾN THỨC CHUẨN BỊ

1.1. Không gian Tôpô và ánh xạ
1.1.1. Không gian Tôpô
Một không gian tôpô là một cặp (X, T ) bao gồm một tập X và một
lớp T của các tập con của X thoả mãn các ñiều kiện sau:
(i)

∈

T và X ∈ T ;

(ii) U, V ∈ T kéo theo U ∩ V = T ;
(iii) Nếu Uc ∈ T với mọi c ∈ C thì U U

c

∈

T

c∈C

Ta thừa nhận thêm tiên ñề tách Hausdorff:
(iv) Nếu x, y ∈ X, x ≠ y thì tồn tại những tập rời nhau U, V

∈

T sao

cho x ∈ U và y ∈ V.
Lớp T ñược gọi là tôpô của không gian (X, T ), các phần tử của T

ñược gọi là tập mở. Một tập B

⊂

X ñóng nếu X \ B ∈ T . Với bất kỳ A

⊂

X, ta ký hiệu clA là bao ñóng của A. Nghĩa là tập ñóng nhỏ nhất chứa A,
phần trong và biên của A là các tập hợp: intA = X \ cl (X\A),
∂A = clA ∩ cl (X\A).
Không gian tôpô (X, T ) còn ñược ký hiệu là X.
Một tập hợp con A của một không gian tôpô (X, T ) thường ñược
xem như là một không gian tôpô với tôpô tương ñối:
(1) T | A = {U ∩ A : U ∈ T }
Footer Page 6 of 126.


Header Page 7 of 126.

7

1.1.2. Ánh xạ
Cho X và Y là các không gian tôpô, một hàm f : X →Y là liên tục nếu
f-1(V) mở với mọi tập mở V

⊂

Y. Các hàm liên tục ñó ñược hiểu là các

ánh xạ. Từ ñịnh nghĩa của tôpô tương ñối T | A suy ra rằng hàm f : X →Y
liên tục khi và chỉ khi có sự hạn chế của f. Nghĩa là hàm f1 : X → f(X) sao
cho f1(x) = f(x) với mọi x ∈ X là liên tục.
1.1.3. Phép biến ñổi tôpô
Một phép biến ñổi tôpô hay phép ñồng phôi giữa các không gian tôpô
X và Y là hàm liên tục song ánh f : X


→Y

sao cho hàm nghịch f-1 cũng

liên tục.
Không gian X và Y ñược gọi là có thể biến ñổi tôpô hay ñồng phôi, ký
hiệu X Y nếu tồn tại một phép biến ñổi tôpô giữa chúng.
Một ánh xạ f : X →Y là một phép nhúng biến ñổi tôpô hay phép
nhúng ñồng phôi (viết tắt là phép nhúng) nếu sự hạn chế của f là một phép
biến ñổi tôpô giữa X và f(X).
Giả sử X, Y là các không gian tôpô và X1

⊂

X , Y1

⊂

Y.

Một ánh xạ f : X →Y ñược gọi là một phép biến ñổi tôpô giữa các cặp
(X, X1) và (Y, Y1), với ñiều kiện f là một phép biến ñổi tôpô của X trên Y

và f(X1) = Y1.
1.1.4. Sự co rút
Cho A ⊂ X. Ta ký hiệu iA :A →X là ánh xạ bao hàm iA(a) = a với a ∈
A.
Mỗi ánh xạ r:X → A sao cho r°iA = eA gọi là sự co rút của X trên A.
1.1.5. Tập hợp trù mật
Một tập hợp con A của một không gian tôpô X ñược gọi là trù mật nếu
Footer Page 7 of 126.


Header Page 8 of 126.

8

clA = X. Không gian X ñược gọi là tách ñược hay khả ly nếu tồn tại một
tập trù mật ñếm ñược trong nó.
1.1.6. Liên thông
Một không gian tôpô X là liên thông nếu những tập hợp trong X mà
ñóng và mở ñồng thời chỉ là X và

. Những tập liên thông cực ñại của

không gian tôpô ñược gọi là các thành phần liên thông.
1.1.7. Không gian chính quy
Một không gian tôpô X là chính quy, nếu với mỗi tập ñóng A
với mỗi ñiểm x ∈ X \ A, thì tồn tại các tập mở rời nhau U, V
∈

A

U và A
⊂X

⊂

⊂X

⊂X

và

sao cho x

V. Không gian X là hoàn toàn chính quy nếu với mỗi tập ñóng

và với mỗi ñiểm x ∈ X \ A thì tồn tại một hàm lấy giá trị thực liên

tục f ñược xác ñịnh trên X sao cho A

⊂

f-1(0) và x ∈ f-1(1).

1.1.8. Không gian chuẩn tắc
Một không gian tôpô X là chuẩn tắc nếu với hai tập con ñóng rời nhau
A, B bất kỳ của X thì có những lân cận rời nhau.
1.1.9. Không gian compact
Một không gian tôpô X là compact, nếu mỗi phủ mở của X ñều có phủ
con hữu hạn.
Mỗi ảnh liên tục của một [tập hợp] không gian compact là compact.

Một ánh xạ ñơn ánh với một miền xác ñịnh compact là một phép
nhúng.
Một không gian tôpô X là compact ñịa phương nếu với mỗi ñiểm x ∈
X có một lân cận compact.
1.2. Không gian metric và không gian metric ñầy ñủ
1.2.1. Không gian metric
Footer Page 8 of 126.


Header Page 9 of 126.

9

Một metric trên một tập A là một hàm không âm d(x, y) ñược xác ñịnh
với x, y ∈ A sao cho các ñiều kiện sau thoả mãn:
(i) d(x, x) = 0 và d(x, y) = 0 kéo theo x = y (với x, y ∈ A)
(ii) d(x, y) = d(y, x) với x, y ∈ A;
(iii) d(x, y) + d(y, z) ≤ d(x, z) với x, y, z ∈ A.
Tôpô T mà cơ sở của nó là tập hợp các hình cầu metric.
B(y, ε) = { x ∈ A : d(x, y) < ε } , với y ∈ A, ε > 0 } , ñược gọi là sinh
ra bởi d. Hay metric d tương thích với tôpô T , hay d là một metric của
không gian tôpô (A, T ).
Một không gian tôpô X ñược gọi là metric hoá ñược nếu tồn tại một
metric mà sinh ra tôpô của X.
1.2.2. Không gian metric ñầy ñủ
Cho X là một không gian tôpô metric hoá ñược, cho d là một metric
trên X sinh ra tôpô này và cho (xn) là một dãy các phần tử của X. Khi ñó:
(xn) hội tụ về xo, ký hiệu : lim
xn = xo nếu dãy các số thực (d(xn, xo)) có
n

giới hạn bằng 0.
Cho d là một metric trên tập X. Một dãy (xn) của X ñược gọi là dãy
Cauchy ñối với d (viết tắt là dãy : d - Cauchy) nếu thoả mãn ñiều kiện sau:
(*) Với mỗi ε > 0,

k ∈ N sao cho d(xn, xk) < ε với n ≥ k.

Một không gian tôpô thừa nhận một metric ñầy ñủ tương thích với
tôpô ñược gọi là metic hoá ñược ñầy ñủ.
Một không gian metric [ñầy ñủ] là một cặp (X, d) với X là một tập
hợp và d là một metric [ñầy ñủ] trên X.
Cho (X, d) là một không gian metric, A, B
Footer Page 9 of 126.

⊂X

và x ∈ X. Ta có:


Header Page 10 of 126.

10

d ( x , y ) : khoảng cách giữa ñiểm và tập hợp.
d(x, A) = inf
y∈ A

d(A, B) = inf { d ( x , y ) : x ∈ A, y ∈ B} : khoảng cách giữa hai tập hợp.
diam A = sup{ d ( x , y ) : x , y ∈ A} : ñường kính của một tập hợp.
Cho (X, d) và (X’, d’) là các không gian metric. Một ñơn ánh g :

X→X’ ñược gọi là một phép nhúng ñẳng cự [phép ñẳng cự] nếu:
d(x, y) = d’(g(x), g(y)) với x, y ∈ X [và g(X) = X’].
Các không gian metric (X, d) và (X’, d’) ñược gọi là ñẳng cự nếu tồn tại
một phép ñẳng cự giữa X và X’.
Mệnh ñề 1.1. Nếu X là một không gian tôpô metric hóa [ñầy ñủ] thì tồn tại
một metric [ñầy ñủ] d của X sao cho d(x, y) ≤ 1 với mọi x, y ∈ X, với d
tương thích với tôpô ñã cho trên X.
Mệnh ñề 1.2. (Hausdorff) Với mỗi không gian metric X = (X, d), thì tồn
tại một phép nhúng ñẳng cự g của X vào một không gian metric ñầy ñủ Y
sao cho clg(X) = Y. Không gian Y là duy nhất trên một phép ñẳng cự.
Mệnh ñề 1.3. (Cantor) Nếu không gian metric (X, d) ñầy ñủ và An với n
∈

N, là các tập con ñóng của X sao cho A1

⊃ A2 ⊃ A3 ⊃ …

diamAn =
và lim
n

0, khi ñó giao I An là tập hợp một ñiểm.
n∈N

Định lý 1.1. (Baire) Cho X là không gian metric ñầy ñủ và An là tập con
trù mật của X có kiểu Gδ, với n ∈ N. Khi ñó giao I An trù mật trong X.
n∈N

(Với Gδ là họ gồm tất cả các tập có dạng là giao ñếm ñược của các tập
mở).

Hệ quả 1.1. Nếu X là không gian metric ñầy ñủ và X = U Bn , với mỗi Bn
n∈N

ñóng, khi ñó ít nhất một tập hợp Bn có phần tử trong không rỗng.
Footer Page 10 of 126.


Header Page 11 of 126.

11

Định lý 1.2. (Lavrentiev [1]) Cho X và Y là các không gian metric ñầy ñủ
và cho A

⊂ X,

B

⊂ Y.

Khi ñó mỗi phép biến ñổi tôpô giữa A và B có thể

ñược mở rộng thành phép biến ñổi tôpô f1 giữa những tập hợp A1 và B1
của kiểu Gδ với A

⊂

A1

⊂

X, B

⊂ B1 ⊂ Y.

Hệ quả 1.2. (Sierpinski [2]) Cho X là một không gian metric. Khi ñó các
ñiều kiện sau tương ñương:
(a) X là metric hoá ñầy ñủ;
(b) tồn tại một phép nhúng f của X vào một không gian metric ñủ Y
sao cho f(X) là của kiểu Gδ trong Y;
(c) với mỗi phép nhúng f của X vào một không gian metric ñủ Y, f(X)
là của kiểu Gδ trong Y.
Một không gian (hoặc một tập con của một không gian) thoả mãn ñiều
kiện (c) ñược gọi là một tuyệt ñối Gδ.
Mệnh ñề 1.4. Cho (X, d) là một không gian metric ñầy ñủ và A là tập con
ñóng của X. Khi ñó A là compact khi và chỉ khi, với mỗi ε > 0, tồn tại một
ε – lưới hữu hạn trong X ñối với A. Đặc biệt X là compact khi và chỉ khi
(*) với mỗi ε > 0, tồn tại một ε – lưới hữu hạn ñối với X.
Một tập con của một không gian metric thoả (*) ñược gọi là hoàn toàn bị
chặn.
Mệnh ñề 1.5. Một không gian metric X là compact khi và chỉ khi mỗi dãy
các ñiểm của X chứa một dãy con hội tụ.
Từ Mệnh ñề 1.5 kéo theo rằng mỗi metric ñối với một không gian tôpô
compact metric hoá là ñầy ñủ.
Mệnh ñề 1.6. (Nguyên lý phép co rút) Cho (X,

) là một không gian

metric ñủ và f : X → Y là phép co rút ngặt, nghĩa là tồn tại k ∈ (0; 1) sao
Footer Page 11 of 126.

Header Page 12 of 126.

(f(x), f(y)) ≤ k (x, y) với mọi x, y ∈ X. Khi ñó, tồn tại duy nhất xo

cho
∈

12

X sao cho f(xo) = xo.

Hệ quả 1.3. Nếu X là không gian Banach và f : X → X là phép co rút ngặt,
khi ñó ánh xạ F: X → X ñược ñịnh nghĩa bởi F(x) = x + f(x) là phép biến
ñổi tôpô của X trên chính nó.
1.3. Các phép toán trên không gian tôpô
1.3.1. Hợp rời rạc
Giả sử rằng ta có { X c }c∈C là họ các không gian tôpô. Chúng ta xem các
không gian Xc là các cặp rời nhau. Không gian Y = ⊕ X c ñược gọi là hợp
c∈C
rời rạc của các không gian Xc, ñược ñịnh nghĩa là U X c với tôpô : một tập
c∈C

hợp U

⊂

Y mở khi và chỉ khi U ∩ Xc mở trong Xc với mỗi c ∈ C.

Một không gian tôpô là hợp rời rạc của các không gian một ñiểm ñược
gọi là không gian tôpô rời rạc.
1.3.2. Tích Descartes
Cho họ các không gian tôpô { X c }c∈C .
Tích Cartesian của họ { X c }c∈C , ñược ký hiệu

∏X
c∈C

c

, là không gian mà

mỗi phần tử của nó có dạng x = { xc }c∈C , với xc ∈ Xc, với tôpô tích ñược
sinh bởi các tập hợp cơ sở bao gồm:
V(c1, …, ck;

Uc

, …,

1

Uc

k

) = { x = {xc }c∈C : xc ∈U c , i = 1,..., k}
i

i

tương ứng với các tập hợp con hữu hạn {c1, …, ck }
hợp của các tập mở

Footer Page 12 of 126.

U c ⊂ X c1 ,
1

…, U c

k

⊂ X ck .

⊂

C và với các tập


Header Page 13 of 126.

13

Với mỗi co ∈ C, toạ ñộ co ánh xạ pco : ∏ X c → X c ñược ñịnh nghĩa bởi
o

c∈C

pco ({ xc }c∈C ) = xc . Nếu { X c }c∈C và {Yc }c∈C là hai họ của các không gian tôpô, và fc :
o

Xc→Yc là ánh xạ thì f =

∏f
c∈C

c

, ñược gọi là tích Cartesian của các ánh xạ,

ñược ñịnh nghĩa bởi f ({ xc }c∈C ) = { f ( x )}c∈C .
c

c

Nếu X là không gian tôpô và gc: X → Yc là ánh xạ, thì f =

∏X
c∈C

c

∏g
c∈C

c

:

→ ∏ Yc , với tất cả các không gian Xc là các bản sao của không gian
c∈C

X, và g = { g } : X →
c

c∈C

∏Y
c∈C

c

ñược ñịnh nghĩa bởi g(x) = { g

c

( xc )}c∈C .

Từ ñịnh

nghĩa tôpô tích, các hàm số trên là liên tục.
Khi tập hợp các chỉ số C là hữu hạn và C = {1, 2, …, n}, ta ký hiệu:

∏X
c∈C

c

= X1 × …× Xn,

∏f
c∈C

c

= f1 × …× fn, { g } = (g1, …, gn) , Xc = Xn.
c

c∈C

Với không gian tôpô X bất kỳ, ta ñịnh nghĩa ∆ : X → X × X, với
∆(x)=(x, x). ∆ ñược gọi là ánh xạ ñường chéo, và ∆(X), là một tập hợp con
của X × X, ñược gọi là ñường chéo của X.
Nếu X và Y là các không gian tôpô, a ∈ X, b ∈ Y, khi ñó:
a×:Y→X×Y

và

×b:X→X×Y

là các ánh xạ ñược ñịnh nghĩa bởi a × (y) = (a, y) và × b(x) = (x, b).
Mệnh ñề 1.7. Nếu Xc, c ∈ C, là các không gian compact, thì

∏X
c∈C

compact. Nếu Xc, c ∈ C, là các không gian metric ñầy ñủ, và cardC ≤
thì

∏X
c∈C

c

là một không gian metric ñầy ñủ.

1.3.3. Không gian thương

Footer Page 13 of 126.

c

là
o


Header Page 14 of 126.

14

Cho X là một không gian tôpô và r là một quan hệ tương ñương trên X.
X/r là ký hiệu tập hợp của các lớp [x] = {y ∈ X : yrx}.
Cho φ : X → X/r là phép chiếu chính tắc, nghĩa là φ(x) = [x].
Ký hiệu : T = { U

⊂

X/r : φ-1(U) mở trong X}. Khi ñó T là một tôpô

trên X/r.
Cặp (X/r, T), ñược ký hiệu ngắn gọn là X/r, ñược gọi là không gian
thương của X bởi quan hệ r.
1.4. Không gian tuyến tính và các tập hợp lồi – không gian tôpô tuyến
tính
X ký hiệu một không gian tuyến tính. Với mỗi A, B

⊂

X, L

⊂

R, ta ký

hiệu: A + B = {x + y: x ∈ A, y ∈ B} , L · A = {tx : t ∈ L, x ∈ A } ,
–A = {–1}·A , A – B = A + (–B).
Trong trường hợp của tập hợp một ñiểm ta sẽ viết tắt các ký hiệu này
như sau: x + A, L · x, t · A, …
Một tập hợp U

⊂

X ñược gọi là hấp thu, nếu R+ · U = X.

Với bất kỳ x, y ∈ X, ta ký hiệu (x; y) = x + (0; 1) · (y – x) là ñoạn mở
giữa x và y, [x; y) = (x; y)

{x} và [x; y] = [x; y)

{y} là ñoạn nửa mở

và ñoạn ñóng. Tập hợp x + R+ · y ñược gọi là tia phát xạ từ x theo phương
của y. Nếu y = 0 thì tia suy biến thành tập hợp một ñiểm {x}.
Tổ hợp tuyến tính t1x1 + t2x2 + … + tnxn (ti ∈ R, xi ∈ X) ñược gọi là tổ hợp
lồi, nếu ti ≥ 0 với i = 1, …, n và t1 + … + tn = 1. Cho trước tập A
ký hiệu:

spanA

và

⊂

X. Các

convA

tương ứng ký hiệu cho các tập hợp của tổ hợp tuyến tính của các phần tử
của A và tập hợp của tất cả các tổ hợp tuyến tính lồi của các phần tử của
A. Hai tập hợp này ñược gọi là bao tuyến tính và bao lồi của A.
Footer Page 14 of 126.


Header Page 15 of 126.

Tập hợp A

15

⊂

X là lồi khi và chỉ khi A = convA. Điều này tương

ñương với tính chất: x, y ∈ A kéo theo [x, y]

⊂

A. Nếu A lồi khi ñó A + A

=2·A
Bất kỳ hàm g : X → R thoả mãn ñiều kiện:
g(x + y) ≤ g(x) + g(y) , g(tx) = tg(x) với x, y ∈ X, t ∈ R+
thì ñược gọi là một phiếm hàm tuyến tính dưới trên X. Một phiếm hàm
tuyến tính dưới g là tuyến tính với ñiều kiện g(x + y) = g(x) + g(y) với mọi
x, y ∈ X. Một giả chuẩn (hoặc một nửa chuẩn) là một phiếm hàm tuyến
tính dưới g nếu thoả mãn ñiều kiện: g(tx) = t · g(x) với t ∈ R, x ∈ X.
Cho X và Y là các không gian tuyến tính. Một hàm T : X → Y sao cho
T(ax + bx’) = aT(x) + bT(x’) với mọi x, x’ ∈ X; a, b ∈ R, ñược gọi là một
toán tử tuyến tính.
Một không gian tôpô tuyến tính X ñược trang bị một tôpô sao cho
các toán tử tuyến tính (x, y) → x + y và (t, x) → tx là liên tục. Không gian
tôpô tuyến tính X và Y ñược gọi là ñẳng cấu nếu tồn tại một toán tử tuyến
tính T của X sang Y mà nó là phép biến ñổi tôpô. Khi ñó toán tử T ñược
gọi là một phép ñẳng cấu.
Mệnh ñề 1.8. Nếu g là một phiếm hàm tuyến tính dưới trên X, khi ñó tập
hợp Ug = {x ∈ X : g(x) < 1} là hấp thu và lồi. Ngược lại, nếu U là tập hợp
con hấp thu và lồi bất kỳ của X, thì hàm:
(1)

gU(x) = inf{t > 0 : x ∈ t · U} là một phiếm hàm tuyến tính dưới.

Hơn nữa, gU = g với mỗi phiếm hàm tuyến tính dưới g.
g

Hàm (1) ñược gọi là hàm cỡ của tập U. Ta thấy rằng những giả chuẩn là
hàm cỡ của các tập lồi hấp thu ñối xứng ñối với zero.

Footer Page 15 of 126.


Header Page 16 of 126.

16

Định lý 1.3. Giả sử rằng X là một không gian tuyến tính, Y là một không
gian con tuyến tính của X và g là một phiếm hàm tuyến tính ñược ñịnh
nghĩa trên X, f là một phiếm hàm tuyến tính ñược xác ñịnh trên Y sao cho
f(x) ≤ g(x) với mọi x ∈ Y. Khi ñó phiếm hàm f ñược thác triển thành
phiếm hàm F ñược xác ñịnh trên X sao cho:
(2)

F(x) ≤ g(x) với mọi x ∈ X.

Mệnh ñề 1.9. Nếu X là một không gian tôpô tuyến tính lồi ñịa phương và
0 ≠ xo ∈ X, khi ñó tồn tại một phiếm hàm tuyến tính liên tục F ñược xác
ñịnh trên X sao cho F(xo) = 1.
Định lý 1.4. (Nguyên lý ánh xạ mở Schauder - Banach) Nếu X và Y là các
không gian metric tuyến tính ñầy ñủ và T là toán tử liên tục tuyến tính từ X

lên Y, khi ñó T mở, nghĩa là ảnh của mỗi tập mở trong X là tập mở trong
Y.
Hệ quả 1.4. Nếu X và Y là các không gian metric tuyến tính ñầy ñủ và T
là toán tử liên tục song ánh từ X lên Y, khi ñó nghịch ñảo T-1 : Y → X là
một toán tử tuyến tính liên tục.
Hệ quả 1.5. Nếu X và Y là các không gian metric tuyến tính ñầy ñủ và T :
X → Y là một toán tử tuyến tính sao cho ñồ thị {(x, T(x)) ∈ X × Y : x ∈
X} là ñóng trong X × Y, khi ñó T là liên tục.
1.5. Phủ, phân hoạch ñơn vị, paracompact
Cho A là một họ các tập con của một không gian tôpô X.
A gọi là mở (ñóng) nếu mỗi phần tử của A là mở (ñóng).
A gọi là hữu hạn ñịa phương (rời rạc) nếu mỗi ñiểm của X có một lân
cận mà lân cận này giao với không quá hữu hạn các phần tử của A. (không
quá một phần tử của A )
Footer Page 16 of 126.


Header Page 17 of 126.

17

A là sigma (σ) rời rạc nếu A có thể ñược biểu diễn thành hợp ñếm
ñược của các họ con rời rạc.
A là hình sao hữu hạn nếu mỗi phần tử của A giao với không quá hữu
hạn các phần tử còn lại.
Cho Z là tập con của X. Ta nói rằng một họ A của những tập con của
X là phủ của Z hoặc A phủ Z nếu

U A⊃Z .
A∈A

Họ A ñược gọi là một phủ mở của Z hoặc phủ ñóng, hoặc phủ hữu
hạn ñịa phương hoặc phủ rời rạc hoặc phủ sigma rời rạc hoặc phủ sao hữu
hạn nếu A phủ Z và tập hợp A có thuộc tính trên.
Định lý 1.5. Mỗi phủ mở của một không gian metric thì có một phủ mở
hữu hạn ñịa phương và sigma rời rạc làm mịn nó.
Hệ quả 1.6. Mỗi không gian compact là paracompact.
Hệ quả 1.7. Mỗi không gian metric là paracompact.
1.6. Mối quan hệ giữa các paracompact và sự tồn tại của ñiều kiện ñủ
của các phân hoạch ñơn vị
Một họ B của các hàm liên tục không âm trên một không gian tôpô X
ñược gọi là một “phân hoạch ñơn vị hữu hạn ñịa phương” nếu với mỗi x ∈
X thì tồn tại một lân cận U(x) và một tập hợp con hữu hạn B(x) của B sao
cho:
(i) ∑

b( y )

= 1 với y ∈ U(x)

b∈B ( x )

(ii) b(y) = 0 với y ∈ U(x) và b ∈ B \ B(x).
Rõ ràng B là một phân hoạch ñơn vị hữu hạn ñịa phương, khi ñó tập hợp:
UB = {b

−1

} là phủ mở hữu hạn ñịa phương của X.

((0,1])

b∈B

Footer Page 17 of 126.


Header Page 18 of 126.

18

Một phân hoạch ñơn vị hữu hạn ñịa phương B ñược gọi là nội tiếp trong
một phủ V của X nếu tồn tại hàm V → bV từ V vào B sao cho: cl bV−1 ((0,
1])

⊂

V.

Định lý 1.6. Mỗi không gian tôpô Hausdorff X là paracompact nếu và chỉ
nếu mỗi phủ mở U của X ñều có một phân hoạch ñơn vị hữu hạn ñịa
phương nội tiếp trong U .
Bổ ñề 1.1. Cho A và B là các tập con ñóng rời nhau của một không gian
tôpô paracompact X và mỗi x ∈ B, tồn tại các tập mở Ux và Vx mà:
A

⊂

Ux , x ∈ Vx , Ux ∩ Vx =

.

Khi ñó, tồn tại các tập mở U và V mà: A

⊂

U,B

⊂

V và U ∩ V =

.

Bổ ñề 1.2. Nếu W là họ các tập mở hữu hạn ñịa phương thì :

U

W

= U

W.

W∈W

W∈W

Mệnh ñề 1.10. Mỗi không gian tôpô paracompact là chuẩn tắc.
Bổ ñề 1.3. Mỗi phủ mở U của một không gian tôpô paracompact X có

một phủ mở hữu hạn ñịa phương W của X mà
phủ mở {V }U ∈U của X mà VU
U

⊂

{W}

W∈W

làm mịn U và một

U với mọi U ∈ U.

Mệnh ñề 1.11. Với mỗi phủ mở U của một không gian tôpô paracompact
X ñều tồn tại một phân hoạch ñơn vị hữu hạn ñịa phương nội tiếp phủ U.
1.7. Công thức Dugundji mở rộng
Bổ ñề 1.4. Cho A là một tập con ñóng thật sự của một không gian metric
X(

≠ A ≠ X), d là một metric trên X. Khi ñó tồn tại một họ {U s , as }

sao cho:
Footer Page 18 of 126.

s∈S


Header Page 19 of 126.

(1) Us

⊂

19

X \ A , as ∈ A ( s ∈ S),

(2) {U s }s∈S là một phủ mở hữu hạn ñịa phương của X \ A,
(3) nếu x ∈ Us, thì d(x, as) ≤ 2d(x, A) với

s ∈ S.

Định nghĩa. Nếu A là một tập con ñóng thật sự của một không gian metric
≠ A ≠ X) với d là một metric trên X. Khi ñó mỗi họ bất kỳ {U s , as }s∈S

X(

thỏa mãn các ñiều kiện (1), (2), (3) của bổ ñề 1.4, ñược gọi là một hệ thống
Dugundji cho X \ A.
Định lý 1.7. Cho A là một tập con ñóng khác rỗng của một không gian
metric X và E là một không gian tôpô tuyến tính lồi ñịa phương. Khi ñó,
mỗi ánh xạ liên tục f : A → E ñều có một thác triển liên tục L(f) : X → E
sao cho L(f)(X)

⊂ convf(A).

1.8. Các ñịnh lý về ñiểm bất ñộng cho các hàm liên tục
Cho X là một không gian tôpô, X ñược gọi là có tính chất ñiểm bất
ñộng nếu với mỗi hàm liên tục f từ X vào X ñều có ít nhất một phần tử x ∈

X sao cho f(x) = x. Ta có các ñịnh lý sau:
Định lý 1.8. Cho X là một không gian tôpô có tính chất ñiểm bất ñộng và
Y là một không gian tôpô ñồng phôi với X. Khi ñó Y cũng có tính chất
ñiểm bất ñộng.
Định lý 1.9. Cho X là một không gian tôpô có tính chất ñiểm bất ñộng và
A là một co rút của X. Khi ñó A cũng có tính chất ñiểm bất ñộng.
Định lý 1.10. Mỗi quả cầu ñơn vị ñóng trong không gian Rn ñều có tính
chất ñiểm bất ñộng.
Định lý 1.11. Mỗi không gian thuộc lớp AR (tức là không gian tôpô khả
metric và có tính chất co rút tuyệt ñối), compact ñều có tính chất ñiểm bất
ñộng.
Footer Page 19 of 126.


Header Page 20 of 126.

20

Định lý 1.12. Mỗi tập lồi, compact trong một không gian tuyến tính ñịnh
chuẩn bất kỳ ñều có tính chất ñiểm bất ñộng.

CHƯƠNG 2
LÝ THUYẾT CHỌN CỦA MICHAEL
2.1. Các ñịnh nghĩa liên quan ñến lý thuyết chọn của Michael
Cho X và Y là các không gian tôpô, ký hiệu 2Y là họ tất cả các tập con
khác rỗng của Y. Một hàm Φ : X → 2Y ñược gọi là giá . Nếu
ñóng compact của Y với mỗi x ∈ X , thì

Φ

compact. Nếu Y là một không gian metric và
của Y với x ∈ X , thì
Φ (x)

tuyến tính và
con mở U

⊂

Φ

Φ (x)

là tập con

ñược gọi là một giá ñóng
Φ (x)

là một tập con ñầy ñủ

ñược gọi là giá ñầy ñủ. Nếu Y là một không gian

lồi với x ∈ X , thì

Y, tập hợp:

Φ

-1

Φ

ñược gọi là giá lồi. Nếu với mỗi tập

(U) = { x ∈ X : Φ( x) ∩ U ≠ ∅} mở , thì giá

Φ

ñược

gọi là giá nửa liên tục dưới.
Một hàm f : X → Y ñược gọi là một phép chọn cho một giá Φ : X → 2Y
nếu f(x) ∈ Φ( x), ∀x ∈ X .
2.2. Định lý chọn của Michael
Định lý sau ñược gọi là ñịnh lý chọn của Michael:
Định lý 2.1. Cho X là một không gian tôpô paracompact và E là một
không gian metric tuyến tính lồi ñịa phương. Cho Φ : X → 2E là một giá nửa
liên tục dưới lồi, ñầy ñủ. Khi ñó

Φ

thừa nhận một phép chọn liên tục.

2.3. Các kết quả liên quan ñến lý thuyết chọn của Michael
Ở ñây l1(A) ñược xác ñịnh như sau:
Footer Page 20 of 126.


Header Page 21 of 126.

21

Cho A l mt tp bt k (cú th l tp hu hn hay vụ hn)
l1(A) =





x = (x a )aA / sup x a
aA '


A ' A

A 'laứ taọp hửừu haùn


thỡ l1(A) l mt khụng gian vect,
x = sup xa

thỡ

aA'

.

x = (xa )aA l1(A), ta ủt:

l mt chun trờn l1(A) v l1(A) l mt khụng

A' A
A'laứ taọp hửừu haùn

gian Banach. Ta cú ủnh lý sau:
nh lý 2.2. Cho X l mt khụng gian tụpụ Hausdorff. Khi ủú cỏc ủiu
kin sau tng ủng:
(i) X l paracompact;
(ii) bt k giỏ na liờn tc di li, ủúng t X vo khụng gian Frechet
bt k tha nhn mt hm chn liờn tc;
(iii) bt k giỏ na liờn tc di li, ủúng t X vo khụng gian l1(A) bt
k tha nhn mt hm chn liờn tc.

Footer Page 21 of 126.


Header Page 22 of 126.

22

CHƯƠNG 3
CÁC ỨNG DỤNG CỦA LÝ THUYẾT CHỌN MICHAEL
3.1. Ứng dụng của lý thuyết chọn Michael vào việc phân tích các
không gian Frechet thành tích các không gian Frechet
Mỗi không gian Frechet là một không gian metric tuyến tính ñầy ñủ,
lồi ñịa phương. Ta có các mệnh ñề sau:
Mệnh ñề 3.1. (Mệnh ñề Bartle –Graves) Cho u: E → X là một toán tử
tuyến tính liên tục toàn ánh từ một không gian Frechet E lên một không
gian Frechet X. Khi ñó, tồn tại một hàm liên tục f : X → E sao cho uf =
idX và f(0) = 0. Do ñó, tồn tại một phép ñồng phôi h: E


→
vào

keru × X

ñược xác ñịnh bởi:
(1)

với e ∈ E

h(e) = (e – fu(e), u(e))

Và ta có

p2h = u ; h(e) = (e, 0) với e ∈ keru

với p2 : keru × X → X là phép chiếu tự nhiên lên thành phần thứ hai.
Hệ quả 3.1. Cho Eo là một không gian con tuyến tính ñóng của không gian
Frechet E. Cho u : E → E/Eo ký hiệu là phép chiếu chính tắc. Khi ñó tồn
tại một phép ñồng phôi h: E
p 2h = u ;


→
vào

h(eo) = (eo, 0)

Eo × E/Eo sao cho:

với eo ∈ Eo.

với p2 : Eo × E/Eo → E/Eo là phép chiếu tự nhiên lên thành phần thứ hai.

Footer Page 22 of 126.


Header Page 23 of 126.

23

Hệ quả 3.2. Cho X là một không gian Banach khả ly vô hạn chiều. Khi ñó
tồn tại một không gian tuyến tính con ñóng Z của không gian l1 sao cho l1
ñồng phôi với Z × X.
Mệnh ñề 3.1. (Michael) Cho E và X là một không gian metric tuyến tính
ñầy ñủ. Cho u : E → X là một toàn ánh tuyến tính sao cho ker u = Eo là
một không gian Frechet. Khi ñó tồn tại một ánh xạ liên tục f : X → E sao
cho uf = idX và f(0) = 0.
3.2. Ứng dụng của lý thuyết chọn Michael vào các phức ñơn hình
Trước hết ta có ñịnh nghĩa sau:
Định nghĩa 3.1. Một phức ñơn hình là họ K gồm các tập con hữu hạn
không rỗng của một tập V sao cho:
(1) Mỗi tập con một ñiểm V ñều thuộc vào K;
(2) nếu σ ∈ K và σ1 ⊂ σ, thì σ1 ∈ K.
Định nghĩa 3.2. Một họ con L

⊂

K thỏa mãn ñiều kiện (1) và (2) ở trên

với K ñược thay bởi L ñược gọi là một phức ñơn hình con của K.
Một tập n – ñiểm thuộc vào K ñược gọi là một (n – 1) – ñơn hình.
Định nghĩa 3.3. Cho K là một phức ñơn hình. Cho V là một cơ sở của một
không gian vectơ X.
σ = {u1, …, un}

∈

K, ta ñặt

σ

= conv { u1, …, un} và K = U σ ñược gọi
σ∈K

là thuộc thể hình học hóa của K. Trang bị tôpô Whitehead cho

K

ñược

xác ñịnh như sau:
U

∈ K

. Ta nói U

∈

T nếu U ∩

σ

mở trong

kiểm tra dễ dàng rằng: T là một tôpô trên

K

σ

;

.

Như một ứng dụng của lý thuyết chọn Michael ta có:
Footer Page 23 of 126.

σ

∈

K. Ta có thể


Header Page 24 of 126.

24

Định lý 3.1. Với mỗi phức ñơn hình K, không gian

K

là paracompact.

3.3. Ứng dụng của lý thuyết chọn Michael ñể mở rộng ñịnh lý Tiezte –
Urysohn, ñịnh lý Dugundji
Từ Định lý 2.1 (Chương 2) ta có:
Định lý 3.2. Cho E là một không gian Frechet và cho A là một tập con
ñóng của một không gian tôpô paracompact X.
Khi ñó mỗi hàm liên tục f : A → E ñều tồn tại một thác triển liên tục F : X
→ E mà :
F(X) ⊂ cl conv f(A)
Ta thấy ñịnh lý này là mở rộng của các ñịnh lý sau:
Bổ ñề 3.2. (Urysohn) (Cho các không gian paracompact)
Cho X là một không gian tôpô paracompact; A, B là các tập con ñóng của
X mà A ∩ B =

. Khi ñó tồn tại ánh xạ liên tục f : X → R mà:

f(a) = 1;

a ∈ A;

f(a) = 0;

a ∈ B.

Định lý 3.3. (Tietze – Urysohn) (Cho các không gian paracompact)
Cho X là một không gian tôpô paracompact, A là một tập con ñóng của X,
f : A → R là một hàm liên tục. Khi ñó tồn tại F : X → R là một thác triển
của f.
Định lý 3.4. (Dugundji)
Cho X là một không gian tôpô khả metric, A là tập con ñóng, E là một
không gian Frechet. Cho f : A → E là một ánh xạ liên tục. Khi ñó tồn tại
ánh xạ liên tục:
F : X → E thác triển của f và F(X) ⊂ cl conv f(A).

Footer Page 24 of 126.


Header Page 25 of 126.

25

3.4. Mở rộng ñịnh lý ñiểm bất ñộng Schauder cho hàm ña trị (Định lý
Kakutani)
Định lý sau ñược gọi là ñịnh lý ñiểm bất ñộng của Schauder:
Định lý 3.5. Cho K là một tập lồi, compact trong một không gian Banach.
Khi ñó K có tính chất ñiểm bất ñộng (có nghĩa là mỗi ánh xạ liên tục f : K
→ K ñều có ñiểm bất ñộng)
Và Kakutani mở rộng kết quả trên cho hàm ña trị:
Định lý 3.6. (Kakutani)
Cho K là tập lồi, compact trong một không gian Banach E bất kỳ. Cho Φ :
K → 2K là một giá lồi, ñóng, nửa liên tục dưới. Khi ñó tồn tại xo

∈

K : xo

∈ Φ (xo).

(với xo ñược gọi là ñiểm bất ñộng của giá Φ ).
Ta sẽ chứng minh ñịnh lý này nhờ lý thuyết chọn của Michael.
Bằng cách sử dụng ñịnh lý chọn, ta cũng có ñịnh lý sau:
Định lý 3.7. Cho E là một không gian Frechet và K là một tập lồi, compact
trong E, cho Φ : K → 2K là một giá lồi, ñóng, nửa liên tục dưới. Khi ñó:
tồn tại xo ∈ K : xo ∈ Φ (xo).

Footer Page 25 of 126.