Difference between revisions of "Main Page"
Borishaase (talk | contribs) m (Protected "Main Page": Only discussion may be changed ([Edit=Allow only administrators] (indefinite) [Move=Allow only administrators] (indefinite))) |
Borishaase (talk | contribs) |
||
Line 1: | Line 1: | ||
+ | = Welcome to MWiki = | ||
+ | == Theorems of the month == | ||
First fundamental theorem of exact differential and integral calculus for line integrals: The function <math>F(z)=\int\limits_{\gamma }{f(\zeta )dB\zeta }</math> where <math>\gamma: [d, x[C \rightarrow A \subseteq {}^{(\omega)}\mathbb{K}, C \subseteq \mathbb{R}, f: A \rightarrow {}^{(\omega)}\mathbb{K}, d \in [a, b[C</math>, and choosing <math>\curvearrowright B \gamma(x) = \gamma(\curvearrowright D x)</math> is exactly <math>B</math>-differentiable, and for all <math>x \in [a, b[C</math> and <math>z = \gamma(x)</math> | First fundamental theorem of exact differential and integral calculus for line integrals: The function <math>F(z)=\int\limits_{\gamma }{f(\zeta )dB\zeta }</math> where <math>\gamma: [d, x[C \rightarrow A \subseteq {}^{(\omega)}\mathbb{K}, C \subseteq \mathbb{R}, f: A \rightarrow {}^{(\omega)}\mathbb{K}, d \in [a, b[C</math>, and choosing <math>\curvearrowright B \gamma(x) = \gamma(\curvearrowright D x)</math> is exactly <math>B</math>-differentiable, and for all <math>x \in [a, b[C</math> and <math>z = \gamma(x)</math> | ||
Line 13: | Line 15: | ||
Proof: <math>F(\gamma (b))-F(\gamma (a))=\sum\limits_{t\in [a,b[C}{F(\curvearrowright B\,\gamma (t))}-F(\gamma (t))=\sum\limits_{t\in [a,b[C}{{{{{F}'}}_{\curvearrowright }}B(\gamma (t))(\curvearrowright B\,\gamma (t)-\gamma (t))}=\int\limits_{t\in [a,b[C}{{{{{F}'}}_{\curvearrowright }}B(\gamma (t)){{{{\gamma }'}}_{\curvearrowright }}D(t)dDt}=\int\limits_{\gamma }{{{{{F}'}}_{\curvearrowright }}B(\zeta )dB\zeta }.\square</math> | Proof: <math>F(\gamma (b))-F(\gamma (a))=\sum\limits_{t\in [a,b[C}{F(\curvearrowright B\,\gamma (t))}-F(\gamma (t))=\sum\limits_{t\in [a,b[C}{{{{{F}'}}_{\curvearrowright }}B(\gamma (t))(\curvearrowright B\,\gamma (t)-\gamma (t))}=\int\limits_{t\in [a,b[C}{{{{{F}'}}_{\curvearrowright }}B(\gamma (t)){{{{\gamma }'}}_{\curvearrowright }}D(t)dDt}=\int\limits_{\gamma }{{{{{F}'}}_{\curvearrowright }}B(\zeta )dB\zeta }.\square</math> | ||
+ | |||
+ | == Recommended readings == | ||
+ | [http://www.epubli.de/shop/buch/Relil-Boris-Haase-9783844208726/11049 Relil - Religion und Lebensweg] | ||
+ | |||
+ | [https://en.calameo.com/books/003777977258f7b4aa332 Nonstandard Mathematics] | ||
[[de:Hauptseite]] | [[de:Hauptseite]] |
Revision as of 18:37, 17 November 2019
Welcome to MWiki
Theorems of the month
First fundamental theorem of exact differential and integral calculus for line integrals: The function [math]\displaystyle{ F(z)=\int\limits_{\gamma }{f(\zeta )dB\zeta } }[/math] where [math]\displaystyle{ \gamma: [d, x[C \rightarrow A \subseteq {}^{(\omega)}\mathbb{K}, C \subseteq \mathbb{R}, f: A \rightarrow {}^{(\omega)}\mathbb{K}, d \in [a, b[C }[/math], and choosing [math]\displaystyle{ \curvearrowright B \gamma(x) = \gamma(\curvearrowright D x) }[/math] is exactly [math]\displaystyle{ B }[/math]-differentiable, and for all [math]\displaystyle{ x \in [a, b[C }[/math] and [math]\displaystyle{ z = \gamma(x) }[/math]
Proof: [math]\displaystyle{ dB(F(z))=\int\limits_{t\in [d,x]C}{f(\gamma (t)){{{{\gamma }'}}_{\curvearrowright }}D(t)dDt}-\int\limits_{t\in [d,x[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]
Second fundamental theorem of exact differential and integral calculus for line integrals: According to the conditions from above, we have with [math]\displaystyle{ \gamma: [a, b[C \rightarrow {}^{(\omega)}\mathbb{K} }[/math] that
Proof: [math]\displaystyle{ F(\gamma (b))-F(\gamma (a))=\sum\limits_{t\in [a,b[C}{F(\curvearrowright B\,\gamma (t))}-F(\gamma (t))=\sum\limits_{t\in [a,b[C}{{{{{F}'}}_{\curvearrowright }}B(\gamma (t))(\curvearrowright B\,\gamma (t)-\gamma (t))}=\int\limits_{t\in [a,b[C}{{{{{F}'}}_{\curvearrowright }}B(\gamma (t)){{{{\gamma }'}}_{\curvearrowright }}D(t)dDt}=\int\limits_{\gamma }{{{{{F}'}}_{\curvearrowright }}B(\zeta )dB\zeta }.\square }[/math]