Sử dụng một lập luận tương tự như sử dụng để có được (5.7), ta có thể thấy
rằng F (U) là equicontinuous. Sau đó từ các định lý Arzel`a-Ascoli
rằng F (U) là tương đối nhỏ gọn và do đó F: U → C [0, 1] là một
. Bản đồ nhỏ gọn
Chúng tôi có thể bây giờ áp dụng Định lý 5.1 (chú ý rằng khả năng (A2) không thể
xảy ra ) để suy luận rằng F có một điểm cố định trong U, hoặc tương đương, (5.1)
có một giải pháp trong U.
Bây giờ chúng ta có thể sử dụng nguyên tắc tồn tại của chúng tôi, định lý 5.2, để có được tiêu chí tồn tại (5,1). Để minh họa cho ý tưởng có liên quan, chúng tôi thành lập hai
kết quả tồn tại chung của (5.1).
đang được dịch, vui lòng đợi..
