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>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)
và
<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
* Đặ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.
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:
(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)
và
<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)
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)
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)
và
<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)
<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 )
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>