diff --git a/lokalni-existence.tex b/lokalni-existence.tex index a0b910a..8220bef 100644 --- a/lokalni-existence.tex +++ b/lokalni-existence.tex @@ -72,6 +72,7 @@ Následující věta nám řiká, že na nějakém okolí libovolného bodu exis Stejnou spojitost máme z odhadu $\| x_n(t) - x_n(r) \| = \| \int_r^t f(x(s - \frac{1}{n}), s) ds \| \leq |t - r| \cdot K$. V poslední nerovnosti jsme odhadli integrál součinem délky intervalu a konstantou omezenosti funkce $f$. Stačí položit $\delta = \frac{\varepsilon}{K}$, potom $\|x_n(t) - x_r(t)\| < \delta K = \epsilon$. Tedy dle Věty \ref{thm-arzela} můžeme z posloupnosti $x_n$ vybrat stejnoměrně konvergentní podposloupnost. Zbývá dokázat, že její limita řeší naši rovnici. + \hfill \textit{konec 1. přednášky (21.2.2025)} \end{proof} \end{lemma}