Stetige Kurve/Euklidisch/Integralabschätzung/Fakt/Beweis

Beweis

Wenn ${}\int _{a}^{b}g(t)\,dt=0$ ist, so ist nichts zu zeigen. Es sei also

${}\int _{a}^{b}g(t)\,dt=v\neq 0\,.$

Es sei ${}u_{1}:={\frac {v}{\Vert {v}\Vert }}$. Das ergänzen wir zu einer Orthonormalbasis ${}u_{1},u_{2},\ldots ,u_{n}$ von ${}V$. Es seien ${}g_{1},g_{2},\ldots ,g_{n}$ die Koordinatenfunktionen von ${}g$ bezüglich dieser Basis. Dann besteht aufgrund unserer Basiswahl die Beziehung

${}{\begin{aligned}v&=\int _{a}^{b}g(t)\,dt\\&={\left(\int _{a}^{b}g_{1}(t)\,dt\right)}u_{1}+\cdots +{\left(\int _{a}^{b}g_{n}(t)\,dt\right)}u_{n}\\&={\left(\int _{a}^{b}g_{1}(t)\,dt\right)}u_{1},\end{aligned}}$

da ja ${}v$ ein Vielfaches von ${}u_{1}$ ist und somit die anderen Koeffizienten gleich ${}0$ sind. Daher ist

${}{\begin{aligned}\Vert {\int _{a}^{b}g(t)\,dt}\Vert &=\vert {\int _{a}^{b}g_{1}(t)\,dt}\vert \\&\leq \int _{a}^{b}\vert {g_{1}(t)}\vert \,dt\\&\leq \int _{a}^{b}{\sqrt {(g_{1}(t))^{2}+\cdots +(g_{n}(t))^{2}}}\,dt\\&=\int _{a}^{b}\Vert {g_{1}(t)u_{1}+\cdots +g_{n}(t)u_{n}}\Vert \,dt\\&=\int _{a}^{b}\Vert {g(t)}\Vert \,dt.\end{aligned}}$

Zur bewiesenen Aussage