Bằng chứng. Giả sử A 1 là nhỏ gọn, và để cho
d = dist (A 1, A p): = inf {d (x, y): x ∈ A 1, y ∈ A p}.
Bằng cách chặt có tồn tại x 0 ∈ A 1 và một dãy {un} ⊂ A p mà
nd lim (x 0, un) = d. Giả sử d> 0. Sau đó
(2.1) d
? F p + 1
(x 0), F p + 1 (un)? <· · · <D (F (x 0), F (un)) <d (x 0, un).
Kể từ khi trình tự
? F
p + 1 (un)? ∞
n = 1
⊂ A 1 và A 1 là nhỏ gọn, trình tự này
có một dãy hội tụ đến một số z ∈ A 1. Bởi (2.1) và liên tục của
các hàm khoảng cách đó phải là trường hợp đó
d
? z, F p + 1
(x 0)? ≤ d.
Tuy nhiên điều này hàm ý
d
? F p-1
(z), F 2p (x 0)? <D
và từ F p-1 (z) ∈ A p và F 2p (x 0) ∈ A 1, chúng tôi có một mâu thuẫn. Chúng tôi
do đó kết luận rằng d = 0 và A 1 ∩ A p 6 = ∅. Vì vậy bằng cách (1), A 1 ∩ A 2 6 = ∅.
Bây giờ chúng ta xem xét các bộ A 0 1 = A 1 ∩ A 2, A 0 2 = A 2 ∩ A 3, · · ·, 0
P
= AP ∩ A 1.
Theo quan điểm của các điều kiện (1) những bộ đều là rỗng (và đóng cửa) và A 0 1 là
nhỏ gọn. Như vậy điều kiện (1) và (2) của các tổ chức định lý cho F và gia đình
{A i 0} p
i = 1, và bằng cách lặp lại những lập luận chỉ cho chúng tôi kết luận
0 1 ∩ A 0 p 6 = ∅.
Điều này ngụ ý A 1 A 2 ∩ ∩ A 3 6 = ∅. Tiếp tục bước từng bước chúng tôi kết luận
A: = ∩ p
i = 1 A i
. 6 = ∅
Từ A là nhỏ gọn và hạn chế của F đến A là là bảo thủ, chúng tôi kết luận
rằng F có một điểm cố định duy nhất trong A. Tính độc đáo sau từ thực tế là
bất kỳ điểm cố định của F nhất thiết phải nằm trong A theo điều kiện (1).
đang được dịch, vui lòng đợi..
