Hauptseite: Unterschied zwischen den Versionen

Aus MWiki
Wechseln zu: Navigation, Suche
K (Beweis:)
(Satz von Green)
(4 dazwischenliegende Versionen desselben Benutzers werden nicht angezeigt)
Zeile 1: Zeile 1:
 
__NOTOC__
 
__NOTOC__
 
= Willkommen bei MWiki =
 
= Willkommen bei MWiki =
== Sätze des Monats ==
+
== Satz des Monats ==
=== Leibnizsche Differentiationsregel ===
+
=== Satz von Green ===
  
Für <math>f: {}^{(\omega)}\mathbb{K}^{\grave{n}} \rightarrow {}^{(\omega)}\mathbb{K}, a, b: {}^{(\omega)}\mathbb{K}^{n} \rightarrow {}^{(\omega)}\mathbb{K}, \curvearrowright B x := {(s, {x}_{2}, ..., {x}_{n})}^{T}</math> und <math>s \in {}^{(\omega)}\mathbb{K} \setminus \{{x}_{1}\}</math> gilt bei Wahl von <math>\curvearrowright D a(x) = a(\curvearrowright B x)</math> und <math>\curvearrowright D b(x) = b(\curvearrowright B x)</math><div style="text-align:center;"><math>\tfrac{{\downarrow} }{{\downarrow} {{x}_{1}}}\left( {\uparrow}_{a(x)}^{b(x)}{f(x,t){\downarrow}Dt} \right)={\uparrow}_{a(x)}^{b(x)}{\tfrac{{\downarrow} f(x,t)}{{\downarrow} {{x}_{1}}}{\downarrow}Dt}+\tfrac{{\downarrow} b(x)}{{\downarrow} {{x}_{1}}}f(\curvearrowright Bx,b(x))-\tfrac{{\downarrow} a(x)}{{\downarrow} {{x}_{1}}}f(\curvearrowright Bx,a(x)).</math></div>
+
Mit <math>h</math>-Gebiet <math>D \subseteq {}^{(\omega)}\mathbb{R}^{2}</math>, infinitesimalem <math>h = |{\downarrow}x|= |{\downarrow}y| = |{}^\curvearrowright \gamma(t) - \gamma(t)| = \mathcal{O}({\tilde{\omega}}^{m})</math>, hinreichend großem <math>m \in \mathbb{N}^{*}, (x, y) \in D, {D}^{-} := \{(x, y) \in D : (x + h, y + h) \in D\}</math>, einem geschlossenen, im Gegenuhrzeigersinn durchlaufenen Weg <math>\gamma: [a, b[\rightarrow \partial D</math> bei Wahl von <math>{}^\curvearrowright \gamma(t) = \gamma({}^\curvearrowright t)</math> gilt mit <math>t \in [a, b[, A \subseteq {[a, b]}^{2}</math> und hinreichend <math>\alpha</math>-stetigen Funktionen <math>u, v: D \rightarrow \mathbb{R}</math> mit ggf. nicht stetigen Ableitungen <math>{\downarrow} u/{\downarrow} x, {\downarrow} u/{\downarrow} y, {\downarrow} v/{\downarrow} x</math> und <math>{\downarrow} v/{\downarrow} y</math><div style="text-align:center;"><math>{\uparrow}_{\gamma }{(u\,{\downarrow}x+v\,{\downarrow}y)}={\uparrow}_{(x,y)\in {{D}^{-}}}{\left( \tfrac{{\downarrow} v}{{\downarrow} x}-\tfrac{{\downarrow} u}{{\downarrow} y} \right){\downarrow}(x,y)}.</math></div>
  
 
==== Beweis: ====
 
==== Beweis: ====
<div style="text-align:center;"><math>\begin{aligned}\tfrac{{\downarrow} }{{\downarrow} {{x}_{1}}}\left( {\uparrow}_{a(x)}^{b(x)}{f(x,t){\downarrow}Dt} \right) &={\left( {\uparrow}_{a(\curvearrowright Bx)}^{b(\curvearrowright Bx)}{f(\curvearrowright Bx,t){\downarrow}Dt}-{\uparrow}_{a(x)}^{b(x)}{f(x,t){\downarrow}Dt} \right)}/{{\downarrow} {{x}_{1}}}\; \\ &={\left( {\uparrow}_{a(x)}^{b(x)}{(f(\curvearrowright Bx,t)-f(x,t)){\downarrow}Dt}+{\uparrow}_{b(x)}^{b(\curvearrowright Bx)}{f(\curvearrowright Bx,t){\downarrow}Dt}-{\uparrow}_{a(x)}^{a(\curvearrowright Bx)}{f(\curvearrowright Bx,t){\downarrow}Dt} \right)}/{{\downarrow} {{x}_{1}}}\; \\ &={\uparrow}_{a(x)}^{b(x)}{\tfrac{{\downarrow} f(x,t)}{{\downarrow} {{x}_{1}}}{\downarrow}Dt}+\tfrac{{\downarrow} b(x)}{{\downarrow} {{x}_{1}}}f(\curvearrowright Bx,b(x))-\tfrac{{\downarrow} a(x)}{{\downarrow} {{x}_{1}}}f(\curvearrowright Bx,a(x)).\square\end{aligned}</math></div>
+
Der Beweis wird nur für <math>D := \{(x, y) : r \le x \le s, f(x) \le y \le g(x)\}, r, s \in {}^{(\omega)}\mathbb{R}, f, g : \partial D \rightarrow {}^{(\omega)}\mathbb{R}</math> geführt, da das jeweils um <math>\check{\pi}</math> gedrehte Äquivalent analog resultiert mit jedem <math>h</math>-Gebiet als Vereinigung solcher Mengen. Da sich die fehlende Beziehung analog ergibt, beschränkt sich die Betrachtung auf <div style="text-align:center;"><math>{\uparrow}_{\gamma }{u\,{\downarrow}x}=-{\uparrow}_{(x,y)\in {{D}^{-}}}{\tfrac{{\downarrow} u}{{\downarrow} y}{\downarrow}(x,y)}.</math></div> Unter Vernachlässigung der Teile von <math>\gamma</math> mit <math>{\downarrow}x = 0</math> zum Kurvenintegral wie von <math>t := h(u(s, g(s)) - u(r, g(r)))</math> gilt<div style="text-align:center;"><math>-{\uparrow}_{\gamma }{u\,{\downarrow}x}-t={\uparrow}_{r}^{s}{u(x,g(x)){\downarrow}x}-{\uparrow}_{r}^{s}{u(x,f(x)){\downarrow}x}={\uparrow}_{r}^{s}{{\uparrow}_{f(x)}^{g(x)}{\tfrac{{\downarrow} u}{{\downarrow} y}}{\downarrow}y{\downarrow}x}={\uparrow}_{(x,y)\in {{D}^{-}}}{\tfrac{{\downarrow} u}{{\downarrow} y}{\downarrow}(x,y)}.\square</math></div>
 
 
=== Satz von Beal ===
 
Für <math>a^m + b^n = c^k</math> mit <math>a, b, c \in \mathbb{N}^{*}</math> und <math>k, m, n \in \mathbb{N}_{\ge 3}</math> gilt ggT<math>(a, b, c) > 1.</math>
 
 
 
==== Beweis: ====
 
Beweis: Reelle Punkte zwischen <math>r, s \in {}^{\omega}\mathbb{Q}</math> verhindern nicht, dass mit <math>p \in {}^{\omega} \mathbb{P}</math> jede nichttriviale Darstellung von <math>c^k > 1</math> durch <math>(a^{m-r} + ib^{n-s})(a^r - ib^s) =c^k +i(a^rb^{n-s} - a^{m-r}b^s)</math> vorliegt, wobei alle Beziehungen <math>a^{m-\hat{r}} = b^{n-\hat{s}}</math> dann <math>p \mid</math> ggT<math>(a, b, c)</math> sowie die Behauptung ergeben.<math>\square</math>
 
 
 
===Folgerung: ===
 
Der vorige Satz ermöglicht einen unendlichen Abstieg wegen ggT<math>(a, b, c) > 1</math>, sodass <math>a^n + b^n = c^n</math> von keinem <math>n \in {}^{\omega}\mathbb{N}_{\ge 3}</math>  für beliebige <math>a, b, c \in {}^{\omega}\mathbb{N}^{*}</math> erfüllt wird.<math>\square</math>
 
  
 
== Leseempfehlung ==
 
== Leseempfehlung ==

Version vom 1. Mai 2023, 02:25 Uhr

Willkommen bei MWiki

Satz des Monats

Satz von Green

Mit [math]\displaystyle{ h }[/math]-Gebiet [math]\displaystyle{ D \subseteq {}^{(\omega)}\mathbb{R}^{2} }[/math], infinitesimalem [math]\displaystyle{ h = |{\downarrow}x|= |{\downarrow}y| = |{}^\curvearrowright \gamma(t) - \gamma(t)| = \mathcal{O}({\tilde{\omega}}^{m}) }[/math], hinreichend großem [math]\displaystyle{ m \in \mathbb{N}^{*}, (x, y) \in D, {D}^{-} := \{(x, y) \in D : (x + h, y + h) \in D\} }[/math], einem geschlossenen, im Gegenuhrzeigersinn durchlaufenen Weg [math]\displaystyle{ \gamma: [a, b[\rightarrow \partial D }[/math] bei Wahl von [math]\displaystyle{ {}^\curvearrowright \gamma(t) = \gamma({}^\curvearrowright t) }[/math] gilt mit [math]\displaystyle{ t \in [a, b[, A \subseteq {[a, b]}^{2} }[/math] und hinreichend [math]\displaystyle{ \alpha }[/math]-stetigen Funktionen [math]\displaystyle{ u, v: D \rightarrow \mathbb{R} }[/math] mit ggf. nicht stetigen Ableitungen [math]\displaystyle{ {\downarrow} u/{\downarrow} x, {\downarrow} u/{\downarrow} y, {\downarrow} v/{\downarrow} x }[/math] und [math]\displaystyle{ {\downarrow} v/{\downarrow} y }[/math]

[math]\displaystyle{ {\uparrow}_{\gamma }{(u\,{\downarrow}x+v\,{\downarrow}y)}={\uparrow}_{(x,y)\in {{D}^{-}}}{\left( \tfrac{{\downarrow} v}{{\downarrow} x}-\tfrac{{\downarrow} u}{{\downarrow} y} \right){\downarrow}(x,y)}. }[/math]

Beweis:

Der Beweis wird nur für [math]\displaystyle{ D := \{(x, y) : r \le x \le s, f(x) \le y \le g(x)\}, r, s \in {}^{(\omega)}\mathbb{R}, f, g : \partial D \rightarrow {}^{(\omega)}\mathbb{R} }[/math] geführt, da das jeweils um [math]\displaystyle{ \check{\pi} }[/math] gedrehte Äquivalent analog resultiert mit jedem [math]\displaystyle{ h }[/math]-Gebiet als Vereinigung solcher Mengen. Da sich die fehlende Beziehung analog ergibt, beschränkt sich die Betrachtung auf

[math]\displaystyle{ {\uparrow}_{\gamma }{u\,{\downarrow}x}=-{\uparrow}_{(x,y)\in {{D}^{-}}}{\tfrac{{\downarrow} u}{{\downarrow} y}{\downarrow}(x,y)}. }[/math]

Unter Vernachlässigung der Teile von [math]\displaystyle{ \gamma }[/math] mit [math]\displaystyle{ {\downarrow}x = 0 }[/math] zum Kurvenintegral wie von [math]\displaystyle{ t := h(u(s, g(s)) - u(r, g(r))) }[/math] gilt

[math]\displaystyle{ -{\uparrow}_{\gamma }{u\,{\downarrow}x}-t={\uparrow}_{r}^{s}{u(x,g(x)){\downarrow}x}-{\uparrow}_{r}^{s}{u(x,f(x)){\downarrow}x}={\uparrow}_{r}^{s}{{\uparrow}_{f(x)}^{g(x)}{\tfrac{{\downarrow} u}{{\downarrow} y}}{\downarrow}y{\downarrow}x}={\uparrow}_{(x,y)\in {{D}^{-}}}{\tfrac{{\downarrow} u}{{\downarrow} y}{\downarrow}(x,y)}.\square }[/math]

Leseempfehlung

Nichtstandardmathematik