BỘ GIÁO DỤC VÀ ĐÀO TẠO

TRƯỜNG ĐẠI HỌC SƯ PHẠM TP. HỒ CHÍ MINH

Nguyễn Đức Dũng

HÀM CHỌN CỦA MỘT SỐ

LỚP ÁNH XẠ ĐA TRỊ

VÀ ỨNG DỤNG

LUẬN VĂN THẠC SĨ

Thành phố Hồ Chí Minh – 2012

BỘ GIÁO DỤC VÀ ĐÀO TẠO

TRƯỜNG ĐẠI HỌC SƯ PHẠM TP. HỒ CHÍ MINH

Nguyễn Đức Dũng

HÀM CHỌN CỦA MỘT SỐ

LỚP ÁNH XẠ ĐA TRỊ

VÀ ỨNG DỤNG

LUẬN VĂN THẠC SĨ

Người hướng dẫn: Nguyễn Bích Huy

Thành phố Hồ Chí Minh – 2012

MỤC LỤC

LỜI NÓI ĐẦU ........................................................................................................... 1

Chương 1. HÀM CHỌN LIÊN TỤC ....................................................................... 3

1.1 Tính liên tục của các ánh xạ đa trị ............................................................. 3

1.1.1 Tính nửa liên tục và liên tục của các ánh xạ đa trị .............................. 3

1.1.2 Các ví dụ ........................................................................................... 10

1.2 Hàm chọn liên tục .................................................................................... 16

1.2.1 Sự tồn tại của hàm chọn liên tục ....................................................... 16

1.2.2 Các ví dụ ........................................................................................... 18

1.3 Hàm chọn xấp xỉ ...................................................................................... 21

1.3.1 Khái niệm hàm chọn xấp xỉ .............................................................. 21

1.3.2 Sự tồn tại của các hàm chọn xấp xỉ ................................................... 22

1.4 Bậc tôpô của ánh xạ đa trị - điểm bất động ............................................. 24

1.4.1 Bậc tôpô của ánh xạ đa trị ................................................................. 24

1.4.2 Điểm bất động của ánh xạ đa trị ....................................................... 29

Chương 2 HÀM CHỌN ĐO ĐƯỢC ...................................................................... 35

2.1 Sự tồn tại của hàm chọn đo được ............................................................ 35

2.1.1 Khái niệm ánh xạ đa trị đo được ....................................................... 35

2.1.2 Sự tồn tại của hàm chọn đo được ...................................................... 40

2.2 Các ví dụ áp dụng .................................................................................... 42

Chương 3 HÀM CHỌN CỦA ÁNH XẠ TĂNG ................................................... 42

3.1 Ánh xạ đa trị tăng .................................................................................... 46

3.1.1 Các khái niệm .................................................................................... 46

3.1.2 Ánh xạ đa trị tăng .............................................................................. 48

3.2 Hàm chọn của ánh xạ tăng ....................................................................... 49

3.2.1 Sự tồn tại hàm chọn đơn điệu của ánh xạ tăng ................................. 49

3.2.2 Các ví dụ áp dụng .............................................................................. 60

KẾT LUẬN .............................................................................................................. 64

TÀI LIỆU THAM KHẢO ...................................................................................... 64

DANH MỤC CÁC KÝ HIỆU, CÁC CHỮ VIẾT TẮT.

.Y

2Y

: Lớp các tập con của tập

.Y

2 \Y 

: Lớp các tập con khác rỗng của tập

.F

)FG (

: Đồ thị của ánh xạ

.F

Fix( )F

.A

x Ar ( , )

: Tập hợp các điểm bất động của ánh xạ

.A B ,

( ,

)

Hd A B : Khoảng cách Hausdorff giữa hai tập

: Khoảng cách từ điểm x đến tập

.r

B x r 0( , )

0x bán kính

: Quả cầu mở tâm

.r

B x r 0( , )

0x bán kính

: Quả cầu đóng tâm

.Y

L X Y ( , )

: Tập hợp các ánh xạ tuyến tính từ X vào

.T

( )R T

: Ảnh của ánh xạ tuyến tính

.T

( )N T

: Nhân của ánh xạ tuyến tính

|

|x

.x

: Chuẩn của

convA

h.k.n : Hầu khắp nơi.

: Bao lồi của tập A.

m

nx

x : Dãy nx hội tụ yếu về

0

0.x

: Độ đo Lebesgue.

diamA

.A

: Đường kính của tập

: Giá của hàm suppf .f

.D

D

A

: Biên của tập

: s - đại số.

x

y

.x y ,

: Cận dưới của hai phần tử

x

y

.x y ,

: Cận trên của hai phần tử

.X

X 

: Tập các phần tử cực đại của

.X

X 

: Tập các phần tử cực tiểu của

LỜI CẢM ƠN

Trước tiên tôi xin bày tỏ lòng biết ơn đối với trường Đại học Sư phạm Thành

phố Hồ Chí Minh, phòng Sau Đại học, Khoa Toán – Tin trường Đại học Sư phạm

Thành phố Hồ Chí Minh, Sở giáo dục và đào tạo tỉnh Ninh Thuận và trường THPT

Chu Văn An, đã tạo mọi điều kiện thuận lợi để tôi được tham gia học tập khóa học

Cao học và hoàn thành luận văn này .

Xin chân thành cám ơn quý cô thầy đã tham gia giảng dạy lớp Cao học

chuyên ngành Toán Giải Tích khóa 21 đã trang bị cho tôi những kiến thức cơ bản

làm nền tảng giúp cho tôi bước đầu làm quen với công việc nghiên cứu khoa học.

Đặc biệt, tôi xin chân thành bày tỏ lòng biết ơn sâu sắc đến PGS. TS. Nguyễn Bích

Huy, người thầy đã tận tình giảng dạy, hướng dẫn, sửa chữa và góp ý cho tôi trong

suốt quá trình thực hiện luận văn.

Cám ơn quý thầy cô trong Hội đồng chấm luận văn đã dành thời gian đọc và

đóng góp nhiều ý kiến quý báu cho luận văn.

Cám ơn các bạn học viên trong lớp cao học chuyên ngành Toán Giải Tích

khóa 21 đã nhiệt tình giúp đỡ, góp ý và động viên tinh thần giúp tôi hoàn thành tốt

luận văn này.

Thành phố Hồ Chí Minh, ngày 30 tháng 08 năm 2012.

Học viên thực hiện

Nguyễn Đức Dũng

1

LỜI NÓI ĐẦU

Lý thuyết về các ánh xạ đa trị bắt đầu được quan tâm, nghiên cứu và phát triển

mạnh từ những năm 1950. Xuất phát từ sự phát triển nội tại của toán học cũng như

do nhu cầu mô tả nhiều mô hình tự nhiên và xã hội. Cho đến nay lý thuyết về các

ánh xạ đa trị đã được nghiên cứu, phát triển khá hoàn chỉnh và đã tìm được nhiều

ứng dụng rộng rãi, có giá trị trong toán học cũng như các lĩnh vực đời sống xã hội.

Chẳng hạn như trong lý thuyết phương trình vi phân, phương trình đạo hàm riêng,

lý thuyết tối ưu và điều khiển, các bài toán kinh tế, lý thuyết trò chơi…

Do phạm vi ứng dụng rộng rãi cũng như giá trị và tầm quan trọng của nó, việc

nghiên cứu các ánh xạ đa trị trong suốt một thời gian dài luôn là một đề tài hấp dẫn,

đã thu hút được rất nhiều các nhà toán học trên thế giới. Việc tiếp cận và nghiên cứu

nó cũng được phát triển theo nhiều hướng, nhiều phương pháp khác nhau. Tuy

nhiên một pháp tự nhiên và hữu hiệu để nghiên cứu các tính chất của ánh xạ đa trị

đó là nghiên cứu các ánh xạ đơn trị có chứa đầy đủ những tính chất, thông tin của

ánh xạ đa trị đó. Hàm chọn (hay lát cắt) của ánh xạ đa trị là một trong những ánh xạ

đơn trị như vậy.

Chính vì những lý do trên, chúng tôi đã chọn đề tài: Hàm chọn của một số lớp

ánh xạ đa trị và ứng dụng làm đề tài trình bày trong luận văn Thạc sĩ của mình.

Trong luận văn này, chúng tôi đã tham khảo các tài liệu, tập hợp lại và trình bày

theo sự hiểu biết của mình về điều kiện tồn tại hàm chọn của các ánh xạ đa trị cùng

với các tính chất như tính liên tục, tính xấp xỉ, tính đo được, tính đơn điệu… Đồng

thời cũng thông qua các hàm chọn này xây dựng bậc tôpô cho ánh xạ đa trị và ứng

dụng của nó trong việc nghiên cứu điểm bất động của ánh xạ đa trị.

Kết cấu của luận văn được chia thành 3 chương.

Chương 1 Hàm chọn liên tục. Trong chương này chúng tôi sẽ trình bày về tính

nửa liên tục, liên tục và Hausdorff – liên tục của các ánh xạ đa trị từ đó xem xét

2

điều kiện tồn tại của các hàm chọn liên tục. Đồng thời cũng trình bày về cấu trúc

hàm chọn xấp xỉ liên tục từ đó xây dựng bậc tôpô cho ánh xạ đa trị và ứng dụng vào

việc nghiên cứu điểm bất động của các ánh xạ đa trị. Các ví dụ trong chương này đã

chỉ ra điều kiện tồn tại nghiệm liên tục của một bao hàm thức vi phân, điều kiện tồn

tại nghiệm tuần hoàn chu kỳ w trong bài toán giá trị đầu của phương trình vi phân

đây chính là điểm bất động của ánh xạ đa trị Poincaré.

Chương 2 Hàm chọn đo được. Trong chương này, chúng tôi tập trung trình

bày về cấu trúc đo được của hàm chọn thông qua các tính chất đo được và đo được

yếu của các ánh xạ đa trị. Điều kiện tồn tại của các hàm chọn đo được. Các ví dụ

trong chương này giúp thấy được một ứng dụng quan trọng của hàm chọn đo được

vào bài toán điển hình của lý thuyết điều khiển tối ưu.

Chương 3 Hàm chọn của ánh xạ tăng. Trong chương này, chúng tôi trình bày

khái niệm ánh xạ đa trị tăng bằng cách mở rộng một quan hệ thứ tự trên một tập X

.X Từ đó định

cho trước thành một quan hệ thứ tự trên lớp các tập hợp con của

nghĩa ánh xạ đa trị tăng và xem xét điều kiện tồn tại hàm chọn đơn điệu của ánh xạ

tăng khi tập đích của nó là một tập được sắp thứ tự bộ phận, một dàn hay một dây

chuyền. Khác với hai chương đầu, chủ yếu xét hàm chọn của ánh xạ đa trị trong

không gian Banach. Chương thứ ba, trình bày hàm chọn của ánh xạ tăng trong

không gian có thứ tự cho nên chúng tôi chỉ xét trên các tập hợp được sắp bộ phận và

các trường hợp đặc biệt là trên các dàn hay các dây chuyền.

Vì lý do những kiến thức cơ sở được sử dụng trong luận văn không nhiều, cho

nên để tiện cho người đọc, chúng tôi đã không chia ra một chương riêng để trình

bày về những kiến thức cơ sở, mà những kiến thức cơ sở này sẽ được trình bày ngay

trước mỗi phần có liên quan và được sử dụng đến trong luận văn.

Mặc dù đã hết sức cố gắng nhưng vì thời gian và kiến thức còn hạn chế cho

nên luận văn này có thể không tránh khỏi những sai sót ngoài ý muốn. Rất mong

nhận được sự chỉ bảo, góp ý của các thầy cô trong hội đồng phản biện và sự góp ý của các bạn học viên.

3

Chương 1. HÀM CHỌN LIÊN TỤC

1.1 Tính liên tục của các ánh xạ đa trị

1.1.1 Tính nửa liên tục và liên tục của các ánh xạ đa trị

Trước khi xét tính liên tục của ánh xạ đa trị ta sẽ trình bày lại một số khái

niệm và ký hiệu liên quan đến các ánh xạ đa trị được sử dụng trong phần này.

Cho hai tập hợp khác rỗng ,X Y một ánh xạ đa trị từ X vào Y là một phép

đặt tương ứng mỗi phần tử x X với một tập hợp con của Y mà ta ký hiệu là Fx .

:

2Y

F X  . Cũng có thể định nghĩa ánh xạ đa trị F

Như vậy, nếu ta ký hiệu 2Y là lớp tất cả các tập con của Y thì một ánh xạ đa trị F

từ X vào Y được ký hiệu là

F X   .

2 \Y

:

Fx

    . Khi đó ta ký hiệu

x X

,

sao cho

Trường hợp đặc biệt, đối với ánh xạ F mà với mỗi x X , tập Fx chỉ chứa

một phần tử thì ánh xạ F chính là ánh xạ đơn trị đã biết từ X vào Y .

A X B Y ,

 ta có các khái niệm sau:

,

F X  , với

:

2Y

( )F A , được

Cho ánh xạ đa trị

• Ảnh của tập A qua ánh xạ F là một tập con của Y , ký hiệu là

Fx

F A ( )

 x A

 

xác định bởi: .

• Ảnh ngược lớn của tập B qua ánh xạ F là một tập con của X , ký hiệu là

1( ),

  x X Fx B { :

   .

F B 

 1( ) F B 

được xác định bởi:

  x X Fx B { :

 1( ) F B

}

, được xác định bởi: . • Ảnh ngược nhỏ của tập B qua ánh xạ F là một tập con của X , ký hiệu là F B 1( )

)FG , được xác

, X Y ký hiệu là ( • Đồ thị của ánh xạ F là một tập con của

)

x y {( , )

 

X Y y Fx :

}

FG

X thì điểm x X mà x Fx

. định bởi: (

gọi là điểm bất động của ánh xạ F . • Nếu Y

Tập hợp các điểm bất động của ánh xạ F ký hiệu là Fix( )F .

4

Fx

,

x X

  thì f được

:f X Y thỏa mãn ( ) f x • Khi có ánh xạ đơn trị

gọi là hàm chọn (hay lát cắt) của ánh xạ đa trị F .

• Cho X là không gian Banach, khoảng cách từ điểm x X đến tập A X là

,A B

r

x A ( , )

inf{|

x

y

|:

 y A }

. Khoảng cách Hausdorff giữa hai tập hợp con

d A B ( ,

) max sup ( ,

x B

r

); sup ( ,

x A )

r

H

A

B

của X là

0x , ta ký hiệu

nx

x 0

hội tụ yếu về • Nếu dãy { }nx

Bây giờ ta sẽ trình bày các khái niệm và một số tính chất của ánh xạ đa trị nửa

liên tục, liên tục và Hausdorff – liên tục trong không gian Banach.

:

2 \Y

F D X   , ta nói:

1( ) F V

Định nghĩa 1.1.1. Cho ,X Y là các không gian Banach và một ánh xạ đa trị

V Y là mở.

a) F là nửa liên tục trên trên D nếu tập là mở trong D với bất kỳ

F V 1( ) 

V Y là mở.

b) F là nửa liên tục dưới trên D nếu tập là mở trong D với bất kỳ

Từ Định nghĩa 1.1.1 ở trên ta có ngay một số tính chất sau:

,X Y là các không gian Banach và một ánh xạ đa trị

2 \Y F D X   . Khi đó ta có:

:

Mệnh đề 1.1.1. Cho

1( ) F A 

a) F là nửa liên tục trên trên D nếu và chỉ nếu đóng trong D với

F A 1( )

bất kỳ A Y là đóng.

b) F là nửa liên tục dưới trên D nếu và chỉ nếu đóng trong D với

bất kỳ A Y là đóng.

Chứng minh.

 1( ) F V

  { x D

:

Fx V

}

a) Ta có F là nửa liên tục trên trên D khi và chỉ khi tập

D x D Fx V

\{

}

:

 là đóng trong D với mọi V Y là mở. Hay có nghĩa là tập

là mở trong D với bất kỳ V Y là mở. Điều này tương đương với tập

5

 D x D Fx

\{

:

Y A ( \ )}

là đóng trong D với mọi A Y đóng. Tương đương

x D Fx

:

Y A ( \ )}

với tập { là đóng trong D với bất kỳ A Y là đóng. Tức là

x D Fx A { :

   

}

F A 1 ( ) 

tập đóng trong D với bất kỳ A Y là đóng.

F V 1( ) 

x D Fx V { :

}

   là mở trong D với bất kỳ V Y là mở. Điều này có nghĩa

b) Ta có F là nửa liên tục dưới trên D khi và chỉ khi tập hợp

x D Fx V :

}

   là đóng trong D với bất kỳ V Y là

tương đương với tập {

x D Fx Y A ( \ )

:

}

  là đóng trong D với bất kỳ

mở. Nói cách khác tập {

A Y là đóng. Tương đương với tập

x D Fx A { } :

1 F A ( )

D với bất kỳ A Y là đóng. 

là đóng trong

Trước khi tiếp tục trình bày thêm một số tính chất ta có một vài nhận xét sau:

x D Fx V { :

}

 1 F V

( )

( )

 1 F V 

với Đối với ánh xạ đơn trị F ta có

mọi tập mở V Y do vậy trong trường hợp này định nghĩa nửa liên tục trên, nửa

liên tục dưới của F là trùng nhau và có nghĩa là liên tục. Như vậy, hiển nhiên rằng

D và

  không có quan hệ gì

D

x

j

)

x (

)

nx

0

đối với hàm nửa liên tục trên j : D X    đã được định nghĩa trước đây bởi

n

0

j x lim ( n 

với bất kỳ dãy { }nx

với Định nghĩa 1.1.1. bởi vì khi đó j có thể gián đoạn. Tuy nhiên, có một sự tương

Fx

0

lim n Fx n 

tự khi cho rằng đối với một ánh xạ đa trị nửa liên tục trên F ta có

x và với

nx

0

0Fx là đóng. Thật vậy, bởi vì theo định nghĩa ta có

với bất kỳ dãy

Fx

0x có nghĩa là

k

 1

n

 k n

  

Fx lim n  n

và ánh xạ F nửa liên tục trên tại

Fx

B e (0, )

Fx

Fx

B e (0, )

nFx

0

n

0

lim n 

với mọi với mọi n đủ lớn, từ đó

0

0Fx nếu

0Fx là đóng.

e  và vì thế lim n Fx

n



D

chứa trong

0x

Ta cũng có thể định nghĩa ánh xạ đa trị F nửa liên tục trên tại điểm

V Fx

d

d

)

 sao cho

0

0

x V 0( ,

như sau: với mọi tập mở trong Y đều tồn tại

6

F B x ( (

d  , )

D V

)

.

 Khi đó ta có F là nửa liên tục trên trên D nếu như F là nửa

0

D .

0x

D

liên tục trên tại mọi

0x

Tương tự, ta có thể định nghĩa ánh xạ đa trị F nửa liên tục dưới tại

y Fx

d

d

,

)

 0

0

x y V 0( ,

như sau: với mọi và mọi lân cận V của y đều tồn tại

Dd , )

.

 Khi đó ta có F là nửa liên tục dưới

 x B x 0(

D .

sao cho Fx V   với mọi

0x

trên D nếu và chỉ nếu F là nửa liên tục dưới tại mọi

:

2 \Y

F D X   thỏa mãn Fx đóng với mọi x D . Khi đó ta có:

D x ,

x

y Fx

 y Fx

 với bất kỳ dãy

r sup{ ( ,

) :

}

0

Mệnh đề 1.1.2. Cho ,X Y là các không gian Banach và một ánh xạ đa trị

n

0

x { } n

 thì 0

n

F là nửa liên tục dưới trênD .

r sup{ ( ,

y Fx

) :

 y Fx

}

 với 0

a) Nếu

0

n

b) Nếu F là nửa liên tục trên trên D thì

D x ,

x { } n

 . x 0

n

bất kỳ dãy

Chứng minh.

a) Giả sử F không nửa liên tục dưới trên D . Khi đó tồn tại tập mở V Y sao

.D Suy ra tồn tại

x

F V 1 ( )



F V 1( ) 

0

cho không là tập mở trong sao cho có dãy

x . Khi đó

F V 1 ( )

nx

0

0Fx V   và

nFx V   với mọi n .

nx { }



r  sao cho

0

V . Khi đó

y

 , bởi vì V mở nên tồn tại

Fx V 0

0

B y r 0( , )

Fx

 

r sup{ (

y Fx ,

) :

Chọn

B y r 0( , )

n

0

n

.D

y

Fx

0

 khi n   . Vậy F là nửa liên tục dưới trên

0

0}

với mọi n . Điều này mâu thuẫn với giả thiết

nx

x . Lấy 0

0

e  tùy ý, khi đó do F là nửa liên tục trên nên

Fx

B e (0, )

là dãy bất kỳ sao cho b) Giả sử F là nửa liên tục trên và { }nx

nFx

0

với n đủ

e  nhỏ tùy ý , do

0

r sup{ ( ,

y Fx

) :

 y Fx

e

 với n đủ lớn. Bởi vì

0

}n

lớn. Vì thế

r sup{ ( ,

y Fx

) :

 y Fx

}

 .  0

0

n

vậy ta phải có

7

:

2 \Y

F D X   thỏa mãn Fx đóng với mọi x D . Khi đó:

Mệnh đề 1.1.3. Cho ,X Y là các không gian Banach và một ánh xạ đa trị

)FG là đóng.

a) Nếu F là nửa liên tục trên và D đóng thì đồ thị (

( )F D compact và D đóng thì F là nửa liên tục trên khi và chỉ khi

b) Nếu

)FG đóng.

đồ thị (

Chứng minh.

)

)

)

x y (

,

)

( G

x y ( , n

n

0

0

nx

x và 0

, x y n

n

F

y . Ta chứng minh

D và

y

Fx

D

ny

0

0x

, giả sử tức là a) Lấy tùy ý dãy (

0

0

. Trước tiên, do D đóng { }nx

y

Fx

 . Mặt

n

D . Tiếp theo, do (

)

)

,

( G

n

n

nx

x nên 0

0x

, x y n

n

F

và nên

khác, Fx đóng với mọi x D và F là nửa liên tục trên nên theo Mệnh đề 1.1.2 (b)

y

Fx

r sup{ (

y Fx ,

) :

}

 . Vì 0

r

y Fx ( ,

)

 , lại do

0

n

n

n

0

ny

y nên 0

0

0

ta có

Fx

)

( G

0

0Fx đóng nên 0 y

( , x y 0

0

)F

)FG là đóng.

. Vậy nên (

( )F D compact và D đóng. Trước tiên, ta thấy

x D , b) Cho Fx đóng với mọi

)FG là đóng. Ngược lại,

rằng nếu F nửa liên tục trên thì theo câu (a) ta có đồ thị (

)FG đóng, ta chứng minh F là nửa liên tục trên trên D . Nếu trái lại

F không là nửa liên tục trên trên D , khi đó tồn tại một lân cận mở V Y chứa

( )F U

V . Bây giờ,

Fx sao cho với mọi lân cận mở U của x trong X ta đều có

1

1

giả sử đồ thị (

B x n  ( ,

)

B x n ( ,

),

n

1, 2,...

V

nFx

nx

sao cho lấy U  Với mỗi n chọn

x

Fx

 và { }

F D ( )

ny

n

V . Khi đó ta có lim n x

n



. và lấy ny sao cho n y và ny

y

 

y F D ( )

n

n

( )F D compact, không mất tính tổng quát ta có thể coi lim 

Vì . Ta

)

)

)

x y ( , )

( G

, x y n

n

x y , n

n

F

. Bởi và ( thấy rằng y V . Từ đó, với mỗi n ta có (

G (

)FG đóng cho nên ( , ) x y

)F

. Điều này mâu thuẫn với y V . Như vì đồ thị (

vậy phải có F là nửa liên tục trên. 

8

:

Y 2 \ .

F D X   Khi đó nếu D là tập compact, F là nửa liên tục trên và Fx

Mệnh đề 1.1.4. Cho ,X Y là các không gian Banach và một ánh xạ đa trị

( )F D là compact.

( )F D . Vì Fx compact với mọi

compact với mọi x D thì

Chứng minh. Lấy { }tV là một họ phủ mở của

x D nên tồn tại một số hữu hạn các tập

tV sao cho

Fx W x

xW là

, trong đó

tV , với mọi x D . Điều này dẫn đến một họ

hợp của một số hữu hạn các tập

U

1(

)

( )F D . Với mỗi

x DW  là họ phủ mở của {

}x

F W x

x

F là nửa liên tục trên nên

xU mở, do đó họ {

U  là một phủ mở của D trong

}x

x D

X . Vì D compact nên tồn tại một phủ con hữu hạn

,...,

U của D . Từ đây

U U , x

x

x

1

2

n

đặt . Khi đó do x D ,

( )F D .

W phủ

,...,

W W , x x

x

1

2

n

suy ra

ixW

Bây giờ bởi vì mỗi là hợp của một số hữu hạn các tập trong họ { }tV nên

, ...,

V t k

V V , t t 1 2

rõ ràng ta thu được một phủ con hữu hạn của phủ { }tV . Vậy ta phải

( )F D là tập compact. 

Dựa vào các khái niệm nửa liên tục trên, nửa liên tục dưới ta đưa ra định nghĩa

ánh xạ đa trị liên tục sau:

:

Y 2 \ ,

F D X   ta nói F là liên tục trên D nếu nó vừa là nửa liên tục trên

Định nghĩa 1.1.2. Cho ,X Y là các không gian Banach và một ánh xạ đa trị

vừa là nửa liên tục dưới trên D .

Ta thấy rằng khái niệm liên tục của ánh xạ đa trị trong Định nghĩa 1.1.2 được

định nghĩa thông qua các khái niệm nửa liên tục trên và nửa liên tục dưới, bởi vậy

khi nghiên cứu các ánh xạ đa trị thì các khái niệm nửa liên tục trên và nửa liên tục

dưới sẽ là các khái niệm được quan tâm và sử dụng nhiều hơn khái niệm liên tục đã

được giới thiệu trong Định nghĩa 1.1.2.

Tuy nhiên, đối với các ánh xạ đa trị, bởi vì Fx là một tập con của Y và ta sẽ

làm việc với chúng chủ yếu trên các tập hợp nên ta sẽ giới thiệu thêm một khái niệm

9

liên tục có nhiều ý nghĩa và ứng dụng khi nghiên cứu, đó là khái niệm Hausdorff -

liên tục.

,X Y là các không gian Banach và một ánh xạ đa trị

d Fx Fx 

0

(

)

,

:

Y 2 \ ,

F D X   ta nói F là Hausdorff- liên tục tại

0x nếu

H

n

0

Định nghĩa 1.1.3. Cho

x và nói F là Hausdorff - liên tục trên D nếu nó là

nx

0

với bất kỳ dãy

D .

0x

Hausdorff - liên tục tại mọi điểm

,X Y là các không gian Banach và một ánh xạ đa trị

:

2 \Y

F D X   thỏa mãn Fx đóng với mọi x D . Khi đó:

Mệnh đề 1.1.5. Cho

a) Nếu F là Hausdorff - liên tục thì F là nửa liên tục dưới.

b) Nếu Fx compact với mọi x D thì F là Hausdorff - liên tục nếu và chỉ

nếu F liên tục.

0

(

,

Chứng minh.

d Fx Fx  . Hay ) 0

H

n

a) Giả sử F là Hausdorff - liên tục, theo định nghĩa ta có

); sup ( ,

0

r

y Fx

y Fx

r

nx

x . Suy 0

0

n

max sup ( , Fx

Fx

0

n

      

    )    

sao cho với bất kỳ dãy { }nx

x . Do đó theo Mệnh đề

y Fx

 y Fx

 với bất kỳ dãy

r sup{ ( ,

) :

}

0

nx

0

n

0

ra

1.1.2 (a) thì F là nửa liên tục dưới.

b) Cho Fx compact với mọi x D . Giả sử F là Hausdorff - liên tục, theo câu (a)

ta đã có F là nửa liên tục dưới. Để chứng minh F nửa liên tục trên, lấy tùy ý tập

    .

A

n

,

x Ta có

F A 1 ( )

nFx

0.

nx

nx { }



sao cho đóng A Y và dãy

,n chọn

y

Fx

 . Do F là Hausdorff - liên tục nên

A

n

n

r

 và do tính compact của

)

0

ny Fx ( ,

0

0Fx dẫn đến có một dãy con hội tụ, không

Bây giờ với mỗi

Fx

 . Vậy

A

ny

  y 0

0

F A 1( ) 

mất tính tổng quát giả sử là đóng do đó F là

nửa liên tục trên. Ngược lại, giả sử F liên tục nghĩa là nó vừa là nửa liên tục dưới

x thì do F là nửa liên tục trên nên theo Mệnh

nx

0

vừa là nửa liên tục trên, nếu

10

r sup{ ( ,

y Fx

) :

 y Fx

}

 . Bây giờ để chứng minh

0

0

n

đề 1.1.2 (b) ta có

a  sao cho

0

d Fx Fx  ,

0

(

)

,

H

n

0

ta sẽ chứng tỏ rằng không tồn tại

)

0

Fx

r

( , y Fx

a  với mọi n và

n

n

ny

0

nào đó. Thật vậy, nếu không thì do

Fx

0Fx nên không mất tính tổng quát ta có thể coi

ny

  y 0

0

và tính compact của

)

/2

V B y a

, /2)

r

a

0(

0( , y Fx

n

nFx V   . Điều này mâu thuẫn với tính nửa liên tục dưới của F tại

0x . Vậy F

. Đặt do vậy ta thấy rằng với n đủ lớn thì

là Hausdorff - liên tục. 

1.1.2 Các ví dụ

Một số ví dụ sau đây sẽ phần nào giúp làm rõ hơn về các ánh xạ đa trị, các

thuộc tính nửa liên tục, liên tục và Hausdorff - liên tục. Đồng thời cũng giúp làm rõ

thêm những giả thiết về các tính chất của Fx như đóng, lồi, compact…

:T X

Y

Ví dụ 1.1.1. Cho hai không gian Banach ,X Y và một toàn ánh

F X   được xác định bởi

:

2 \Y

1 Fy T y

trên đó. Xét ánh xạ đa trị . Khi đó

1

)

  { y Y Fy M :

     }

y Y T y M {

   }

:

 1 F M ( 

  { y Y

:

 

x M Tx

:

  } y

T M (

)

với một tập bất kỳ M X ta có:

Do đó từ Định nghĩa 1.1.1 và Mệnh đề 1.1.1 ta thấy rằng ánh xạ F là nửa liên

tục dưới nếu và chỉ nếu T là ánh xạ mở. Ánh xạ F là nửa liên tục trên nếu và chỉ

nếu T là ánh xạ đóng.

T L X Y

( ,

)

( )R T

Y là đóng và

Giả sử nói riêng . Vì T là toàn ánh nên

c  0

Tx

r |

c x N T ( ,

( ))

   1 T y

x N T

( )

với Tx trên X với một y . Ta có |

X Tx :|

 |

er

x N T (

( )),

,

  .

0

e

x

0

0

0

nào đó, thật vậy giả sử ngược lại tồn tại

|

Tx  tức

0

|

0 đây là điều vô lý.

x

N T

( )

e  ta được

0

0

0

Cho dẫn đến 0

y trong Y . Do T là toàn ánh

ny

0

thỏa Bây giờ, giả sử với bất kỳ dãy { }ny

y

Tx

,

y

Tx

0x sao cho

n

0

n

0

nTx

Tx nên 0

và . Bởi vì nên tồn tại { }nx

11

r

x N T

( ))

,

0

0

)

x  điều này kéo theo

0

nx (

0

( nT x

cho nên dẫn đến

r

0

0

)

(

,

0

)

,

r

  hay 1 1 d T y T y n

H

n

  1 ) nx T y ( , 0

1   . Từ đó suy ra 0( x T y

0

d Fy Fy  . Vậy F là Hausdorff - liên tục và do đó theo Mệnh đề 1.1.5 (a)

(

)

,

H

n

0

N T  0

( )

0

T  với 0

thì F là nửa liên tục dưới hay T là ánh xạ mở. Tuy nhiên,

A

nx {

x n n / :

 với

1}

0

1

1

không là ánh xạ đóng. Để thấy được điều này ta xét

0

N T

( )

0

Tx  . Ta có A đóng và

F A T A ( )

( )

  x 0

1

 

T x n { ( / )} 1

và nên

  0

T A ( )

( )T A không đóng. Do đó F không phải là ánh xạ

T x n lim ( / ) 1  n

vậy

   là tập compact.

D X

nửa liên tục trên hay T không phải là ánh xạ đóng.

Ví dụ 1.1.2. Cho X là không gian Banach và

:

2 \D

P X   được định nghĩa bởi:

Px

  { z D x

:|

  z |

x Dr ( ,

)}

Xét mêtric chiếu

Khi đó Px đóng trong D compact nên Px compact với mọi x D . Thật vậy,

z bởi vì:

Px

nz

0

z

z

z

z

z

z

z

 n

|

  x |

|

    x |

|

|

|

  x |

|

|,

n

n

0

0

0

n

n

, giả sử lấy tùy ý dãy { }nz

r

x D ( ,

 )

|

z

    | x

z

z

|

|

r

x D ( ,

)

|

z

z

|,

 . n

n

n

0

0

0

Dẫn đến

|

z  nên

0

|

|

x

|

x Dr ( ,

)

Px

nz

0

  z 0

0z

. Hay Cho n   , ta được

nên Px đóng. Hơn nữa, Px cũng lồi nếu D là lồi. Thật vậy:

t 

[0,1]

tu

  (1

 t v D )

.

,u v Px D

 và

r

x D ( ,

)

|

tu

    ) t v

(1

x

|

t u | (

  

(1

x

)

t v )(

x

) |

t u |

   |

(1

x

t

) |

v

  | x

r t x D ( ,

)

  (1

t

r ) ( ,

x D

)

r

x D ( ,

)

Hơn nữa: . Bởi vì D lồi nên

tu

  (1

 t v Px )

Vậy . Do đó Px lồi với mọi x D .

P A 1 ( )

nx { }



giả sử Bây giờ lấy tùy ý A X là đóng và lấy bất kỳ dãy

x ta chứng minh

x

P A 1 ( )

x

P A 1 ( )

nx

0

0



0



. Giả sử trái lại khi đó ta có

12

|

x

  z |

r

)

  đều có

z A

A   . Dẫn đến

  { z A

:

0Px

A 1

0

x D ( , 0

. Đặt

|

x

  z

|

x Dr ( ,

)}

  z A x {

:|

  z

|

x Dr ( ,

)}

  .

0

A 2

0

A A A 1 2

và thì rõ ràng

  e

0 :|

x

   |

e

z

r

  và

),

,

|

x

   |

e

z

r

x D z ( ),

 

,

0

x D z A ( 1

0

0

0

|

x

|

e

 với n đủ lớn, khi đó:

2A . Mặt khác vì

nx

x nên 0

nx

0

|

x

  | z

|

x

x

|

|

x

   |

e

z

|

x

  | z

r

),

 

n

0

n

0

0

x D ( , 0

z A 1

|

x

  | z

|

x

  | z

|

x

x

|

|

x

   |

e

z

r

),

0

0

0

x D ( , 0

  z A 2

n

n

Khi đó

A   và

A   với n đủ lớn. Hay

A   với n đủ

nPx

1

nPx

2

nPx

Suy ra

    . Như vậy ta phải có

A

n

,

nPx

A   vậy P là nửa liên tục trên trên X .

0Px

lớn. Điều này mâu thuẫn với sự kiện

D

Tuy nhiên P có thể không là nửa liên tục dưới nếu lồi, vì thế P cũng

2

2

không là Hausdorff - liên tục. Ta hãy xem một ví dụ minh họa cụ thể trong trong

D

{( ,|

x x

|) :

x

 

[ 1,1]}

  với chuẩn:

X   và

hình 1.1 sau. Lấy

 | ( , ) | max{|

x y

x

|,|

y

|}

.

2\{(0, ) :

y

y 

0}

, P không nửa liên Khi đó P là Hausdorff – liên tục trên

y y  và cũng dễ thấy

0

P y không liên thông với

(0, )

tục dưới tại những điểm (0, ),

y  . 0

13

X  và cho các hàm bị chặn

Ví dụ 1.1.3. Cho X là không gian Banach,

j

y

x ( )

F   

2 \

:

xác , : trên  . Xét ánh xạ đa trị j y    thỏa mãn ( ) x

Fx

j [ ( ), ( )]

y

x

x

  . Hiển nhiên Fx compact lồi với mọi x   . Khi

định bởi

đó, điều kiện cần và đủ để ánh xạ đa trị F nửa liên tục dưới là các hàm j nửa liên tục trên và y nửa liên tục dưới. Thật vậy:

• Điều kiện đủ:

Giả sử j là nửa liên tục trên và y là nửa liên tục dưới. Lấy bất kỳ tập mở

x  . Bởi vì

x

F V 1

( ),

x

F V 1 ( )

V   và

nx   ,

nx

0

0





0

giả sử dãy { }

j [ ( x

y ), ( x

)]

V

   . Do j là nửa liên tục trên, y là

0Fx V   . Tức là

0

0

nên

j

x ( )

y

x ( )

)

j

x (

)

)xy 0(

n

0

j lim ( x n 

  

V

nửa liên tục dưới và trên  cho nên

y x ), (

)]

)n

n

n

xy lim ( n 

. Điều này dẫn đến [ ( j x với n đủ lớn, hay là

F V 1( )

nFx V   với n đủ lớn. Do vậy

nx



F V 1( ) 

là với n đủ lớn. Bởi vậy

mở trong  .

• Điều kiện cần:

Fx

j [ ( ), ( )]

y

x

x

là nửa liên tục dưới, ta Giả sử ánh xạ đa trị F xác định bởi

chứng minh j là nửa liên tục trên và y là nửa liên tục dưới. Lấy tùy ý dãy

x  . Ta phải chứng tỏ rằng

)

j

x (

)

{ }nx   giả sử

nx

0

n

0

j lim ( x n 

)

y x (

)

y

)

j

x (

)

n

0

n

0

j lim ( x n 

y x lim ( n 

r

  y

)

 . Do F là nửa liên tục trên tại

0

x và V 

xj 0(

0x nên với dãy

nx

0

B

r ), /2

. Thật vậy, giả sử trái lại . Khi đó đặt

j

Fx

V với n đủ lớn. Dẫn đến

x 0(

)x ( 0

0

nFx

 j

là lận cận của , ta có

/2r

y

y

xj (

)n

)n

xj lim ( n 

. Vậy phải với n đủ lớn. Điều này mâu thuẫn với

có j là hàm nửa liên tục trên. Lập luận tương tự như trên ta cũng có được y là

hàm nửa liên tục dưới.

14

n

[0,1],

J

: f J

n  

 là một hàm liên tục và thỏa

Ví dụ 1.1.4. Cho

f t x | ( , ) |

M

 (1 |

x

|)

. Ta biết rằng bài toán giá trị đầu của phương trình vi phân:

n

f t u ( , )  x    u   u (0) 

X C J

( )

S

:

X   2 \

Sx

  { u C J

( ) :

u

(1.1) định bởi và xét ánh xạ đa trị có nghiệm trên J . Đặt

n

n

là một nghiệm của (1.1)} . Ta biết rằng Sx là compact, liên

t 

(0,1]

:

2 \



Pt

n

t { ( ; ) : u

x

u

Sx

}

R S

 , trong đó

  là ánh xạ

P x t

và xét ánh xạ đa trị - Poincaré được cho bởi thông. Lấy

t

R Xt :

n

. Rõ ràng P t

t ( ) u

 . Nói

R u t

P xt

liên tục được xác định bởi là compact liên thông trong và P xt

P xt

P xt

1

n  ta có ngay

chung, đây là những tính chất tốt nhất mà ta có thể nói về . Trong trường hợp

compact, lồi vì trong trường hợp này là một điểm hoặc

một khoảng compact.

A

n

,

.

x

nSx

S A 1( ) 

nx

0

nu 

u

x

A

u

f t u ( ,

)

(0)

nSx

  n

n

n

  x n

0

Ta có S là nửa liên tục trên. Thật vậy, lấy tùy ý A X đóng và dãy { }nx      giả sử . Ta có Khi đó với mỗi n chọn

u

u

Sx

A

1( ) S A 

knu

0

ta được trong J và . Do vậy từ Định lý

trong X và cho nên . Vậy là Ascoli-Arzela ta có

Rt liên tục, Sx compact với mọi x và S

Pt cũng là nửa liên tục trên.

đóng với bất kỳ A đóng. Bây giờ bởi vì

n

là nửa liên tục trên do đó

f

:

  2 \

)n f 

Ví dụ 1.1.5. Cho ánh xạ đa trị là nửa liên tục trên, (

f x là một điểm hoặc một khoảng

f x compact, lồi với mọi x , tức ( )

n

( )

compact và ( )

F C J ( , :

)

p L J 2

 \

J

a [0,

]

và xét ánh xạ đa trị xác compact trong  . Cho

f x p   . Do ( ) )

[1,

Fu

  { v L J

v t ( ) : ( )

f u t ( ( ))

định bởi h.k.n trong }J với

15

u C J

( )

pL J , Hơn nữa vì một dãy hội tụ trong

( )

pL J đều có một dãy con hội tụ h.k.n nên

( )

( )

Fu là đóng trong

pL J . Để chứng minh rằng Fu   , ta phải tìm một hàm chọn

thì Fu là tập con lồi, bị chặn của compact, lồi với mọi x nên với mọi

f u

J  

 2 \

, điều này là có thể thực hiện được dưới những đo được v của ( ( )) :

giả thiết đã cho ở trên, ta sẽ thấy trong Ví dụ 2.1.1, chương 2. Ở đây, chúng ta sẽ

u

Fu

)FG là nửa đóng yếu, nghĩa là cho

n

n

u v 0, n

nv

v 0

và chứng tỏ đồ thị (

v

Fu

0

0

1

dẫn đến . Bởi vì f là nửa liên tục trên, cho nên với mỗi tập mở

( ))

0

  { y

: ( , (

y f u t

( )))

r

n

}

nV

f u t 0(

nd  sao cho

0

f B u t ( (

( ),

conv ( (

f B u t

( ),

0

d  . Từ đây ta có: ))n

V n

0

d  . Điều này dẫn đến ))n

V n

f B u t

f B u t

conv ( (

d ( ), ))

conv ( (

( ),

))

( ))

d n

0

f u t ( 0

0

d

n

n

0

 1

V n  1

chứa đều tồn tại

( ))

conv ( (

f B u t

( ), )). d

f u t ( 0

0

d

0

 

Mặt khác hiển nhiên ta có

( ))

conv ( (

f B u t

d ( ), ))

f u t ( 0

0

d

0

 

Vậy trên J .

d ( ), )

n

( )C J dẫn đến

nu s ( )

B u t ( 0

nu

u trong 0

n d 0( )

Hơn nữa với và

f B u t ( (

d ( ), ))

n

|

s

  | t

r d ( ).

s

  t |

r d ( )

nv s ( )

0

n d 0( )

 t h

Do đó với nên: và |

conv ( (

f B u t

( ), )) d

( ) v s ds n

0

1 h

t

(1.2)

với những giá trị n đủ lớn và h đủ nhỏ;

Nhớ lại rằng tích phân là giới hạn của các tích phân các hàm bậc, nghĩa là tổng

z

v J (

)

z

Jm (

)

m

h

J (

)

i

i

m n 1

m n  1



n i

n i

n i

n i

n i

0

1

qL t t ( ,

 và )

h

〈 nv

− , 〉 0 1 v 

và . Bởi vì với m là độ đo Lebesgue,

 t h

khi n   ta thu được (1.2) với 0v thay vì nv

J , cho nên ta có

h  với hầu như tất cả t

0

( ) v s ds 0

( ) v t 0

t

1 h

và bởi vì khi

16

d  . Tức là ta phải có

0

conv ( (

f B u t

d ( ), ))

v t ( ) 0

0

h.k.n trong J với mọi

( ))

.J

v t ( ) 0

f u t ( 0

h.k.n trong

1.2 Hàm chọn liên tục

1.2.1 Sự tồn tại của hàm chọn liên tục

Khi xét đến khái niệm hàm hay ánh xạ, thì một trong những tính chất “đẹp”

của nó mà ta thường quan tâm là tính liên tục. Theo tiên đề chọn ta biết rằng mọi

ánh xạ đa trị đều có hàm chọn. Tuy nhiên trong mục này, ta sẽ xét điều kiện tồn tại

hàm chọn liên tục của ánh xạ đa trị. Trước hết, ta nhắc lại một số khái niệm sau:

i IV  là một họ phủ mở của X , tức là

• Cho X là một không gian tôpô và { }i

X

V i

 i I

 

. Ta gọi một phân hoạch đơn vị đối với phủ này là một họ các hàm

0

X đều tồn tại

[0,1]

i xj ( )

 trên \ iX V , với mỗi

0x

: i Xj

sao cho liên tục

)

0

|

V V x 0(

i Vj  chỉ có thể xảy ra với một số hữu hạn i và

sao cho lân cận

.X

1

( ) xj i

i

trên

i IV  của một không gian tôpô X được gọi là phủ hữu hạn địa

• Một phủ { }i

phương nếu với mọi x X có một tập mở V chứa x sao cho V có giao khác rỗng

iV trong phủ đó.

jU đều nằm

chỉ với một số hữu hạn các tập

• Phủ { }jU được gọi là phủ nội tiếp của phủ { }iV nếu với mọi

iV nào đó.

trong một

• Một không gian tôpô Hausdorff được gọi là không gian paracompact nếu

mọi phủ mở đều có một phủ nội tiếp hữu hạn địa phương.

F X   là ánh xạ

:

2 \Y

Bổ đề 1.2.1. Cho ,X Y là các không gian Banach,

f X :

Y ,

Xl   . Giả (0,

)

:

nửa liên tục dưới và các ánh xạ đơn trị liên tục

Fx B f x

( ( ), ( ))

xl

  với mọi x X . Khi đó ánh xạ đa trị

G X  

2 \Y

:

sử

Fx B f x

( ( ), ( ))

xl

cũng là nửa liên tục dưới. được xác định bởi Gx 

17

1

0Gx V   .

x G V ( )  0

ta có Chứng minh. Lấy tùy ý tập mở V Y và

  

Fx (

B f x ( (

xl ), (

)))

y Gx V V 0

0

0

0

0

0y

0yV của

và một lân cận mở Chọn

V B f x ( (

xl ), (

))

 

V B f x ( (

xl ), (

))

0

0

0y .

yV

0

0

0

sao cho bởi vì tập là mở chứa

0x trong

0xU của

Bây giờ, do tính liện tục của f và l nên tồn tại một lân cận mở

X sao cho

x U

B f x

( ( ), ( ))

xl

.x

yV

0

0

với mọi Vì F là nửa liên tục dưới nên ta

.

,    

0x trong X sao cho

 Fx V y

x W x

0xW của

0

0

, 

U U

Fx B f x

l ( ( ), ( ))

x

0x và

V y

0xW thì U là một lân cận mở của

0x

0

Đặt chọn một lân cận mở

Fx B f x

l ( ( ), ( ))

x

   với mọi x U . Hay Gx V   với mọi

V

dẫn đến

x U . Vậy

U G V 1( ) 

G V 1( ) 

nên là mở do đó G là nửa liên tục dưới. 

2 \Y

:

F D X   là

Định lý 1.2.1. Cho ,X Y là các không gian Banach,

ánh xạ đa trị nửa liên tục dưới và Fx lồi, đóng với mọi x D . Khi đó F chứa

một hàm chọn liên tục.

Chứng minh.

e  tồn tại hàm liên tục

0

f x ( )

Fx B e (0, )

Bước 1: Ta sẽ chứng tỏ rằng với :f D Y sao cho

1

trên D mà không cần giả thiết rằng Fx đóng. Thật vậy, cho

 x D y Fx V   {

:

}

F y V (

)

e  , đặt 0

V B e (0, )

yU

yU

 

trước và thì

D

U

y

 y Y

 

và D X là không gian là mở do F là nửa liên tục dưới. Bởi vì

i IW  của phủ { {

}i

i I

i IW  . }i

j  đối với phủ {

U  và một phân hoạch đơn vị { }i

}y y Y

Banach nên D là paracompact, do đó có một phủ nội tiếp hữu hạn địa phương

j

x y ( ).

I chọn

0

iy sao cho

ij  trong \

i

i

i I 

 

f x iyX U . Đặt ( )

 nghĩa là

0

thì Với mỗi i

x U

i xj ( )

iy

do f là tổng hữu hạn các hàm liên tục nên f liên tục và

Fx V

 và do đó ( ) f x

Fx V

 bởi vì tập hợp này là tập lồi.

iy

hay

18

B

 (0, 2 )n

e

2 ,

n n

1, 2,...



nV

Bước 2: Cho Ta được họ , bằng quy nạp ta

:nf D Y sao cho:

xây dựng các hàm liên tục

n  và 2

x ( )

f x ( ) n

 f 1 n

V 2 n

với

1

n  trên D .

( ) f x n

 với Fx V n

(1.3) (1.4)

1f là dễ thấy từ bước thứ nhất. Giả sử ta đã có

f . thỏa (1.3) và (1.4). Ta chứng minh tồn tại

f 1

2, f

,..., k

1kf  cũng thỏa mãn (1.3) và

Bây giờ, sự tồn tại của

Gx

Fx

)

f x V ( ( ) k k

(1.4). Đặt hiển nhiên Gx là lồi và khác rỗng. Theo Bổ đề

1.2.1 ta có G là ánh xạ đa trị nửa liên tục dưới. Theo bước 1 thì tồn tại một hàm

1kf  sao cho

f k

x Gx V ( ) k

 1

 1

liên tục, ký hiệu là trên D . Khi đó:

x ( )

x ( )

( )

f k

 Fx V k

f k

1

f x V V k k

  k

1

f x ( ) k

V 2 k

 1

 1

và trên D .

k  . Vì thế theo nguyên lý quy nạp ta

1)

Do vậy (1.3) và (1.4) thỏa mãn với (

có (1.3) và (1.4) được thỏa mãn với mọi n .

x ( )

2 (0, 2 )n B

f x ( ) n

 f 1 n

V 2 n

Bước 3: Từ quan hệ bao hàm (1.3) ta có trên

|

1 | 2 n   

C D Y Do đó ).

( ,

D . Suy ra

f n

f  1 n

là dãy Cauchy trong dẫn đến { }nf

)

2 ,n

hội tụ theo chuẩn về hàm f cho nên f liên tục. Từ quan hệ bao hàm (1.4) dãy { }nf



  . Nhưng vì { }nf x D

nf x Fx

Fx

Fx đóng dẫn đến ( ) f x

cho ta ( ( ), r hội tụ theo chuẩn về hàm f và

trên D . 

1.2.2 Các ví dụ

Để xét các ví dụ minh họa và áp dụng, trước hết ta cần nhắc lại một số khái

niệm có liên quan được sử dụng sau đây:

• Cho X là không gian Banach, tập B X được gọi là bị chặn nếu B được

r  sao cho

0

B B r (0, )

chứa trong một quả cầu nào đó, tức tồn tại .

B

sup{|

x

y

|:

 x y B

,

}

được gọi là đường kính của . B • diam

19

• Cho B là một họ các tập con bị chặn của không gian Banach ,X nếu B  B

0

e  sao cho B

không là compact tương đối (hay tiền compact) thì tồn tại một số

không thể được phủ bởi một số hữu hạn các quả cầu bán kính e và cũng không thể

phủ B bởi một tập hợp hữu hạn các tập có đường kính nhỏ hơn e .

:a b ,

 B

định nghĩa bởi: • Cho X là không gian Banach, xét các hàm

a

B ( )

d inf{

0 :

B

}d .

được phủ bởi hữu hạn các tập có đường kính •

b

B ( )

r inf{

0 :

B

Khi đó a được gọi là độ đo phi compact (Kuratowski).

được phủ bởi hữu hạn quả cầu bán kính bằng }r . Khi •

đó b được gọi là độ đo cầu phi compact.

l   ( ) 

là Ví dụ 1.2.1. Cho  là tập con đóng của một không gian Banach,

x

sup | ( ) |

x t

:x    với chuẩn |

 |

( )

:x    . Khi

C   là không gian con đóng của tất cả các hàm liên tục, bị chặn

( )  

không gian Banach các hàm bị chặn và

Px

x

y

y C {  

( ) :| 

P l :

C 2

\

| 

   ( ) 

định bởi: đó mêtric chiếu

x

 ( ),

x Cr ( ,

( ))}

x t 1( )

  là tồn tại. Để thấy được điều này, cho

l  

x s lim ( )  t s

1

a

 2

|

x

x

x t ( )

x t ( ) 1

x t ( ) 2

2

 ta | 1

2( ) x t

lim ( ) x s  t s

. Khi đó trên  và với

a

y

t ( )

a

j  ( ) t

 trên  . Hàm j là nửa liên tục trên và y là

x t ( ) 2

x t ( ) 1

 sao cho ( )

y C 

nửa liên tục dưới. Do đó ta lấy j   . Ta sẽ chứng tỏ y y

b

r

x C ( ,

 và chú ý rằng: ( ))

x

          a

y

a

a

a

j

y

x

x

x

2

1

. Thật vậy, đặt y Px

b

  x |

y

 . Hơn nữa cho

e  bởi vì

0

b

r

x C ( ,

 do ( ))

a |

 sao cho | ( )

x

  . Vì thế

b

e

Dẫn đến

z C 

 | z

x

b

x

e

e

z

tính chất của inf nên tồn tại

      bởi vì z liên b

1

2

x    b e z    . Cho nên e b x

e  và do đó

0

0

  

x

x

2

b

 . Suy ra a

2

e

2

1

tục. Do vậy   với mọi b e

20

|

x

y

 . Bằng lập luận tương tự ta thấy rằng P là ánh xạ Lipschitz hằng số 2

b |

đối với mêtric – Hausdorff Hd nên cũng P chứa một hàm chọn liên tục (xem [11]

J

a [0,

]

Theorem Kripke p.173).

  và ánh xạ đa

Ví dụ 1.2.2. Cho X là một không gian Banach

(

:

2 \X

, )  F J B x r

  là Hausdorff - liên tục thỏa

F t x lồi đóng với mọi

( , )

0

trị

B B x r , )

t x . Giả sử rằng ( ( ( , )

F J B

g

))

g k B

( ),

0(

với mọi và với k  trong 0,

đó g là một độ đo phi compact. Khi đó bài toán giá trị đầu của phương trình vi

phân sau:

0

1C . Thật vậy, bởi vì với giả thiết đã cho thì

F t u ( , )  x    u   u (0) 

 f J B x r , )

(

:

 thỏa mãn

X

có một nghiệm địa phương thuộc lớp

0

ánh xạ đa trị F chứa một hàm chọn liên tục

B B x r , )

g

f J B ( (

  )

g

F J B ( (

))

g k B ( )

0(

với mọi và do vậy bài toán:

1C .

0

có một nghiệm địa phương thuộc lớp f t u ( , )  x    u   (0) u 

F Hausdorff - liên tục, Fx lồi đóng, bị chặn với mọi x D và Y lồi đều. Khi đó

Chú ý các trường hợp đặc biệt có thể tồn tại các hàm chọn liên tục, ví dụ như

|

y

f x ( ) |

r

y Fx ( ,

).

Fx

0y Y và xác định hàm f bởi ( ) f x

0

0

và chọn tùy ý

Rõ ràng f là hàm chọn liên tục của F . Cũng chú ý rằng Định lý 1.2.1 là sai nếu

P trong Ví dụ 1.1.2 là nửa liên tục trên nhưng không chứa một hàm chọn liên tục.

như Y không đầy đủ hoặc Fx không đóng hay không lồi. Chẳng hạn ánh xạ đa trị

Ta hãy xét một ví dụ minh họa khác.

u

|

(0)

2 |  x

   u  u 

Ví dụ 1.2.3. Xét bài toán giá trị đầu của phương trình vi phân:

21

Sx

   { ( t

|

x

2 |) }

Dễ thấy rằng . Xét ánh xạ đa trị - Poincaré nửa liên tục

x

2 )

khi

x

0

t

2

|

x

2 |)

khi

x

, 0]

[ t  

P x t

  

2

|

x

2 |)

khi

x

t  

 (   0,( t      ( t 

trên Pt với được phát họa trong hình 1.2 và được cho bởi:

]a nhận được

Khi đó có nhiều hàm chọn liên tục của ánh xạ đa trị Pt . Tuy nhiên nghiệm đa

trị nửa liên tục trên S của phương trình vi phân này trên đoạn [0,

chính xác một hàm chọn liên tục, cụ thể là hàm chọn liên tục này thu được bằng

cách chọn nghiệm cực đại theo x với mỗi x . Chú ý rằng S và Pt không là nửa liên

x  .

0

tục dưới tại điểm

1.3 Hàm chọn xấp xỉ

1.3.1 Khái niệm hàm chọn xấp xỉ

Ta thấy rằng trong nhiều trường hợp, giả thiết về tính nửa liên tục dưới của

ánh xạ đa trị F không được thỏa mãn hay Fx không đóng với mọi x D . Khi đó

giả thiết về điều kiện tồn tại của hàm chọn liên tục không thỏa mãn cho nên ta

không thể tìm chính xác một hàm chọn liên tục f của ánh xạ đa trị F . Tuy nhiên,

trong thực tế nhiều khi ta không cần thiết phải tìm một hàm chọn liên tục của ánh xạ

22

  là giống nhau

y , )

f

,

đa trị F . Ví dụ khi nghiên cứu về lý thuyết bậc tôpô ta cần tìm lớp các ánh xạ đơn

trị f là ánh xạ compact sao cho bậc Leray-Shauder deg( I

với mọi f . Để giải quyết vấn đề này ta đưa ra khái niệm hàm chọn xấp xỉ.

F D X  

2 \Y

:

Định nghĩa 1.3.1. Cho ,X Y là các không gian Banach,

e  . Khi đó một ánh xạ đơn trị liên tục

0

f x Fx

r

)

e với mọi x D .

là một ánh xạ đa trị và :f D Y được

gọi là một hàm chọn xấp xỉ - e của F nếu ( ( ),

Đến đây, vấn đề được đặt ra là với điều kiện nào của ánh xạ đa trị F thì ta có

thể tìm được những hàm chọn xấp xỉ với một sai số tùy ý cho trước. Ta thấy rằng

điều kiện nửa liên tục dưới là tốt đối với các hàm chọn liên tục, nửa liên tục trên

trên các tập hợp compact lại là tốt đối với cấu trúc của các hàm chọn xấp xỉ.

1.3.2 Sự tồn tại của các hàm chọn xấp xỉ

X  là mở và D  

Định lý 1.3.1. Cho ,X Y là các không gian Banach,

:

2 \Y

F    nửa liên tục trên và Fx lồi với mọi x   . Khi đó với

là compact,

0

  { x X

r : ( ,

x D

)

 và một

}

e

e  tồn tại một lân cận Ve của D với

V e

mọi

conv( ( ))

F D

(

F D B x 

( , )) e

f V : e

e 

f x ( ) e

B e (0, )

sao cho hàm liên tục hữu hạn chiều

trên Ve .

Chứng minh. Với mỗi x D vì F là nửa liên tục trên nên ta tìm được

F B x

d ( ( , )

D

)

 Fx B x

e ( , )

d

d

e ( , )x

m

D ,

d

  i

1,.

D 

D

B x r với i

( , ) i

ix

sao cho và bởi vì D compact, ta có

e x ( , ), i

1

i

m

ta có thể lấy ir sao cho 3 r i

..,m . Đặt

1

{ }m ij  sao cho i

W e

B x r ( , ) i i

1 

i

 

và chọn một phân hoạch đơn vị

B x r và chọn

y

(

supp ij  ( , ) i

i

i

 F D B x r ( , )). i

i

m

Khi đó ta xét ánh xạ đơn trị

conv( ( ))

F D

j

( ). x y

f W : e

e 

i

i

( ) f x e

i

1

 

được định nghĩa bởi thì rõ ràng fe là

conv( ( ))

F D

f x ( ) e

liên tục và có tính chất với mọi x Ve . Ta còn phải chứng

 F D B x

e ( , )

(

B

e (0, ),

.

f x ( ) e

  x We

minh và định nghĩa số Lấy x We

23

max{ :

0}

 nên dẫn đến

0

 . Bởi vì supp ij  ( , )

B x r và i

i

j xj ( )

r p

r j

( ) xj j

,

)

x

| |

x

x

|

|

x

   

x

|

x B x r ( j

j

    x j

p

p

j

r 2 p

r p

r j

, vì vậy: |

 

,

)

z

   | |

x

z

x

|

|

x

   |

x

z B x r ( j

j

p

j

r j

p

r 2 p

r 3 p

j

Do đó ta có: |

,

)

B x (

(  z B x

B x r ( j j

r , 3 ) p

p

, 3 ) r p

p

điều này dẫn đến và ta cũng có Suy ra

xd (

e , )

x B x d ( , )

d

d

, ). e

r 3 p

p

p

( px

nên với Ta lại có:

y

(

(

))

 F D B x (

(

d , )

Fx

B

e (0, )

j

 F D B x r , j

j

p

p

.

y

Fx

B e (0, )

 . Do vậy:

0

j

p

j xj ( )

m

j

( ). x y

Fx

B

(0, ) e

i

i

p

( ) f x e

i

1 

Từ đây ta được với mọi j sao cho

Cuối cùng, để kết thúc chứng minh ta chọn tùy ý lân cận Ve của D sao cho

conv( ( ))

F D

V We

e , khi đó ta có

f V : e

e 

là một hàm liên tục hữu hạn chiều và

(

B

F D B x 

( , )) e

(0, ) e

f x ( ) e

thỏa mãn trên Ve . 

,D D của  , thì Định

1

2

Nhận xét rằng khi ta có hai tập con compact rời nhau

lý 1.3.1 cho ta thấy rằng với e đủ nhỏ ta tìm được hai lân cận không giao nhau

conv( (

));

e ( , ))

(

,D D sao cho

1

2

f x ( ) e

 F D B x i

1 ,V Ve

f V ( e

1 e  )

F D 1

2 e

và của

B e trên

(0, )

e 

inf{|

x

y

|:

iVe với

  { x X

r : ( ,

)

 e };

V

:

i  1, 2; chẳng hạn chọn e sao cho 2

e . Do

}

x D y D , 1 2

1 V e

2 e   { x X

x D 1

  . Nói một cách rõ hơn, với giả thiết như

)

e khi đó rõ ràng

}

x Dr ( , 2

1 2 e V Ve

và ( , )xd e

0

e  tồn tại một lân cận Ve của D và một hàm liên tục hữu

Định lý 1.3.1 thì với

conv( ( ))

F D

f V : e

e 

  . |

e

z

hạn chiều sao cho với mọi x Ve tồn tại y D và z Fy

x

  và | e

y

|

f x ( ) e

sao cho |

Bởi ý nghĩa của hệ quả này dẫn đến một điều rất tự nhiên để định nghĩa bậc

tôpô của ánh xạ đa trị F nửa liên tục trên với Fx lồi đóng.

24

1.4 Bậc tôpô của ánh xạ đa trị - điểm bất động

X  là một tập mở bị

1.4.1 Bậc tôpô của ánh xạ đa trị

Mệnh đề 1.4.1. Cho X là không gian Banach thực,

:

2 \X

x   .

F    là ánh xạ nửa liên tục trên, Fx lồi đóng với mọi

chặn và

e  sao 0

( )F  là compact tương đối và x Fx

Nếu với mọi x   thì tồn tại 0

x

e

(0,

e

),

f xe ( )

0

cho với mọi x   và trong đó fe tồn tại từ Định lý 1.3.1.

je  và 0

Chứng minh. Giả sử rằng kết luận không đúng, khi đó tồn tại

x

)

z

Fy

jx   sao cho

j

f xe (

j

jy và

j

j

e

. Do Định lý 1.3.1 tồn tại sao cho:

|

x

y

|

j

j

j

(1.5)

|

x ( )

z

|

f e

 e j

j

j

(1.6)

)

x

j

j

( xe f

j

nên từ (1.6) ta được: Vì

|

x

z

|

j

j

 e j

(1.7)

F  có một dãy con hội tụ, do

( )

jz ( )F  là tập compact tương đối nên dãy { }

z . Từ đây và điều kiện (1.7)

jz

0

đó không mất tính tổng quát có thể giả sử rằng

z và bởi vậy do điều kiện (1.5) ta được

z . Bây giờ do tính nửa

jx

0

0

jy

cho ta

z

Fy

z

Fz

0

0

j

j

{ }jx   là tập đóng và dãy

jx

z nên 0

0z   . Điều này mâu thuẫn với sự

. Hơn nữa để ý rằng ta có liên tục trên của F và cũng do

Fx

kiện x với mọi x  . 

X  là một tập mở bị

Định nghĩa 1.4.1. Cho X là không gian Banach thực

F    là ánh xạ nửa liên tục trên có giá trị lồi đóng. Giả sử rằng

:

2 \X

( )F  là tập compact tương đối và

x F  với mọi x  . Khi đó ta định nghĩa

( )

chặn và

bậc Leray-Schauder của ánh xạ đa trị F như sau:

deg(

I F

, 0)

,

  

  , 0) ,

fe

I lim deg( e

0

(1.8)

25

với fe được xác định như trong Định lý 1.3.1.

Ta thấy rằng Định nghĩa 1.4.1 là hợp lý. Bởi do Mệnh đề 1.4.1 nên tồn tại

0

x

e

(0,

e

)

e  sao cho 0

f xe ( )

0

fe  là ( )

. Khi đó rõ ràng với mọi x   và

, 0)

,

e

(0,

e

)

fe  là hợp lý với mọi

0

. Ta compact. Do đó sự tồn tại của deg( I

e sao cho

x

(1  

 với mọi

e 1

0

tf x ( ) e

t f x ) ( ) d

nhận xét rằng tồn tại số

t x  ( , )

[0,1]

 và

t

0,

d

 và 0

e d ,

(0,

)

e 1

j

t e 0,

j

j

. Thật vậy, giả sử tồn tại

x (

)

  (1

t

)

)

x

jx   sao cho

t f e j

j

f x ( d

j

j

j

j

j

Do nhận xét của Định lý 1.3.1, tồn

Fy

y y và 1 1 2 z ,j j j

1 Fy z , j

2 j

2 j

|

y

x

|

e

,

|

y

x

|

d

,

|

z

|

e

,

|

z

|

1 j

j

j

2 j

j

j

1 j

f x e

j

j

2 j

f x d

j

 d j

j

j

tại thỏa mãn:

( )F  là tập compact tương đối nên dãy { }jx

Do có một dãy con hội tụ, không

x   bởi vậy

jx

0

1 jy

x và 0

2 jy

x . Kết 0

mất tính tổng quát giả sử rằng

Fx

1{ }jz

1 jz

  z 1

0

có một dãy con hội tụ, giả sử là và tương tự dãy quả là dãy

Fx

2{ }jz

2 jz

  z 2

0

cũng có một dãy con hội tụ và cũng giả sử là . Khi đó ta có

tz

  (1

t z )

Fx

x F  với mọi

( )

1

  x 0

0

2

x  .

, điều này mâu thuẫn với giả thiết

Từ Định nghĩa 1.4.1, ta thấy rằng bậc Leray-Shauder của ánh xạ đa trị được

định nghĩa thông qua bậc Leray-Shauder của ánh xạ đơn trị compact trên một tập

mở bị chặn cho nên cũng tương tự như đối với các ánh xạ đơn trị ta có các tính chất

sau:

I      ; 1

, 0)

0

Mệnh đề 1.4.2. Bậc đã định nghĩa từ Định nghĩa 1.4.1, có các tính chất:

a) (Tính chuẩn tắc) deg( ,

x

 

:

 x Fx

I F   thì tồn tại

, 0)

0

,

. b) (Tính giải được) Nếu deg(

26

: [0,1]

   là ánh xạ compact, nửa liên

2 \X

tF

c) (Tính đồng luân) Cho

x F x

t x 

[0,1]

 . Khi đó ta có

t

tF x

tục trên, lồi đóng và với mọi ( , )

t 

[0,1]

deg(

, 0)

,

I F  không phụ thuộc

t

.

,  là hai tập com mở rời nhau của  và

1

2

0

  ( I F

)( \(

    thì:

))

1

2

deg(

I F

  

, 0)

,

deg(

I F

deg(

I F

, 0)

  , , 0) 1

  , 2

d) (Tính cộng tính) Nếu

Chứng minh.

a) Hiển nhiển từ tính chất bậc Leray-Shauder của các ánh xạ đơn trị.

b) Giả sử ngược lại, mọi x   ta đều có x Fx . Do Fx compact nên tồn tại

(0,

0

)

e

e

x Fx

r

e . Suy ra với mọi

)x

x

xe  sao cho ( ,

, 0)

0

,

I F 

,

, 0)

fe   . Dẫn đến deg(

fe không có điểm bất động do vậy deg( I

   . Điều này dẫn đến mâu thuẫn với giả thiết. Như vậy nếu có

, 0)

0

,

fe

I lim( e 0

thì do Mệnh đề 1.4.1 nên

deg(

I F   thì tồn tại x   sao cho x Fx

, 0)

0

,

.

e  . Gọi 0

t u 

[0,1]

fe là các ánh xạ tồn tại từ Định lý

fe và

t

u

và c) Với mỗi ,

  

I deg(

, 0)

,

I deg(

  . Suy ra , 0)

,

  

, 0)

,

f e u

f e t

f e t

I lim deg( e 0 t

I lim deg( e 0 u

  

, 0)

,

deg(

,

, 0).

, 0)

,

I F t

  I F u

fe  . Hay deg(

u

,  là hai tập com mở rời nhau của  và

0

  ( I F

)( \(

    hơn

))

1.3.1, theo tính chất đồng luân của bậc Leray-Shauder của ánh xạ đơn trị ta có được:

1

2

1

2

0

  ( I

)( \(

))

d) Vì

fe

1

2

    , với e đủ nhỏ và fe là ánh xạ tồn

nữa Fx compact nên

I deg(

  

, 0)

,

I deg(

I deg(

, 0).

f e

  , f , 0) e 1

  f , e 2

tại từ Định lý 1.3.1. Ta có

  

, 0)

,

, 0)

f e

  , 0) , f 1 e

  f , e 2

I lim deg(  e

0

I lim deg(  e

0

I lim deg(  e

0

Suy ra

deg(

I F

  

, 0)

,

deg(

I F

deg(

I F

, 0)

  , , 0) 1

  , 2

Vậy . 

27

Bây giờ, với g là một độ đo phi compact trong 1.2.2, ta sẽ định nghĩa bậc tôpô

X  là mở, bị chặn

2 \X F    là ánh

:

của ánh xạ đa trị g - co trên một tập mở, bị chặn tại một điểm y bất kỳ.

Cho X là không gian Banach

xạ đa trị nửa liên tục trên và Fx lồi đóng với mọi x   . Cho g là một độ đo phi

k  . 1

g

F B ( ( ))

g

B ( )

compact a hoặc b . Giả sử F là một ánh xạ đa trị g - co nghiêm ngặt, tức là

với mọi B   và với

  ( I F

)(

 . Giống như định nghĩa bậc tôpô cho ánh xạ đơn

)

Giả sử rằng 0

, 0)

,

I F   nếu x Fx 0

trị đã biết trước đây, ta định nghĩa deg( trên  và

C

 conv ( ), F

I F  (

1 ) (0)

  , ta lại định nghĩa các tập

0

trong trường hợp

C

C

n  và 1

C

F conv (

 

)

n

n

C  1 n

n

0

 

với là tập compact lồi thỏa mãn

1  ) (0)

C

I F ( 

  và

F

  (

C

)

C

,D trong đó

V

:

x Dr ( ,

)

e và }

  có lân cận mở Ve của

x X { e  

D C 

. Khi đó áp dụng Định lý 1.3.1 cho

F D conv ( )

C

f V : e e

 F D B x

e ( , ))

(

B

e (0, )

f x ( ) e

một ánh xạ compact hữu hạn chiều sao cho ta có

e  đủ nhỏ. Thật vậy:

0

trên Ve . Ta chứng tỏ rằng fe không có điểm bất

  nếu )

Ve

động trên (

x

)

   )

)

  

ne  và 0

n

xe f (

n

nx

  V ( e n

V ( e n

n

Giả sử trái lại với

  . Trước tiên, ta chú ý rằng

)

   

Ve (

nx

Ve

n

n

vì nếu không sẽ dẫn đến

  . Bởi vậy ta có

x

)

 conv ( )F D

C 

nx

D Ve

nx   với

n

xe ( f

n

n

, tức là

Fy

)

D và |

x

  . Do đó không mất

y

|

nx 

n

B e (0, n

ny

n

n

e n

với mọi n và

x  , vì D là compact.

ny

x và 0

nx

0

tính tổng quát giả sử

x

Fx

0Fx là đóng, điều này mâu

0

0

Do vậy , bởi vì F là nửa liên tục trên và

  được xác định với mọi

, 0)

f Ve , e

thuẫn với x Fx trên D . Do vậy deg( I

28

0

e  đủ nhỏ và nó là một số nguyên độc lập với cách chọn của Ve và fe thỏa mãn

các điều kiện ở trên.

Bởi vậy ta có thể đưa ra định nghĩa bậc tôpô của ánh xạ đa trị g - co trên một

tập mở, bị chặn tại một điểm y bất kỳ như sau:

X  là tập mở, bị chặn,

:

2 \X

F    là ánh xạ đa trị nửa liên tục trên, g - co nghiêm ngặt với Fx lồi,

y

  ( I F

)(

 . Khi đó:

)

Định nghĩa 1.4.2. Cho X là không gian Banach,

đóng mọi x   và

I F

   . y , )

0

,

I F (

1 y ) ( )

  thì ta lấy deg(

Nếu

  

I F

y , )

,

I deg(

  thì ta lấy deg(

I F (

y 1 ) ( )

   , f e

V y , ) e

Ve và fe có được bởi Định lý 1.3.1.

Nếu với

Cũng chú ý rằng trong Định nghĩa 1.4.2 ở trên ta đã sử dụng lập luận như đã

 

C

F conv( (

C

)

 y );

C

F conv( ( )

  );

y

n

 1

n

0

C

C

n  và 1

  với

e

e

F ( ,

  đủ nhỏ. 0

y , )

trình bày nhưng lần này được tổng quát cho một điểm y bất kỳ, tức là:

;n

0

n

 

Fx

)

g k

x ({ })

 . Rõ

0

D C 

Chú ý rằng Fx là compact thực sự vì Fx đóng và ( g

ràng bậc này trùng với bậc đã được định nghĩa đối với ánh xạ đơn trị g - co nghiêm

ngặt đã biết trước đây. Từ Định nghĩa 1.4.2 và tính chất của bậc, hiển nhiên rằng

bậc tôpô đã định nghĩa có được các tính chất sau đây:

Mệnh đề 1.4.3. Với F và  được xác định như trong Định nghĩa 1.4.2, khi

y  với

, )

1

đó bậc tôpô của ánh xạ đa trị g - co nghiêm ngặt có các tính chất sau:

y   . a) deg( , I

deg(

I F

  

y , )

,

deg(

I F

deg(

I F

y , )

  , y , ) 1

  , 2

,  2

1

y

  ( I F

)( \(

    )).

với bất kỳ b)

1

2

là các tập con mở không giao nhau của  và

29

 I H t

( , ),

  là độc lập đối với

y , )

t

J 

[0,1]

( , )

2 \X H J    thỏa mãn

:

H t x là lồi đóng, H là nửa liên tục trên

y

  ( I H J )(

 ).

khi ta xét đồng luân c) deg(

và là g - co nghiêm ngặt với

1.4.2 Điểm bất động của ánh xạ đa trị

Trong phần này, ta sẽ sử dụng bậc tôpô của ánh xạ đa trị đã được xây dựng

và tính chất bất biến đồng luân, ta sẽ xem xét điều kiện tồn tại điểm bất động của

lớp các ánh xạ đa trị.

F D   là nửa liên tục trên và là g - co nghiêm ngặt, Fx lồi, đóng với mọi

:

2 \X

x D . Khi đó Fix( )F   nếu một trong các điều kiện sau được thực hiện:

Định lý 1.4.2. Cho X là không gian Banach, D X bị chặn, ánh xạ đa trị

l  và với

1

x

l ( x

x

)

Fx

x

D

.

0

0

0

F D ( )

D .

trên D với mọi a) D mở và

b) D lồi đóng và

Chứng minh.

x  . Hiển nhiên

0

J 

[0,1]

H t x  ( , )

0

tFx là compact lồi và H là g - co nghiêm ngặt trên J D . Ta chứng minh H là

, không mất tính tổng quát giả sử a) Đặt

H A 1( ) 

)

t x {( , )

J D H t x A

( , )

:

}

   là đóng. Thật vậy, lấy bất kỳ dãy ( , t x  n n

nửa liên tục trên trên J D . Lấy tùy ý A X là đóng, ta chứng minh

)

)

,

    n

A

)

H A 1 ( )

t x ( , n

n

t z ( , ) 0

( , H t x n

n

t x ( , n

n



1( ) H A 

, giả sử . Do nên

A

n

,

y

Fx

    . Khi đó với mỗi n , chọn

t Fx n

n

n

n

sao cho tức là ta có

A . Bởi vì

g

y ({

:

n

1})

k

g

x ({

:

n

1})

0

t y }n n {

n

 , do đó dãy { }ny

n

y cho nên

t y 0 0

 t Fz H t z 0( , ) 0

0

t y n k

n k

kny

dãy con hội tụ là . Mặt khác do

 vậy

A là tập đóng, dãy {

}

A và

t y 0 0

H t z A 0( , )

t y 0 0

t y n k

n k

t y n k

n k

nên

1( ) H A 

là đóng. Từ đây dẫn đến H là nửa liên tục trên. Do đó áp dụng Mệnh đề

30

I F D

,

, 0)

 deg( ,

I D  dẫn

, 0)

1

1.4.3 (c) về tính bất biến đồng luân ta có deg(

đến Fix( )F   .

b) Ta có thể quy về (a) theo cách thông thường bởi vì với một ánh xạ co

:R X

C

D  thì F R

l 

( )F D

D nên dẫn đến x Fx

2 \D  . Chú ý rằng do D lồi đóng và

là ánh xạ đa trị, nửa liên tục trên, compact từ X vào

trên D

l  .  1

với mọi

Từ Định lý 1.4.2, ngay lập tức ta có một hệ quả sau, nó là một công cụ cơ bản

n

n

được ứng dụng trong việc tìm kiếm sự cân bằng đối với các bài toán kinh tế.

D

  x

x

:

1 ,

f D :

 2 \

x ( ) i

i

n 

i

1

Hệ quả 1.4.1. Cho là

 ánh xạ nửa liên tục trên với ( )

f D bị chặn và ( )

f x lồi đóng với mọi x D . Giả sử

,D tức là

f x x  ( ),

0

〈 y x ,

  

0,

y

f x ( )

.D Khi đó tồn tại

thêm trên trên

x D sao cho ( ) f x

 

.n 

n  

〉 . Trong đó ,y x〈 là tích vô hướng trong

f D bị chặn nên có thể coi ( ) f D

B r (0, )

  { x D x z :

,

min

〉 〈 , } y z

(0, )

:

2 \D g z g B r   bởi ( )

 y D

và định nghĩa Chứng minh. Do ( )

z B r (0, )

và g là ánh xạ đa Ta sẽ chứng minh ( )g z là compact, lồi với mọi

D nên ( )g z bị chặn với mọi z . Hơn nữa,

trị nửa liên tục trên. Thật vậy, do ( )g z

〉 và xét tùy ý dãy

min

a

〈 , y z

g z x ( ),

 . x

z B r (0, )

x { } n

0

n

y D 

〉 là ánh xạ liên tục nên

cố định , đặt

j  〈 x ( )

x z ,

Khi đó bởi vì ánh xạ : Dj   , định bởi

〉 . Nhưng bởi vì ta có { }

g z ( )

)xj 0(

nx

)n

x z , 0

xj lim ( n 

〈 lim , x z n n 

hay do

〉 min

a

a

g z ( )

x

( )g z

,nx z

0,x z

0

〈 y D y z , 

n

đó . Vậy . Suy ra do đó

D   là đóng và bị chặn nên nó là compact.

đóng. Vì ( )g z 

g z ( ),

  t

[0,1]

x x , 1

2

, ta có: Tiếp theo, ta sẽ chứng minh ( )g z lồi.

〈 tx

  (1

,

  (1

,

  

ta

(1

t a )

a

1

t x z ) 2

〈 t x z , 1

〈 ) t x z 2

.

31

z B r (0, )

tx

  (1

t x )

g z ( )

1

2

Do đó . . Vậy ( )g z lồi với mọi

g A 1 ( )

nz

z . Do 0

nz { }



, giả sử Bây giờ lấy tùy ý A D là đóng và dãy

)

,

y

g z (

)

 . Vì

A

A

n

    . Vì vậy với mỗi n ta chọn

g A 1( )

ng z

n

n

nz



nên (

{ }ny

là dãy trong A compact nên có dãy con hội tụ, không mất tính tổng quát ta có

〉 và ta có

min

〈 , y z

y

g z (

)

  . Mặt khác

A

y

ny

n

n

0

〈 , y z n

n

n

y D 

〉 và

〉 . Dẫn

min

〈 y z ,

min

〈 y z ,

〈 y z

,

ny

y 0,

nz

z nên 0

〈 y z , n

n

0

0

 y D

n

0

 y D

〉 . Vậy

thể coi nên

min

〈 y z ,

y

)

0

g z 0(

〈 y z , 0

0

0

 y D

cho nên theo kết quả ở trên ta có đến

y

)

 hay

A

)

A   , tức là

z

g A 1 ( )

0

g z 0(

g z 0(



0

g A 1( ) 

. Vậy đóng nên g là

nửa liên tục trên.

Chú ý rằng ta sẽ có được điều cần chứng minh nếu ta tìm x và z sao cho

x

g z ( )

z

f x ( )

z

f x ( )

〈 và . Thật vậy, vì nên theo giả thiết ta có 0 và 〉 ,z x 

x z ,

min

〈 y z ,

x

g z ( )

〉 đưa đến 0

 y D

nên 0 ,y z 〈 〉 với mọi y D . Đặc

  z

f x ( )

e điều này có nghĩa 0

e e 2, 1

,..., n

z

f x ( )

  . Bây giờ một cặp ( , )x z như vậy là một điểm bất động của ánh xạ đa

n 

. Vậy biệt với y lần lượt bằng

 F D B r (0, )

:

nD   \ 2

F x z ( , )

g z ( )

f x ( )

F như vậy hoàn toàn thỏa mãn giả thiết của trường hợp (b) trong Định lý 1.4.2, như

trị , được định nghĩa bởi . Ánh xạ

 

n  

.  vậy điểm bất động thực sự tồn tại, do đó có x D sao cho ( ) f x

1

Để xét ví dụ áp dụng trước tiên ta nhắc lại ký hiệu sau. Cho X là không gian

x y ,

y

y

|

  | y

tx

|)

〉 = 

0

t lim (|  t

. Banach, với ,x y X . Ta ký hiệu

Ví dụ 1.4.1. Cho X là một không gian Banach, D X là lồi đóng, bị chặn,

f g , :   D X với g liên tục, tuần hoàn chu kỳ w theo biến thứ nhất và sao cho: 

a

f t B ( ( ,

))

a ( ) ( ) k t B 1

x

y với mọi

2 |

với mọi tập B D và (i)

g t x ( , )

g t y x ( , ),

〉 y 

k t 2( ) |

,x y D .

32

f t x

g t x | ( , ) |

 trên

M

D

và g là liên tục đều, | ( , ) | (ii) f

 1 l r

x (

l

f t x ( ( , )

g t x D ( , )),

)

 trên

0

D

lim  0 l

w

(1.9)

1 L

([0,

w

])

k

0

k 1

  k 2

k t ( ( ) 1

k t dt ( )) 2

0

  . Ta biết rằng bài toán giá trị đầu của phương trình vi phân:

g

f

và (iii)

Đặt 0f

0( , ) f t v   x D

   v   v (0) 

(1.10)

J

w [0,

]

, (xem [6], Theorem 2). Ta muốn tìm nghiệm tuần có một nghiệm trên

v

 

f t v 0( , )

, tức là điểm bất động của ánh xạ đa trị - Poincaré hoàn chu kỳ w của

P B

( ))

:

2 \D

a k e

B ( )

P Dw   . Dễ dàng thấy rằng (

wa

với mọi B D . Do đó ta

( )

 và C chứa tất cả

C

P C w

dễ dàng tìm một tập hợp compact, lồi C D sao cho

các điểm bất động của Pw . Ta cũng biết rằng Pw là nửa liên tục trên và P xw là

compact với mọi x D , nhưng P xw có thể không lồi. Do vậy ta không thể áp dụng

w với các giả thiết đã cho ở trên. Bởi vậy ta giả sử thêm điều kiện là:

Định lý 1.4.2 (b) và trong thực tế là ta không thể tìm một nghiệm tuần hoàn chu kỳ

 và không mất tính tổng quát, giả sử 0 D

 (iv) D  

.

Bây giờ, chú ý rằng (1.9) tương đương với:

x x *( )

*( ( , ))

 0

t

J x ,

 

D x

, | * | 1

 và

x f t x 0

x y sup *( ) D

(1.11)

d  nào đó, (1.11) dẫn đến

0

B

(0, )

d  với một

D

I

  thỏa mãn

e

f 0

f e

ed  .

x f t x e

(1.11) với vế phải *( ( , ))

 

v

f t v ( , ) e

 khi đó ta có các hàm tuần hoàn chu kỳ

0

e  . Vì 0

,w

ne

nv

ve sao cho:

n

Giả sử rằng có một nghiệm ve tuần hoàn chu kỳ w với mỗi

33

a

n

1})

a

w

v

n

1})

a k

e

n

1})

v ({ (0) : n

({ ( ) : n

v ({ (0) : n

nv

Do vậy { (0)} là compact tương đối, và cho nên dễ dàng để thấy rằng { }nv

v

 

có một dãy con hội tụ đều, giới hạn của dãy con đó là một nghiệm tuần hoàn chu kỳ

w của

f t v 0( , )

. Bởi vì g Ie và f thỏa mãn điều kiện giống như g và f . Do

đó không mất tính tổng quát, ta có thể giả thiết rằng:

x x *( )

x

 

m

t

J x ,

 

D x

, | * | 1

 và

f t x *( ( , )) 0

x y sup *( ) D

(1.12)

0

m  độc lập với t và x .

trong đó

Sự cải thiện này của (1.11) có một sự thuận lợi rằng (1.11) cũng sẽ đúng với

(0,

m

]

0

nd

nd  mở rộng 0f lên J X

với mọi ánh xạ gần với 0f . Đặc biệt xét

J X

  sao cho X

:nf

và sự mở rộng xấp xỉ bởi ánh xạ Lipschitz địa phương

|

t x ( , )

( , ) |

)

v

 

f n

d n

f t x 0

 trên J D . Vì nf thỏa mãn (1.11), bài toán

f n

( , t v n

(0)v

x D

  có duy nhất một nghiệm trên D phụ thuộc một cách liên tục theo x .

D là liên tục nhưng nó không cần là

:nP D

Do vậy ánh xạ tương ứng Poincaré

:R X

C và chú ý rằng

C có một điểm bất động

:nRP C

nx bởi Định lý

C . Hơn nữa ta có các hàm

x

ánh xạ bất biến Pw compact lồi từ tập C vào trong chính nó. Do đó, xét ánh xạ co

nx

0

nv sao cho:

( ) |

)

)

y

d  trên J . 0

  v n

f n

( , t v n

( , f t v 0 n

 với | n

y t n

n

Schauder. Bởi vì C compact, ta có thể giả sử

(0)

  và

x

x

v n

n

0

P x n n

v w ( ) n

.

}

knv

có một dãy con { hội tụ đều đến v là Một lần nữa dễ dàng thấy rằng { }nv

v

 

(0)v

x . Đặc biệt,

w ( )

w v ( )

 và do

C

f t v 0( , )

0

P x w

0

knv

và nghiệm của

đó ta có:

x

w ( )

Rv

w ( )

v

w ( )

n k

RP x n k

n k

Rv n k

.

34

x

P xw

0

0

0( , ) f t v   x D

Điều này có nghĩa . Do vậy bài toán có nghiệm tuần

   v   (0) v 

hoàn chu kỳ w .

35

Chương 2 HÀM CHỌN ĐO ĐƯỢC

2.1 Sự tồn tại của hàm chọn đo được

2.1.1 Khái niệm ánh xạ đa trị đo được

Trong Ví dụ 1.1.5 ta đã thấy rằng có một sự cần thiết cho những kết quả về

các hàm chọn đo được, và ta cũng mong muốn chúng tồn tại dưới một số giả thiết

tương đối yếu. Trong mục này ta sẽ nghiên cứu khái niệm, sự tồn tại và một số tính

chất hàm chọn đo được của ánh xạ đa trị. Trước hết ta cần nhắc lại một số khái niệm

liên quan đến nội dung này.

) A được gọi là không gian đo được nếu  là một tập hợp và A

Một cặp ( ,

là một s - đại số các tập con của  , tức là A là một tập con của 2 sao cho:

A

   

A

\

A

A

i)   A ii)

A .

i  1

iA  A với mọi

A i

i

 1

iii)

A 

( )

( ).B Tập

B gọi là

Cho không gian mêtric ( , )d , khi đó s - đại số nhỏ nhất chứa tất cả các tập

mở của  gọi là s - đại số Borel của  , ký hiệu là

nU . Một

n

n

U 1



của các tập mở tập Borel trong  . Một tập Fs là giao đếm được

n

F 1 n



n

tập Gd là hợp đếm được của các tập đóng nF

)n

( L

   ta cũng có s - đại số

n

của tất cả các Trong trường hợp đặc biệt

  ( )

{M

 

)n

L

( L

 và với

s

tập con Lesbegue - đo được của ta có

M  :

)}n

( L

s

- đại số của tất cả các tập con Lesbegue - đo được của  . là

( )L

( )B và các tập dạng

 , trong đó

0}

A {

 

:

A B

 với

B 

( )

B sao cho

nm là một độ đo

n Bm ( )

n

là - đại số nhỏ nhất chứa Ta cũng nhắc lại rằng

Lesbegue - chiều. Ta có một số kết quả sau đây:

36

n

n

]

J

[ , a b

m

J ( )

a

)

  thì

n

i

1

i

 ( b i

n

 khi và chỉ khi với mọi

)

0

• Nếu

M   có độ đo không tức là

n Mm (

e  cho trước đều tồn tại không quá đếm được các khoảng

0

iJ sao cho

• Tập

e

M

)

Jm ( n

i

i

i

i

  và J • Hợp không quá đếm được các tập có độ đo không cũng là một tập có độ đo

.

m

M (

)

    i

0,

I

m

M

0

i

i

 i I

 

không. Tức là với I không quá đếm được.

)D A và ( ,

) B , một ánh xạ đơn trị

f B 1( )

:f D   được gọi là (

)A,B - đo được nếu

 A với mọi B  B .

)

f x ( )

• Cho hai không gian đo được ( ,

n

f x :nf D   là đo được và (

• Nếu trên D thì f cũng đo được và

   x {

r : ( ,

x M

)

p 1 }.

 1 f M (

)

pM

)p

1

p

 

 1 f M lim (   n

nếu M đóng và

  ( )

B B . Để kiểm tra tính đo được của

f V 1( )

Cho  là một không gian mêtric và

 A với mọi tập mở V  B hoặc một điều kiện

f ta cần kiểm tra rằng

1( f M

)

 A với mọi tập đóng M  B . Như vậy ta có được tập

tương đương là

W {

 

:

f W 1 (

)

}

 A là một s - đại số chứa tất cả các tập mở, và bởi vậy ta

hợp

W {

 

:

f W 1 (

)

}

B

A , vì B là nhỏ nhất với thuộc tính này. Đặc biệt

m

:

D 

)n

( L

f D   được gọi là Lesbegue - đo được nếu

và ánh xạ

( ), D

1( ) f V

L

,m    ))m ( B 

1m  thì ta chỉ cần phải kiểm tra rằng

- đo được, tức là nếu là Lesbegue - đo được với mọi f là (

x D f x { : ( )

r

D ( )

  L }

tập mở V . Nói riêng, nếu

1

với mỗi r   , bởi vì điều này sẽ dẫn đến

r

}

D f ( ),

a b ([ , ))

D ( )

( )D

L

L

x D f x { : ( )

f V 1( )

 L

và do vậy với

mỗi tập mở V   .

Bây giờ với những khái niệm và những kết quả đã được nhắc lại ở trên, ta sẽ

bắt đầu xét tính đo được của các ánh xạ đa trị.

37

)D A là không gian đo được, ( , )d là một không

Định nghĩa 2.1.1. Cho ( ,

2 \

: F D

  . Khi đó ta nói:

F V 1( )

gian mêtric và ánh xạ đa trị

 A với mọi tập mở V  .

a) F đo được nếu

F A 1( )

 A với mọi tập đóng A   .

b) F đo được yếu nếu

Chú ý Định nghĩa 2.1.1 nói chung không có sự mô tả đơn giản giống trong trường

W {

:

)

}

 

M

A không cần phải là

F W 1 ( 

1

hợp ánh xạ đơn trị, bởi vì họ

   

\

(

)

  x D Fx W { :

}

 D F W 

x D Fx

:

  ( \

W

)

  . Tuy nhiên điều này vẫn còn có ích để

}

)

 {

1( \ W F  

một s - đại số và chú ý rằng ta chỉ có

)

 A với mọi tập M đóng hoặc

F M 1( 

 A với mọi V mở.

F V 1( ) 

xem xét ánh xạ đa trị F sao cho thỏa mãn

)D A là một không gian đo được, ( , )d là một không

Mệnh đề 2.1.1. Cho ( ,

F D :

2 \

  . Khi đó ta có:

gian mêtric và ánh xạ đa trị

)

 A với mọi

 A với mọi tập đóng M   , thì

F V 1( ) 

F M 1( 

a) Nếu

tập mở V  .

j

r

y Fx ( ,

)

b) F là đo được yếu nếu và chỉ nếu hàm khoảng cách : Dj   định bởi

,

( ))A B

y x ( )

- đo được với mọi y   . là (

Chứng minh.

V  

1

mở ta viết V dưới dạng hợp đếm được các tập đóng như sau: a) Với

  x V {

 : ( ,( \ ))

V

x

r

n

}

V 

M

nM

,n

1

n



trong đó đóng.

  n

 Fx M

:

  .

n

x F V 1( ) 

1

Khi đó với dẫn đến Fx V   nên

x

(

)

)

n

n

)n

F M 1 ( 

 x F M 

 1 F M ( 

n

n

1 

1 

 

 

Suy ra . Ngược lại với tồn tại n

Fx M

  nên Fx V   hay

1(

1( ).

n

)n

x F M 

x F V 

tức Vậy sao cho

( )

 A .

 A với mọi n thì

).n

 1 F V 

 1 F M ( 

)n

F V 1( ) 

F M 1( 

n

1 

 

Do đó nếu

38

F B y r

1( ( , ))

:

x D {

}

r : ( ,

y Fx

)

{ x D Fx B y r ( , )  

   

 . } r

 

b) Kết quả này hiển nhiên được suy ra từ:

F B y r

1( ( , ))

 A

 

0

r  hay {

x D

:

r

y Fx ( ,

)

}

r

Từ đó ta thấy rằng nếu ánh xạ đa trị F là đo được yếu thì

  A với mọi y   và

j

r

y Fx ( ,

)

r  . Do vậy hàm khoảng cách

0

: Dj   được xác định bởi

y x ( )

với mọi y   và

,

( ))A B

là ( là đo được với mọi y   . 

)D A là một không gian đo được, ( , )d là một không

Mệnh đề 2.1.2. Cho ( ,

  . Khi đó ta có:

F D :

2 \

gian mêtric và ánh xạ đa trị

F A 1( ) 

 A với mọi tập đóng A   .

a) F đo được nếu và chỉ nếu

F V 1( ) 

 A với mọi tập mở V  .

b) F đo được yếu nếu và chỉ nếu

c) Nếu F là đo được thì F cũng là đo được yếu.

d) Nếu Fx compact với mọi x D thì F điều kiện cần và đủ để F đo được

là F đo được yếu.

 1( ) F V

  { x D Fx V :

}

 A với mọi tập

Chứng minh.

a) Ta có F đo được khi và chỉ khi

x D Fx

:

 

A ( \ )}

 A với mọi tập đóng

A   . Có nghĩa là {

x D Fx A :

}

    A với mọi tập đóng A   . Tức là

D x D Fx A

\{

}

:

    A với mọi tập đóng A   . Bởi vì A là s - đại số

mở V  . Điều này tương đương {

}

{ x D Fx A :  

    A với mọi tập đóng A   .

 1( ) F A 

 1( ) F A

  { x D Fx A } :

 A với

nên tương đương

b) Ta có F là đo được yếu khi và chỉ khi

x D Fx

:

 

( \V)}

 A với mọi

mọi tập đóng A   . Điều này tương đương {

x D Fx V :

}

    A với mọi tập mở V  . Tương

tập mở V  . Hay {

D x D Fx V

}

:

    A với mọi tập mở V  . Bởi vì A là s

đương với \{

  { x D Fx V :

}

    A với mọi tập mở

V  

 1( ) F V 

- đại số nên .

39

 1( ) F V

  { x D Fx V :

}

 A với mọi tập mở

F

V  

Ta có đo được suy ra c)

x D Fx

:

 

V ( \ )

}

   A với mọi tập mở V  . Tức là

. Dẫn đến {

 D x D Fx

\{

:

 

V ( \ )

   A }

x D Fx A :

}

    A với mọi tập đóng A   . Do Mệnh đề

 {

F A 1( ) 

với mọi tập mở V  . Hay cũng có nghĩa là

 A với mọi tập mở V  . Vậy F là đo được yếu.

F V 1( ) 

2.1.1 (a) dẫn đến

d) Điều kiện cần: Giả sử F là đo được, theo câu (c) ta có F là đo được yếu.

A   là đóng và chứng minh:

  { x D Fx A :

    A . }

 1( ) F A 

1

Điều kiện đủ: Giả sử F đo được yếu, để chứng minh F là đo được ta lấy tùy ý

}

: ( , r

) y A

n

{ y   

A

nA

A n

n

 1

 

, với là tập mở. Khi đó Ta viết

F A 1( ) 

)n

F A 1 ( 

x F A 1( )   

1

n



,

  dẫn đến

, A n

    cho nên

n

Fx A   . Bởi vì

1(

nA

Fx A n

),n

x F A 

. Thật vậy, trước tiên, ta có tức là

x

).n

)n

F A 1 ( 

F A 1 ( 

n

n

1 

1 

 

   x

n

,

 hay

n

1(

y     . Khi đó với mỗi n ta chọn n

 . Fx A n

Fx A n

),n

  x F A

Ngược lại, tức là với mọi n . Hay

Fx

compact nên có dãy con hội tụ. Không mất tính Ta xây dựng được dãy { }ny

y . Do Fx compact trong không gian mêtric nên Fx

0

ny

tổng quát, có thể giả sử

y cho nên

Fx A

 . Do

A

Fx A n

 và

,

ny

0

0y

A n

n

n

n

1 

 

đóng, , { } y

)n

1  F A ( ) 

1  F A ( 

x F A 1( ) 

n

1 

 

c

n

F là đo được yếu nên

 A với mọi

 A với mọi

F A 1(  n

)n

F A 1( 

. Vậy . Mặt khác, bởi vì đó Fx A   tức là

 )

c

c

c

, dẫn đến 

A . Suy

n . Do vậy

1  F A (  n

1 

1 

n

n

  1  F A ( ) 

 1  F A (  n

 )

 )

 

c

A . Bởi vì A là tập đóng bất kỳ trong  nên theo câu (a)

 1 F A ( ) 

    1  F A ( )   

c    

ra

ta có F là đo được. 

40

2.1.2 Sự tồn tại của hàm chọn đo được

)D A là một không gian đo được, ( , )d là một không

Định lý 2.1.1. Cho ( ,

F D :

  sao cho:

2 \

 A với mọi tập mở V  . (tức F là đo được yếu)

gian mêtric khả ly và

F V 1( ) 

z D

.

a)

b) Fz là đầy đủ với mỗi

,

( ))A B - đo được.

Khi đó F chứa được một hàm chọn (

Chứng minh. Bằng phương pháp quy nạp, ta sẽ định nghĩa một dãy hàm đo

0

n  và với mọi x D ta luôn có:

:nf D   sao cho với mọi

được

r ( ( ),

)

 2 n

nf z Fz

(2.1)

( ))

2 n 1  

( ), z

( d f n

f z n

1 

(2.2)

x , với p là số

p

x { }n n

 trù mật trong  . Định nghĩa 0( ) f z

1

Trước tiên, ta lấy

Fz B x (

,1)

  . Bởi vì:

p

)

  { z D Fz B x (

:

,1)

 

} \

z D Fz B x { (

:

,1)

  }

p

p

m

 1 x 0 ( f

 m p

1 F B x ( (

,1)) \

1 F B x ( (

 ,1))

p

m

 

 

m p 

nguyên nhỏ nhất sao cho

 A và do

f V 1 0 ( )

)p

)p

x 1 f 0 (

x 1 f 0 (

,

nên là hợp không quá đếm được của như thế,

( ))A B - đo được. Bây giờ, giả sử ta đã có kf . Khi

do đó dễ dàng thấy rằng 0f là (

x và ( ( ), r

)

 2 k

  z D i

1( ) x f k i

f z ( ) k

i

kf z Fz

dẫn đến kết quả , bởi vì ta đó với

 Fz B x

 ( , 2 )k

 . Do đó ta định nghĩa

x

z D và p là số

i

i

f k

z 1( ) 

 với p

 k

  1 k

 Fz B x

( , 2 )

B x (

, 2

)

 . Theo đó

i

p

1kf  được

nguyên nhỏ nhất sao cho

D

D i

i

 1

 

và nó là đo được, hơn nữa ta cũng có định nghĩa trên

r

(

z Fz ( ),

)

  2 k 1

z ( ),

( ))

 k 2

  1 k 2

  1 k 2

1kf 

kf

 1

d f ( k

f z k

 1

và trên D . Vậy

cũng thỏa mãn các điều kiện (2.1) và (2.2).

41

Cuối cùng, do hai điều kiện (2.1), (2.2) và tính chất đầy đủ của Fz , rõ ràng

f z ( )

Fz

nf z ( )

kéo theo sự tồn tại của hàm và trên D :f D   sao cho ( ) f z

và tất nhiên ta có f là hàm đo được bởi vì nf là đo được. Do vậy định lý được

chứng minh. 

Hệ quả 2.1.1. Cho D là một không gian khả mêtric,  một không gian mêtric

  là ánh xạ đa trị với giá trị đóng nửa liên tục dưới

F D :

2 \

đầy đủ, khả ly và

f U 1( )

là hoặc nửa liên tục trên. Khi đó, F chứa được một hàm chọn f thỏa mãn

( ))

( )DB , khi đó ( , D

DB là một

tập Fs với mọi tập mở U Y .

Chứng minh. Xét s - đại số Borel trên D là

không gian đo được. Nếu F là nửa liên tục dưới hoặc nửa liên tục trên thì do Mệnh

 1( ) F V

D ( )

 B với mọi tập mở V  . Áp dụng Định lý 2.1.1 suy

D ( ),

 ( ))

f là (

B B - đo được, tức là

đề 2.1.1. ta có

V 

( )

1( )  f V

D ( )

B . Do đó f là hàm chọn thỏa mãn

 B với mọi tập mở

ra F chứa được một hàm chọn

1( ) f U

với mọi tập mở U Y .  là tập Fs

)D A là một không gian đo được. ( , )d là một không

Định lý 2.1.2. Cho ( ,

F D :

  sao cho:

2 \

 A với mọi tập mở V  .

gian mêtric khả ly và

F V 1( ) 

a)

b) Fz là đầy đủ với mỗi z D

các hàm chọn đo được của F sao cho với mỗi z D Khi đó tồn tại một dãy { }nf

Fz

n

  }

f z { ( ) : n

2

thì

( , )n i   , ta định

là một tập trù mật trong . Với Chứng minh. Lấy { }nx

 i

1

, 2 ) khi

n

F z ni

 i , 2 ))  i , 2 ))

khi

 z F B x ( (  n  1 z F B x ( ( 

n

  Fz B x (    Fz 

nghĩa ánh xạ đa trị sau:

42

2

( , )n i   ta có phép đặt tương ứng mỗi z D với một tập

Rõ ràng với mỗi

niF z là một ánh xạ đa trị thỏa

niF z là đầy đủ với mọi z D . Bây giờ ta

hợp /2e

z D F z V { :

z D F z V { :

ni

ni

c

V

)

1 F B x ( (

 i , 2 )

A .

 

 1 F V 

 

n

n

  i , 2 ))

}        1  F B x ( (  

}      ( )  

chứng minh niF là đo được yếu. Thật vậy, với bất kỳ tập mở V   xét tập:

Vậy ánh xạ đa trị niF là đo được yếu, theo Định lý 2.1.1 thì niF có một hàm

Fz

z { ( )}

f ni

. Bây giờ ta chứng tỏ . Thật vậy: chọn đo được là nif

z

Fz

f ni

F z ni

 (do Fz đóng chứa niF z )

Trước tiên ta có: { ( )}

0

e  , chọn i thỏa 2

e

/2

i  

 . Vì thế

x Fz B x (

 , 2 )i

2 i

 . Khi đó ta có

và và Ngược lại, cố định z D , lấy x Fz

n

nd x x , ) (

chọn n sao cho

z ( )

 F z B x (

 , 2 )i

 , 2 )i

f ni

ni

n

 1( (  z F B x

n

và cho nên . Do đó:

z x ( ), )

z x ( ),

)

(

 . Vậy

e

x

z { ( )}

f ni

d f ( ni

d f ( ni

d x x , ) n

n

. 

Từ định lý 2.1.2 ta thấy rằng nếu các điều kiện của giả thiết Định lý 2.1.2 được

Fz

n

1}

 trên D .

f z { ( ) : n

thỏa mãn thì tồn tại không quá đếm được các hàm chọn đo được nf sao cho

2.2 Các ví dụ áp dụng

n

n

Ví dụ 2.1.1. Xét giả thiết tương tự như trong Ví dụ 1.1.5 tức là cho ánh xạ đa

:

f

  2 \

f x đóng với mọi

)n

x   ,

f  bị chặn và ( )

trị nửa liên tục trên, (

J

],

a [0,

u C J ( ;

  v L J {

v t ( ) : ( )

f u t ( ( ))

M

)n  và

cho

h.k.n trong }J . Như ta đã nói trong Ví dụ 1.1.5, ta sẽ chứng tỏ M   bằng cách là chỉ ra

v L J ( )

rằng tồn tại một hàm chọn Lebesgue - đo được v của f u . Bởi tính bị chặn của f

. Theo giả thiết, ta có f là nửa liên tục rõ ràng là v cũng bị chặn nghĩa là

43

f u J  

 2 \

:

là nửa liên tục trên trên J . Vì thế trên và u liên tục trên J nên

(

)

(

)

J ( )

B với mọi M đóng.

f u M 1 ) ( 

 1 f u M ) ( 

đóng với mọi M đóng hay

(

f u V

J ( )

J ( )

B

L

 1 ) ( ) 

n

Áp dụng Mệnh đề 2.1.1 (a) ta được với mọi tập mở

f x đóng với mọi

f u t )( )

x   nên (

V   . Hơn nữa do ( )

là đóng, do đó đầy

J . Cuối cùng áp dụng Định lý 2.1.1 cho ánh xạ đa trị f u ta có một hàm Borel - đo được của f u , do đó tồn tại hàm chọn Lebesgue - đo được v

đủ với mọi t

của f u . Vậy ta có M  .

Ví dụ 2.1.2. Có lẽ đơn giản nhất nhưng cũng là bài toán điển hình của lý

thuyết điều khiển tối ưu. Xét bài toán giá trị đầu của phương trình vi phân:

0

n

, ( )) (2.3) f t x u t ( ,  x    x   x (0) 

f

:

    n

U

f t x u

, ) |

  c (1 |

x

|

|

u

|),

 liên tục, thỏa mãn | ( ,

m

n

: [0,

u

T

U là đo được. Xét một tập đóng

U   là compact và

B   sao

]u

trong đó

M

v { : [0,

]

U v :

B . Đặt

0x

T v

cho đo được} . Vấn đề đặt ra là tìm một hàm

“điều khiển” u M sao cho một trong những quỹ đạo tương ứng x được xác định

B

j  v t ( ) min{

0 :

}

   đạt được cực tiểu của nó tại u , trong đó

P x v ( , ) 0

t

, ( ))

sao cho bởi (2.3) chạm đến B trong thời gian nhỏ nhất, tức là ta phải tìm u M

, )

tP x v là ánh xạ đa trị - Poincaré của:

0(

f t x v t ( , 

x

0

   u   u (0) 

. Đối với bài toán này để

hiểu được ý nghĩa ta phải có thêm một số giả thiết về tập B , trước tiên ta giả sử:

)

B   với một

t 

0

tP x v ( , 0

0

sao cho (i) Tồn tại 0v M

)vj 0(

n

phải được thỏa mãn. Khi đó , cực tiểu của tất cả các t như thế, tồn tại vì B

x

]

u

v

}

v

T  

C

([0,

T . Chú ý rằng nghiệm của (2.3) là nghiệm trong

C

([0,

T của:

])v

là compact trong nghiệm của (2.3) với đóng và tập { : [0,

])v

44

1

f t x u t ( ,

, ( ))

x t ( )

g s x s ds ( , ( ))

0

   x

0

với ( , ) g t x

]vT bởi vì g là đo được theo t , liên tục theo x

là liên tục tuyệt đối và tồn tại trên [0,

) min{ ( ) :

j

v

 v M

}

j

x

g t x ( , )

 (1 |

|)

v 0(

c v

và thỏa . Ta thấy rằng nếu thì ta

tìm được hàm “điều khiển” thỏa mãn yêu cầu.

t

j inf { ( ) :

v

 v M

}

j

v (

)

  t 0

0

t thì ta cố định tùy ý

j

)

t

M sao cho

 . Nếu có các n sao cho

0

t n

nv (

nvT

Bây giờ, ta giả sử rằng , lấy dãy { }nv

]

,

0u U và đặt

nv t ( )

u trên 0

0

nvT t với tất cả n này. Khi đó ta có nghiệm (

điểm

J

t [0,

]

nx trên

0

của:

n

0

( )) (2.4) f t x v t ( , ,  x    x   x (0) 

x t ( ) n n

B . Bởi điều kiện của f và tính compact của U . Rõ ràng là { }nx

thỏa mãn

x trong

( )C J . Giới hạn x là hàm Lipschitz trên J , liên tục tuyệt đối và khả

nx

)

x

( ) t x

là dãy hàm Lipschitz đều và bị chặn trên J , như vậy không mất tính tổng quát

t  . Do đó ta chỉ cần tìm u M

B

( t n

n

thì ( ) x sao cho x vi trong J và

n

)

,

là nghiệm của (2.3). Để kết thúc ta cần một giả sử thứ hai:

f t x U lồi với mọi ( , ) ( , t x

J  

n

n

(ii)

F t x ( , )

f t x U ( ,

,

)

F J  

:

2 \



x

F t x ( ,

)

F t x là compact lồi, vì

( , )

Khi đó ánh xạ đa trị xác định bởi

  n

n

trong J hiển nhiên liên tục đối với Hd và

x trong

( )C J . Lập luận giống như trong Ví dụ 1.1.5, ta thấy rằng

nx

x

 

F t x ( , )

  ( ) x t

F t x t

( , ( ))

trong J . Cho N J là tập có độ đo không sao cho

45

G t ( )

  { u U g t u : ( , )

x t

( )}

f t x t u ( , ( ), )

( )G t

m

và . Khi đó trên \J N , ( , ) g t u

t

J N \

A   là đóng ta chứng tỏ rằng:

 1( ) G A

  { t

 ( ) J N x t :

\

g t U A ( ,

)}

J N ( \ )

 L

khác rỗng và compact với . Lấy tùy ý

  thì đặc biệt ta có

G A 1( )

  là tầm thường. Nếu

G A 1( )

n

Trường hợp

g t U A ( , )

U A   . Vì

G J 

 2 \

0 :

G t 0( )

:

i

1,..., ( )}

p n

J N \

được định nghĩa bởi là liên

0

0

ne  sao cho

int ne  , ta tìm {

p n ( )

,

))

)

,

)

tục, Bây giờ cho sao

J

,

)

i

p n 1,..., ( )

e n

e n

e n

1 

i

( ( G B t 0 n i

( G t 0 n i

( B t n i

B t ( n i

 

p n ( )

cho và với .

 1 G A ( )

,

)\

:

)

B

(0,

)}

e n

0

e n

 1

n

i

 1

 t B t { ( n i

 ( ) N x t G t ( n i

 

Do vậy

)

)

B e (0, n

G t 0( in

)

t {

\

:

)

B

(0,

)}

J N ( \ )

L

Vì là mở và x  là Lebesgue-đo được, ta có:

0

e n

B t ( e n n i

 ( ) J N x t G t ( n i

1( ) G A

 L ( \ )

J N do đó Định lý 2.1.1. cho một hàm chọn đo được u của G

( )u t

và bởi vậy

u trên N với tùy ý

0

0u U , ta được u là hàm cần tìm.

trên \J N . Ta đặt

46

Chương 3 HÀM CHỌN CỦA ÁNH XẠ TĂNG

3.1 Ánh xạ đa trị tăng

3.1.1 Các khái niệm

,X ta nói: Cho X là một tập khác rỗng cùng với một quan hệ hai ngôi  trên

•  là một quan hệ thứ tự trên X nếu nó có các tính chất:

 

a X a

,

a 

(tính phản xạ) (i)

 a b X a

,

,

b

b

 và b

a thì a

(tính phản đối xứng) (ii)

 a b c X a

, ,

,

b

 và b

c

c thì a

(tính bắc cầu) (iii)

•  là một thứ tự nghiêm ngặt trên X nếu nó có tính chất bắc cầu nhưng không

phản xạ và không đối xứng.

Một nhận xét quan trọng đó là với bất kỳ thứ tự  thì đảo ngược của nó là 

x

y

 x

 cũng là một thứ tự. Do vậy, mỗi khái niệm, mỗi

được xác định bởi y

phát biểu có liên quan đến thứ tự đều chứa một dạng đối ngẫu của nó.

• Một tập được sắp bộ phận là một tập hợp X cùng với một thứ tự trên đó. • Một tập được sắp toàn phần hay một dây chuyền là một tập hợp được sắp bộ

,x y X ta phận X mà thứ tự  trên đó là toàn bộ, nghĩa là với bất kỳ hai phần tử

y hoặc y

x .

)X  là một tập sắp thứ tự bộ phận và

đều có hoặc x

,x y X , phần tử z X là một

x và z

• Cho ( ,

y . chặn dưới của x và y nếu z

• Một chặn dưới tốt nhất hay cận dưới của x và y là một chặn dưới z X của

z  với bất kỳ z  cũng là một chặn dưới của x và y . Rõ ràng,

chúng sao cho z

y .

,x y là x

cận dưới nếu tồn tại là duy nhất. Ta ký hiệu cận dưới của cặp

• Một chặn trên tốt nhất hay cận trên của x và y là một chặn trên z X của

z  với bất kỳ z  cũng là một chặn trên của x và y . Rõ ràng, cận

y .

,x y là x

chúng sao cho z

trên của x và y nếu tồn tại là duy nhất. Ta ký hiệu cận trên của cặp

47

• Một nửa dàn dưới là một tập hợp được sắp bộ phận X mà với bất kỳ cặp

y .

,x y X đều tồn tại cận dưới x

• Một tập hợp được sắp bộ phận X được gọi là Zorn bị chặn dưới nếu mọi dây

A 

 đều chứa một chặn dưới.

2 \X

chuyền

A tồn tại trong X với mọi dây chuyền

A 

 .

2 \X

• Một tập hợp được sắp bộ phận X gọi là một dây chuyền đầy đủ bên dưới nếu

Các khái niệm chặn trên, cận trên, nửa dàn trên, Zorn bị chặn trên, dây

chuyền đầy đủ bên trên là các khái niệm được định nghĩa đối ngẫu với các khái

niệm tương ứng đã nêu.

• Một tập hợp được sắp bộ phận X được gọi là dây chuyền đầy đủ nếu nó là

dây chuyền đầy đủ cả bên trên và bên dưới.

• Một tập hợp được sắp bộ phận X được gọi là một dàn nếu nó vừa là một nửa

dàn trên vừa là một nửa dàn dưới. Hay nói cách khác một dàn là một tập hợp được

y và x

y là tồn tại.

A 

2X

,x y X thì x sắp bộ phận X mà với bất kỳ cặp

z

x A

x

,

z X sao cho

   . Một chặn dưới tốt nhất hay cận dưới của A là một

z  với bất kỳ z  là một chặn dưới của A.

. Một chặn dưới của A là • Cho X là một tập được sắp bộ phận và

chặn dưới z X của A sao cho z

Giống như trường hợp hai phần tử, cận dưới nếu tồn tại là duy nhất. Ký hiệu A là

A được ký hiệu là A .

cận dưới của A. Tương tự ta cũng có định nghĩa đối ngẫu chặn trên và cận trên của

    và

X

    .

X

)X  gọi là được sắp tốt nếu với mọi tập

Chú ý rằng ta quy ước

• Một tập hợp được sắp toàn phần ( ,

con khác rỗng A của X đều tồn tại phần tử A .

Định lý Zermelo. Mọi tập hợp đều có thể được sắp tốt.

)X  là tập sắp thứ tự sao cho mọi dây chuyền

A 

2 \X

Bổ đề Zorn. Cho ( ,

   x X y X y

:

,

  

}

x

đều có một chặn trên. Khi đó {

48

F X   , ta ký hiệu:

:

2 \Y

,X Y là các tập hợp được sắp bộ phận và

X

      { x X x

:

X x ,

x

};

X

      { x X x

:

X x ,

x

};

F x

   : {

y Fx

:

z Fx z

,

y

};

F x

   : {

y Fx

:

z Fx z

,

y

};

Cho

3.1.2 Ánh xạ đa trị tăng

* trên 2 \Y  được gọi là một thứ tự

y z Y ,

.

Định nghĩa 3.1.1. Một quan hệ hai ngôi

y { }

* 

z { }

  ,

y

z

)Y  là tập hợp

mở rộng của  từ Y lên 2 \Y  nếu nó thỏa mãn

Ta bắt đầu nêu một số thứ tự mở rộng từ Y lên 2 \Y  . Cho ( ,

A B 

,

. Xét các quan hệ thứ tự mở rộng sau:

2 \Y

Dn

được sắp bộ phận và

b

b

);

A

B

       a A b B b

(

,

,

B a :

  và b

Up

(3.1)

a

  ); a

A

B

       a A b B a

(

,

,

A a :

 và b

inf

(3.2)

A

B

    

a A b B a

:

,

 b

sup

(3.3)

A

B

    

b B a A a

:

,

 b

pV

Dn

(3.4)

A

B

  A

B

UpA

B

RS

inf

và (3.5)

A

sup B

A

B

  A

B

và (3.6)

inf và

sup

Tất cả các quan hệ trên đều có tính bắc cầu, trong đó các thứ tự

là phản xạ. Ngoài ra khi Y là một dàn, ta định nghĩa thứ tự trên các tập con của Y

như một liên kết của các phần tử “cực đại và cực tiểu” và cũng định nghĩa dạng yếu:

A

b B

a (

B

(

));

         a A b B ,

(3.7)

A

         a A b B ,

b A

a (

B

(

));

Vt

(3.8)

A

B

  ( A

B

A

B

)

wV

và (3.9)

A

B

  ( A

B

A

B

);

hoặc (3.10)

49

Vt

wV





Quan hệ là quan hệ phản đối xứng và bắc cầu. Cả và hoặc

Y

là một dây chuyền. đều có thể không bắc cầu mặc dù Vt và wV là bắc cầu khi

Dn

inf

A

B

  A

B

Up

sup

A

B

  A

B

    A B      A B 

Vt

pV

RS

Ta dễ dàng kiểm tra tính chất sau:

A

B

  A

B

  A

B

Dn và

inf là tương đương; Up và

sup là tương đương.

Do vậy . Nếu X là một dây chuyền thì

 biểu thị một trong số các quan hệ (3.1) – (3.10) và

X là một tập hợp được sắp bộ phận. Một ánh xạ đa trị

:

2 \Y

F X   được gọi là

Định nghĩa 3.1.2. Cho

  

Fx

 nếu Fx

ánh xạ tăng đối với quan hệ với bất kỳ x   . x

3.2 Hàm chọn của ánh xạ tăng

3.2.1 Sự tồn tại hàm chọn đơn điệu của ánh xạ tăng

* khi đó một hàm chọn tăng f của F

Cho F là ánh xạ đa trị tăng đối với

gọi là hàm chọn đơn điệu của ánh xạ tăng. Trong phần này ta nghiên cứu sự tồn tại

của các hàm chọn đơn điệu của ánh xạ tăng. Ta sẽ xét các trường hợp tập đích Y là

một tập được sắp thứ tự bộ phận, một dàn hoặc một dây chuyền.

Trước hết ta xét trường hợp tập đích Y là một tập được sắp bộ phận.

F X   là tăng đối với quan hệ Dn và F x   với mọi x X . Khi đó

2 \Y

:

F chứa một hàm chọn đơn điệu.

Mệnh đề 3.2.1. Cho ,X Y là các tập được sắp bộ phận và một ánh xạ đa trị

F x

Chứng minh. Với mỗi . x X , do F x   nên ta chọn tùy ý ( ) f x

Dn

Fx

 

Fx

  , do F là tăng đối với quan hệ Dn nên

x

Rõ ràng f là hàm chọn của F . Ta sẽ chứng minh hàm f như vậy là hàm chọn đơn

điệu của F . Lấy tùy ý x

Dn

 ( ) f x

 F x

Fx

f x ( )

 F x

Fx

và thì từ định nghĩa của do đó với

50

z

f x ( )

z

f x  ( )

sao cho và . Mặt khác do trong công thức (3.1) tồn tại z Fx

z

f x ( )

z

f x ( )

f x ( )

F x

f x ( )

 

f x ( )

nên ta phải có , như vậy . Từ đây suy ra và z Fx

. Vậy f là hàm chọn đơn điệu của F . 

Đối ngẫu của Mệnh đề 3.2.1, ta có ngay kết quả về sự tồn tại của hàm chọn

đơn điệu đó là F tăng đối với quan hệ Up và F x   với mọi x .

inf thỏa Fx là một dây chuyền hữu hạn

:

2 \Y

F X   là tăng đối với quan hệ

Mệnh đề 3.2.2. Cho ,X Y là các tập được sắp bộ phận và một ánh xạ đa trị

với mọi x X . Khi đó F chứa một hàm chọn đơn điệu. Hơn nữa nếu X    thì

X 

g X :

*

Y là một hàm chọn hạn chế của F trên *X đều

và bất kỳ với *X

g x ( ),

 

x X

*

f x tồn tại một hàm chọn đơn điệu f của F sao cho ( )

.

Chứng minh. Với x X , do Fx là dây chuyền hữu hạn nên Fx tồn tại

Fx 

  , do F là x trong Fx , đặt ( ) f x . Rõ ràng f là hàm chọn của F . Với x

inf nên tồn tại

 z Fx

:

z

f x ( )

 . Mặt khác ( )

f x

 

Fx

 . Do

z

tăng đối với

f x

 

f x ( )

đó theo tính chất bắc cầu ta có ( ) . Vậy f là hàm chọn đơn điệu của F .

X 

F x

* :

:

   x

X x *,

  x

 ( ) g x

z

khi }, khi

 x X  x X X

* \ *

 g x { ( )},     { z Fx 

ta xét ánh xạ: Bây giờ, nếu X    và *X

Do Fx là dây chuyền hữu hạn nên *F x   và *F x cũng là dây chuyền hữu hạn.

inf , do đó áp dụng phần thứ nhất ta có *F chứa hàm

Hơn nữa *F là tăng đối với

g x ( ),

 

x X

*

f x chọn đơn điệu f . Do định nghĩa của *F nên ta có ( )

. 

Mệnh đề 3.2.3. Cho ,X Y là các tập được sắp bộ phận, trong đó X hữu hạn,

F X   là tăng đối với quan hệ

:

2 \Y

inf và Fx là một dây

một ánh xạ đa trị

g X :

*

Y là một hàm chọn hạn

 

*X

X 

và chuyền với mọi x X . Với

51

*X thì tồn tại một hàm chọn đơn điệu f của F sao cho

chế của F trên

 

x X

*

f x ( )

g x

( ),

.

g x ( ),

 

x X

*

. Bởi vì mọi Chứng minh. Ta bắt đầu bằng cách đặt ( ) f x

x x ,

X 

*

đều không so sánh được với nhau, do đó tính đơn điệu của f hiển nhiên

X X

\ *

X

x X  1

1

được thỏa mãn. Tiếp theo ta đặt và với mỗi ta ký hiệu:

x {

X x * :

 } x

( ) S x

x

 

S x ( )

x x

x

  )

Fx

x x

x

 )

 ( ) f x

x X  1

Với mỗi và . ta đặt ( , sao cho ( ,

x x

x

 )

x x

 là )

x X  1

( )

( ) min ( , f x  x S x

min ( , x  x S x ( )

, ta đặt (chú ý rằng Khi đó với mỗi

xác định bởi vì X hữu hạn cho nên ( )S x hữu hạn). Do định nghĩa ta có f là hàm

X

*X

X  1

X X  1\ 1

2

. Bây giờ, ta lại định nghĩa và tiếp tục trình tự như tăng trên

bước trên. Bởi vì X hữu hạn nên quá trình này sẽ kết thúc sau một số hữu hạn

,F khi đó rõ ràng f là hàm đơn điệu

g x ( ),

 

x X

*

.  bước. Như vậy ta thu được hàm chọn f của trên X và thỏa mãn điều kiện ( ) f x

Mệnh đề 3.2.4. Cho X là một dây chuyền hữu hạn, Y là tập được sắp bộ

inf . Khi đó F chứa một hàm chọn

:

2 \Y

F X   là tăng đối với thứ tự

phận,

F

X (max )

z

0

f

X (max )

z . 0

đơn điệu. Hơn nữa với tồn tại f là hàm chọn của F sao cho

Chứng minh. Do X là một dây chuyền hữu hạn nên ta có thể đánh số các

x

     . Rõ ràng

...

...

x

x

x

x

X

0 max

0

1

k

n

inf

. Đặt phần tử trong X như sau:

f x (

)

Fx

x

Fx

Fx

x mà F là tăng đối với

inf nên

  z 0

0

0

0

1

0

1

. Vì . Do đó

f x (

)

Fx

Fx

)

f x (

)

y sao cho 1

f x 0(

0

y tồn tại 1

0

1

1

y . 1

inf

. Ta đặt với

x

Fx

Fx

x mà F là tăng đối với

inf nên

1

2

1

2

. Do đó với Bởi vì

f x (

)

Fx

y

Fx

y

)

f x (

)

y . Tiếp tục quá

1

1

2

2

2

2

f x 1(

2

tồn tại sao cho . Ta đặt

52

Fx

y . Như vậy ta đã xây dựng được

y trình trên ta chọn được n

)n

n

n

f

X (max )

và đặt ( f x

z .  0

một hàm f là hàm chọn đơn điệu của F thỏa mãn

Mệnh đề 3.2.5. Cho X là một dây chuyền hữu hạn, Y là tập được sắp bộ

X và *

z

Fx

*

F X   là tăng đối với RS , *x

2 \Y

:

f x

z . *

phận, . Khi đó F chứa

một hàm chọn đơn điệu f sao cho ( *)

...

...

x

x

x

x

Chứng minh. Vì X là một dây chuyền hữu hạn nên ta có thể đánh số các

     . Bởi vì ta có *x

X nên

1

k

n

0

phần tử trong X như sau:

x

*

x với một số k nào đó,

k

{0,1,..., }

n

k

. Khi đó có một hai khả năng sau đây

có thể xảy ra:

f x (

)

f x ( *)

  * z

Fx

Fx

*

k  , chọn

0

0

0

. Sau đó tiếp tục quá • Nếu

f x ),..., (

)n

f x 2(

F cũng tăng đối với

inf .

RS

RS

trình chọn như trong Mệnh đề 3.2.3. Bởi vì F tăng đối với RS nên

Fx

k  thì do

0

Fx

Fx

  1k

k

k

Fx  1 k

và cho nên ta chọn được • Nếu

)

)

sup ta lần lượt

f x (

)

)

f x  sử dụng tính (

k

f x   ( k 1

1

k

f x  ( 1 k

. Khi đó, vì đã có

f x (

f x ),..., (

)

inf ta lần lượt chọn

)

k

 2

0

1

k

f x  sử dụng tính (

chọn được và vì đã có

f x (

f x ),..., (

)

k

2

n

được . Như vậy ta đã xây dựng được hàm chọn đơn điệu f của F

f x

z .  *

thỏa mãn điều kiện ( *)

F X  

2 \Y

:

Định lý 3.2.1 Cho ,X Y là các tập được sắp thứ tự bộ phận,

X và

z

Fx

RS . Với

0x

0

0

là ánh xạ đa trị tăng đối với . Khi đó F chứa một

f x (

)

z . 0

0

hàm chọn đơn điệu f (đối với một thứ tự thích hợp nào đó trên Y ) sao cho

z

Y

Chứng minh. Dựa vào Định lý Zermelo ta có thể giả sử Y được sắp tốt bởi

)Y  là một dây chuyền. Có thể giả sử 0 min

thứ tự  . Hiển nhiên khi đó ( ,

53

f x

Fx

f x tồn tại và duy nhất với mỗi x X . Hiển nhiên f là hàm chọn

. Bây giờ ta định nghĩa (min được lấy đối :f X Y xác định bởi ( ) min

f x (

)

z . Ta chứng minh f là hàm tăng.

với  ). Thì ( )

0

0

RS

của F , hơn nữa

Fx

 

Fx

RS nên

, do đó với Lấy x x   , bởi vì F tăng đối với

 ( ) f x

Fx

u

f x  ( )

sao cho nên tồn tại u Fx . Mặt khác do u Fx

u

 ( ) min f x

Fx

f x  ( )

. Vậy . Do tính bắc cầu của thứ tự  nên ta có ( ) f x

f là hàm chọn đơn điệu của F đối với thứ tự  . 

Phần tiếp theo, ta sẽ xem điều kiện tồn tại hàm chọn đơn điệu trong trường

hợp tập đích Y là một dàn.

Mệnh đề 3.2.6. Cho X là các tập được sắp bộ phận, Y là một dàn và một

 và F x   với mọi

F X   là tăng đối với quan hệ

:

2 \Y

x X . Khi đó F chứa một hàm chọn đơn điệu.

ánh xạ đa trị

Chứng minh.

 thì F cũng là tăng đối với

Trước tiên, ta chứng minh F là tăng đối với

  

Fx

Dn . Thật vậy, với mọi

x x ,

X x ,

 ta có Fx

x

. Khi đó, với mọi

  

Fx

  thì do Fx

y

y

  

y Fx

y

y

Fx y Fx

 ,

Dn

Fx

 

Fx

. Rõ chọn z nên z

y nên

. Do đó F là tăng đối với Dn . Tiếp theo, ta ràng z y và z

áp dụng kết quả Mệnh đề 3.2.1 ta được điều phải chứng minh. 

Định lý 3.2.2. Cho X là một tập hợp được sắp bộ phận, Y là một dàn và ánh

wV và sao cho với mọi

F X   là tăng đối với

:

2 \Y

xạ đa trị x X , Fx là

dây chuyền đầy đủ bên trên và F x   . Khi đó tồn tại một hàm chọn đơn điệu f

của ánh xạ đa trị F .

Chứng minh. Để chứng minh Định lý 3.2.2 trước tiên ta định nghĩa R là tập

2 \Y G X   sao cho:

:

hợp các ánh xạ

 

x X F x Gx

:

Fx

;

(3.11)

54

 

x X y z Fx y ,

:

,

 và z

(3.12) y Gx    z Gx ;

  thì Gx là dây chuyền con đầy đủ bên trên trong Fx

x X

G là tăng đối với wV

(3.13)

(3.14)

G X   xác định bởi

:

2 \Y

. Ta định nghĩa Rõ ràng F   R

,

Gx

Gx

x X

: 

 

G

 R

(3.15)

G  R .

Bây giờ để chứng minh Định lý 3.2.2 ta cần một số bổ đề sau đây:

Bổ đề 3.2.1. Với G được xác định như trong (3.15) khi đó ta có Chứng minh. Ta kiểm tra các điều kiện (3.11) – (3.14) được thỏa mãn cho G

Kiểm tra điều kiện (3.11): •

 

Fx

 

x X

,

ta có F x Gx với mọi G  R .

 F x

Gx

Fx

 

Fx

G

 R • Kiểm tra điều kiện (3.12):

. Suy ra hay F x Gx

 

x X y z Fx y ,

,

,

z

y

Gx

.

 và y Gx

G

  R

dẫn đến Suy ra y Gx , với

z

Gx

z Gx G

  R dẫn đến

,

z Gx

.

G

  R

. Vậy mọi G  R . Kéo theo

• Kiểm tra điều kiện (3.13):

y z Gx G ,

  R điều này kéo theo

,

y

 

z Gx G

  R.

,

 ,y z Gx

dẫn đến

y

z

Gx

G

   R

Do vậy ta có .

wV

• Kiểm tra điều kiện (3.14):

Gx

 

Gx

.

x

  ta sẽ chứng tỏ

x

,

 

z Gx

và . Khi đó Lấy tùy ý y Gx   

y Gx  

và z Gx với mọi G  R .

với mọi  Nếu y   z Fx thì do điều kiện (3.12) ta được y   z Gx

 

z Gx

wV

. , G  R do vậy y

y

 

z Gx G

  R . Do

,

Gx

 

Gx G ,

  R nên

 

z Fx

thì  Nếu y

 

z Gx 

 

z Gx 

. ta phải có y với mọi G  R .Vậy y

55

wV

Gx

 

Gx

z Gx

là tùy ý nên Vì y Gx   . Do đó G  R . Cuối cùng do

F x

     nên

x X

,

 

Fx

Gx   với mọi ,

x X

  . Vậy G  R. 

và giả thiết (3.11) nên F x Gx

Ta có nhận xét rằng với mỗi G  R và x X , vì Gx là dây chuyền đầy đủ

bên trên nên ta có G x  

x

  y G x 

x

,

Bổ đề 3.2.2. Nếu và z F x thì y z .

  và y y

z

  . Do đó

z

z

wV

Chứng minh. Giả sử ngược lại, ta sẽ có y

Gx

 

Gx

Fx

y

 

z Fx

z  Gx  và y

. Điều này mâu thuẫn với . 

G X  

2 \Y

* :

Bây giờ với bất kỳ G  R , ta định nghĩa phép biến đổi

được xác định như sau:

 

* G x

  : {

z Gx

:

    x ,

 y G x

x

}

y

z

*G  R

(3.16)

*G xác định như trong (3.16) ta có

Bổ đề 3.2.3. Mỗi G  R thì với

*G thỏa các điều kiện (3.11) – (3.14)

Chứng minh. Ta kiểm tra

• Kiểm tra điều kiện (3.11):

x X z F x Gx

,

 

 

    , x

y G x

x

kéo theo z Gx

với z F x thì theo Bổ đề 3.2.2 ta có y z .

* z G x

* F x G x Gx

Fx

 

*G x ta có

. Vậy . Do đó theo định nghĩa của

Kiểm tra điều kiện (3.12): •

 

x X y z Fx y ,

,

,

 và z

* z G x

* y G x

x

  x ,

. Ta chứng minh với mọi

z . Vậy

u G x   

* z G x

* y G x

do . nên u y . Do đó ta được u thật vậy

• Kiểm tra điều kiện (3.13):

* sup Z G x

* Z G x

. Ta phải chứng tỏ . Chú ý Cố định x X và xét dây chuyền

rằng sup ở đây có nghĩa là chặn trên nhỏ nhất trong Fx có thể phụ thuộc vào x .

56

z

sup

*  Z G x

  và y G x 

x

z

Giả sử . Khi đó ta , tức là có x sao cho y

  và y z

y

  . Mặt khác, bởi vì Gx là dây chuyền con đầy đủ trong

y

z

có z

Fx nên

z

sup

 Z Gx

wV

Gx

 

Gx

. Ta lại có . Do u G x   thì z Gx nên y Gx 

  z y

 

z Gx 

. Mà y G x   và y hoặc y   z Gx nên hoặc y

 

z Gx 

* u G x

u và y

. Bây giờ với mọi u Z thì do . Vậy phải có y   z Gx  Fx nên y

u bởi vì . Do đó u    . z y z định nghĩa của z ta có z

Điều này mâu thuẫn với định

* z G x

. Như vậy ta phải có . nghĩa của z  sup Z

wV

• Kiểm tra điều kiện (3.14):

Gx

 

Gx

x

*  x y G x ,

* z G x

Lấy và . Do nên hoặc y   z Gx

y

 

z Gx  .

hoặc

y

 

* z G x

 

z Gx

*



thì bởi vì (3.12) nên .  Nếu y

y

 

z G x 

 và

x

y

 

z Gx  .

*

Ta chứng tỏ . Với mọi x  Nếu

z bởi vì

u G x 

* z G x

y G x 

*

. Do đó ta có u và u y bởi vì

y

 

z G x 

u

y

z

  . Vì x  và u là tùy ý nên ta có

.

*G  R . 

*G thỏa các điều kiện (3.11) – (3.14) nên với mọi G  R thì

*G xác định như trong (3.15) và (3.16) ta có

G G

*.

Vậy

Bổ đề 3.2.4. Với G và

*

Gx

Gx

;

* G x

* G x

G

G

  R

  R :

* G x

  : {

z Gx

:

    x ,

 y G x

x

  }

y

z

*

Chứng minh. Ta có

R

*{ :G G

R}. Do Bổ đề 3.2.3, với mỗi

Lấy tùy ý ký hiệu x X ,

*

*

.

* G x

Gx

*G  R nên ta có

* R

R . Do đó

G  R thì

G

G

R

R

Điều

G G

*.

*G x Gx

này dẫn đến . Bởi vì x X là tùy ý nên 

57

G x

     .

x X

,

Bổ đề 3.2.5. Với G xác định như trong (3.15) ta có

Chứng minh.

  F x Gx

Fx

,

 z F x

:

y Fx y

,

z

}.

z Fx {  

  

z G x G



  R

,

G  R nên dẫn đến

 z Gx

:

  

y Gx y

:

   R . Vậy

z G ,

Với mọi Mặt khác bởi vì

 F x G x G

,

  R . Do đó

 F x

  G x G x

  thì

x X

G

 R

. Dẫn đến

G x

     . 

x X

,

Nên

Bây giờ Định lý 3.2.2 được chứng minh như sau: Mỗi x X , do Bổ đề 3.2.5

f x G x

:f X

Y là hàm chọn của F . Ta

. Khi đó ta được hàm ta chọn tùy ý ( )

*

sẽ chứng minh f là hàm tăng. Thật vậy:

f x ( )

 

f x ( )

  f x G x G x ( )

,

 ( ) f x

G x

. Theo (3.16) thì .   . Do x x

Vậy f là tăng nên nó là hàm chọn đơn điệu của F . 

Một cách tự nhiên, dạng đối ngẫu cũng hợp lý. Chú ý rằng tính chất dây

chuyền có tính đầy đủ bên trên của mỗi Fx trong Định lý 3.2.2 không thể được

thay thế bằng tính Zorn bị chặn trên.

Mệnh đề 3.2.7. Cho X là một tập hợp được sắp bộ phận hữu hạn, Y là một

F X   là ánh xạ đa trị tăng đối với wV . Khi đó tồn tại một hàm

2 \Y

:

dàn, và

chọn đơn điệu của F .

Chứng minh. Ta ký hiệu:

 X x ( )

x {

X x :

 x }

Với mỗi x X thì

x X y

, *

 thì

Y

 F x y

( ; *)

  { y Fx y

:

y

*}

Với mỗi

y

Fx

*

x

X 

,

 F x y

( ; *)

  với

sao cho tồn tại * Bổ đề 3.2.6. Với mỗi *

x X x

( *)

. mọi

y Fx

*

 Z y

( ) : {

 

x X x

( *) :

 F x y

( ; *)

  };

Chứng minh. Với mỗi , ta ký hiệu:

58

( ) :

( *) \

( );

 Z y

 X x

 Z y

0

y

Fx

*

0 y y ,

1 ,...

và định nghĩa một dãy bằng truy hồi như sau: Chọn tùy ý

Fx

ky

*

k

. Khi đó: Giả sử đã xác định

ky

y và kết thúc tiến trình.

*

 Z y (

)



X x

( *)

k

ta chọn • nếu

  , ta chọn tùy ý

 Z y (

)



X x

( *)

Z y (

)k

x

Z y (

)k

wV

thì dẫn đến • Nếu

*Fx

Fx

wV nên

x

x . Ta có F là tăng đối với

*

k

k

tùy ý, bởi . Chọn y Fx

ky

Fx

*

y

y

Fx

y

y

Fx

*

  nên ta

 F x y ( ;

)k

k

k

k

nên hoặc . Mặt khác vì

  y

y

Fx

y

y

Fx

*

y

k  

y

y

k

k

k

k

1 

, do vậy . Khi đó ta định nghĩa có

    , rõ ràng là 1k y

y

y

y

)

)

 ( Z y

 ( Z y

m

1

. Bởi vì X là hữu hạn nên một

0 y y ,

,...

y ta có điều phải

dãy phải không đổi từ một my nào đó. Chọn * y

chứng minh. 

X

X sao cho mỗi

Bây giờ ta chứng minh Mệnh đề 3.2.7, do X là một tập được sắp thứ tự hữu

1,..., m

hạn nên ta có thể chia X ra thành hữu hạn các lớp rời nhau

kX như vậy là một dây chuyền hữu hạn. Bằng quy nạp và áp dụng Bổ đề 3.2.6

lớp

kX .

ta chứng tỏ tồn tại hàm chọn đơn điệu f của F trên mỗi dây chuyền hữu hạn

Thật vậy.

   . ...

x

x

x kX được đánh số và sắp thứ tự 1

n

2

Giả sử các phần tử của

Fx

,

)

  .

F x y ( 1

2

y Chọn 1

X tùy ý, vì 1 max k x

1

, do Bổ đề 3.2.6 ta có

x

max



,

)

y Chọn 2

F x y ( 1

2

2

X x k

\{ } 1

tùy ý, vì , tương tự như trên ta cũng

y thỏa mãn

F x y (

,

)

  … Tiếp tục quá trình trên ta chọn được dãy

3

2

y 1,..., n

y

Fx

,

k

  {1,..., }n và

  k

{1,...,(

n

 . 1)}

y

k

k

y  1, k

k

y ta được f là hàm chọn đơn điệu của F trên

)k

k

kX . Tiến hành

Đặt ( f x

X

X . Bây giờ với mọi x

1,..., m

lần lượt trên các dây chuyền x   thì rõ ràng x  và

59

  ,x x X

x phải cùng thuộc một lớp

kX nào đó, hơn nữa với bất kỳ hai phần tử

mà không thuộc cùng một lớp thì không so sánh được với nhau do đó tính đơn điệu

của f vẫn được thỏa mãn. Vậy f là hàm chọn đơn điệu của F trên X . 

Chú ý rằng tính hữu hạn của X trong Mệnh đề 3.2.2 không thể thay thế được

bằng tính dây chuyền đầy đủ.

Định lý 3.2.4. Cho X là tập hợp được sắp bộ phận, Y là một dàn con của tích

F X   là ánh xạ đa trị tăng

:

2 \Y

Đêcác của một số hữu hạn các dây chuyền và

đối với quan hệ Vt . Khi đó tồn tại một hàm chọn đơn điệu f của F

Y

C

m

 m M

 

Chứng minh. Giả sử trong đó mỗi mC là một dây chuyền. Do

M

{1, ..., }

n

M hữu hạn nên ta có thể giả sử

. Khi đó dựa vào Định lý Zermelo

mC được sắp tốt với một thứ tự

m . Cho

ta giả sử mỗi ,y z Y , ta có

y

y

z

z

m M

 

{1,..., }

n

z thì tồn tại

y 1( ,...,

)n

)n

z . Do đó ta định nghĩa:

y cho m

m

;

D y z ( , )

m M y {

:

z

};

y

d

min ( , );

D y z

 z

z 

m

m

y d

d

d

sao . Với y và z  1( ,...,

Để chứng minh định lý này ta cần hai bổ đề sau:

Y được sắp tốt bởi thứ tự

.

A 

2 \X

 ta định

Bổ đề 3.2.7. Nếu Y là dàn con Y của tích Đềcác hữu hạn các dây chuyền thì

:

 y A

};

y min{

:

y A

 và

c

Chứng minh. Rõ ràng  là một thứ tự trên Y . Với mỗi

c 2

2

c nghĩa 1

y min{ 1

y 1

1}

…. Trong đó, min

m tương ứng trong mC . Khi đó

c

A

  (là cực tiểu của A) đối với thứ tự  . 

c 1( , ...,

c )m

trong định nghĩa của mỗi mc là đối với thứ tự

z

y

  

y

z

z

 . y

Bổ đề 3.2.8. Cho . Khi đó z ,y z Y và y

: {

:

};

D

 

m M y

z

m

m

Ta dễ dàng kiểm tra rằng Chứng minh. Ký hiệu

d

min

D

D

 

D y y ( ,

  ) z

D x y ( ,

 . Ta đặt

z

)

. Khi đó:

60

y

z

z y

  .

z Nếu d

y thì z d

d

và y

z

z

z y

  .

y Nếu d

z thì y d

d

và y

z

y

  

y

z

z

 .  y

Như vậy nếu y . Khi đó z

f x

Fx

f x là tồn tại và duy nhất và f là hàm chọn của F . Ta sẽ chứng tỏ f là

 ) thì ( )

(đối với Bây giờ, để chứng minh Định lý 3.2.3 ta định nghĩa ( ) min

Vt nên ta có

hàm tăng. Thật vậy, x

f x ( )

 

f x ( )

Fx

f x ( )

 

f x ( )

f x ( )

 

f x ( )

và thì   bởi vì F là tăng đối với x  Fx  . Khi đó, nếu như

f x ( )

 ( ) f x

f x ( )

 ( ) f x

 ( ) f x

f x ( )

f x ( )

 

f x ( )

f x ( )

 và ( ) f x

f x ( )

 ( ) f x

do vậy từ định nghĩa của f ta có . Điều này dẫn đến mâu thuẫn với Bổ

đề 3.2.8. Vậy f là hàm chọn đơn điệu của F . 

3.2.2 Các ví dụ áp dụng

2 \Y

:

F X   là ánh xạ tăng đối với Dn

Ví dụ 3.2.1. Từ Mệnh đề 3.2.1 và Bổ đề Zorn, ta có ngay kết quả sau: Cho

,X Y là các tập hợp được sắp bộ phận,

và mọi x X thì Fx là dây chuyền con đầy đủ của Y . Khi đó F có hàm chọn đơn

.

F x   Do đó theo Mệnh đề 3.2.1 thì F có hàm chọn đơn điệu. Ta thấy rằng tính dây chuyền con đầy đủ của Fx không thể bỏ. Hơn nữa ta cũng thấy rõ sự khác

điệu. Thật vậy, do Fx là dây chuyền con đầy đủ của Y nên theo Bổ đề Zorn ta có

inf , ta không thể thay thế thứ tự Dn bằng thứ tự

Dn và

inf . Để thấy rõ điều này ta xét một minh họa cụ thể sau đây:

2

nhau giữa hai thứ tự

u v ( , )

X Y 

{(0, 0),(0,1),(1, 0),(1,1)}

  với thứ tự ( , ) x y

Cho khi và

F X   được định nghĩa như

:

2 \Y

u và y

chỉ khi x v . Cho ánh xạ đa trị

F

(0, 0)

{(0,1),(1, 0)};

F

(0,1)

{(0,1)};

F

(1, 0)

{(1, 0)};

F

(1,1)

{(1,1)}

sau: .

inf nhưng không là tăng đối với Dn do đó dễ

Khi đó rõ ràng F là tăng đối với

dàng thấy rằng F không chứa hàm chọn đơn điệu nào.

61

Ví dụ 3.2.2. Trong Mệnh đề 3.2.5 giả thiết X là dây chuyền hữu hạn là cần

2

3

3

X 

{(0, 0),(0,1),(1, 0),(1,1)}

Y  :

3 [0, 5]

:F X 

  ,

 và ánh xạ

F

(0, 0)

{(0, 2, 2),(2, 0, 0)};

F

(1, 0)

 {(1, 4, 3), (4,1, 3)};

2 \Y  định nghĩa bởi

thiết. Để thấy rõ điều này ta hãy xét một ví dụ minh họa cụ thể sau đây: Cho

F

(0,1)

{(3, 4,1),(1, 3, 4)}

F

(1,1)

{(3, 5, 3),(5, 3, 5)}

và . Dễ dàng kiểm tra F là

RS , hơn nữa ta có F x   và F x   với mọi x X . Tuy

tăng đối với

nhiên do X không phải là một dây chuyền cho nên không có hàm chọn đơn điệu

của F . Thật vậy, giả sử f là hàm chọn đơn điệu của F . Khi đó nếu

f

(0, 0)

(0, 2, 2)

f

(1, 0)

(1, 4, 3)

f

(0,1)

thì và

z F

(1,1)

z

f

(1, 0)

z

f

(0,1)

 (1, 3, 4). Tuy nhiên không có ta cũng được (2, 0, 0)

sao cho và . Nếu (0, 0) f

điều trái ngược tương tự.

Ví dụ 3.2.3. Trong Định lý 3.2.2, ta thấy rằng tính dây chuyền đầy đủ bên trên

của Fx là cần thiết và nó không thể thay thế bởi tính Zorn bị chặn trên. Để thấy rõ

X  

[ 1,1]

điều này ta xét một minh họa cụ thể sau đây. Cho và một ánh xạ đa trị

x  .

0

F

(0)

X

\{0}

Fx

x

/2

F X   xác định bởi:

:

2 \X

và nếu

Khi đó rõ ràng mỗi Fx là Zorn bị chặn trên và bị chặn dưới, hơn nữa F là

wV . Tuy nhiên,

(0)F

F không chứa hàm chọn đơn điệu và cả đểm bất động.

không phải là dây chuyền đầy đủ bên trên nên tăng đối với

2

Ví dụ 3.2.4. Để thấy rõ hơn giả thiết F x   trong Định lý 3.2.2 là không

X

)

:

0,

x

x x {(0, 0)} {( , 1

2

x x , 1

2

1

Y  :

[0,1]

F X   được xác định như sau:

:

2 \Y

 và

  . Ánh xạ

x   2 1} 2

)

x

0

x  . Khi đó F tăng đối với quan hệ wV .

F

(0, 0)

(0,1],

F x x ( , 1

2

{ } 1

thể bỏ, xét một minh họa sau: Cho

nếu 1

x

x

)

)

  và

x

x

  . Khi đó: 2

2

 x x ( , 1

 2

x x ( , 1

2

1

 1

Thật vậy,

)

(0, 0)

F x x 

)

(0,1]

)

x   .

0

x x  ( , 1 2

( , 1

2

 F x x ( , 1

 2

 x { } 1

Nếu thì , , với 1

62

)

(0, 0)

0

,

x

x  nên không tồn tại

1

x x  ( , 1 2

x x  và 1

2

1

2

0,

x

x

x

x

 x x , 1

 2

 1

x   để 1 1

 2

  và x 1

  2

2

Nếu thì do

)

)

F

(0, 0)

(0,1]

 F x x ( , 1

 2

 x { }; 1

F x x ( , 1

2

Suy ra .

y

)

y

x

y F x x

)

  y

(0,1]

 F x x ( , 1

 2

    1

( , 1

2

. Rõ ràng ta có Lấy tùy ý

y

  y

min{ , }

(0,1]

)

 x y 1

F x x ( , 1

2

wV

.

)

 F x x ( , 1

  ) 2

F x x ( , 1

2

. Vậy

Hơn nữa, X là một tập được sắp bộ phận không có dây chuyền vô hạn (vì thế

là dây chuyền đầy đủ). Y là một dây chuyền đầy đủ và mỗi Fx là một dây chuyền

con đầy đủ bên trên. Tuy nhiên F không có hàm chọn đơn điệu.

Ngoài những ví dụ minh họa ở trên, ta thấy rằng một ứng dụng quan trọng của

Định lý 3.2.2 đó là dựa vào định lý này ta có thể thu được một chứng minh chính

xác khác của Định lý Milgrom và Shannon’s (1994).

Để chứng minh định lý này, trước tiên ta cần nhắc lại khái niệm sau:

Cho X là một dàn, một hàm :f X   được gọi là tựa siêu môđun nếu như

f x ( )

f x (

 dẫn đến

y

)

f x (

  y )

f y ( )

x y X ,

,

với mọi và nếu như

f x ( )

f x (

 thì dẫn đến ( f x

y

)

  ) y

f y ( )

.

Ví dụ 3.2.5 (Định lý Milgrom và Shannon, 1994). Cho X là một dàn đầy

đủ, hàm :f X   là tựa siêu môđun và sao cho với mọi dây chuyền C X ta

đều có:

f

(sup )

C

f x lim sup ( )  x C x C sup

,

(3.17)

f

C

(inf

)

f x lim sup ( )  x C x C , inf

(3.18) và

:

  { x X

   y X

( ) f y

( )} f x

( ) x X f x 

là dàn con đầy đủ Khi đó arg max

khác rỗng của X .

63

:Fa 

F f X   được xác định bởi

: (

)

2 \X

x X f x { : ( )

 . Hai điều kiện (3.17) và (3.18) bảo đảm rằng mỗi Fa là một

a

}

Chứng minh. Ta xét ánh xạ

 

x Fa

f x 

dàn con đầy đủ của X . Nếu x Fa nhưng y thì ( ) và y Fb

f y (

)

  ) x

f y ( )

x do đó bởi tính tựa siêu môđun của f nên ta có ( f y

wV

. Do vậy ta

Fb

Fa

cho nên . Vậy F là tăng đối với wV , với bất kỳ thứ tự có y   x Fb

f X ).

được  nào đã được trước chọn trên (

)

f X cảm sinh từ  . Do Định lý 3.2.1, tồn tại một

Ta hãy xét một thứ tự trên (

C

 : { ( )}a f X g a (

)

là dây chuyền trong X . Ta hàm chọn đơn điệu g của F . Rõ ràng

x

sup

C

f x

f x ( )

 ký hiệu * :

x

*

arg max

f x ( )

  . Bây giờ do tính tựa siêu môđun của f bảo đảm rằng

 x X

arg max

với mọi x X do (3.17) cho nên dẫn đến ta có ( *)

x X f x ( ) 

là một dàn con của X . Vì nó là dây chuyền con đầy đủ, nên nó là

một dàn con đầy đủ của X . 

64

KẾT LUẬN

Trong quá trình tham khảo tài liệu, trình bày lại và chứng minh chi tiết các

kết quả cơ bản về hàm chọn của ánh xạ đa trị tôi thấy rằng điều kiện tồn tại của hàm

chọn phụ thuộc nhiều vào tính chất của ánh xạ đa trị chứa nó và tính chất của không

gian được xét. Chẳng hạn sự tồn tại của hàm chọn liên tục phụ thuộc vào tính nửa

liên tục dưới của ánh xạ đa trị cùng với tính chất Fx lồi đóng với mọi x . Trong khi

đó sự tồn tại của hàm chọn xấp xỉ lại phụ thuộc vào tính nửa liên tục trên của ánh xạ

đa trị xác định trên các tập compact và tính chất Fx lồi với mọi x . Sự tồn tại của

hàm chọn đo được lại phụ thuộc vào tính đo được yếu của ánh xạ đa trị, tính chất

đầy đủ của Fx đặc biệt tập đích của ánh xạ đa trị là một không gian mêtric khả ly.

Sự tồn tại của hàm chọn đơn điệu của ánh xạ tăng lại phụ thuộc hoàn toàn vào quan

hệ thứ tự được mở rộng trên các tập hợp.

Trong một số ví dụ ta thấy rằng sự tồn tại điểm bất động của ánh xạ đa trị khi

nghiên cứu bằng phương pháp bậc tôpô phụ thuộc vào sự tồn tại của hàm chọn liên

tục. Ngược lại, đối với ánh xạ đa trị tăng thì điểm bất động có thể tồn tại mà không

cần đến sự tồn tại của hàm chọn đơn điệu. Điều này giúp cho việc nghiên cứu trạng

thái cân bằng Nash một khái niệm cơ bản trong lý thuyết trò chơi. Mặt khác các ví

dụ áp dụng cũng cho thấy được sự tồn tại của hàm chọn liên tục dẫn đến sự tồn tại

nghiệm của bao hàm thức vi phân và nghiệm tuần hoàn chu kỳ w cho bài toán giá

trị đầu của phương trình vi phân. Sự tồn tại của hàm cho đo được dẫn đến một kết

quả thú vị cho sự tồn tại nghiệm bài toán điển hình của lý thuyết điều khiển tối ưu.

Thông qua luận văn này tôi cũng đã bước đầu tiếp cận với việc nghiên cứu

khoa học thực sự nghiêm túc và có hệ thống. Tôi cũng đã học tập được rất nhiều

trong cách đặt vần đề và trình bày vấn đề, tìm ra những ứng dụng cụ thể thông qua

việc đọc, nghiên cứu các tài liệu tham khảo cũng như khi làm việc cùng với thầy

hướng dẫn.

65

TÀI LIỆU THAM KHẢO

Tiếng Việt:

[1] Nguyễn Đông Yên (2007), Giáo trình Giải tích đa trị, Nhà xuất bản khoa học

tự nhiên và công nghệ, tr. 18 – 89.

Tiếng Anh:

[2] C. Castaing, M. Valadier (1977), Convex Analysis and Measurable Multifunc-

tions, Springer-Verlag, pp. 65 – 71.

[3] Donan O’regal, Yeol Je Cho, Yu-Qing Chen (2006), Topological Degree

Theory And Applications, Chapman & Hall/CRC, pp. 38 – 43.

[4] G. Teschl (2001), Nonlinear Function Analysis, Institute for Mathematics Nor.

Uni. at Vien, Austria.

[5] K. Deimling (1985), Nonlinear Function Analysis, Springer-Verlag.

[6] K. Deimling (1978), Open problems for ordinary diffrerential equations in

Banach spaces, in Proc. “Equa. Diff. 78” Firenze: Centro, pp. 127 – 137.

[7] L. Gasinskii, N.S. Papageorgiou (2005), Nonlinear Analysis, Chapman & Hall

/CRC.

[8] L. Gorniewicz (1998), Topological Fixed Point Theory of Multivalued Map-

pings, Springer.

[9] N. S. Kukushkin (2009), Monotonicity Conditiions, Monotone selections and

Enquilibra, Russian Academy of Sciences, Dorodnicyn Computing Center,

Moscow, pp. 1 – 16.

[10] N. S. Kukushkin (2010), On the existence of monotone selections, Russian

Academy of Sciences, Dorodnicyn Computing Center, Moscow.

[11] R. B. Holmes (1972), A course on Optimization and Best Approximation,

Springer-Verlag.

[12] R. E. Smithson (1971), Fixed points of order preserving multifunctions. Proc.

Amer. Math. Soc, pp. 304 – 310.