Differenzierbare Kurven/Euklidisch/Elementare Eigenschaften/Fakt

Es sei ${}I$ ein reelles Intervall und ${}V$ ein euklidischer Vektorraum. Es seien

$f,g\colon I\longrightarrow V$

zwei in ${}t_{0}\in I$ differenzierbare Kurven und es sei

$h\colon I\longrightarrow \mathbb {R}$

eine in ${}t_{0}$ differenzierbare Funktion. Dann gelten folgende Aussagen.

1. Die Summe

   $f+g\colon I\longrightarrow V,\,t\longmapsto f(t)+g(t),$

   ist in ${}t_{0}$ differenzierbar mit

   ${}(f+g)'(t_{0})=f'(t_{0})+g'(t_{0})\,.$

2. Das Produkt

   $hf\colon I\longrightarrow V,\,t\longmapsto h(t)\cdot f(t),$

   ist differenzierbar in ${}t_{0}$ mit

   ${}(hf)'(t_{0})=h(t_{0})\cdot f'(t_{0})+h'(t_{0})\cdot f(t_{0})\,.$

   Insbesondere ist für ${}c\in \mathbb {R}$ auch ${}cf$ differenzierbar in ${}t_{0}$ mit

   ${}(cf)'(t_{0})=cf'(t_{0})\,.$

3. Wenn ${}h$ nullstellenfrei ist, so ist auch die Quotientenfunktion

   ${\frac {f}{h}}\colon I\longrightarrow V,\,t\longmapsto {\frac {f(t)}{h(t)}},$

   in ${}t_{0}$ differenzierbar mit

   ${}{\left({\frac {f}{h}}\right)}'(t_{0})={\frac {h(t_{0})f'(t_{0})-h'(t_{0})f(t_{0})}{(h(t_{0}))^{2}}}\,.$

Einen Beweis erstellen