Chúng tôi vẫn phải chứng minh rằng lặp Picard tụ đến x * cho bất kỳ dự đoán ban đầu x ∈ Y. Vì vậy, hãy để x ∈ Y =
S m
i = 1 A i. Có
tồn tại i 0 ∈ {1, ..., m} mà x ∈ A i 0. Khi x * ∈
T m
i = 1 A i, nó sau đó x
*
∈ A i 0 + 1 là tốt. Sau đó, chúng ta có:
đang được dịch, vui lòng đợi..
