Hauptsätze der Analysis

Erster Hauptsatz der exakten Differential- und Integralrechnung für Kurvenintegrale: Die Funktion [math]\displaystyle{ F(z)={\uparrow}_{\gamma }{f(\zeta ){\downarrow}B\zeta } }[/math] ist mit [math]\displaystyle{ \gamma: [d, x[ \; \cap \; C \rightarrow A \subseteq \mathbb{K}, C \subseteq \mathbb{R}, f: A \rightarrow \mathbb{K}, d \in [a, b[ \; \cap \; C }[/math] bei Wahl von [math]\displaystyle{ \curvearrowright B \gamma(x) = \gamma(\curvearrowright D x) }[/math] exakt [math]\displaystyle{ B }[/math]-differenzierbar und es gilt für alle [math]\displaystyle{ x \in [a, b[ \; \cap \; C }[/math] und [math]\displaystyle{ z = \gamma(x) }[/math]

[math]\displaystyle{ F' \curvearrowright B(z) = f(z). }[/math]

Beweis:

[math]\displaystyle{ \begin{aligned}{\downarrow}B(F(z))&={\uparrow}_{t\in [d,x] \; \cap \; C}{f(\gamma (t)){{{{\gamma }'}}_{\curvearrowright }}D(t){\downarrow}Dt}\;\,\;\;-{\uparrow}_{t\in [d,x[ \; \cap \; C}{f(\gamma (t)){{{{\gamma }'}}_{\curvearrowright }}D(t){\downarrow}Dt} \\ &={\uparrow}_{x}{f(\gamma (t))\frac{\gamma (\curvearrowright Dt)-\gamma (t)}{\curvearrowright Dt-t}{\downarrow}Dt}=f(\gamma (x)){{{\gamma }'}_{\curvearrowright }}D(x){\downarrow}Dx=\,f(\gamma (x))(\curvearrowright B\gamma (x)-\gamma (x))=f(z){\downarrow}Bz.\square\end{aligned} }[/math]

Zweiter Hauptsatz der exakten Differential- und Integralrechnung für Kurvenintegrale: Gemäß den Voraussetzungen von oben gilt mit [math]\displaystyle{ \gamma: [a, b[ \; \cap \; C \rightarrow \mathbb{K} }[/math]

[math]\displaystyle{ F(\gamma (b))-F(\gamma (a))={\uparrow}_{\gamma }{{{{{F}'}}_{\curvearrowright }}B(\zeta ){\downarrow}B\zeta }. }[/math]

Beweis:

[math]\displaystyle{ \begin{aligned}F(\gamma (b))-F(\gamma (a))&={+}_{t\in [a,b[ \; \cap \; C}{F(\curvearrowright B\,\gamma (t))}-F(\gamma (t))\;\, ={+}_{t\in [a,b[ \; \cap \; C}{{{{{F}'}}_{\curvearrowright }}B(\gamma (t))(\curvearrowright B\,\gamma (t)-\gamma (t))} \\ &={\uparrow}_{t\in [a,b[ \; \cap \; C}{{{{{F}'}}_{\curvearrowright }}B(\gamma (t)){{{{\gamma }'}}_{\curvearrowright }}D(t){\downarrow}Dt}={\uparrow}_{\gamma }{{{{{F}'}}_{\curvearrowright }}B(\zeta ){\downarrow}B\zeta }.\square\end{aligned} }[/math]

Siehe auch

• Liste mathematischer Symbole
• Fundamentalsatz der Analysis