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
{0} i 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
đang được dịch, vui lòng đợi..
