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

Bài soạn môn tối ưu tuyến tính

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 (53.73 KB, 8 trang )

<span class='text_page_counter'>(1)</span><div class='page_container' data-page=1>

<b>Tối ưu tuyến tính</b>



<b>Câu 1:</b> (Định lý 2.1.1 - Nguyên lý biến phân Ekeland)


Cho (<i>X, d</i>) là không gian mêtric đủ, <i>f</i> :<i>X</i> <i>→</i>R<i>∪ {</i>+<i>∞}</i> là hàm lsc bị chặn dưới. Giả
sử <i>ε ></i>0 và <i>z</i> <i>∈Z</i> thỏa


<i>f</i>(<i>z</i>)<i><</i>inf
<i>X</i> <i>f</i>+<i>ε</i>
Khi đó tồn tại <i>y∈X</i> sao cho


(i) <i>d</i>(<i>z, y</i>)<i>≤</i>1.


(ii) <i>f</i>(<i>y</i>) +<i>εd</i>(<i>z, y</i>)<i>≤f</i>(<i>z</i>).


(iii) <i>f</i>(<i>x</i>) +<i>εd</i>(<i>x, y</i>)<i>≥f</i>(<i>y</i>)<i>,∀x∈X</i>.


<b>Chứng minh</b>
* Ta định nghĩa dãy<i>zi</i> bằng qui nạp:


+ Đặt <i>z</i>0 :=<i>z</i>.


+ Giả sử ta có <i>zi</i>, đặt <i>Si</i> :=<i>{x∈X|f</i>(<i>x</i>) +<i>εd</i>(<i>x, zi)≤f</i>(<i>zi)}</i>
Ta xét hai trường hợp sau


(a) inf
<i>Si</i>


<i>f</i> =<i>f</i>(<i>zi</i>), khi đó ta định nghĩa <i>zi=1</i> :=<i>zi</i>.
(b) inf



<i>Si</i>


<i>f < f</i>(<i>zi</i>). Ta chọn <i>zi+1</i> <i>∈Si</i> sao cho


<i>f</i>(<i>zi+1</i>) <i><</i> inf
<i>Si</i>


<i>f</i>+


1
2


[


<i>f</i>(<i>zi</i>)<i>−</i>inf
<i>Si</i>


<i>f</i>


]


=
1
2


[


<i>f</i>(<i>zi</i>) + inf
<i>Si</i>



<i>f</i>


]


<i>< f</i>(<i>zi</i>) (1)


Khi đó (<i>zi)</i>là dãy Cauchy.


Thật vậy, nếu (a) xảy ra thì dãy <i>zi</i> dừng khi <i>i</i> đủ lớn hay


<i>εd</i>(<i>zi, zi+1</i>)<i>≤f</i>(<i>zi</i>)<i>−f</i>(<i>zi+1</i>) (2)


<i>εd</i>(<i>zi, zj</i>)<i>≤f</i>(<i>zi</i>)<i>−f</i>(<i>j</i>) với <i>j−</i>1<i>> i</i> (3)
Dãy (<i>f</i>(<i>z−i</i>))giảm và bị chặn dưới bởi inf


</div>
<span class='text_page_counter'>(2)</span><div class='page_container' data-page=2>

* Đặt <i>y</i>:= lim
<i>i→∞zi</i>.


Chọn <i>i</i>= 0, từ (3) ta có:


<i>εd</i>(<i>z, zj</i>) +<i>f</i>(<i>zj</i>)<i>≤f</i>(<i>z</i>) (4)
Cho <i>j</i> <i>→ ∞</i> ta được


<i>f</i>(<i>y</i>) +<i>εd</i>(<i>z, y</i>)<i>≤f</i>(<i>z</i>) (<i>ii</i>)
Do <i>f</i>(<i>z</i>)<i>−f</i>(<i>y</i>)<i>≤f</i>(<i>z</i>)<i>−</i>inf


<i>X</i> <i>f < ε</i>
Kết hợp (ii) ta được<i>d</i>(<i>z, y</i>)<i>≤</i>1 (i).
*Ta phải chứng minh <i>y</i> thỏa (iii)



+ Từ (3), cố định<i>i</i> và cho <i>j</i> <i>→ ∞</i> ta được <i>y∈Si</i>
Suy ra


<i>y∈</i>


<i>∞</i>


<i>i=1</i>


<i>Si</i>


Mặt khác, nếu <i>x∈</i>


<i>∞</i>


<i>i=1</i>


<i>Si</i> thì <i>∀i</i>= 1<i>,</i>2<i>, . . .</i>


<i>εd</i>(<i>x, zi+1)≤f</i>(<i>zi+1)−f</i>(<i>x</i>)<i>≤f</i>(<i>zi+1)−</i>inf
<i>Si</i>


<i>f</i> (5)


Do đó lim
<i>i→∞</i>



[


<i>f</i>(<i>zi+1−</i>inf
<i>Si</i>


<i>f</i>


]


= 0.


Từ (5) cho <i>i→ ∞</i> ta được <i>εd</i>(<i>x, y</i>) = 0. Suy ra


<i>∞</i>


<i>i=1</i>


<i>Si</i> =<i>{y}</i> (6)


+ Xét dãy tập (<i>Si</i>)


<i>∀x∈Si+1</i> <i>⇒f</i>(<i>x</i>) +<i>εd</i>(<i>x, zi+1</i>)<i>≤f</i>(<i>zi+1</i>), với <i>zi+1</i> <i>∈Si</i> ta được


<i>f</i>(<i>x</i>) +<i>εd</i>(<i>x, zi</i>) <i>≤</i> <i>f</i>(<i>x</i>) +<i>εd</i>(<i>x, zi+1</i>) +<i>εd</i>(<i>zi, zi+1</i>)


<i>≤</i> <i>f</i>(<i>zi+1</i>) +<i>εd</i>(<i>zi, zi+1</i>)<i>≤f</i>(<i>zi</i>)
Suy ra <i>x∈Si. Do đó</i> <i>Si+1</i> <i>⊂Si.</i>


Vậy dãy tập(<i>Si</i>) lồng nhau.



</div>
<span class='text_page_counter'>(3)</span><div class='page_container' data-page=3>

Với<i>x̸</i>=<i>y</i>, từ (6) suy ra<i>x̸∈Si</i>. Do đó<i>f</i>(<i>x</i>) +<i>εd</i>(<i>x, zi</i>)<i>≥f</i>(<i>zi</i>). Cho <i>i→ ∞</i>ta được


<i>f</i>(<i>x</i>) +<i>εd</i>(<i>x, y</i>)<i>≥f</i>(<i>y</i>) (iii).


<b>Câu 2:</b> (Định lý 2.3.2 - Định lý điểm bất động Banach)


Cho (<i>X, d</i>)là không gian mêtric đầy. Giả sử <i>ϕ</i>:<i>X</i> <i>→X</i> là ánh xạ co, khi đó <i>ϕ</i> có duy
nhất điểm bất động.


<b>Chứng minh</b>
+Xét hàm <i>f</i>(<i>x</i>) :=<i>d</i>(<i>x, ϕ</i>(<i>x</i>)).


Áp dụng định lý 2.1.1 (Nguyên lý biến phân Ekeland) với <i>ε</i> <i>∈</i> (0<i>,</i>1<i>−k</i>), <i>∃y</i> <i>∈X</i> sao
cho:


<i>f</i>(<i>x</i>) +<i>εd</i>(<i>x, y</i>)<i>≥f</i>(<i>y</i>)<i>,∀x∈X</i>


Chọn <i>x</i>=<i>ϕ</i>(<i>y</i>), ta có:


<i>d</i>(<i>y, ϕ</i>(<i>y</i>)) <i>≤</i> <i>d</i>(<i>ϕ</i>(<i>y</i>)<i>, ϕ</i>2(<i>y</i>)) +<i>εd</i>(<i>y, ϕ</i>(<i>y</i>))


<i>≤</i> (<i>k</i>+<i>ε</i>)<i>d</i>(<i>y, ϕ</i>(<i>y</i>))
Vậy <i>y</i> là điểm bất động.


+Duy nhất


Giả sử <i>y′</i> cũng là điểm bất động. Suy ra<i>ϕ</i>(<i>y</i>) =<i>y, ϕ</i>(<i>y′</i>) = <i>y′</i>
<i>⇒d</i>(<i>ϕ</i>(<i>y</i>)<i>, ϕ</i>(<i>y′</i>)) =<i>d</i>(<i>y, y′</i>)<i>≤k</i>(<i>d</i>(<i>y, y′</i>))<i>∀k∈</i>(0<i>,</i>1)



<i>⇒d</i>(<i>y, y′</i>) = 0 <i>⇒y</i> =<i>y′</i>.
<b>Câu 3:</b> (Ánh xạ co có hướng)


(a) Định nghĩa: Cho (<i>X, d</i>) là không gian mêtric đầy.


<i>x, y</i> <i>∈X</i>, phân đoạn giữa <i>x</i>và <i>y</i> xác định bởi


[<i>x, y</i>] =<i>{x∈X|d</i>(<i>x, z</i>) +<i>d</i>(<i>z, y</i>) =<i>d</i>(<i>x, y</i>)<i>}</i>
(b) Định nghĩa: Ánh xạ co có hướng


Cho (<i>X, d</i>) là khơng gian mêtric đầy và <i>ϕ</i> là ánh xạ từ <i>X</i> vào <i>X</i>. Khi đó <i>ϕ</i> là ánh xạ
co có hướng nếu:


</div>
<span class='text_page_counter'>(4)</span><div class='page_container' data-page=4>

(ii) <i>∃k</i> <i>∈</i> (0<i>,</i>1) sao cho <i>∀x∈</i> <i>X, ϕ</i>(<i>x</i>)<i≯</i>= <i>x,∃z</i> <i>∈</i> [<i>x, ϕ</i>(<i>x</i>)]<i>\ {x}</i> sao cho <i>d</i>(<i>ϕ</i>(<i>x</i>)<i>, ϕ</i>(<i>z</i>))<i>≤</i>


<i>kd</i>(<i>x, z</i>).


(c) Định lý 2.3.3: Cho (<i>X, d</i>) là không gian mêtric đầy. Giả sử <i>ϕ</i> : <i>X</i> <i>→</i> <i>X</i> là ánh xạ
co có hướng. Khi đó <i>ϕ</i> có điểm bất động.


<b>Chứng minh</b>
Xét <i>f</i>(<i>x</i>) =<i>d</i>(<i>x, ϕ</i>(<i>x</i>)).


Hàm<i>f</i>(<i>x</i>)liên tục và bị chặn dưới bởi 0 (do <i>ϕ</i> liên tục).


Áp dụng nguyên lý biến phân Ekeland với <i>ε</i> <i>∈</i> (0<i>,</i>1<i>−k</i>)<i>,∃y</i> <i>∈</i> <i>X</i> sao cho <i>f</i>(<i>y</i>) <i>≤</i>


<i>f</i>(<i>x</i>) +<i>εd</i>(<i>x, y</i>)<i>∀x∈X</i>(1).


+Nếu <i>ϕ</i>(<i>y</i>) =<i>y</i> thì <i>y</i> là điểm bất động của<i>ϕ</i>.



+Với <i>ϕ</i>(<i>y</i>)<i≯</i>=<i>y</i>, do <i>ϕ</i> là ánh xạ co có hướng nên <i>∃z</i> <i≯</i>=<i>y</i> với <i>z</i> <i>∈</i>[<i>y, ϕ</i>(<i>y</i>)], tức là


<i>d</i>(<i>y, z</i>) +<i>d</i>(<i>z, ϕ</i>(<i>y</i>)) =<i>d</i>(<i>y, ϕ</i>(<i>y</i>)) =<i>f</i>(<i>y</i>) (2)


<i>d</i>(<i>ϕ</i>(<i>z</i>)<i>, ϕ</i>(<i>y</i>))<i>≤kd</i>(<i>z, y</i>) (2)
Chọn <i>x</i>=<i>z</i>, từ (1) và (2) ta có:


<i>d</i>(<i>y, z</i>) +<i>d</i>(<i>z, ϕ</i>(<i>y</i>))<i>≤d</i>(<i>z, ϕ</i>(<i>z</i>)) +<i>εd</i>(<i>z, y</i>)
hay


<i>d</i>(<i>y, z</i>)<i>≤d</i>(<i>z, ϕ</i>(<i>z</i>))<i>−d</i>(<i>z, ϕ</i>(<i>y</i>)) +<i>εd</i>(<i>z, y</i>)
Theo bất đẳng thức tam giác và (3) ta có


<i>d</i>(<i>z, ϕ</i>(<i>z</i>))<i>−d</i>(<i>z, ϕ</i>(<i>y</i>))<i>≤d</i>(<i>ϕ</i>(<i>y</i>)<i>, ϕ</i>(<i>z</i>))<i>≤kd</i>(<i>z, y</i>)
Do đó:


<i>d</i>(<i>y, z</i>)<i>≤</i>(<i>k</i>+<i>ε</i>)<i>d</i>(<i>y, z</i>)
Điều này mâu thuẫn.


Vậy <i>ϕ</i>(<i>y</i>) =<i>y</i> hay <i>y</i> là điểm bất động của <i>ϕ</i>.


<b>Câu 4:</b> (Định lý 2.3.5 - Định lý điểm bất động Caristi - Kirk)


</div>
<span class='text_page_counter'>(5)</span><div class='page_container' data-page=5>

Giả sử <i>F</i> :<i>X</i> <i>→</i>2<i>X</i> <sub>là hàm đa trị có đồ thị đóng thỏa</sub> <i><sub>f</sub></i><sub>(</sub><i><sub>y</sub></i><sub>)</sub><i><sub>≤</sub><sub>f</sub></i><sub>(</sub><i><sub>x</sub></i><sub>)</sub><i><sub>−</sub><sub>d</sub></i><sub>(</sub><i><sub>x, y</sub></i><sub>)</sub><i><sub>,</sub><sub>∀</sub></i><sub>(</sub><i><sub>x, y</sub></i><sub>)</sub><i><sub>∈</sub></i>
graph<i>F</i>. Khi đó <i>F</i> có điểm cố định.


<b>Chứng minh</b>
Xét mêtric <i>ρ</i> trên <i>X×X</i> xác định bởi:



<i>ρ</i>((<i>x</i>1<i>, y</i>1)<i>,</i>(<i>x</i>2<i>, y</i>2)) :=<i>d</i>(<i>x</i>1<i>, x</i>2) +<i>d</i>(<i>y</i>1<i>, y</i>2)<i>∀</i>(<i>x</i>1<i>, y</i>1)<i>,</i>(<i>x</i>2<i>, y</i>2)<i>∈X×X</i>
Khi đó (<i>X×X, ρ</i>) là mêtric đầy.


Cho <i>ε∈</i>(0<i>,</i>1<sub>2</sub> và <i>g</i> :<i>X×X</i> <i>→</i>R<i>∪ {</i>+<i>∞}</i>xác định bởi


<i>g</i>(<i>x, y</i>) = <i>f</i>(<i>x</i>)<i>−</i>(1<i>−ε</i>)<i>d</i>(<i>x, y</i>) +<i>ı</i><sub>graphF</sub>(<i>x, y</i>)
Khi đó <i>g</i> là hàm lsc và bị chặn dưới (CM ra).


Theo nguyên lý biến phân Ekeland ta thấy <i>∃</i>(<i>x∗, y∗</i>) <i>∈</i> graph<i>F</i> sao cho <i>g</i>(<i>x∗, y∗</i>) <i>≤</i>


<i>g</i>(<i>x, y</i>) +<i>ερ</i>((<i>x, y</i>)<i>,</i>(<i>x∗, y∗</i>))<i>,∀</i>(<i>x, y</i>)<i>∈X×X</i>


Do đó: <i>∀x, y</i> <i>∈</i> graph<i>F, f</i>(<i>x∗</i>)<i>−</i>(1<i>−ε</i>)<i>d</i>(<i>x∗, y∗</i>) <i>≤f</i>(<i>x</i>)<i>−</i>(1<i>−ε</i>)<i>d</i>(<i>x, y</i>) +<i>ε</i>(<i>d</i>(<i>x, x∗</i>) +


<i>d</i>(<i>y, y∗</i>))(1).


Giử sử <i>z∗</i> <i>∈F</i>(<i>y∗</i>).


Từ (1) cho (<i>x, y</i>) = (<i>y∗, z∗</i>)ta có


<i>f</i>(<i>x∗</i>)<i>−</i>(1<i>−ε</i>)<i>d</i>(<i>x∗, y∗</i>)<i>≤f</i>(<i>y∗</i>)<i>−</i>(1<i>−ε</i>)<i>d</i>(<i>y∗, z∗</i>) +<i>ε</i>(<i>d</i>(<i>y∗, x∗</i>) +<i>d</i>(<i>z∗, y∗</i>))
Suy ra 0<i>≤f</i>(<i>x∗</i>)<i>−f</i>(<i>y∗</i>)<i>−d</i>(<i>x∗, y∗</i>)<i>≤ −</i>(1<i>−</i>2<i>ε</i>)<i>d</i>(<i>y∗, z∗</i>).


Do đó<i>y∗</i> =<i>z∗</i>.


Vậy <i>y∗</i> là một điểm bất động của <i>F</i>.


<b>Câu 5:</b> (Nguyên lý biến phân Borwein - Preiss)



(a) Định nghĩa 2.5.1: Cho(<i>X, d</i>)là khơng gian mêtric. Hàm liên tục<i>ρ</i>:<i>X×X</i> <i>→</i>[0<i>,∞</i>]
được gọi là hàm cỡ trên không gian mêtric đầy (<i>X, d</i>)nếu:


(i) <i>ρ</i>(<i>x, x</i>) = 0<i>,∀x∈X</i>.


(ii) <i>∀ε ></i>0<i>,∃δ ></i>0 sao cho <i>∀y, z</i> <i>∈X, ρ</i>(<i>y, z</i>)<i>≤δ</i> suy ra <i>d</i>(<i>y, z</i>)<i>< ε</i>.
(b) Định lý 2.5.2: (Nguyên lý biến phân Borwein - Preiss)


</div>
<span class='text_page_counter'>(6)</span><div class='page_container' data-page=6>

Giả sử <i>ρ</i> là hàm cỡ và (<i>δi</i>)<i>∞<sub>i=0</sub></i> là một dãy số dương và giả sử <i>ε ></i>0<i>, z∈X</i> thỏa


<i>f</i>(<i>z</i>)<i>≤</i>inf<i>f</i> +<i>ε</i>


Khi đó <i>∃y</i> và dãy <i>{xi} ⊂X</i> sao cho:
(i) <i>ρ</i>(<i>z, y</i>)<i>≤</i>


<i>ε</i>
<i>δ</i>0


<i>, ρ</i>(<i>xi, y</i>)<i>≤</i>


<i>ϵ</i>


2<i>i<sub>δ</sub></i>.
(ii) <i>f</i>(<i>y</i>) +


<i>∞</i>


<i>i=0</i>



<i>δiρ</i>(<i>y, xi)≤f</i>(<i>z</i>).


(iii) <i>f</i>(<i>x</i>) +


<i>∞</i>


<i>i=0</i>


<i>δiρ</i>(<i>x, xi</i>)<i>> f</i>(<i>y</i>) +


<i>∞</i>


<i>i=0</i>


<i>δiρ</i>(<i>y, xi</i>)<i>,∀x∈X\ {y}</i>
<b>Chứng minh</b>


+ Tổng quát từ <i>x</i>0 =<i>z</i>,


<i>S</i>0 =<i>{x∈X</i> :<i>f</i>(<i>x</i>) +<i>δ</i>0<i>ρ</i>(<i>x, x</i>0)<i>≤f</i>(<i>x</i>0)
Xây dựng dãy <i>{xi}∞i=0</i>;<i>{Si}∞i=0</i> theo phương pháp qui nạp.
Giả sử <i>xj, Sj</i> với <i>j</i> = 0<i>, i−</i>1 thỏa


<i>f</i>(<i>xj</i>) +
<i>j−</i>1





<i>k=0</i>


<i>δkρ</i>(<i>xj, xk</i>)<i>≤</i> inf
<i>x∈Sj−</i>1


[


<i>f</i>(<i>x</i>) +
<i>j−</i>1




<i>k=0</i>


<i>δkρ</i>(<i>x, xk</i>)


]


+


<i>εδj</i>
2<i>j<sub>δ</sub></i>
0


(1)




<i>Sj</i> =



{


<i>x∈Sj−</i>1<i>|f</i>(<i>x</i>) +
<i>j</i>




<i>k=0</i>


<i>δkρ</i>(<i>x, xk</i>)<i>≤f</i>(<i>xj</i>) +
<i>j−</i>1




<i>k=0</i>


<i>δkρ</i>(<i>xj, xk</i>)


}


(2)


+ Chọn <i>xi</i> <i>∈Si−</i>1 sao cho


<i>f</i>(<i>xi</i>) +
<i>i−</i>1




<i>k=0</i>



<i>δkρ</i>(<i>xi, xk</i>)<i>≤</i> inf
<i>x∈Si−</i>1


[


<i>f</i>(<i>x</i>) +
<i>i−</i>1




<i>k=0</i>


<i>δkρ</i>(<i>x, xk</i>)


]


+


<i>εδi</i>
2<i>i<sub>δ</sub></i>
0


(3)


+ Ta định nghĩa:


<i>Si</i> =


{



<i>x∈Si−</i>1 :<i>f</i>(<i>x</i>) +
<i>i</i>




<i>k=0</i>


<i>δkρ</i>(<i>x, xk</i>)<i>≤f</i>(<i>xi</i>) +
<i>i−</i>1




<i>k=0</i>


<i>δkρ</i>(<i>xi, xk</i>)


}


(4)


</div>
<span class='text_page_counter'>(7)</span><div class='page_container' data-page=7>

<i>∀x∈Si</i>, từ (3) và (4) ta suy ra


<i>δiρ</i>(<i>x, xi)</i> <i>≤</i>


[


<i>f</i>(<i>xi) +</i>
<i>i−</i>1





<i>k=0</i>


<i>δkρ</i>(<i>xi, xk)</i>


]


<i>−</i>


[


<i>f</i>(<i>x</i>) +
<i>i−</i>1




<i>k=0</i>


<i>δkρ</i>(<i>x, xk)</i>


]


<i>≤</i>


[


<i>f</i>(<i>xi) +</i>
<i>i−</i>1





<i>k=0</i>


<i>δkρ</i>(<i>xi, xk)</i>


]


<i>−</i> inf
<i>x∈Si−</i>1


[


<i>f</i>(<i>x</i>) +
<i>i−</i>1




<i>k=0</i>


<i>δkρ</i>(<i>x, xk)</i>


]


<i>≤</i> <i>εδi</i>


2<i>i<sub>δ</sub></i>
0


Vậy <i>ρ</i>(<i>x, xi</i>)<i>≤</i>



<i>ε</i>


2<i>i<sub>δ</sub></i>
0


<i>,∀x∈Si</i> (5)


<i>ρ</i>(<i>x, xi</i>)<i>→</i>0<i>⇒d</i>(<i>x, xi</i>)<i>→</i>0




<i>x, x′</i> <i>∈Si</i> :<i>d</i>(<i>x, x′</i>)<i>≤d</i>(<i>x, xi</i>) +<i>d</i>(<i>x′, xi</i>)<i>≤</i>


<i>ε</i>


2<i>i<sub>δ</sub></i>
0


+


<i>ε</i>


2<i>i<sub>δ</sub></i>
0 <i>→</i>


0






Suy ra diam(<i>Si</i>)<i>→</i>0.


Do <i>X</i> đầy, theo định lý Cantor ta có<i>{y}</i>=


<i>∞</i>


<i>i=0</i>


<i>Si</i> <i>⇒y</i> <i>∈Si,∀i</i>= 0<i>,</i>1<i>,</i>2<i>, . . .</i>.
Suy ra (i) đúng với (5).


+Mặt khác: <i>xi</i> <i>→y,∀x̸</i>=<i>y⇒x̸∈</i>


<i>∞</i>


<i>i=0</i>


<i>Si</i>.


Thật vậy, do<i>x̸</i>=<i>y</i> nên <i>∃j</i>0 sao cho <i>x∈Sj</i>0 <i>⊇Sj</i>0+1 <i>⊇. . .⊇Sj</i>0+p <i>⇒x̸∈Sj,∀j</i> <i>≥j</i>0.


Vì vậy với <i>j</i>0 ta có:


<i>f</i>(<i>x</i>) +


<i>∞</i>



<i>k=0</i>


<i>δkρ</i>(<i>x, xk</i>) <i>≥</i> <i>f</i>(<i>x</i>) +
<i>j</i>




<i>k=0</i>


<i>δkρ</i>(<i>x, xk</i>)


<i>> f</i>(<i>xj) +</i>
<i>j−</i>1




<i>k=0</i>


<i>δkρ</i>(<i>xj, xk)(</i> do<i>x∈Sj)</i>


<i>⇒f</i>(<i>x</i>) +
<i>j</i>




<i>k=0</i>


<i>δkρ</i>(<i>x, xk</i>)<i>> f</i>(<i>xj</i>) +
<i>j−</i>1





<i>k=0</i>


<i>δkρ</i>(<i>xj, xk</i>)
Cho <i>j</i> <i>→ ∞</i> ta được:


<i>f</i>(<i>x</i>) +


<i>∞</i>


<i>k=0</i>


<i>δkρ</i>(<i>x, xk)</i> <i>></i> lim
<i>j→∞</i>


[


<i>f</i>(<i>xj) +</i>
<i>j−</i>1




<i>k=0</i>


<i>δkρ</i>(<i>xj, xk)</i>


]



<i>≥</i> <i>f</i>(<i>y</i>) +


<i>∞</i>


<i>k=0</i>


<i>δkρ</i>(<i>y, xk</i>) ( do<i>f, ρ</i> lsc )


</div>
<span class='text_page_counter'>(8)</span><div class='page_container' data-page=8>

Với <i>xj</i> <i>∈Sj</i> <i>⊆Sj−</i>1 <i>⊆. . .⊆S</i>0 <i>⇒xj</i> <i>∈S</i>0


<i>⇒f</i>(<i>x</i>0)<i>≥f</i>(<i>xj</i>) +
<i>j−</i>1




<i>k=0</i>


<i>δkρ</i>(<i>xj, xk</i>)


Cho <i>j</i> <i>→ ∞</i>, do <i>ρ</i> lsc nên <i>f</i>(<i>z</i>) = <i>f</i>(<i>x</i>0)<i>≥f</i>(<i>y</i>) +


<i>∞</i>


<i>k=0</i>


</div>

<!--links-->

×