Wie hingewiesen sollte BFS benutzt werden. Also gehen wir die Checkliste durch.
1. Zeige C([0,1]) volständiger metr. Raum bzgl. die von Sup. ind. Metrik. (Wahrscheinlich bekannt)
2. Zeige die Zuordnung f↦∫01K(⋅,t,f(t))dt∈C[0,1] ist eine Kontraktion. (Voraussetzung hilft!)
BFS sagt dann ∃f∈C[0,1] : f≡∫01K(⋅,t,f(t))dt