Định lý tách và một số ứng dụng

ĐẠI HỌC QUỐC GIA HÀ NỘI
TRƯỜNG ĐẠI HỌC KHOA HỌC TỰ NHIÊN
-------------------

TRỊNH HỮU TRANG

ĐỊNH LÝ TÁCH VÀ MỘT SỐ ỨNG DỤNG

LUẬN VĂN THẠC SĨ KHOA HỌC

Hà Nội – Năm 2012


ĐẠI HỌC QUỐC GIA HÀ NỘI
TRƯỜNG ĐẠI HỌC KHOA HỌC TỰ NHIÊN
-------------------

TRỊNH HỮU TRANG

ĐỊNH LÝ TÁCH VÀ MỘT SỐ ỨNG DỤNG
Chuyên ngành: TOÁN GIẢI TÍCH
Mã số:

LUẬN VĂN THẠC SĨ KHOA HỌC

NGƯỜI HƯỚNG DẪN KHOA HỌC:
GS.TSKH. LÊ DŨNG MƯU

Hà Nội – Năm 2012.

MỤC LỤC

Mở đầu

Chương 1. Các khái niệm cơ bản
1.1. Tập lồi…………………………………………………………….. 4
1.1.1
1.1.2
1.1.3 Nón lồi………………………………………… …….….. 11
1.2. Hàm lồi…………………………………………………….……. . 15
Chương

2. Định lý tách các tập lồ

2.1. Định lý tách 1…………………………………………………..… 21
2.2. Định lý tách 2………………………………………………… ….. 26
Chương

3. Một số ứng dụng của đ

3.1. Điều kiện tối ưu…………………….………………………………32
3.2. Hệ bất đẳng thức lồi…………………………………………...….. 36
3.3. Xấp xỉ tuyến tính của hàm lồi………………..……………………..41
3.4. Sự tồn tại dưới vi phân của hàm lồi……………………………..…43
3.5. Ứng dụng trong phép vô hướng hóa bài toán véctơ…….…………46
Kết luận
Tài liệu tham khảo

1

MỞ ĐẦU

Giải tích lồi là một bộ môn cơ bản của giải tích hiện đại, nghiên cứu về tập lồi
và hàm lồi cùng những vấn đề liên quan. Bộ môn này có vai trò quan trọng trong
nhiều lĩnh vực khác nhau của toán học ứng dụng, đặt biệt là trong tối ưu hóa, bất
đẳng thức biến phân, các bài toán cân bằng.
Một trong những vấn đề trung tâm của giải tích lồi là các định lý tách. Về bản
chất, định lý tách trả lời câu hỏi rằng một phần tử có thuộc một tập lồi hay không, và
nếu không thuộc thì nó sẽ mang tính chất gì? Đây là câu hỏi về liên thuộc, một vấn đề
cơ bản của toán học. Ta có thể hình dung tập lồi đó là tập hợp nghiệm của một hệ
phương trình đại số, hay vi, tích phân, tập các điểm bất động của một ánh xạ, hay là
tập nghiệm của một bài toán tối ưu,…Dĩ nhiên nếu câu trả lời là có, thì vấn đề liên
thuộc đã được giải quyết. Trái lại, nếu câu trả lời là không, thì sẽ xảy ra điều gì? Điều
này giải thích vì sao các định lý tách thuộc loại các định lý chọn và là công cụ rất
mạnh, thường được dùng để chứng minh sự tồn tại của một đối tượng trong nhiều vấn
đề thuộc những lĩnh vực khác nhau.
Trong luận văn này, tác giả tập trung vào việc trình bày hai định lý tách và
những ứng dụng quan trọng.
Luận văn được chia làm ba chương:
Chương 1: Trình bày một số kiến thức cơ sở của tập lồi và hàm lồi. Chúng là
những công cụ cơ bản nhất cho những nghiên cứu được trình bày trong luận văn.
Chương 2: Là phần chính của luận văn, trong chương này tác giả trình bày nội
dung hai định lý tách và hệ quả (Bổ đề Farkas).
Chương 3: Trình bày các ứng dụng của hai định lý tách để: Chứng minh các
điều kiện tối ưu, giải hệ bất đẳng thức lồi, xấp xỉ tuyến tính hàm lồi bởi các hàm non
a-phin của nó, chứng minh sự tồn tại dưới vi phân của hàm lồi, vô hướng hóa bài toán
tối ưu véc tơ.

2

Luận văn được hoàn thành dưới sự hướng dẫn khoa học của GS.TSKH Lê
Dũng Mưu, Viện Toán học, người thầy đã tận tình hướng dẫn, giúp đỡ tác giả trong
suốt quá trình hoàn thành bản luận văn này. Tác giả xin bày tỏ lòng biết ơn chân
thành và kính trọng sâu sắc đối với Giáo sư.
Tác giả xin bày tỏ lòng cảm ơn tới các thầy cô giáo trường Đại học Khoa học
Tự nhiên, Đại học Quốc gia Hà Nội về những ý kiến đóng góp quý báu, sự giúp đỡ
tận tình và sự cổ vũ hết sức to lớn trong suốt thời gian qua.
Tác giả xin chân thành cảm ơn Ban giám hiệu, phòng sau Đại học, khoa Toán
– Cơ – Tin học trường Đại học Khoa học Tự nhiên, Đại học Quốc gia Hà Nội đã tạo
điều kiện thuận lợi cho tác giả trong suốt quá trình học tập tại trường.
Bản luận văn được hoàn thành trong quá trình con gái của tác giả trào đời,
được sự ủng hộ về mặt tinh thần từ hai mẹ con. Kết quả của luận văn chính là món
quà mà tác giả giành tặng cho hai mẹ con.

3


Chương 1

CÁC KHÁI NIỆM CƠ BẢN

Trong chương này, chúng tôi trình bày những khái niệm cơ bản trong giải tích
lồi cùng với những tính chất đặc trưng của nó như: tập lồi, tập a-phin, nón nồi, hàm
lồi…
1.1. Tập lồi
Những tập hợp quen thuộc mà chúng ta đã biết như không gian con, siêu
phẳng, … đều là tập lồi. Khái niệm về tập lồi có một vai trò quan trọng trong giải tích
lồi. Trong phần này chúng tôi trình bày định nghĩa, tính chất của tập lồi, tập a-phin,

tập lồi đa diện, nón lồi.
1.1.1 Tổ hợp lồi.
Định nghĩa 1.1
Một đường thẳng nối hai điểm (véc tơ) a và b trong Rn là tập hợp tất cả các
điểm (véc tơ) x Rn có dạng
x Rn | x (1 ) a b , R .

Một đoạn thẳng nối hai điểm (véc tơ) a và b trong Rn là tập hợp tất cả các
điểm (véc tơ) x Rn có dạng
x

R n | x (1

)a

b,0

1.

Định nghĩa 1.2
Một tập C Rn được gọi là một tập lồi nếu C chứa mọi đoạn thẳng đi qua hai
điểm bất kỳ của nó. Tức là C lồi khi và chỉ khi
x,y

Ta nói véc tơ x

C,

0;1

(1

)x

y C.

Rn gọi là tổ hợp lồi của các véc tơ x1 , x 2 ,..., x m Rn nếu

4


m

x

m

ix

i

,i 0i

i1

1,2,..., m,

i

1.

i1

Mệnh đề 1.1 [xem [2], mệnh đề 1.1)
Một tập con của Rn là tập lồi khi và chỉ khi nó chứa mọi tổ hợp lồi của các
điểm của nó. Tức là C lồi khi và chỉ khi:
k

k

N,

1 , ..., k

0:

k

j

1, x1,..., x k C

jx

j1

j

C.

j1

Chứng minh
Điều kiện đủ: Suy ra từ định nghĩa tập lồi ứng với k

2.

Điều kiện cần: Ta chứng minh bằng quy nạp theo số điểm.
Với k 2 , điều kiện cần chứng minh suy ra ngay từ định nghĩa của tập lồi và tổ
hợp lồi.
Giả sử mệnh đề đúng với k 1 điểm, ta cần chứng minh mệnh đề đúng với k điểm.
Thật vậy, nếu x là tổ hợp lồi của k điểm x1 ,..., x k

Giả sử

C . Tức là

k

k1

Do
j1

Ta có x

y

k
kx

.

j

1 và


5


k

Do

0,

k

0 và

k

1

j
j

1

nên x là một tổ hợp lồi của hai điểm y và xk đều thuộc C .
Vậy x

C.

Từ định nghĩa của tập lồi ta suy ra lớp các tập lồi là đóng với phép giao, phép
cộng đại số và phép nhân tích Decastes.
Mệnh đề 1.2 (xem [2], mệnh đề 1.2)
Nếu A, B là các tập lồi trong Rn , C là lồi trong Rm , thì các tập sau là lồi:
A

B:

x|x

A, x B ,

A B : x | x a b , a A, b B , , R ,

A C:

x Rm n|x

a,c:a

A, c

C.

1.1.2 Tập a-phin, tập lồi đa diện.

Trong giải tích cổ điển, ta đã làm quen với các không gian con, các siêu
phẳng. Đó là các trường hợp riêng của tập a-phin (đa tạp a-phin) được định nghĩa như
sau:
Định nghĩa 1.3
Một tập C được gọi là tập a-phin nếu nó chứa mọi đường thẳng đi qua hai
điểm bất kỳ của nó, tức là
x,y

C,

R

(1

)x

y C.

Nhận xét 1.1
a) Mọi tập affin (bao gồm cả tập và Rn ) đều là tập lồi.
b) Mọi siêu phẳng trong Rn đều là tập a-phin.
Mệnh đề dưới đây cho ta thấy tập a-phin chính là ảnh tịnh tiến của một không
gian con.

6


Mệnh đề 1.3 (xem [2], mệnh đề 1.3)
Tập M là tập a-phin khi và chỉ khi nó có dạng M L a với L là một không gian
con và a M . Không gian con này được xác định duy nhất.

Chứng minh
Điều kiện cần: Giả sử M là tập a-phin và a
Khi đó L
Vậy M

a chứa 0 và là tập a-phin. Do đó, L là một không gian con.

M
L a

Điều kiện đủ: Nếu M
x,y

M,

L a với a

M , L là một không gian con thì

R , ta có:
1

Do x

M.

x

y

a

1

y a.

x a

a , y a L và L là một không gian con nên
1

x a
1

y a
x

y

L.

M.

Vậy M là tập a-phin.
Không gian con L là duy nhất. Thật vậy, nếu M L a và M L ' a ' , trong đó L, L '
là những không gian con và a , a ' M thì
L' M a

Do a ' M

L a a ' L ' ( a a ') .
a

L , nên a ' a

L.

L ' L ( a a ') L .

Không gian con L trong mệnh đề trên được gọi là không gian con song song
với tập a-phin M .
Định nghĩa 1.4.
Thứ nguyên (hay chiều) của một tập a-phin M được định nghĩa bởi thứ

7


nguyên của không gian con song song với M và được ký hiệu là dim M .
Điểm a Rn là tập a-phin có số chiều bằng 0 bởi vì không gian con song song
với M a là L 0 .
Mệnh đề 1.4 (xem [2], mệnh đề 1.4)
Rn có số chiều r đều có dạng

Bất kỳ một tập a-phin M

M x R n | Ax b ,

Trong đó: A là ma trận cấp m

n , b Rm , và rankA

n r.

Ngược lại, mọi tập hợp có dạng (1.1) với rankA n r đều là tập a-phin có số chiều là r .

Chứng minh
Điều kiện cần: Giả sử M là tập a-phin có số chiều là r và M L a với a M . Vậy L
M a là không gian con có số chiều là r .

Theo đại số tuyến tính không gian con r - chiều này có dạng L
Trong đó, A là ma trận cấp m n và rankA
Từ M

0

n r.

L a suy ra
M

x|Ax

a

0

x | Ax

Aa

x | Ax

Điều kiện đủ: Nếu M được cho bởi (1.1) với a
M

với L

x | Ax

x | Ax

Do rankA
Vậy dim M

x|Ax

a

0

b.

M , ta có Aa

a L,

0

n r nên L là không gian con có số chiều r .

r

Định nghĩa 1.5
Siêu phẳng trong không gian Rn là tập hợp các điểm có dạng

8

b , do đó


Rn| a,x

x

trong đó: a

Rn\0,

,

R.

Véc tơ a ở trên được gọi là véc tơ pháp tuyến của siêu phẳng.
Nửa không gian đóng là tập hợp có dạng
x| a,x

trong đó: a

Rn \ 0 ,

,

x| a,x

,

x| a,x

,

R.

Nửa không gian mở là tập hợp có dạng
x| a,x

trong đó: a

Rn \ 0 ,

,

R.

Như vậy, một siêu phẳng chia không gian ra làm hai nửa không gian, mỗi nửa
không gian ở về một phía của siêu phẳng. Nếu hai nửa không gian này đóng thì phần
chung của chúng chính là siêu phẳng.
Định nghĩa 1.6.
Một tập được gọi là tập lồi đa diện nếu nó là giao của một số hữu hạn các
nửa không gian đóng.
Định nghĩa 1.7

Cho x 0 C , ta nói siêu phẳng a , x
a,x0

Ta nói H

là siêu phẳng tựa tại x0 nếu

, a,x

,

x C.

x | a , x x0 0 là nửa không gian tựa của C tại x0 .

Định nghĩa 1.8
Giao của tất cả các tập lồi chứa tập S Rn cho trước được gọi là bao lồi của S ,
ký hiệu coS , đó là tập lồi nhỏ nhất chứa S .

9


Tập C Rn , giao của tất cả các tập a-phin chứa C là tập a-phin nhỏ nhất chứa C , gọi
là bao a-phin của C . Ký hiệu affC .
Mệnh đề 1.5 (xem [2], mệnh đề 3.2)
Cho C là một tập bất kỳ. Khi đó:
(i)Bao lồi của C là tập hợp các tổ hợp lồi của các điểm thuộc C .
(ii)

sao cho x i C, 1

Bao a-phin của tập C là tập hợp bao gồm tất cả các điểm có dạng

...

k

1 và k

Ν.

Chứng minh.
(i)
Vì C

Gọi M là tập hợp các tổ hợp lồi của các điểm thuộc C .

coC và coC lồi nên M

coC . Vì thế để chỉ ra M

là tập lồi .

M

Thật vậy, lấy
h

yi y j ,
j1

0,1 thì

Do
nên z là một tổ hợp lồi của các điểm thuộc C . Vậy
M coC .

(ii)

Cho M là tập hợp các điểm có dạng (1.2).

Giả sử x , y M , theo định nghĩa của M ta có:

10

coC , ta chỉ cần chứng tỏ


k

x

i

i

h

x , yi y .

Trong đó x i , y j C , i 1,.., k , j 1,..., h và

j

i

z : x 1yi x i1j y j .

Do

i1j

1

nên z M và do đó M là tập a-phin. Suy ra M aff E .
Định nghĩa 1.9.
Các điểm x 1,..., xk
x k ,..., x k 1 xk là độc lập tuyến tính.

là k , tức là, nếu các véc tơ x 1
Hệ quả 1.1

Bao lồi a-phin M của tập k điểm độc lập a-phin

x1,..., xk trong Rn là tập

a-phin (k 1) - chiều.
Mọi điểm x

M có thể biểu diễn duy nhất dưới dạng:

kk

x

i

xi ,i 1

i 1i 1

1.1.3. Nón lồi
Định nghĩa 1.10
Một tập C Được gọi là nón nếu
x

C,

0

x C.

Theo định nghĩa, ta thấy rằng gốc tọa độ có thể thuộc nón hoặc không thuộc
nón. Dĩ nhiên, một nón không nhất thiết là một tập lồi.
Ví dụ 1.1

11


C

x

R|x 0

là một nón nhưng không lồi.
Một nón được gọi là nón nhọn nếu nó không chứa đường thẳng, khi đó, ta nói
0 là đỉnh của nón. Một nón được gọi là nón lồi nếu nó đồng thời là một tập lồi. Nếu
nón lồi này lại là một tập lồi đa diện thì ta nói nó là nón lồi đa diện.
Mệnh đề 1.5. (xem [2], mệnh đề 1.6)
Một tập C là nón lồi khi và chỉ khi nó có các tính chất sau:
(i)

CC,0,

(i)

CCC.

Chứng minh
Điều kiện cần: Giả sử C là một nón lồi. Do C là một nón nên ta có (i).
Do C là một tập lồi nên với mọi x , y
Vậy theo (i) ta có x

C thì

1

x
2

y

C.

y C.

Điều kiện đủ: Giả sử ta có (i) và (ii).
Từ (i) suy ra C là một nón. Giả sử x , y
Từ (ii) suy ra

x

C,1

y

C và

C . Theo (ii) ta có

0,1 .
x

1

y

C

Vậy C là một nón lồi.

Định nghĩa 1.11
Bao nón lồi của tập C là giao của tất cả các nón lồi chứa C , ký hiệu là Cone C
.
Định nghĩa 1.12

12


Cho C là một tập lồi trong Rn . Một véc tơ y 0 được gọi là hướng lùi xa của C
nếu mọi tia xuất phát từ một điểm bất kỳ của C theo hướng y đều nằm trọn trong C .
Tức là: y là hướng lùi xa khi và chỉ khi
x

y C , x C,

0.

Tập hợp của tất cả các hướng lùi xa của C cùng với điểm gốc là nón lùi xa của C , ký
hiệu là re C .
Hiển nhiên nếu C là một tập bị chặn thì re C chỉ gồm duy nhất một gốc.
Nhận xét 1.2. Nếu C là tập lồi đóng thì trong định nghĩa trên, thay vì đòi hỏi với mọi
x C , chỉ cần đòi hỏi cho một điểm x C .

Mệnh đề 1.6. (xem [2], mệnh đề 1.7)
Giả sử C là một tập lồi đóng. Khi đó y là một hướng lùi xa của C khi và
chỉ khi
x

y C,

0.

với một điểm x nào đó thuộc C .
Chứng minh
Giả sử x

y C,

0 với x

C .Thế thì với mọi u

C , mọi

lồi nên ta có

x:

Cho

, do C đóng, ta thấy u

y C ,với mọi u

C và

0.

Nhận xét 1.3. Trong trường hợp C không đóng thì bổ đề trên không đúng.
Ví dụ 1.2. Trong R2 lấy

C:

x

x1 , x2 | x1 0, x2

13

0

0.

0 , do C


Hiển nhiên, véc tơ y 0,1 có tính chất là mọi tia xuất phát từ một điểm 0 x C theo
hướng này đều nằm trọn trong C nhưng nếu xuất phát từ x 0 thì điều này không đúng.

Định nghĩa 1.13
Cho C

Rn là tập lồi và x

C.

Ký hiệu
NC x:

|

,y

x 0, y

C,

Tập N C x gọi là nón pháp tuyến ngoài của C tại x .
NC x:

Tập

|

,y

x 0, y

C,

N C x gọi là nón pháp tuyến trong của C tại x .

C*:

|

,x 0

x C,

Tập C* gọi là nón đối cực.

Ta có thể kiểm tra được rằng N C x và C* là hai nón lồi đóng chứa gốc.
Cho C là tập lồi, khác rỗng và x C . Ta nói d Rn là một hướng chấp nhận được
của C nếu t 0 0 sao cho x td C với mọi 0 t t0 . Tập tất cả các hướng chấp nhận được là
một nón lồi chứa gốc và gọi là nón chấp nhận được. Ký hiệu là FC x . Nón này có thể
không đóng, tuy nhiên nếu lấy bao đóng, ta sẽ được một nón
khác là nón tiếp xúc với C tại x . Ký hiệu nón này là TC x , thì FC x TC x . Từ đây suy ra
TC x

d

Rn| dk

d,tk

0: x t k d k C

Mệnh đề 1.7 (xem [2], mệnh đề 1.8)
Nón pháp tuyến và nón tiếp xúc là đối cực của nhau.
Ta có thể suy ra trực tiếp từ định nghĩa.

14

k.


Ví dụ 1.3
Giả sử tập lồi C được cho bởi C :
với x

x

R n | a j , x b j , j 1,..., m

C , đặt
j | a j , x bj .

J x:

gọi là tập chỉ số tích cực tại x .
Khi đó
TC x

R n | a j , x 0, j

x

.

J x

N C x cone a j , j J xy

1.2 Hàm lồi
Trong chương trình Toán phổ thông, chúng ta đã làm quen với khái niệm hàm lồi một
cách cơ bản. Mục này, chúng tôi trình bày khái niệm tổng quát về hàm lồi và một số
tính chất của nó.
Định nghĩa 1.14.
Cho tập C

Rn và f : C

R . Ta sẽ ký hiệu
C|f x ,

dom f : x
epi f :

x,

.

C R|f x

Các tập dom f , epi f lần lượt được gọi là miền hữu dụng và trên đồ thị của hàm f .
Bằng cách cho f x

nếu x

C , ta có thể coi f được xác định trên toàn

không gian và
dom f :

x Rn | f x

15

,

epi f :

Quy ước nếu

0 thì

f x

Rn R|f x

x,

.

0 với mọi x .

Định nghĩa 1.15
Cho C Rn lồi và f : C R . Ta nói f là hàm lồi trên C nếu epif là một tập lồi trong
Rn 1 . Hàm f được gọi là hàm lõm trên C nếu f là hàm lồi trên

C .

Sau đây chủ yếu ta xét hàm f : R n R . Dễ thấy định nghĩa trên tương đương
với:
f

x

1

y

f x

1

f y

x , y C,

0;1

Định nghĩa 1.16
Hàm f : R n

R

được gọi là lồi chặt trên C nếu

f x 1yf x 1f y

Hàm f : R n

Rđược gọi là lồi mạnh trên C với hệ số0 nếu

f x 1yf x 1f y 2

Nhận xét 1.4
Dễ dàng kiểm tra rằng hàm f lồi mạnh trên C với hệ số

0 khi và chỉ khi

hàm

h.: f .
2

lồi trên C .
Sau đây ta sẽ đề cập đến một bất đẳng thức quen thuộc trong chương trình phổ
thông. Đây là bất đẳng thức tương đối tổng quát trong các bất đẳng thức về hàm

16


lồi. Các bất đẳng thức giữa trung bình cộng và trung bình nhân, Holder… là những
trường hợp riêng của bất đẳng thức này.
Bất đẳng thức Jensen
Nếu

f

là hàm lồi và nhận giá trị hữu hạn trên tập lồi C thì

m N * , x1 , x 2 ,..., x m C và

j

fj x j
j1

Mệnh đề 1.8 (xem [2], mệnh đề 8.1)
Một hàm f : C
x,y

C,

R là lồi trên C khi và chỉ khi
f x,

f y,

0;1

f

x

1

y

1

Chứng minh
Điều kiện cần: Giả sử f lồi, chọn x , y,
Chọn

'

f x,

và

'

f y,

. Vậy x ,

,

như đã nêu trong mệnh đề.
',y,

'

epi f . Do epi f lồi nên

1x y , 1'' epi f .
f 1x y 1'' 1.

Điều kiện đủ: Chọn x , , y ,

epi f và
f x

0,1 .Với mọi
,f y

Do đó nên

f

1''11.
1x ,y ,epi f .

Vậy hàm f lồi.
17

.

0 , ta có


Dưới đây là một định nghĩa khác, tương đương về hàm lồi, lồi mạnh dựa vào
khái niệm hệ số lồi.
Định nghĩa 1.17
Hàm f : R n
rỗng và

(không nhất thiết lồi), C

R

là một số thực. Ta nói

Rn là một tập lồi khác

là hệ số lồi của f trên C , nếu với mọi

0,1 , mọi x , y thuộc C , ta có

f 1x y 1f xf y

Hiển nhiên, nếu

0 thì f lồi trên C . Nếu f

thì f lồi mạnh trên C vớih hệ số lồi .
Định nghĩa 1.18
Một hàm f
x.

Hàm f được gọi là đóng nếu epi f là một tập đóng trong Rn 1 .
Nhận xét 1.5
a)

Từ định nghĩa của epi f , ta thấy rằng một hàm lồi hoàn toàn được xác định

nếu biết epi f .
b)

Nếu f là một hàm lồi trên một tập lồi C thì có thể thác triển f lên toàn không

gian bằng cách đặt

f e x : f x nếu x C,
Hiển nhiên f e x f x với mọi x C và
chính thường khi và chỉ khi f chính thường. Tương tự, f e x
f đóng.

18

đóng khi và chỉ khi


Nếu f là một hàm lồi trên Rn thì dom f là một tập lồi, vì dom f chính là hình

c)

chiếu trên Rn của epi f , tức là:
dom f

x|

R:x,

epi f .

Ví dụ 1.4 Một số hàm lồi
Hàm a-phin: f x a , x , trong đó a R n , R . Dễ dàng kiểm tra được rằng f là

1.

hàm vừa lồi vừa lõm trên toàn không gian.
Khi

0 thì hàm này được gọi là hàm tuyến tính.

2. Hàm chỉ:
Cho C

là một tập lồi. Đặt
C

Ta nói

C

x:

0

là hàm chỉ của C . Do C lồi nên

C

là một hàm lồi.

3. Hàm mặt cầu.
Cho S :

x Rn | x 1

là một mặt cầu và h : S

R là một hàm bất kỳ.

Định nghĩa hàm f như sau:
0
f x : h x nếu

+
Hàm này được gọi là hàm mặt cầu. Dễ thấy rằng f là một hàm lồi trên Rn .

4. Hàm tựa.
Hàm dưới đây được gọi là hàm tựa của C
sC ( y ): sup y , x .
xC

5. Hàm khoảng cách.

19


Cho C lồi đóng, hàm khoảng cách đến tập C được định nghĩa bởi
d C x : min x

y.

yC

6. Hàm chuẩn.
Giả sử x

x1,..., xn .
f x : x 1 : maxi xi

Hoặc
1

f x: x :

20

x12 ... xn2 2 .


Chương 2

ĐỊNH LÝ TÁCH CÁC TẬP LỒI

Trong giải tích lồi và nhiều lĩnh vực khác như giải tích hàm, giải tích không
trơn và giải tích phi tuyến…, các định lý tách hai tập lồi có một vai trò trung tâm. Về
bản chất, định lý tách trả lời câu hỏi rằng một phần tử có thuộc một tập lồi không, và
nếu không thuộc thì nó sẽ có tính chất gì? Ví dụ tập lồi là nghiệm của hệ phương
trình đại số, hay vi tích phân, tập các điểm bất động của một ánh xạ, hay là tập
nghiệm của một bài toán tối ưu… Nếu điểm thuộc tập lồi đó thì vấn đề được giải
quyết, trái lại, nếu không thì sẽ xảy ra điều gì? Điều này giải thích vì sao các định lý
tách thuộc loại các định lý chọn và là công cụ rất mạnh, thường được dùng để chứng
minh sự tồn tại của một đối tượng trong nhiều vấn đề thuộc những lĩnh vực khác
nhau. Một mệnh đề thường được dùng làm nền tảng lý thuyết tối ưu hiện đại là định
lý tách các tập lồi, mà một dạng tương đương của nó trong giải tích hàm là định lý
Hahn – Banach rất quen thuộc trong giải tích hàm.
2.1. Định lý tách 1
Định nghĩa 2.1
Cho C

,C

Rn (không nhất thiết lồi) và y là véc tơ bất kỳ, đặt

Ta nói d C y là khoảng
dC y

y

pC y .

Mệnh đề 2.1 (xem [2], mệnh đề 5.1)
Cho C là một tập lồi đóng khác rỗng trong Rn . Khi đó:
(i) Với mọi y

Rn,

C hai tính chất sau là tương đương:

21


a)

pC y ,

b)

yNC ( ) .

Với mọi y Rn , hình chiếu pC ( y) của y trên C luôn tồn tại và duy nhất.

(ii)

(iii)

Nếu y C , thì pC y y , x pC y 0 là siêu pẳng tựa của C tại pC ( y)

và tách hẳn y khỏi C , tức là
pC y

y , x pC y

0, x

C,

và
pC y

y , y pC y

0.

Chứng minh
(i)

Giả sử có a). Lấy x C và0,1 . Đặt
x :x

Do x ,

1.

C và C lồi, nên x C . Hơn nữa do là hình chiếu của y , nên y y x . Hay

y2

y 2.

x

Khai triển vế phải, ước lược và chia hai vế cho
x

Điều này đúng với mọi x

2

2 x , y 0.

C và

0,1 . Do đó khi cho
y,x

Vậy y

NC

0 , ta có

0

.

Bây giờ giả sử có b). Với mọi x

C , có

22

x

C.

tiến đến 0 ta được