Professional Documents
Culture Documents
Chng 1
(1.0.1)
x C, x C = x = 0X .
(1.0.2)
b) Nn C c gi l nhn nu
V d 1.0.2.
a) Tp hp
C :=
n
o
p
x, y, x2 + y 2 | (x, y) R2
l nn nhn trong R3 .
b) Mt khng gian vector con M bt k ca X u l nn.
c) Tp hp
C := x C [0, 1] | x (t) 0 vi mi t [0, 1]
l nn nhn trong C [0, 1].
Trong l thuyt ti u, nn li c mt s tnh cht c bit. c im ca n ta s thy r qua nh
l sau
nh l 1.0.3. Nn C trong khng gian vector l li nu v ch nu vi mi x, y C th x + y C.
Chng minh.
Nu C li th vi mi x, y C, ta c
1
1
x + y C,
2
2
3
suy ra
2
1
1
x+ y
2
2
= x + y C.
Nhn xt 1.0.4. Qua nhng nh ngha v nh l trn, ta thy c s lin h gia khng gian vector
v nn nh sau.
khng gian vector nn li nn.
Tip theo, cng nh khng gian vector, ta s nh ngha nn sinh bi tp hp.
nh ngha 1.0.5. Cho S l tp khc rng ca khng gian vector X. Tp hp
cone (S) := s | 0 v s S ,
(1.0.3)
c gi l nn sinh bi S.
Nhn xt 1.0.6. T nh ngha trn ta d dng thy nu S1 S2 th cone (S1 ) cone (S2 ) v nu C l
nn th C = cone (C).
V d 1.0.7.
a) Cho B 0 (0, 1) l qu cu ng trong khng gian nh chun (X, k.kX ), khi hnh nn sinh bi
0
x sin 1
x
f (x) =
0
vi x 6= 0,
vi x = 0.
x = s,
y
1
= s sin .
s
s c nghim
(s, ) =
1
arcsin
|y|
|x|
, x arcsin
|y|
,
|x|
(1.0.4)
h = lim n (xn x) .
(1.0.5)
v
n
1
f 0 (x)
1
lim n . ,
n
1
= lim n . f x +
f (x) .
n
n
Nhn xt 1.0.11. Cho x thuc bao ng ca S khc rng trong khng gian nh chun (X, k.kX ).
a) Tp hp
TCl (S, x)
:=
h X | vi mi {xn } S tha xn x v vi mi R+ {n } 0,
tn ti {hn } hn h v xn + n hn S vi mi n N .
Vy h TCl (S, x) .
c) Nu x S th nn tip tuyn Clarke TCl (S, x) s cha trong contingent cone T (S, x). Ta chng
minh iu ny nh sau:
Cho h TCl (S, x), ta chn dy {xn } tha xn = x S v dy {n } R+ bt k hi t v 0. Khi ,
c {hn } tha hn h khi n v x + n hn S vi mi n. Khi , t
yn := x + n hn ,
v
tn :=
1
,
n
n N,
n N,
th ta c yn S vi mi n v yn x khi n . Hn na,
lim tn (yn x) = lim
1
(x + n hn x) = lim hn = h.
n
n
1
1
1
(x x) = x + 1 x ,
n
n
n
n N.
v
lim n (xn x) = x x.
v
h = lim n (xn x) .
n
v
hn = lim ni (xni x) .
i
Dn n vi mi n N, c i (n) N
kxni xk
1
,
n
v
kni (xni x) hn k
i i (n) ,
1
,
n
i i (n) .
n N,
tn := ni(n) > 0,
n N,
th ta c lim yn = x v
n
1
ktn (yn x) hk =
ni(n) xni(n) x hn + hn h
+ khn hk .
n
Suy ra
h = lim tn (yn x) .
n
v
x = lim yn , h2 = lim n (yn x) .
n
n N,
1
(n xn + n yn ) ,
n
n N.
n
n
xn +
yn S,
n + n
n + n
n N.
T , dn n
1
(n xn + n yn )
n n
1
= lim
(n xn n x + n yn n x + n x + n x)
n n
n
n
= lim
(xn x) +
(yn x) + x ,
n n
n
lim zn = lim
v
lim n (zn x) = lim (n xn + n yn n x)
= h1 + h2 .
Vy h1 + h2 T (S, x) , ta li c T (S, x) l nn, t nh l 1.0.3 ta suy ra T (S, x) l li.
Chng 2
BI TP
Bi 1. Cho C l nn li trong (X, k.kX ) v int (C) 6= . Chng minh
int (C) = int (C) + C.
Chng minh. Hin nhin int (C) int (C) + C v 0 C. Ta s chng minh int (C) + C int (C). Tht
vy, cho x int (C), khi c r > 0 B (x, r) C hay ni cch khc, vi mi x tha kx xk r th
x C. Dn n vi mi y C v vi mi z X tha
kx + y zk = kx (z y)k r,
th z y C. Hn na C l nn li, p dng nh l 1.0.3 ta c
z = (z y) + y C.
Vy B (x + y, r) C nn x + y int (C). Vy int (C) + C int (C).
f (a + b) f (a) + f (a)
.
f (ta)
= tf (a)
Hin nhin E (f ) l nn do nu (x, ) E (f ) th f (x) , dn n vi t > 0 th
f (tx) = tf (x) t.
Suy ra
t (x, ) = (tx, t) E (f ) .
9
10
CHNG 2. BI TP
Ta s chng minh E (f ) l tp li. Tht vy, cho (x, ) v (y, ) thuc E (f ), khi
f (x)
.
f (y)
Suy ra, vi mi t [0, 1] th
f (tx + (1 t) y) f (tx) + f ((1 t) y)
= tf (x) + (1 t) f (y)
t + (1 t) .
Dn n (tx + (1 t) y, t + (1 t) ) E (f ). Vy ta chng minh xong chiu thun.
o li, cho E (f ) l nn li, ta s chng minh f l di tuyn tnh. Tht vy, v (a, f (a)) E (f )
vi mi a X v do E (f ) l nn nn vi mi t R+ th
t (a, f (a)) = (ta, tf (a)) E (f ) ,
tc l f (ta) tf (a). Tng t, ta c (ta, f (ta)) E (f ), suy ra
1
(ta, f (ta)) =
t
dn n f (a)
1
a, f (ta) E (f ) ,
t
1
f (ta), ngha l tf (a) f (ta). Vy
t
tf (a) = f (ta)
a X, t R+ .
Bi 3. Cho S l tp li khc trng ca (X, k.kX ). Chng minh cone (S) l li.
Chng minh. Cho a, b l hai phn t bt k trong cone (S), ta s chng minh a + b cone (S). Tht vy,
c x, y S v , R+ sao cho a = x v b = y. Khi v S li nn
x+
y=
+
+
1
x+
yS
+
suy ra
a+b =
=
x + y
( + )
x+
y
+
+
cone (S) .
11
1
.h
n