Hauptseite: Unterschied zwischen den Versionen

Aus MWiki
Wechseln zu: Navigation, Suche
(Primzahlsatz)
(Satz von Green)
(12 dazwischenliegende Versionen desselben Benutzers werden nicht angezeigt)
Zeile 2: Zeile 2:
 
= Willkommen bei MWiki =
 
= Willkommen bei MWiki =
 
== Satz des Monats ==
 
== Satz des Monats ==
=== Primzahlsatz ===
+
=== Satz von Green ===
  
Für <math>\pi(x) := |\{p \in {}^{\omega}{\mathbb{P}} : p \le x \in {}^{\omega}{\mathbb{R}}\}|</math> gilt <math>\pi(\omega) = \widehat{{_e}\omega}\omega + \mathcal{O}({_e}\omega\sqrt{\omega})</math>.
+
Für die Nachbarschaftsrelationen <math>B \subseteq {A}^{2}</math> mit einfach zusammenhängender <math>h</math>-Menge <math>A \subseteq {}^{(\omega)}\mathbb{R}^{2}</math>, infinitesimalem <math>h = |dBx|= |dBy| = |\curvearrowright B \gamma(t) - \gamma(t)| = \mathcal{O}({\hat{\omega}}^{m})</math>, hinreichend großem <math>m \in \mathbb{N}^{*}, (x, y) \in A,</math> <math>{A}^{-} := \{(x, y) \in A : (x + h, y + h) \in A\}</math>, einem geschlossenen, im Gegenuhrzeigersinn durchlaufenen Weg <math>\gamma: [a, b[\rightarrow \partial A</math> bei Wahl von <math>\curvearrowright B \gamma(t) = \gamma(\curvearrowright D t)</math> gilt mit <math>t \in [a, b[, D \subseteq {[a, b]}^{2}</math> und hinreichend <math>\alpha</math>-stetigen Funktionen <math>u, v: A \rightarrow \mathbb{R}</math> mit nicht notwendig stetigen partiellen Ableitungen <math>\partial Bu/\partial Bx, \partial Bu/\partial By, \partial Bv/\partial Bx</math> und <math>\partial Bv/\partial By</math><div style="text-align:center;"><math>\int\limits_{\gamma }{(u\,dBx+v\,dBy)}=\int\limits_{(x,y)\in {{A}^{-}}}{\left( \frac{\partial Bv}{\partial Bx}-\frac{\partial Bu}{\partial By} \right)dB(x,y)}.</math></div>
  
 
==== Beweis: ====
 
==== Beweis: ====
Im Sieb des Eratosthenes nehmen die Primzahlanzahlen nahezu regelmäßig ab. Aus Intervallen fester Länge <math>y \in {}^{\omega}{\mathbb{R}_{&gt;0}}</math> lassen sich <math>\hat{2}y</math> Mengen-2-Tupel von Primzahlen so bilden, dass das erste Intervall eine unveränderte repräsentative Primzahldichte hat und das zweite Intervall leer ist, dann auf ein Intervall mit den zweitmeisten eines mit den zweitwenigsten Primzahlen folgt usw.
+
O. B. d. A. werde der Beweis nur für <math>A := \{(x, y) : r \le x \le s, f(x) \le y \le g(x)\}, r, s \in {}^{(\omega)}\mathbb{R}, f, g : \partial A \rightarrow {}^{(\omega)}\mathbb{R}</math> geführt, da er für das jeweils um <math>\iota</math> gedrehte Äquivalent analog verläuft und jede einfach zusammenhängende <math>h</math>-Menge eine Vereinigung solcher Mengen ist. Es wird nur<div style="text-align:center;"><math>\int\limits_{\gamma }{u\,dBx}=-\int\limits_{(x,y)\in {{A}^{-}}}{\frac{\partial Bu}{\partial By}dB(x,y)}</math></div>gezeigt, da sich die fehlende Beziehung analog ergibt. Da die Teile von <math>\gamma</math> mit <math>dBx = 0</math> zum Kurvenintegral nichts beitragen, gilt mit vernachlässigbarem <math>t := h(u(s, g(s)) - u(r, g(r)))</math><div style="text-align:center;"><math>-\int\limits_{\gamma }{u\,dBx}-t=\int\limits_{r}^{s}{u(x,g(x))dBx}-\int\limits_{r}^{s}{u(x,f(x))dBx}=\int\limits_{r}^{s}{\int\limits_{f(x)}^{g(x)}{\frac{\partial Bu}{\partial By}}dBydBx}=\int\limits_{(x,y)\in {{A}^{-}}}{\frac{\partial Bu}{\partial By}dB(x,y)}.\square</math></div>
 
 
Ist mit Induktionsanfang <math>n</math> = 2 bzw. 3 die Induktionsannahme, dass mit <math>n \in {}^{\omega}{\mathbb{N}_{\ge2}}</math> und beliebigem <math>x_4 \in [2, 4[</math> das erste Intervall <math>x_n/{_e}x_n</math> Primzahlen enthält, so beweist die Betrachtung der Primzahllücken von primen <math>p\# /q + 1</math> mit <math>p, q \in {}^{\omega}\mathbb{P}</math> im Induktionsschritt von <math>x_n</math> nach <math>x_n^2</math>, dass sich dann <math>\pi(x_n^2) = \pi(x_n) x_n/2</math> Primzahlen nur aus <math>\pi(x_n) = x_n/{_e}x_n</math> ergeben. Der durchschnittliche Primzahlabstand beträgt <math>{_e}x_n</math> und die maximale Entsprechung von <math>x_n^2</math> zu <math>x_n</math> ist <math>\omega</math> zu <math>\sqrt{\omega}.\square</math>
 
  
 
== Leseempfehlung ==
 
== Leseempfehlung ==

Version vom 30. April 2022, 22:22 Uhr

Willkommen bei MWiki

Satz des Monats

Satz von Green

Für die Nachbarschaftsrelationen [math]\displaystyle{ B \subseteq {A}^{2} }[/math] mit einfach zusammenhängender [math]\displaystyle{ h }[/math]-Menge [math]\displaystyle{ A \subseteq {}^{(\omega)}\mathbb{R}^{2} }[/math], infinitesimalem [math]\displaystyle{ h = |dBx|= |dBy| = |\curvearrowright B \gamma(t) - \gamma(t)| = \mathcal{O}({\hat{\omega}}^{m}) }[/math], hinreichend großem [math]\displaystyle{ m \in \mathbb{N}^{*}, (x, y) \in A, }[/math] [math]\displaystyle{ {A}^{-} := \{(x, y) \in A : (x + h, y + h) \in A\} }[/math], einem geschlossenen, im Gegenuhrzeigersinn durchlaufenen Weg [math]\displaystyle{ \gamma: [a, b[\rightarrow \partial A }[/math] bei Wahl von [math]\displaystyle{ \curvearrowright B \gamma(t) = \gamma(\curvearrowright D t) }[/math] gilt mit [math]\displaystyle{ t \in [a, b[, D \subseteq {[a, b]}^{2} }[/math] und hinreichend [math]\displaystyle{ \alpha }[/math]-stetigen Funktionen [math]\displaystyle{ u, v: A \rightarrow \mathbb{R} }[/math] mit nicht notwendig stetigen partiellen Ableitungen [math]\displaystyle{ \partial Bu/\partial Bx, \partial Bu/\partial By, \partial Bv/\partial Bx }[/math] und [math]\displaystyle{ \partial Bv/\partial By }[/math]

[math]\displaystyle{ \int\limits_{\gamma }{(u\,dBx+v\,dBy)}=\int\limits_{(x,y)\in {{A}^{-}}}{\left( \frac{\partial Bv}{\partial Bx}-\frac{\partial Bu}{\partial By} \right)dB(x,y)}. }[/math]

Beweis:

O. B. d. A. werde der Beweis nur für [math]\displaystyle{ A := \{(x, y) : r \le x \le s, f(x) \le y \le g(x)\}, r, s \in {}^{(\omega)}\mathbb{R}, f, g : \partial A \rightarrow {}^{(\omega)}\mathbb{R} }[/math] geführt, da er für das jeweils um [math]\displaystyle{ \iota }[/math] gedrehte Äquivalent analog verläuft und jede einfach zusammenhängende [math]\displaystyle{ h }[/math]-Menge eine Vereinigung solcher Mengen ist. Es wird nur

[math]\displaystyle{ \int\limits_{\gamma }{u\,dBx}=-\int\limits_{(x,y)\in {{A}^{-}}}{\frac{\partial Bu}{\partial By}dB(x,y)} }[/math]

gezeigt, da sich die fehlende Beziehung analog ergibt. Da die Teile von [math]\displaystyle{ \gamma }[/math] mit [math]\displaystyle{ dBx = 0 }[/math] zum Kurvenintegral nichts beitragen, gilt mit vernachlässigbarem [math]\displaystyle{ t := h(u(s, g(s)) - u(r, g(r))) }[/math]

[math]\displaystyle{ -\int\limits_{\gamma }{u\,dBx}-t=\int\limits_{r}^{s}{u(x,g(x))dBx}-\int\limits_{r}^{s}{u(x,f(x))dBx}=\int\limits_{r}^{s}{\int\limits_{f(x)}^{g(x)}{\frac{\partial Bu}{\partial By}}dBydBx}=\int\limits_{(x,y)\in {{A}^{-}}}{\frac{\partial Bu}{\partial By}dB(x,y)}.\square }[/math]

Leseempfehlung

Nichtstandardmathematik