Phương tiệm cận và phương co lại được

Một phần của tài liệu Một số định lý về giao khác rỗng của họ tập lồng nhau và ứng dụng (Trang 34)

Đầu tiên ta giới thiệu phương tiệm cận của một dãy tập lồng nhau {Sk}, ví dụ một dãy Sk+1 ⊂ Sk với mọi k.

Định nghĩa 2.2.1. Cho {Sk} là một dãy các tập đóng, khác rỗng, lồng vào nhau. Ta nói rằng, một véctơ khác không d là một phương tiệm cận của {Sk} nếu tồn tại một dãy {xk} sao cho xk ∈ Sk, k = 0,1, ...

kxkk → ∞; xk

kxkk →

d

kdk

dãy {xk} gắn với phương tiệm cận đã nói trên được gọi là một dãy tiệm cận tương ứng với d.

Định nghĩa 2.2.2. Một phương tiện cận d của {Sk} được gọi là co lại được nếu với mọi dãy tiệm cận tương ứng {xk} tồn tại một số nguyên k

sao cho

xk −d ∈ Sk;∀k ≥ k.

Dãy tập {Sk} được gọi là co lại được nếu tất cả các phương tiệm cận là co lại được. x5 x3 x6 x4 x2 x0 x1 S1 S0 S2 S3 Hình 2.1

Nói một cách tổng quát, phương tiệm cận là một phương mà dọc đó ta có thể hướng tới ∞ thông qua mỗi tập Sk (hình 2.1). Cụ thể,

{Sk} có phương tiệm cận khi và chỉ khi các tập Sk bị chặn. Tương ứng, véctơ khác không d là một phương tiệm cận của {Sk} nếu tồn tại một

tập {xk} và một dãy dương {tk} với xk ∈ Sk với mọi k, tk → ∞ và

xk/tk → d. Ta thấy phương tiệm cận chính là véctơ khác không theo giới hạn ngang {Sk}. Một phương tiệm cận co lại được d là phương có dãy tiệm cận thuộc tập Sk tương ứng khi chuyển bằng −d. Tầm quan trọng của phương co lại được được minh họa theo mệnh đề sau. Mệnh đề chỉ ra rằng tập giao của một dãy các tập đóng khác rỗng lồng nhau

Sk, k = 0,1, .... là khác rỗng. Bằng cách sử dụng giả thiết nếu tập giao này là tập rỗng, dãy véctơ cực tiểu xk của Sk sẽ bị chặn và mỗi điểm tụ

d của xk/kxkk sẽ là một phương tiệm cận. Do đó việc di chuyển xk đối diện dk sẽ tạo ra một điểm khác ở Sk có giá trị ít hơn xk, mâu thuẫn với

xk có giá trị cực tiểu.

Mệnh đề 2.2.1. Một dãy các tập đóng khác rỗng, lồng vào nhau có giao khác rỗng.

Chứng minh. Cho {Sk} là dãy đã cho. Mỗi k, xk là một véctơ có giá trị cực tiểu trên các tập đóng Sk (véctơ đó tồn tại theo định lý Weierstrass có thể rút ra được bằng cách cực tiểu hóa kxk trên mọi x trong một tập co lại được

Sk ∩ {x : kxk ≤ kxkk}

trong đó xk là một véctơ bất kỳ trong Sk). Ta có thể chứng minh rằng dãy con {xk}k∈K bị chặn. Khi đó vì {Sk} lồng vào nhau, với mỗi m, ta có xk ∈ Sm với mọi k ∈ K, k ≥ m và vì Sm đóng, mỗi điểm giới hạn

{xk}k∈K sẽ thuộc mỗi Sm và cũng vì vậy thuộc T∞

m=0Sm, kết quả được chứng minh. Do đó ta sẽ chứng tỏ mệnh đề bằng cách chỉ ra rằng không có dãy con của {xk} bị chặn.

Giả sử ngược lại cho {xk}k∈K là dãy sao cho: lim

k→∞,k∈Kkxkk = ∞

và cho d là giới hạn của dãy con {xk/kxkk}k∈K trong đó K ⊂ K. Với mỗi k = 0,1, ..., xác định yk = xm, trong đó m là chỉ số nhỏ nhất m ∈ K

với k ≤m. Khi đó vì yk ∈ Sk với mọi k và lim

k→∞{yk/kykk} = d, chúng ta thấy rằng d là một phương tiệm cận của {Sk} và {yk} là một dãy tiệm cận tương ứng với d. Sử dụng giả thiết về sự co lại được cho k, sao cho

yk−d ∈ Sk với mọi k ≥ k. Ta có d0yk → ∞ do d0yk/kykk → kdk2 = 1 do đó với mọi k ≥k với 2d0yk > 1 ta có:

kyk −dk2 = kykk2 −(2d0yk −1) < kykk2

dẫn đến mâu thuẫn vì k , yk không phải là một véctơ có giá trị cực tiểu trên Sk.

Ví dụ áp dụng mệnh đề trên (hình 2.2), trong R2 các phương

d x3 0 x2 x1 x0 S0 S1 S2 d S0 S1 S2 x2 x1 x0 0 Hình 2.2

tiệm cận là {(0, β) : β > 0} và các giao điểm của chuỗi tương ứng là

{(0, x2) : x2 ≤ 0} cho

Sk = {(x1, x2) : |x1| ≤ k + 11 , x2 ≥ −k + 11 }

tại đây, phương tiệm cận (0, β), β > 0 được co lại được và tập giao

T∞

cần thiết để xác định T∞

k=0Sk.

Ví dụ cho dãy (hình 2.2) Sk = {(x1, x2) : x2 ≥ (k + 1)x21} có tập giao khác rỗng, phương tiệm cận (0, β), β > 0 không co lại được.

Chúng ta lưu ý, kết luận của mệnh đề trước đúng với giả thiết yếu hơn giả thiết về phương co lại được, trong đó d được gọi là co lại được nếu với mỗi dãy tiệm cận {xk} tồn tại một dãy vô hướng dương {αk} và chỉ số k sao cho xk−αkd ∈ Sk với mọi k ≥ k. Khái niệm này chưa được làm rõ tuy nhiên khi xem xét hai (hoặc hơn hai dãy) bằng mâu thuẫn nêu ở định nghĩa 2.2.2, ta thu được kết quả tích Đề-các của hai dãy co lại được là co lại được. Cụ thể chúng ta có mệnh đề sau:

Mệnh đề 2.2.2. Cho {Skj}, j = 1,2, ...., r là dãy các tập đóng khác rỗng lồng vào nhau. Dãy {Uk} và {Tk}, trong đó

Uk = Sk1 ∪Sk2 ∪...∪ Skr, k = 0,1, ... Tk = Sk1 ×Sk2 ×...×Skr, k = 0,1, ...

là co lại được. Nếu các tập

Nk = Sk1 ∩Sk2 ∩ ....∩Skr, k = 0,1, ...

khác rỗng, thì {Nk} co lại được.

Một phần của tài liệu Một số định lý về giao khác rỗng của họ tập lồng nhau và ứng dụng (Trang 34)

Tải bản đầy đủ (PDF)

(71 trang)