Tải bản đầy đủ (.pdf) (41 trang)

Tính ổn định của hàm ẩn đa trị trong không gian banach

Bạn đang xem bản rút gọn của tài liệu. Xem và tải ngay bản đầy đủ của tài liệu tại đây (513.3 KB, 41 trang )

BỘ GIÁO DỤC VÀ ĐÀO TẠO
TRƯỜNG ĐẠI HỌC s ư PHẠM HÀ NỘI 2

TẠ NGỌC HỒNG

TÍNH ỔN ĐỊNH CỦA HÀM Ẩ n đ a t r ị
TRONG KHÔNG GIAN BANACH
C h u y ê n n g à n h : T o á n giải tíc h
M ã số: 60 46 01 02

LUẬN VẢN THẠC s ĩ TOÁN HỌC

Người hư ớ n g d ẫ n k h o a học: PGS. TS. N g u y ễ n Q u a n g H uy

HÀ NỘI, 2 0 1 5


Lời cảm ơn
Trước k h i t r ì n h b à y nội d u n g c ủ a l u ậ n v ă n , tôi xin b ày
tỏ lòng b iế t ơn s â u sắc tới PGS. TS. N g u y ễ n Q u a n g H u y
người đã đ ị n h h ư ớ ng chọn đề t à i và t ậ n t ì n h h ư ớ ng d ẫ n tôi
có t h ể h o à n t h à n h l u ậ n v ă n này.
Tôi xin b à y tỏ lòng b i ế t ơn c h â n t h à n h tới P h ò n g S a u
đại học, các t h ầ y cô g iả n g dạy c h u y ê n n g à n h T o á n giải tíc h
T rư ò n g Đ H S P H à Nội 2 đã giúp đỡ t r o n g s u ố t q u á t r ì n h
học t ậ p v à là m l u ậ n v ăn .
Cuốĩ cùng, tôi xin gửi lời cảm ơn c h â n t h à n h tới gia
đ ì n h và b ạ n bè đã động viên, giúp đỡ và tạo đ iề u k iệ n về
mọi m ặ t t r o n g q u á t r ì n h học t ậ p để tôi h o à n t h à n h k h ó a
l u ậ n này.
H à Nội, t h á n g 7 n ă m 2015


Tác giả

Tạ Ngọc Hồng


Lời cam đoan

Dưới sự hướ ng d ẫ n c ủ a PGS. TS. N g u y ễ n Q u a n g H u y
l u ậ n v ă n t h ạ c sĩ c h u y ê n n g à n h T o á n giải tíc h về đề t à i
“T ín h ổn đ ịn h c ủ a h à m ẩ n đa t r ị t r o n g k h ô n g g ia n B a n a c h ”
được h o à n t h à n h bỏi n h ậ n th ứ c của tá c giả và k h ô n g t r ù n g
với b ấ t cứ l u ậ n v ă n nào khác.
T ro n g q u á t r ì n h n g h i ê n cứu h o à n t h à n h l u ậ n v ă n tá c
giả k ế t h ừ a n h ữ n g t h à n h t ự u c ủ a các n h à k h o a học vói sự
tô n t r ọ n g và b i ế t ơn.

H à Nội, t h á n g 7 n ă m 2015
Tác giả

Tạ Ngọc Hồng


MỤC LỤC
Lời cảm ơn

i

Lòi cam đ o a n

ii


B ả n g kí h i ệ u và v iế t t ắ t

iv

Mở đ ầ u

1

C hương 1: K iến th ứ c c h u ẩ n bị

4

1.1 Á n h xạ đa t r ị

4

1.2 Dưới vi p h â n C la r k e c ủ a h à m liê n tụ c L ip s c h itz

6

C hương

2:

T ín h

chính

qui


khoảng

cách th e o

nghĩa

R o b in s o n v à t í n h c h ấ t L ip s c h itz k i ể u A u b in

19

2.1 T ín h c h í n h qui k h o ả n g cách th e o n g h ĩ a R ob in so n

21

2.2 T ín h c h ấ t L ip s c h itz k i ể u A u b in

27

C hương 3: Mối q u a n h ệ g iữa t í n h c h ín h qui k h o ả n g cách
th e o n g h ĩ a R ob in so n và t í n h c h ấ t L ip s c h it z k iể u A u b in

30

3.1 Sự k h ô n g tư ơ n g đương c ủ a t í n h c h ín h qui k h o ả n g cách
th e o n g h ĩ a R o b in so n và t í n h c h ấ t L ip s c h itz k iể u A u b in

30

3.2 Mối q u a n hệ giữa t í n h c h í n h qui k h o ả n g cách th e o

n g h ĩ a R o b in so n và t í n h c h ấ t L ip s c h itz k iể u A u b in

32

K ết l u ậ n

35

T ài liệ u t h a m k h ả o

36


Bảng kí hiệu và viết tắt

||.|| : C h u ẩ n t r o n g k h ô n g g i a n B a n a c h
X*: K hông g ia n đôi n g ẫ u c ủ a X được t r a n g bị topo y ếu w*
B x, B x' \ H ì n h c ầ u đóng đơn vị c ủ a k h ô n g g ia n X và k h ô n g
g ia n đối n g ẫ u X
Tích vô hướ ng
B(x, p ) \ H ì n h c ầ u t â m X, b á n k í n h p
domi^: M iền h ữ u h i ệ u F
gphF: Đồ t h ị c ủ a F
d f ( x) \ Dưới vi p h â n C la r k e c ủ a / t ạ i X

I n t Q : P h ầ n t r o n g của Q
D * F ( x ,ỳ ) \ Đối đạo h à m C la r k e của F t ạ i ( x , ỵ )


1


Mỏ đầu
1. Lý do chọn đề t à i
Các t í n h c h ấ t t h ú vị c ủ a h à m ẩ n đa t r ị, c h ẳ n g h ạ n n h ư
tính

n ử a liê n tụ c t r ê n ,

nửa

liê n tụ c

dưới, t í n h

chất

L ip s c h itz k iể u A ubin, t í n h c h í n h qui k h o ả n g cách, t í n h mở
và t í n h k h ả vi suy rộ n g đã được n g h i ê n cứu bởi n h i ề u tá c
giả t r o n g n h ữ n g n ă m g ầ n đây. M o rd u k h o v ic h đã đưa r a
đ iề u k i ệ n c ầ n và đủ cho t í n h c h ấ t L ip s c h it z k iể u A u b in
(A L l p ) cho một sô" d ạ n g đặc b i ệ t của h à m ẩ n đ a trị; Xem
t r o n g [15,16] và các t à i liệ u t h a m k h ả o tr o n g đó. T ín h
c h í n h qui k h o ả n g cách th e o n g h ĩ a R o b in so n (R m r ) c ủ a h à m
ẩ n đ a t r ị đã được n g h i ê n cứu t r o n g [5,1 3,14,17,18,20]. G ần
đây, L e d y a e v và Z hu [17], N g a i v à T h é r a [14] đ ã t h i ế t lập
các đ iề u k i ệ n đủ cho t í n h c h í n h qui k h o ả n g cách th e o
n g h ĩ a R o b in so n của h à m ẩ n đa t r ị d ự a t r ê n k h á i n iệ m đốì
đạo h à m F r é c h e t. Các đ iề u k i ệ n đủ cho t í n h c h ấ t tư ơ n g
ứ n g được t r ì n h b à y d ự a t r ê n k h á i n iệ m đôi đạo h à m
M o rd u k h o v ic h v à đã được t h i ế t lập bởi Lee, T am , Yen [18]

và Yen, Yao [13]. G ầ n đây hơn, mối liê n h ệ giữa t í n h c h ấ t
L ip s c h itz k iể u A u b in và t í n h c h ín h qui k h o ả n g cách theo
n g h ĩ a R o b in so n c ủ a h à m ẩ n đa t r ị được t r ì n h b à y t r o n g
[10]. C h ú n g t a t h ấ y r ằ n g h ầ u h ế t các k ế t q u ả được t h i ế t
lập bị h ạ n c h ế t r o n g k h ô n g g ia n A sp lu n d .


2

T ro n g [12], các tá c giả đã đưa r a các điều k i ệ n đủ mới
cho t í n h c h ấ t L ip s c h itz k iể u A u b in và t í n h c h ín h qui
k h o ả n g cách th e o n g h ĩ a R o bin so n c ủ a h à m ẩ n đa t r ị và mối
q u a n h ệ giữa h a i t í n h c h ấ t n à y t r o n g k h ô n g g ia n B a n a c h
tổ n g q u á t d ự a t r ê n k h á i n iệ m dưới vi p h â n và đối đạo h à m
C la rk e .
Đề t à i “T ín h ổn đ ị n h c ủ a h à m ẩ n đa t r ị t r o n g k h ô n g
g ia n B a n a c h ” n h ằ m tì m h i ể u về Lý t h u y ế t đối đạo h à m và
k ế t q u ả đ ạ t được t r o n g [12].
2. Mục đích n g h i ê n cứu
Tìm h i ể u về Lý t h u y ế t đôi đạo h à m và áp d ụ n g n g h i ê n
cứu t í n h ổn đ ịn h c ủ a h à m ẩ n đa t r ị t r o n g k h ô n g g ia n
Banach.
3.N h iệ m v ụ n g h i ê n cứu
Đ iều k i ệ n đủ cho t í n h c h í n h qui k h o ả n g cách th e o
n g h ĩ a R o b in so n v à t í n h c h ấ t L ip s c h it z k i ể u A u b in c ủ a h à m
ẩ n đa tr ị, n g u y ê n lý b iế n p h â n E k e la n d , dưới vi p h â n và
đốì đạo h à m C la rk e .
4.

Đối tư ợ n g n g h i ê n cứu và p h ạ m vi n g h i ê n cứu


T ín h c h í n h qui k h o ả n g cách th e o n g h ĩ a R obinson, t í n h
c h ấ t L ip s c h itz k iể u A u b in v à môi q u a n hệ giữa c húng.
5. P h ư ơ n g p h á p n g h i ê n cứu
Tổng hợp, p h â n tích, đ á n h giá.


3

6. N h ư n g đóng góp c ủ a đề t à i
Hệ t h ố n g lại, đưa r a các ví dụ m i n h h ọ a để k iể m t r a
các đ iề u k i ệ n đủ cho t í n h c h ấ t L ip s c h itz k iể u A u b in và
t í n h c h í n h qui k h o ả n g cách th e o n g h ĩ a R o b in so n c ủ a h à m
ẩ n đa t r ị t r o n g k h ô n g g ia n B a n a c h tổ n g q u á t.


4

Chương 1

Kiến thức chuẩn bị
1.1 Á n h xạ đa t r ị
T ro n g chương n à y c h ú n g tôi ký h i ệ u X, Y , z là các k h ô n g
g ia n B a n a c h th ự c với c h u ẩ n ||.|| (c h u ẩ n n à y có t h ể k h á c
n h a u t ù y th e o t ừ n g k h ô n g gian).
Đ ịn h n g h ĩ a 1.1 (Ánh xạ đa trị)
Cho các k h ô n g g ia n X, Y v à F: X =3 Y là á n h xạ t ừ X vào
các t ậ p hợp gồm t o à n bộ các t ậ p con c ủ a Y (được kí h iệ u là
2*). Ta nói F là á n h xạ đa t r ị t ừ X vào Y. N h ư v ậy với mỗi
X e X , F ( x ) là một t ậ p hợp con c ủ a Y. K hông loại t r ừ k h ả

n ă n g là m ột sô" p h ầ n t ử x & X nào đó t a có F{x) là t ậ p rỗng.
Ta ký h i ệ u F: X

F là á n h xạ đa t r ị t ừ X vào Y.

Cho F: X ^ Y là một ánh xạ đa trị, ta định nghĩa đồ thị F và
ký hiệu là g p hF c X x Y được xác đ ịn h n h ư s a u
g p h F = Ị(x,y) I y e i^(jr)Ị .
M iền h ữ u h i ệ u c ủ a F ký h i ệ u
d om F := [x e X I F {x ) * 0 }.

d o m F được cho bởi


5

Ví dụ 1.2 Á n h xạ đa t r ị F: R =3 2R, F ( x ) = c^sinjK-jCOSx-.
Đ ịn h n g h ĩ a 1.3 (Tính n ử a liê n tụ c c ủ a á n h xạ đa trị)
Cho á n h x ạ đa t r ị F: X

Y, F được gọi là n ử a liê n tục

t r ê n t ạ i X GX n ế u với mỗi t ậ p mỏ V c 7 và F ( x ) c V t ồ n t ạ i
l â n c ậ n mở í / c X của

X

sao cho

Fix) c V, Vx e u .

Á n h xạ đa t r ị F được gọi là n ử a liê n tụ c dưới t ạ i x e X
n ế u với mỗi t ậ p mở V œ Y t h ỏ a m ã n F ( j c ) n V ^ 0 tồ n t ạ i lâ n
c ậ n mỏ u (.—X của X sao cho

F { x ) r \ V ^ 0 , Vx e u .
Ví dụ 1.4 Á nh xạ đa t r ị F: R

R

{0},AT < 0
F(x) = [-l,l],x = 0
{!},*> 0
là n ử a liê n tụ c t r ê n ỏ t r o n g R.
Ví dụ 1.5 Á n h xạ đa t r ị
F(x)=<

{0},jr = 0
[ 0 ,1 ],* * 0

á n h xạ đa t r ị i ^ l à n ử a liê n tụ c dưới t ạ i jr = 0.
Đ ịn h n g h ĩ a 1.6 H à m f ' - X ^ > R
trong lân cận của

được gọi là L ip s c h itz

6 J v ổ i h ằ n g số L ip s c h itz k, n ế u t ồ n t ạ i

£■>0 sao cho
If ( x ) - f ( ỵ ) |< k I IX - y I I ;M x ,y e B ( x , s ).



6

Ví d ụ 1.7
H à m f ( x ) = yfjĩ + 5 là L ip s c h itz với h ằ n g sô" k - 1.
1.2

Dưới vi p h â n C la r k e c ủ a h à m liê n tục L i p s c h itz

Đ ịn h n g h ĩ a 1.8 Cho f ' - X ^ R
h à m suy rộ n g c ủ a /

tại

X

là h à m L ip s c h itz . Đạo

th e o h ư ớ n g

V,

ký k iệ u

Được đ ị n h n g h ĩ a n h ư s a u
f ( ỵ +t v ) - f ( ỵ )
í \x ,v ) = lim sup— ----- —-------— ,
y->x,u0

t r o n g đó ỵ \ à vectơ t r o n g X, t >0.

Dưới vi p h â n C la r k e c ủ a / t ạ i

X,

là t ậ p hợp cho bởi

công th ức
õ f { x ) ■= {x-* e X* '■(x*,V*^J < f ° ( x , v ) , V v e x } .
Đ ịn h n g h ĩ a 1.9
H à m / l à t h u ầ n n h ấ t dương n ế u f( Ắ v) = Ầ f( v ) ,Ắ > 0 , cộng
t í n h n ế u f ( v +w ) < f ( v ) +f ( w ) , V v , w e J T .
M ệ n h đề 1.10
Cho / • X —>R là h à m L ip s c h i t z t r o n g l â n c ậ n X với
h ằ n g sô" L ip s c h itz k. K hi đó
a) h à m sô" 7 H 4 / ° ( x ,v ) là h ữ u h ạ n , t h u ầ n n h ấ t dương, và
cộng t í n h t r ê n X th ỏ a m ã n
\ f ° ( x , v ) \<Ảịvị.
b) f ° ( x , v ) là n ử a liê n tụ c t r ê n .
c) f ° ( x , - v ) = ( - f ) ° ( x , v ) .


7

d) Giả sử

g ' - X ^ R

là L ip s c h itz t r o n g l â n c ậ n

X,


k h i đó

( / + g f (x, V) < / ° (x, V) + g ữ(x, V).
Chứng m inh
T ro n g đ iề u k iệ n L ip sc h itz , t r ị t u y ệ t đối của tỉ scí sai
p h â n t r o n g đ ị n h n g h ĩ a c ủ a f ° ( x , v ) được giói h ạ n bỏi -¿'||v||.
Với y eB(x,ỏ),ỏ>0; t >0. Ta có f° ( x ,Ă v ) = Ẫ f°(x,v),VĂ > 0. (1.1)
Khi y —> x , t —>0 t a có
rữ(
\ _ 1f { y +t v +t w ) - f { y )
f {x , v + w)= lim sup— ------- —-----------—
ỵ —>x,t—>0



.
f { y + t v + t w ) - f { y + tw)
..
f ( ỵ + tw) - f { y )
< lim sup— ----------- —------ ----------1- lim sup— ----- —------—


y —>x,t—>0



suy r a
f ° ( x , v + w)< f ữ{x,v) + f ° ( x , w ).


(1.2)

Từ (1.1) và (1.2) t a suy r a h à m số v \ f ữ(x,v) là h ữ u
h ạ n , t h u ầ n n h ấ t dương và cộng t í n h t r ê n X t h ỏ a m ã n
If ° ( x , v ) |< ■¿'||vr||, k h ẳ n g đ ị n h a) được c h ứ n g m in h .
Cho

là dãy t ù y ý hội t ụ tới -srvà V, với i = 1, 2...

được đ ịn h n g h ĩ a bỏi giới h ạ n t r ê n 3y i c J v à ts > 0 sao cho
ị ỵ . - x . Ị +t . ^ ị ;
ĩ
f0(
t,
_ f(y j + tỵ ) - í(ỵ-) | f( ỵ . + t ỵ ) - f { y i + tỵ )
t,
ti
Cho i —>00, t a có


8

lim sup/ ° ( X ., V .) < f ° ( x , v ) .
7—
>00
Để c h ứ n g m i n h / ° ( x,v) là n ử a li ê n tụ c t r ê n . L ấ y t ù y ý
V e x , w e l và y e B { x , s ) , s > 0,t > 0
f { y +tv ) - / ( y) < f { y +
K hi


t a có
- f { y ) + k\\v - w\\t.

K'jí'i'O, chia 2 v ế cho t t a được
f ° ( x , v ) < f ° ( x , w ) + k \ v - w\\.

K h ẳ n g đ ị n h b) đã được c h ứ n g m in h .
Ta c h ứ n g m i n h c)
* 0f
f(ỵ -tv )-f(y ).
_
I \X.-V) = lim sup—------—------ — ,u = y - t v

y^jio *
t
r_
(-/)(w + tv) = lim sup----------- —-------------y-> x,tÌ0



= (-f)°(x,v).
d) H iể n n h i ê n đúng.
M ệ n h đề 1.11
Cho h à m

là L ip s c h itz t r o n g l â n cận của X với

h ằ n g sô" L ip s c h itz k. Khi đó
a) Tập d f ( x ) là lồi k h á c rỗng, com pact yếu t r o n g X* và
||£||, < k , \ ỉ ệ & õ f ( x ) .

b) Với V f g J

t h ì f ữ{x,v) - max|(^,F) : ệ e Ổ/Gr)}.

c) <Ẹeõf(x) k h i đó f ° ( x , v ) >
d) Cho {jrJ e
n ế u X ] —»X và Ẹị—

e X* sao cho i:

eX.
e ổ / ^ . ) với i = 1,2...,

, k hi i —»00 thì: <Ẹgôĩ(x).


9

e) N ế u X là h ữ u h ạ n c h iề u t h ì ổ / n ử a liê n tụ c t r ê n t ạ i
X e X .

C h ứ n g m in h
T ập õ f{ x ) là t ậ p k h á c rỗng, co m pa c t yếu t r o n g X*. Với
mỗi ệ e d f ( x ) th e o đ ịn h n g h ĩ a dưới vi p h â n C la rk e và M ệ n h
đề 1.10 t a có
(ệ,v) < f ° ( x , v ) < -Ả:|f|,W c= X suy r a

a) đã được c h ứ ng

m in h .

K h ẳ n g đ ị n h b) và c) là đơn t h u ầ n lặp lạ i đối với / ° ( X,.).
C ố đ ị n h v e X . V ớ i m ỗ i i - 1 , 2 ... t a có f°(Xị, v) > (<Ẹị,v).

Ta thấy, dãy { ( < £ - , là bị chặn. Xét dãy {£•} sao cho
{Ẹj,v) —>{Ẹ,v), t h ô n g q u a giới h ạ n c ủ a b ấ t đ ẳ n g th ứ c t r ê n t a

f ũ{x ,v )> {ệ ,v).
Khi đó cho £ > 0 , V ỵ G B (x,ổ),ổ > 0 ta khẳng định rằng
õ f{y)c zõ f(x) +sB .
T h ậ t v ậ y n ế u k h ẳ n g đ ị n h t r ê n là sai t h ì 3 ỵ i ^ > x và
l e ẽ f ( y ) sao cho
Ể õ f{ x ) + s B , M i .
Áp d ụ n g đ ị n h lý t á c h t r o n g X , t á c h ặị, 3Fy ^ 0 sao cho
(ii>v ¡) ¿ m a x j í ^ . F , , : I s õ f ( x ) + cB *ị

= f 0U , v i ) + s\\v1\\.


10

Ta lấy ịv-ị = 1, ệ- —>ệ,v- —>v k h i đó ||v |= l và t h a y vào
b iể u th ứ c t r ê n t a có

{ ệ , v ) > f \ x , v ) + €.
Đ iều t r ê n vô lý suy r a d) đúng, t a có Ç e ỡ / ( x ) và 0 / là
n ử a liê n tụ c t r ê n t ạ i x e X .
M ệ n h đề 1.12
Cho f ’- X —>R là h à m L ip s c h itz t r o n g l â n c ậ n c ủ a X với
h ằ n g sô" L ip s c h itz k. Vổi mỗi Ẳ & R , t a có


õ{Ẵf){x) = Ằdf{x ) .
Chứng m inh
Vì / là h à m L ip s c h itz t r o n g l â n c ậ n c ủ a X với h ằ n g sô"
L ip s c h itz k n ê n Ả f là h à m L i p s c h itz t r o n g l â n c ậ n c ủ a X
với h ằ n g sô" L ip s c h itz \ẫ \k .
H iể n n h i ê n Ấ>0, (Ẫf°) = Â f°.
Xét Ả < 0 , k h ô n g là m m ấ t t í n h tổ n g q u á t t a x ét Ẫ = - l .
Với mỗi <ẸeX*, t a có
(-f)°U ,v )> (ệ ,v ),V veX .
Từ M ệ n h đề 1.10(c) t a suy r a f ° ( x , - v ) > ( ệ , v ) y v e X .
Vì v ậ y - ệ e õ f ( x ) và t a có điều p h ả i c h ứ n g m in h .
M ệ n h đề 1.13
Cho
lân cận

và g ' - X ^ > R là các h à m L ip s c h itz tr o n g
X.

K hi đó
ổ ( / + g){x) c= õ f{ x ) + õ g ( x ) .


11

M ệ n h đề 1.14
Cho f ' - X —>JỈ là h à m L ip s c h itz t r o n g l â n c ậ n

X.

K hi đó


a ) N ế u / có đạo h à m G â t e a u x f G(x) t ạ i x t h ì t a có
f G(x) e õ f ( x ) .
b ) N ế u / là h à m k h ả vi liê n tụ c t ạ i

X

thì

(*) = j / O ) j .

Chứng m inh
Từ đ ị n h n g h ĩ a đạo h à m G â t e a u x ta. suy r a
f \ x , v ) = (/c W , 7 ) , V 7 e R n.
H iể n n h iê n , f { x , v ) < f ữ{x,v) suy r a
ự G{ x ) , v ^ < f ữ{ x , v ) , \ ỉ v ^ R n.
Theo M ệ n h đề 1.1.2 suy r a f G{ x ) & ô f{ x ).
Vậy a) đã được c h ứ n g m inh.
Giả sử / l à h à m k h ả vi liê n tục t r o n g l â n c ậ n

X

và cô"

đ ị n h V g X . Cho y e B ( x ,d ) ,d > 0 , t > 0, t a có

L ấy t ù y ý z &{ y , y + tv). Theo đ ị n h lý giá t r ị t r u n g b ì n h
cổ đ iể n k h i ỵ —>x, ¿ ị o , z —>x, t ừ h à m liê n tụ c f \ . ) t a suy
ra
/°(*,v) < ( / ’(*), v) .

Từ M ệ n h đề 1.11 <Ẹ&õf(x) k h i đó f ° ( x , v ) > ÌẶ ,v)

,v V G

X.


12

K ết hợp với t r ê n t a có (f'{ x ) ,v ^ Ị > ( ặ ,v ) ,\/v & X .
Ta k ế t l u ậ n õ f{ x ) - {/'G r)Ị. (Điều p h ả i c h ứ n g m inh).
Đ ịn h lý 1.15 (Mô h ì n h k h ô n g t r ơ n của qui tắ c F e r m a t ) .
Cho X l à k h ô n g g ia n B a n a c h và ọ ’- X
cho ọ là h ữ u h ạ n t ạ i

X.

là á n h xạ sao

N ế u X là cực t i ể u địa p h ư ơ n g của

ọ t h ì 0 G dqẨ.x).
Đ ịn h lý 1.16 (N g u y ê n lý b iế n p h â n E k e la n d )
Cho (x , d ) là k h ô n g g ia n m e tr ic đủ, (p: X

R u {+ooj là

h à m n ử a liê n tụ c dưới, bị c h ặ n dưới t r o n g X. K hi đó, n ế u X
thỏa mãn
qẨ,x) < inf qẴ.-y) + £

XeJỈ

(1-3)

với £ > 0 và n ế u Ẳ e R ,Ấ > 0 cho trước, t h ì tồ n t ạ i x e B

sao

cho
i) ọ(x) < ọ(x)
ii) d ( x , x ) < Ấ
iii) V ớ i

Vx

e

x \

| j s t | , ọ?(jsr) <

(p{x) + —d ( x , x )

.

Chứng m inh
T ro n g c h ứ n g m i n h n à y c h ú n g t a sẽ sử d ụ n g k iể u t h ứ tự
bộ p h ậ n do B i s h o p và P h e l p s đưa r a n ă m 1963. với mỗi
a > 0 , t a đ ịn h n g h ĩ a t h ứ tự “Gr1, ^ 1) ^ {x2, y 2) o y 2 - y 1 + a d ( x 1 +:r 2) < 0 .

T h ứ t ự % / l à p h ả n xạ, p h ả n x ứng và bắc cầu.

(1.4)


13

• Tín h p h ả n xạ:
H iể n n h i ê n t a có (x , ỳ ) < ( x , ỵ ) với mọi ( x , y ) ^ R .
• T ín h p h ả n x ứ n g :
Giả sử r ằ n g

và (x 2,]?2) ^ { x ^ y 1). Ta c ầ n

ch ứ n g tỏ r ằ n g { x ^ y 1) =(**,y 2) . Do (1.2),

(x1y ) < a{^,y2) « d{x^x2)^ y ~ y .
a
Theo giả t h i ế t ,
d^x1, x 2) ^ y ~ y v à d(x2, x 1')a
a
Suy r a

2d { x1, x 2) <

0 . Vì t h ế

(1-5)


X 1 = X2.

Từ (1.3) t a có y 1^ y 2 và y 2 > y 1. Do đó (x1, ^ ) - (X2, y 2).
• T ín h bắc cầu:
Giả sử r ằ n g { x ^ y 1) d tf.x * )

<

a

và d ( A ^ )

Suy r a
d i x ^ x 2) + d i x 2, Xs) < —— — .
a
Do d i x ^ x 9) < d{x1, x 2)+ d i x 2, Xs), n ê n t a có
d (xi y ) < ¿ Z L ¿ .
a
Từ đó suy r a ( x ^ y 1)
• K h ẳ n g đ ịn h 1

a


14

N ế u ( x 1, y 1)&Xx.R, t h ì Q := ị ( x , ỵ ) e X x B '

< (x , y )|


là t ậ p đóng.
T h ậ t vậy, giả sử dãy Ị(xfc,;y*)j d X x R t h ỏ a m ã n
w , f )
v à x k —»x , y k

<* = 2,3,4...)

y . Do (¡{x1,.sr*)< —— — với mọi k ^ N , n ê n
a

t a có d i x ^ x ) < y —
a

tức là ( x ^ ỵ 1)
ta

đã c h ứ n g m i n h n là t ậ p đóng.
• K h ẳ n g đ ịn h 2
Cho M c z X x R là t ậ p đóng sao cho t ồ n t ạ i ỵ > 0 để y > ỵ
với

mọi ( x , y ) e M .

Khi

đó,

với


mỗi

(x1,y1) ^ M t ồ n

tại

( x , ỵ ) ^ M s a o cho Csr1,y 1)
cực đ ại t r o n g M th e o t h ứ t ự “(Tức là, n ế u

( x , ỵ ) e M và

( x , y )

thì

(x , y )

=

G ,ỹ))
B ắ t đ ầ u t ừ ( / y ) e M ta xây d ựng d ã y
Giả sử

n h ư sau:

đã xác định. Đ ặ t
M t = { ( x ,ỵ ) e M : ( x k , y k) <, (x ,ỵ )} .


Theo K h ẳ n g đ ịn h 1, M k là t ậ p đóng. N goài r a ,

nên

M k ^ 0 .

Đ ặ t

Yk =

{ ỵ •3 x e X ,( x ,ỵ ) e M

k ^ị.




15

H iể n n h i ê n Ỵk >Ỵ và Ỵk < y k . Chọn {xk+1, y k+1) e M k sao
cho
yk+i < ỵk + y
z

(1 .6 )

(Nếu Ỵk = y k i h ì đ ặ t {xk+1, y k+1) = {xk , y k). Giả sử Ỵk < y k ,
do Yk - ^k+ y

, t ồ n t ạ i (jc, j ) e M sao cho Ỵk < y < ^k+ y


.

Đ ặ t (jfẲ+1, ^ +1) = { x , ỳ ) , t a t h ấ y r ằ n g (1.6) n g h iệ m đúng).
D ãy

là các t ậ p đóng lồng n h a u ; M k+1 c z M k với

mọi k & N .
( T h ậ t v ậ y Y í ế M { x , ỳ ) ^ M k+1i h ì { x k , y k)
do đó (jc,y)& M k).
Đ ặ t d ((x ,y ),{ x ',y ')) = d { x ,x ') + \ y - y ' \ . Với mọi k, t a có
,-k
Yk ^ yk+1 ^ y k+1 và \ỵi+1 - y È+1\ < ị \ ỵ k - ỵk <2 y 1- Ỵ ■

( T h ậ t vậy, do (1.6) t a có

Vì y k+1 - Ỵ k+1 > 0, t ừ đó suy r a
-k
y k+1- y k+i < ...< 2 y ^ - ỵ 1 <2~k ỵ ^ - ỵ ) .
Với mọi ( x , ỵ ) &M i+1ta có ^ +1- y < ^ +1- r * +1 < 2 - * y - r
Vì Cx-*+1,jr*+1) ^ a Gr,y), n ê n
0 < d { x k+\ x ) < y k+1- ỵ
a


16

Do đó
,k +1


0 < d ( x i+1, x ) < ^

a

a

Từ đó suy r a
ctiamMk+1 := supịùKOr,y ) , { x ' , ỳ )) : ( x , y ) e M k+\ ( x ' ,ỳ ) e M *+1Ị
k h i .¿-—>00. Vậy

0

là t ậ p đóng lồng n h a u , có đường k í n h

g iảm tới 0. Vì X * R là k h ô n g g ia n m e t r i c đủ, n ê n t ồ n t ạ i
duy n h ấ t p h ầ n t ử (X , y ) ^ x x R t h ỏ a m ã n
n

r)}.

Do { x , y ) & M 1, t a có { x ,y ) e i l í v à ( x 1, 3^ )
Giả sử ( x ,y ) e M t h ỏ a m ã n
(x >ỳ)

(1.7)

(x >y>-

Do (1.7) và do ( x , ỵ ) & M k với mọi k & N , t a có

( x k , y k)
Từ đó t a suy r a ( x , ỳ ) = ( x , ỳ ) . Ta đã c h ứ n g m i n h r ằ n g
Cxr,ỵ ) là p h ầ n cực đại tr o n g M. K h ẳ n g đ ịn h 2 đã được ch ứ n g
m in h .
Đ ặ t M - epi


.

Do h à m số ọ là n ử a liê n tụ c dưới, M là t ậ p đóng tr o n g
X x J Ỉ . T h ậ t vậy, t a sẽ c h ứ n g m i n h r ằ n g Q . ' - = ( X x I Ỉ ) \ M
là t ậ p mỏ.
Giả sử C s r ,j) s Q . Do { x , y ) ẹ Ẻ M , t a có ẹ{x)> y .


17

Lấy g e (o,
t ạ i lâ n cận mở

—^ ) . Vi

2
u

của

X

là nửa liên tục dưới tại


X,

tồn

sao cho

(fẨ.x) > (p{x)- £, y X e u .
Đ ặ t V = { y - s , y + è), t a có W'-=Uy.V là l â n c ậ n mở của
( x , ỵ ) và W(=Q. T h ậ t vậy, V ố i v ( x , ỵ ) e

w ta

có ẹ{x) > ẹ{x) - £.

N ếu (jc,j)eW, t h ì y > q>(x) > q>{x) - £. Do y ^ V , y < y + £, vì t h ế
y + £ > y > ( p { x ) - £ . Suy r a s >

f m â u t h u ẫ n vói cách

chọn e. Vậy { x ,ỳ ) Ể M .
Đ iều đó c h ứ n g tỏ r ằ n g w e Q . Vậy n là t ậ p mở, do đó
M là t ậ p đóng.
Ta côür,ç?Gr))e M . Đ ặ t ( x 1, y x) = {x ,ẹ { x )). Từ K h ẳ n g đ ịn h
2, tồ n t ạ i (x , y ) sao cho
( x \ ỵ L)

(1.8)

Và (x , y ) là p h ầ n t ử cực đ ại tr o n g M th e o t h ứ tự.
Đ ặ t a = — . Do (1.8),



ỵ - ỵ 1+ a d ( x , x ) < 0,
hay
ỵ-Ta có y = qẨx). T h ậ t vậy, giả sử y>(p{x).
K hi đó
2

(1-9)


18

Suy r a ( x , y )
Đ iề u đó c h ứ n g tỏ rằng(jc,y) k h ô n g t h ể là p h ầ n t ử cực
đại, vô lý. Vậy y = (p{x).

(1-10)

T h ế (1.10) vào (1.9), t a có
ọ{x) - (p{x) + a d { x ,x ) < 0.

(1-11)

Suy r a (p{x)-(p{x) < 0, tức là t í n h c h ấ t (i) t r o n g k ế t l u ậ n
c ủ a đ ịn h lý n g h i ệ m đúng. Do đó
ọ(x) < inf ọ(x) + £ < ọ(x) + £.
x íe X


Từ (1.9) t a có

ad(x,x ) < Do đó
d { x ,x ) < — = £ —.
a
s
Vậy t í n h c h ấ t (ii) n g h iệ m đúng. Để k iể m t r a t í n h c h ấ t
(iii), t a lấy t ù y ý A-eXXịA-Ị. N ế u ç{x) = +co t h ì b ấ t đ ẳ n g
th ứ c t r o n g (iii) là đúng.
Giả

sử

qẨ,x)^R,



(x,
k



{x,(p(x)) là p h ầ n tử cực đ ại tr o n g M, n ê n b ấ t đ ẳ n g th ứ c
(x,ẹ{x))
(p{x) - (p{x) + a d { x , x ) > 0,
hay
ọ(x) - ọ(x) + —d ( x , x ) > 0.


Vậy t í n h c h ấ t (iii) n g h iệ m đúng.


19

Chương 2
Tính chính qui khoảng cách
theo

nghĩa

Robinson và tính

chất Lipschitz kiểu Aubin
T ro n g chương này , c h ú n g t a kí h i ệ u X , Y , Z \ à các k h ô n g
g ia n B a n a c h th ực.
Đ ịn h n g h ĩ a 2.1
Cho QczX là t ậ p đóng, k h á c rỗng. Nón tiế p t u y ế n
C la r k e đối với Q t ạ i x e X , kí h i ệ u T(x,Ò ) được xác đ ịn h
bởi
T ( x , n ) = {.sr e X I a Ị ^ Ị c í Ị ỉ , ->

c (0,+co),^ -> 0,

3K) <=x ’vk -*■v’xt +ttvt s n’v iỉN ón p h á p t u y ế n C la r k e c ủ a Q t ạ i

X

, kí h i ệ u N(x,Q),


được đ ị n h n g h ĩ a bỏi công th ứ c
N ( x , Q) = Ịx*

G

X* I (x*,v) - 0,V f e TX^Q)!.

Đ in h n g h ĩ a 2.2
Cho F ' - X y . Y ^ ị z là á n h xạ đa t r ị giữa các k h ô n g g ia n
B a n a c h và b ấ t đ ẳ n g th ứ c suy rộ n g
0 & F (x,y).

(2.1)


20

H à m ẩ n đa t r ị G - Y =ÉXliên k ế t với (2.1) là á n h xạ đa
t r ị được xác đ ịn h bởi
G (ỵ) = { x s X - 0 s F (x ,ỵ ) } .

(2 .2 )

Đ ịn h n g h ĩ a 2.3
Cho Q là t ậ p con của k h ô n g g ia n m e tr ic X. K h o ả n g
cách t ừ « e X tới Q được đ ịn h n g h ĩ a bỏi
distiu, Q )

•= i n f


\\x -

w||

disli lịQ) = +OC n ế u Q = 0 .
Đ ịn h n g h ĩ a 2.4
a) Cho o : x ^ x F l à á n h xạ đa t r ị {x,y)& g p h o . ® được
gọi là có t í n h c h ấ t L i p s c h itz k iể u A u b in t r o n g l â n c ậ n

(x,y) với m o d u n 1 > 0 (ALlp) n ế u t ồ n t ạ i l â n c ậ n u c ủ a X
và l â n c ậ n V c ủ a y sao cho
O C s r ^ n F cz0(x2) + 7||x1 - xJ^BYy x 1, x 2 eZ7.
b) Cho F\ X x Y

z là á n h xạ đa t r ị giữa các k h ô n g

g ia n B a n a c h t h ỏ a m ã n công th ứ c (2.1) v à ơ: Y ^ X là h à m
ẩ n đa t r ị liê n k ế t với (2.1), cho wữ'-={xữ, y ữ,Ò) &g p h F . G được
gọi là c h í n h qui k h o ả n g cách th e o n g h ĩ a R o b in so n (R m r )
t r o n g l â n c ậ n c ủ a wữ với m o d u n c > 0 n g h ĩ a là
3 B 1(x0,ổ1),B2( ỵ 0,ỏ2),ỏ1,ổ2 > 0 ,ự > 0 , sao cho
distix,G(ỵ)) < c.distio,F{x,ỵ)),\/x
thỏa m ãn
distiữ, F(x, ỵ ) ) <

JU .

G

Bx, y


G

B2

(2 .3 )


×