Do đó F yn → F y trong C [0, 1] và do đó F: U → C [0, 1] là
. Liên tục
Chúng tôi hiện nay cho thấy rằng F: U → C [0, 1] là nhỏ gọn. Có tồn tại mM ∈
LQ [0, 1] mà | g (s, y (s)) | ≤ mM (s) cho hầu hết các s ∈ [0, 1] và
y ∈ U. Vì chúng ta đang làm việc trong C [0, 1], chúng ta có thể sử dụng các Arzel`a-Ascoli
định lý để chứng minh chặt. Rõ ràng F (U) được thống nhất từ giáp
đang được dịch, vui lòng đợi..
