make varepsilon not epsilon

This commit is contained in:
Petr Velička 2025-02-21 09:51:57 +01:00
parent 7244e71ae2
commit 49f4053379
Signed by: petrvel
GPG key ID: E8F909AFE649174F
2 changed files with 1 additions and 1 deletions

View file

@ -69,7 +69,7 @@ Následující věta nám říká, že na nějakém okolí libovolného bodu exi
Položme $\lambda = \frac{1}{n}$ pro $n = 1,2,\dots$. Pišme dále jen $x_n$ namísto $x_{1/n}$, tedy máme posloupnost funkcí. Položme $\lambda = \frac{1}{n}$ pro $n = 1,2,\dots$. Pišme dále jen $x_n$ namísto $x_{1/n}$, tedy máme posloupnost funkcí.
Ukážeme, že jsou stejně spojité a stejně omezené. Ukážeme, že jsou stejně spojité a stejně omezené.
Stejná omezenost plyne z toho, že $\| x_n (t) \| = \| x_0 + \int_{t_0}^t f(x(s - \frac{1}{n}), s) ds \| \leq \| x_0 \| + \int_{t_0}^t f(x(s - \frac{1}{n}) \| ds$. Ale funkce $f$ je omezená, tedy máme $\| x_n(t) \| \leq \| x_0 \| + (T - t_0) \cdot K$, kde $K$ je příslušná konstanta omezenosti $f$. Stejná omezenost plyne z toho, že $\| x_n (t) \| = \| x_0 + \int_{t_0}^t f(x(s - \frac{1}{n}), s) ds \| \leq \| x_0 \| + \int_{t_0}^t f(x(s - \frac{1}{n}) \| ds$. Ale funkce $f$ je omezená, tedy máme $\| x_n(t) \| \leq \| x_0 \| + (T - t_0) \cdot K$, kde $K$ je příslušná konstanta omezenosti $f$.
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$. 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 = \varepsilon$.
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. 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.

Binary file not shown.