Hauptsätze der Analysis: Unterschied zwischen den Versionen
(Hauptsätze der Analysis) |
K (Hauptsätze der Analysis) |
||
Zeile 4: | Zeile 4: | ||
− | '''Beweis:''' <math>dB(F(z))=\int\limits_{t\in [d,x] \; \cap \; C}{f(\gamma (t)){{{{\gamma }'}}_{\curvearrowright }}D(t)dDt}-\int\limits_{t\in [d,x[ \; \cap \; C}{f(\gamma (t)){{{{\gamma }'}}_{\curvearrowright }}D(t)dDt}=\int\limits_{x}{f(\gamma (t))\frac{\gamma (\curvearrowright Dt)-\gamma (t)}{\curvearrowright Dt-t}dDt}=f(\gamma (x)){{{\gamma }'}_{\curvearrowright }}D(x)dDx=\,f(\gamma (x))(\curvearrowright B\gamma (x)-\gamma (x))=f(z)dBz.\square</math> | + | '''Beweis:''' <math>dB(F(z))=\int\limits_{t\in [d,x] \; \cap \; C}{f(\gamma (t)){{{{\gamma }'}}_{\curvearrowright }}D(t)dDt}-\int\limits_{t\in [d,x[ \; \cap \; C}{f(\gamma (t)){{{{\gamma }'}}_{\curvearrowright }}D(t)dDt}</math><math>=\int\limits_{x}{f(\gamma (t))\frac{\gamma (\curvearrowright Dt)-\gamma (t)}{\curvearrowright Dt-t}dDt}=f(\gamma (x)){{{\gamma }'}_{\curvearrowright }}D(x)dDx=\,f(\gamma (x))(\curvearrowright B\gamma (x)-\gamma (x))=f(z)dBz.\square</math> |
'''Zweiter Hauptsatz der exakten Differential- und Integralrechnung für Kurvenintegrale:''' Gemäß den Voraussetzungen von oben gilt mit <math>\gamma: [a, b[ \; \cap \; C \rightarrow {}^{(\omega)}\mathbb{K}</math> | '''Zweiter Hauptsatz der exakten Differential- und Integralrechnung für Kurvenintegrale:''' Gemäß den Voraussetzungen von oben gilt mit <math>\gamma: [a, b[ \; \cap \; C \rightarrow {}^{(\omega)}\mathbb{K}</math> | ||
Zeile 12: | Zeile 12: | ||
− | '''Beweis:''' <math>F(\gamma (b))-F(\gamma (a))=\sum\limits_{t\in [a,b[ \; \cap \; C}{F(\curvearrowright B\,\gamma (t))}-F(\gamma (t))=\sum\limits_{t\in [a,b[ \; \cap \; C}{{{{{F}'}}_{\curvearrowright }}B(\gamma (t))(\curvearrowright B\,\gamma (t)-\gamma (t))}=\int\limits_{t\in [a,b[ \; \cap \; C}{{{{{F}'}}_{\curvearrowright }}B(\gamma (t)){{{{\gamma }'}}_{\curvearrowright }}D(t)dDt}=\int\limits_{\gamma }{{{{{F}'}}_{\curvearrowright }}B(\zeta )dB\zeta }.\square</math> | + | '''Beweis:''' <math>F(\gamma (b))-F(\gamma (a))=\sum\limits_{t\in [a,b[ \; \cap \; C}{F(\curvearrowright B\,\gamma (t))}-F(\gamma (t))=\sum\limits_{t\in [a,b[ \; \cap \; C}{{{{{F}'}}_{\curvearrowright }}B(\gamma (t))(\curvearrowright B\,\gamma (t)-\gamma (t))}</math><math>=\int\limits_{t\in [a,b[ \; \cap \; C}{{{{{F}'}}_{\curvearrowright }}B(\gamma (t)){{{{\gamma }'}}_{\curvearrowright }}D(t)dDt}=\int\limits_{\gamma }{{{{{F}'}}_{\curvearrowright }}B(\zeta )dB\zeta }.\square</math> |
== Siehe auch == | == Siehe auch == |
Version vom 27. April 2020, 06:53 Uhr
Erster Hauptsatz der exakten Differential- und Integralrechnung für Kurvenintegrale: Die Funktion [math]\displaystyle{ F(z)=\int\limits_{\gamma }{f(\zeta )dB\zeta } }[/math] ist mit [math]\displaystyle{ \gamma: [d, x[ \; \cap \; C \rightarrow A \subseteq {}^{(\omega)}\mathbb{K}, C \subseteq \mathbb{R}, f: A \rightarrow {}^{(\omega)}\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]
Beweis: [math]\displaystyle{ dB(F(z))=\int\limits_{t\in [d,x] \; \cap \; C}{f(\gamma (t)){{{{\gamma }'}}_{\curvearrowright }}D(t)dDt}-\int\limits_{t\in [d,x[ \; \cap \; C}{f(\gamma (t)){{{{\gamma }'}}_{\curvearrowright }}D(t)dDt} }[/math][math]\displaystyle{ =\int\limits_{x}{f(\gamma (t))\frac{\gamma (\curvearrowright Dt)-\gamma (t)}{\curvearrowright Dt-t}dDt}=f(\gamma (x)){{{\gamma }'}_{\curvearrowright }}D(x)dDx=\,f(\gamma (x))(\curvearrowright B\gamma (x)-\gamma (x))=f(z)dBz.\square }[/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 {}^{(\omega)}\mathbb{K} }[/math]
Beweis: [math]\displaystyle{ F(\gamma (b))-F(\gamma (a))=\sum\limits_{t\in [a,b[ \; \cap \; C}{F(\curvearrowright B\,\gamma (t))}-F(\gamma (t))=\sum\limits_{t\in [a,b[ \; \cap \; C}{{{{{F}'}}_{\curvearrowright }}B(\gamma (t))(\curvearrowright B\,\gamma (t)-\gamma (t))} }[/math][math]\displaystyle{ =\int\limits_{t\in [a,b[ \; \cap \; C}{{{{{F}'}}_{\curvearrowright }}B(\gamma (t)){{{{\gamma }'}}_{\curvearrowright }}D(t)dDt}=\int\limits_{\gamma }{{{{{F}'}}_{\curvearrowright }}B(\zeta )dB\zeta }.\square }[/math]