Commit 6ab249e0 authored by Gabriel Pérez-Cerezo's avatar Gabriel Pérez-Cerezo
Browse files

t_0\in I, t_0 in J ist offensichtlich

parent b226c7e9
......@@ -46,7 +46,7 @@ Für den Beweis wollen wir die \hyperref[th:globPL]{globale Version des Satzes v
\begin{equation*}
J = \bigcup_{\substack{I \subset J \\ I \text{ kompakt.}}} I.
\end{equation*}
Auf jedem kompakten Intervall $I \subset J$ mit $t_0 \in J$ existiert nach \circled{1} genau eine Lösung $u_I$ des Anfangswertproblems \eqref{eq:linAWP}.
Auf jedem kompakten Intervall $I \subset J$ mit $t_0 \in I$ existiert nach \circled{1} genau eine Lösung $u_I$ des Anfangswertproblems \eqref{eq:linAWP}.
Wir setzen nun $u \colon J \to X$, $u(t) = u_I(t)$ für $t \in I$.
Die Funktion $u$ ist wohldefiniert, da für kompakte Intervalle $I, \tilde{I} \subset J$ mit $t_0, t \in I \cap \tilde{I}$
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment