odstraneny zbytecne konce radku

This commit is contained in:
Petr Velička 2025-03-07 20:21:40 +01:00
parent d81703f774
commit e5e8c00904
Signed by untrusted user who does not match committer: petrvel
GPG key ID: E8F909AFE649174F
5 changed files with 0 additions and 4 deletions

View file

@ -105,4 +105,3 @@ 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}