YOMEDIA
ADSENSE
Tính liên tục của hàm vector C - lồi trong không gian tôpô tuyến tính lồi địa phương Hausdorff
44
lượt xem 1
download
lượt xem 1
download
Download
Vui lòng tải xuống để xem tài liệu đầy đủ
Mục đích của bài báo này là nghiên cứu một số tính chất của hàm vector C liên tục trong không gian tôpô tuyến tính lồi địa phương Hausdorff và đưa ra một số điều kiện cần cho hàm vector C-lồi f, liên tục trên phần trong của miền xác định D của nó.
AMBIENT/
Chủ đề:
Bình luận(0) Đăng nhập để gửi bình luận!
Nội dung Text: Tính liên tục của hàm vector C - lồi trong không gian tôpô tuyến tính lồi địa phương Hausdorff
TÍNH LIÊN TỤC CỦA HÀM VECTOR C – LỒI TRONG<br />
KHÔNG GIAN TÔPÔ TUYẾN TÍNH LỒI ĐỊA PHƯƠNG<br />
HAUSDORFF<br />
Trần Văn Sự 1<br />
Tóm tắt: Mục đích của bài báo này là nghiên cứu một số tính chất của hàm vector Cliên tục trong không gian tôpô tuyến tính lồi địa phương Hausdorff và đưa ra một số<br />
điều kiện cần cho hàm vector C-lồi f, liên tục trên phần trong của miền xác định D của<br />
nó.<br />
<br />
Cho X, Y là các không gian tôpô tuyến tính lồi địa phương Hausdorff, D ⊆ X là<br />
tập con khác rỗng trong X, C ⊆ Y là nón trong Y, C = { tc | c∈C, t ≥ 0}. Cho<br />
hàm vector<br />
f : D → Y.<br />
<br />
Chúng ta nhắc lại một số định nghĩa cần thiết sau:<br />
i. Hàm vector f được gọi là C-u.s.c tại x0 ∈ D nếu với mọi W là lân cận của gốc<br />
trong Y, tồn tại U là lân cận của x0 trong D sao cho<br />
<br />
f (U ) ⊆ f ( x0 ) + W − C .<br />
ii. Hàm vector f được gọi là C-l.s.c tại x0 ∈ D nếu với mọi W là lân cận của gốc<br />
trong Y, tồn tại U là lân cận của điểm x0 trong D sao cho<br />
<br />
f (U ) ⊆ f ( x0 ) + W+C.<br />
iii. Hàm vector f được gọi là C-u.s.c (t.ư C-l.s.c) nếu f là C-u.s.c (t.ư C-l.s.c) tại<br />
mọi điểm x0 ∈ D.<br />
iv. Hàm vector f được gọi là C-lồi nếu với mọi<br />
thì<br />
<br />
x, y ∈ D, t ∈ [0,1]<br />
<br />
f (tx + (1 − t ) y) ∈ tf ( x) + (1 − t ) f ( y) − C.<br />
<br />
Trên đồ thị của f được ký hiệu bởi epif và được định nghĩa như sau<br />
<br />
epif ={(x, y) ∈ D × Y : f ( x)∈ y − C}.<br />
Tập mức của f được kí hiệu bởi Levαf với α ∈ Y , được định nghĩa như sau<br />
<br />
Levα f ={x∈ D | f(x)∈ α - C}.<br />
<br />
1<br />
<br />
ThS, Khoa Toán, trường Đại học Quảng Nam<br />
<br />
TRẦN VĂN SỰ<br />
Các quan hệ trên nón : ∀ x, y ∈ X , x f y ⇔ x − y ∈C. Nếu thêm intC không<br />
rỗng thì ∀ x, y ∈ X , x ff y ⇔ x − y ∈ int C.<br />
Cho B<br />
<br />
⊆<br />
<br />
Y. Ta nói rằng B là cơ sở của nón C nếu các điều kiện sau cùng thoả<br />
<br />
mãn:<br />
i)<br />
<br />
C = cone( B) := {tb: b ∈ B, t ≥ 0} ,<br />
<br />
ii) B không chứa điểm gốc O,<br />
iii) Với mỗi c ∈ C , c ≠ 0, đều tồn tại duy nhất b ∈ B, t > 0, sao cho<br />
c = tb.<br />
Tập B như trên còn được gọi là cơ sở của nón C.<br />
Các kết quả được sử dụng để chứng minh các kết quả trong bài báo này được giới<br />
thiệu bởi Đinh Thế Lục [1].<br />
Bổ đề 1. [1] Cho B<br />
Khi đó<br />
<br />
⊆<br />
<br />
Y là tập con của Y, C<br />
<br />
⊆ Y là nón trong Y, vectơ y ∈ B .<br />
<br />
y ∈ IMin( B | C ) ⇔ B ⊆ y + C.<br />
Bổ đề 2. [1] Nếu nón C có cơ sở lồi đóng và giới nội trong Y thì C là nón đóng<br />
và nhọn.<br />
Bổ đề 3. [1] Giả sử nón C có cơ sở lồi đóng và giới nội trong Y thì với mọi W là<br />
lân cận của gốc trong Y, tồn tại V là lân cận của gốc sao cho<br />
<br />
(V − C ) ∩ (V + C ) ⊆ W.<br />
Bổ đề 4. [1] Giả sử C là nón lồi trong Y, khi đó<br />
<br />
C + C ⊆ C , tC ⊆ C (∀ t ≥ 0), − C − int C ⊆ − int C ⊆ −C.<br />
Sau đây chúng tôi giới thiệu một số kết quả mới để khảo sát tính liên tục của hàm<br />
vector C-lồi và một số tính chất cơ bản của hàm vector C-u.s.c và C-l.s.c. Các kết quả<br />
chính trong bài báo này được thể hiện qua các định lí cơ bản như sau:<br />
Định lí 1. Cho C ⊆ R m nón lồi có cơ sở lồi đóng giới nội, int C ≠ φ , D là tập con<br />
lồi chứa trong không gian tôpô tuyến tính lồi địa phương Hausdorff X với<br />
int D ≠ φ , hàm vector f : D → R m là C-lồi với không gian R m được sắp thứ tự bởi<br />
nón C. Khi đó các điều kiện sau là tương đương:<br />
<br />
i. f là (-C)-bị chặn trong một lân cận nào đó của một điểm x0 nào đó thuộc intD.<br />
ii. f liên tục tại một điểm x0 nào đó thuộc intD.<br />
iii. Trên đồ thị của f có phần trong khác rỗng, nghĩa là int(epi f ) ≠ φ .<br />
iv. f liên tục trên phần trong của D.<br />
<br />
102<br />
<br />
TÍNH LIÊN TỤC CỦA HÀM VECTOR C – LỒI TRONG KHÔNG GIAN …<br />
Chứng minh:<br />
<br />
i ⇒ ii : Giả sử có i, lấy x0 ∈ int D, gọi U là một lân cận nào đó của điểm x0<br />
chứa trong D. Theo định nghĩa C-bị chặn, với mọi W là lân cận của gốc trong không<br />
gian R m tồn tại số thực t>0 sao cho<br />
f (U ) ⊆ tW − C.<br />
<br />
(1)<br />
<br />
Không làm mất tính tổng quát của bài toán, chúng ta có thể xem<br />
x0 = 0, f (0) = 0, bởi vì, nếu x0 ≠ 0 thì chúng ta thay U bởi U − x0 , còn nếu f (0) ≠ 0<br />
chúng ta thay f(x) bởi f ( x + x0 ) − f ( x0 ) . Vì nón C có cơ sở lồi đóng giới nội nên tồn<br />
tại một lân cận cân đối V của gốc sao cho:<br />
(V + C ) ∩ (V − C ) ⊆ W .<br />
<br />
(2)<br />
<br />
⎧ε ≤t<br />
Tiếp theo chọn ε > 0 tuỳ ý sao cho ⎨<br />
.<br />
⎩ ± εW ⊆ V<br />
<br />
⎛ε<br />
⎜<br />
⎝t<br />
<br />
⎞<br />
⎛ ε<br />
⎟U ∩ ⎜ −<br />
⎠<br />
⎝ t<br />
<br />
⎞<br />
⎟ U là lân cận cân đối của gốc và ta gọi là U ε . Chúng ta<br />
⎠<br />
⎛ t⎞<br />
nhận thấy rằng nếu x ∈U ε thì ⎜ ± ⎟ x ∈ U . Như vậy với mỗi x ∈U ε ta có:<br />
⎝ ε⎠<br />
Ta có<br />
<br />
ε t<br />
ε<br />
⎧<br />
⎪ f ( x) p t f ( ε x) + (1 − t ) f (0)<br />
⎪<br />
⎪<br />
ε<br />
⎨<br />
1<br />
t<br />
⎪ f (0) p<br />
f ( x) + t f (− x)<br />
ε<br />
ε<br />
⎪<br />
ε<br />
1+<br />
1+<br />
⎪⎩<br />
t<br />
t<br />
<br />
(3)<br />
<br />
Để kiểm tra kết quả (3) trên chúng ta dễ dàng thấy rằng:<br />
<br />
ε<br />
<br />
x=<br />
<br />
ε t<br />
ε<br />
1<br />
t<br />
( x) + (1 − )0 ∈ D, 0 =<br />
x + t ( − x ) ∈ D,<br />
ε<br />
ε ε<br />
t ε<br />
t<br />
1+<br />
1+<br />
t<br />
<br />
t<br />
<br />
và vận dụng giả thiết f là hàm vector C-lồi.<br />
Hệ quả, từ (3) suy ra<br />
f ( x) ∈<br />
và<br />
<br />
f ( x) ∈ C −<br />
<br />
ε<br />
<br />
⎛ ε<br />
f (U ) + ⎜ 1 −<br />
t<br />
⎝ t<br />
<br />
⎞<br />
⎟0 −C<br />
⎠<br />
<br />
ε<br />
<br />
⎛ ε⎞<br />
f (U ) + ⎜1 + ⎟ f (0) .<br />
t<br />
⎝ t⎠<br />
<br />
103<br />
<br />
TRẦN VĂN SỰ<br />
Điều trên kết hợp với (1) ta được<br />
<br />
ε<br />
⎛ε<br />
⎞ ⎛<br />
⎞<br />
f ( x ) ∈ ⎜ ( tW − C ) − C ⎟ ∩ ⎜ C − ( tW − C ) ⎟<br />
t<br />
⎝t<br />
⎠ ⎝<br />
⎠<br />
⎛<br />
⎞ ⎛ ⎛ε ⎞<br />
⎞<br />
⎛ε ⎞<br />
⊆ ⎜ε W − ⎜ ⎟C − C ⎟ ∩ ⎜ ⎜ ⎟C + C − ε W ⎟<br />
⎝t⎠<br />
⎝<br />
⎠ ⎝⎝t⎠<br />
⎠<br />
⊆ (ε W − C − C ) ∩ ( C + C − ε W )<br />
⊆ (ε W − ( C + C ) ) ∩ ( ( C + C ) − ε W )<br />
⊆ ( ε W − C ) ∩ ( C + ( −ε W ) )<br />
⊆ (V − C ) ∩ (C + V )<br />
<br />
⎛ε ⎞<br />
(vì ⎜ ⎟ C = C , C + C ⊆ C )<br />
⎝t⎠<br />
( vì − ε W ⊆ V )<br />
<br />
= (V + C ) ∩ (V − C ).<br />
<br />
Hệ quả: Với mọi x ∈U ε ta có<br />
<br />
f ( x)∈ (V − C ) ∩ (V + C ).<br />
<br />
(4)<br />
<br />
Kết hợp (4) với (2) chúng ta thu được một kết quả như sau:<br />
f (U ε ) ⊆ W .<br />
<br />
Hay, hàm vectơ f liên tục tại điểm x0 = 0.<br />
ii ⇒ iii : Lấy x0 ∈ int D và giả sử f liên tục tại x0 . Ta có f cũng là C-u.s.c tại x0 .<br />
<br />
Áp dụng định nghĩa C-u.s.c gọi W là lân cận lồi tuỳ ý của gốc trong không gian R m sao<br />
cho:<br />
f (U ) ⊆ ( f ( x0 ) + W ) − C<br />
<br />
(5)<br />
<br />
Với U là một lân cận nào đó của x0 trong D. Chọn t > 0 sao cho<br />
dụng tính chất lồi của W suy ra tW + W ⊆ (1 + t ) W . Áp dụng (5) ta có:<br />
<br />
f ( x0 )<br />
∈ W . Áp<br />
t<br />
<br />
f (U ) ⊆ (tW + W ) − C ⊆ (1 + t )W − C.<br />
<br />
Vậy f là (-C)-bị chặn trong một lân cận U của điểm x0 ∈ int D.<br />
iii ⇒ iv : Giả sử int(epif ) ≠ φ . Xét cặp ( x, α )∈ int(epi f ) , tồn tại cặp (U, V)<br />
là lân cận của ( x, α ) sao cho (U , V ) ⊆ epi f suy ra (U , α ) ⊆ epi f hay<br />
f (U ) ⊆ α − C. Bây giờ chúng ta chọn số thực t>0 sao cho với mọi W là lân cận của gốc<br />
<br />
trong không gian R m ta có<br />
<br />
104<br />
<br />
α<br />
t<br />
<br />
∈ W nghĩa là α ∈ tW .<br />
<br />
TÍNH LIÊN TỤC CỦA HÀM VECTOR C – LỒI TRONG KHÔNG GIAN …<br />
Vậy f (U ) ⊆ tW − C. Ta kết luận f là (-C)-bị chặn trong lân cận U của x với<br />
x ∈int D.<br />
Tiếp theo chứng minh khẳng định sau:<br />
int D = { x ∈ D | ∃ α ∈ R m , ( x, α ) ∈ int (epi f )}. (6)<br />
Với mỗi x ∈ int D, c ∈int C , đặt y = f(x) + c ta có<br />
( x, y ) ∈ int(epi f ). Từ đó chúng ta có bao hàm thức<br />
<br />
f ( x) = y − c ∈ y − int C hay<br />
<br />
int D ⊆ { x ∈ D | ∃ α ∈ R m , ( x, α ) ∈ int (epi f )}.<br />
Ngược lại giả sử x thuộc vào vế phải của (6), khi đó có cặp<br />
( x, α ) ∈ int (epi f ), α ∈ R m . Vì int(epi f) là tập mở trong không gian tích nên tồn tại U<br />
là lân cận mở của x trong D sao cho (U , α ) ⊆ int(epi f ) và do đó U ⊆ int D suy ra<br />
x ∈int D. Vậy có bao hàm thức<br />
{ x ∈ D | ∃ α ∈ R m , ( x, α ) ∈ int (epi f )} ⊆ int D.<br />
Vậy khẳng định (6) đúng.<br />
Bây giờ dựa vào chứng minh trên chúng ta dễ dàng nhận thấy rằng nếu x ∈ int D<br />
thì f là (-C)-bị chặn trong một lân cận U nào đó của x trong intD và theo i ⇒ ii ta khẳng<br />
định f liên tục tại x. Vậy f liên tục trên intD.<br />
<br />
iv ⇒ ii : Khẳng định này là hiển nhiên.<br />
i ⇒ iii : Giả sử f là (-C)-bị chặn trong một lân cận mở U nào đó của điểm<br />
x0 ∈ int( D) nào đó trong D. Theo định nghĩa với mọi W là lân cận của gốc trong không<br />
gian R m đều tồn tại số thực t>0 sao cho:<br />
<br />
f (U ) ⊆ tW − C.<br />
Chọn vector α ∈tW sao cho f (U ) ⊆ α − C.<br />
Đặt V = { ( x, α 0 ) ∈ D × R m : x ∈ U , α 0 ff α } .<br />
<br />
Ta chứng minh V ≠ φ : Vì int C ≠ φ nên tồn tại vector t ∈int C và z ff α , suy<br />
ra ( x0 , z ) ∈ V hay V ≠ φ .<br />
Chứng minh V mở: Do U mở và intC mở nên V mở.<br />
Chứng minh V ⊆ epi f : Với mọi cặp ( x, z )∈V ta có<br />
x ∈ U , f ( x) ∈ α − C. Suy ra:<br />
<br />
f ( x) − z = f ( x) − α + α − z ∈ − C − int C = − int C<br />
Do intC nón lồi. Do đó ( x, z )∈epi f , hay V ⊆ int(epi f ) ⇒ int(epi f ) ≠ φ .<br />
(Định lí được chứng minh)<br />
105<br />
<br />
ADSENSE
CÓ THỂ BẠN MUỐN DOWNLOAD
Thêm tài liệu vào bộ sưu tập có sẵn:
Báo xấu
LAVA
AANETWORK
TRỢ GIÚP
HỖ TRỢ KHÁCH HÀNG
Chịu trách nhiệm nội dung:
Nguyễn Công Hà - Giám đốc Công ty TNHH TÀI LIỆU TRỰC TUYẾN VI NA
LIÊN HỆ
Địa chỉ: P402, 54A Nơ Trang Long, Phường 14, Q.Bình Thạnh, TP.HCM
Hotline: 093 303 0098
Email: support@tailieu.vn