posix rulezz

This commit is contained in:
Petr Velička 2025-03-07 20:30:40 +01:00
parent e5e8c00904
commit 2b1f0a1cac
Signed by: petrvel
GPG key ID: E8F909AFE649174F
7 changed files with 6 additions and 0 deletions

View file

@ -105,3 +105,4 @@ K důkazu této věty budeme potřebovat pomocné lemma:
Z Lemmatu \ref{lemma-special-solution} máme, že rovnice $x' = \tilde{f(x, t)}$ má řešení $x$ splňující počáteční podmínku $x(t_0) = x_0$. Nazveme toto řešení $\tilde{x}$. Potom ze spojitosti $\tilde{x}$. Tedy existuje $\delta > 0$ takové, že graf $\tilde{x}$ na $(t_0 - \delta, t_0 + \delta)$ leží v $K_1$. Restrikce $\tilde{x}$ na tento interval nám tedy dává řešení původní rovnice.
\end{proof}