Hauptseite: Unterschied zwischen den Versionen
(Anzahlsatz der algebraischen Zahlen und Satz von Brocard) |
(Primzahlsatz und Satz von Gelfond-Schneider) |
||
Zeile 2: | Zeile 2: | ||
= Willkommen bei MWiki = | = Willkommen bei MWiki = | ||
== Sätze des Monats == | == Sätze des Monats == | ||
− | === | + | === Primzahlsatz === |
− | + | Für <math>\pi(x) := |\{p \in {}^{\omega}{\mathbb{P}} : p \le x \in {}^{\omega}{\mathbb{R}}\}|</math> gilt <math>\pi(\omega) = \widetilde{{_e}\omega}\omega + \mathcal{O}({_e}\omega{\omega}^{\tilde{2}})</math>. | |
==== Beweis: ==== | ==== Beweis: ==== | ||
− | + | Im Sieb des Eratosthenes nehmen die Primzahlanzahlen nahezu regelmäßig ab. Aus Intervallen fester Länge <math>y \in {}^{\omega}{\mathbb{R}_{>0}}</math> lassen sich <math>\hat{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. | |
− | === Satz von | + | 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) \check{x}_n</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>{\omega}^{\tilde{2}}.\square</math> |
− | + | ||
+ | === Satz von Gelfond-Schneider === | ||
+ | Mit <math>a, c \in {}^{\omega} \mathbb{A}_\mathbb{C}^{*} \setminus \{1\}, Q := {}^{\omega} \mathbb{R} \setminus {}^{\omega} \mathbb{T}_\mathbb{R}</math> und <math>b, \varepsilon \in {}^{\omega} \mathbb{A}_\mathbb{C} \setminus Q</math> gilt <math>a^b \in {}^{\omega} \mathbb{T}_\mathbb{C}</math>. | ||
==== Beweis: ==== | ==== Beweis: ==== | ||
− | + | Setzt <math>b \in Q</math> das Minimalpolynom <math>p(a^b) = p(c^q)</math> auf 0, so liefert die Annahme <math>a^b = c^{q+\varepsilon}</math> mit maximalem <math>q \in Q_{>0}</math> den Widerspruch <math>0 = (p(a^b) - p(c^q)) / (a^b - c^q) = p^\prime(a^b) = p^\prime(c^q) \ne 0.\square</math> | |
== Leseempfehlung == | == Leseempfehlung == | ||
[https://de.calameo.com/books/00377797710a3d3e2cb97 Nichtstandardmathematik] | [https://de.calameo.com/books/00377797710a3d3e2cb97 Nichtstandardmathematik] | ||
− | |||
− | |||
− | |||
[[en:Main Page]] | [[en:Main Page]] |
Version vom 31. Juli 2023, 19:38 Uhr
Willkommen bei MWiki
Sätze des Monats
Primzahlsatz
Für [math]\displaystyle{ \pi(x) := |\{p \in {}^{\omega}{\mathbb{P}} : p \le x \in {}^{\omega}{\mathbb{R}}\}| }[/math] gilt [math]\displaystyle{ \pi(\omega) = \widetilde{{_e}\omega}\omega + \mathcal{O}({_e}\omega{\omega}^{\tilde{2}}) }[/math].
Beweis:
Im Sieb des Eratosthenes nehmen die Primzahlanzahlen nahezu regelmäßig ab. Aus Intervallen fester Länge [math]\displaystyle{ y \in {}^{\omega}{\mathbb{R}_{>0}} }[/math] lassen sich [math]\displaystyle{ \hat{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.
Ist mit Induktionsanfang [math]\displaystyle{ n }[/math] = 2 bzw. 3 die Induktionsannahme, dass mit [math]\displaystyle{ n \in {}^{\omega}{\mathbb{N}_{\ge2}} }[/math] und beliebigem [math]\displaystyle{ x_4 \in [2, 4[ }[/math] das erste Intervall [math]\displaystyle{ x_n/{_e}x_n }[/math] Primzahlen enthält, so beweist die Betrachtung der Primzahllücken von primen [math]\displaystyle{ p\# /q + 1 }[/math] mit [math]\displaystyle{ p, q \in {}^{\omega}\mathbb{P} }[/math] im Induktionsschritt von [math]\displaystyle{ x_n }[/math] nach [math]\displaystyle{ x_n^2 }[/math], dass sich dann [math]\displaystyle{ \pi(x_n^2) = \pi(x_n) \check{x}_n }[/math] Primzahlen nur aus [math]\displaystyle{ \pi(x_n) = x_n/{_e}x_n }[/math] ergeben. Der durchschnittliche Primzahlabstand beträgt [math]\displaystyle{ {_e}x_n }[/math] und die maximale Entsprechung von [math]\displaystyle{ x_n^2 }[/math] zu [math]\displaystyle{ x_n }[/math] ist [math]\displaystyle{ \omega }[/math] zu [math]\displaystyle{ {\omega}^{\tilde{2}}.\square }[/math]
Satz von Gelfond-Schneider
Mit [math]\displaystyle{ a, c \in {}^{\omega} \mathbb{A}_\mathbb{C}^{*} \setminus \{1\}, Q := {}^{\omega} \mathbb{R} \setminus {}^{\omega} \mathbb{T}_\mathbb{R} }[/math] und [math]\displaystyle{ b, \varepsilon \in {}^{\omega} \mathbb{A}_\mathbb{C} \setminus Q }[/math] gilt [math]\displaystyle{ a^b \in {}^{\omega} \mathbb{T}_\mathbb{C} }[/math].
Beweis:
Setzt [math]\displaystyle{ b \in Q }[/math] das Minimalpolynom [math]\displaystyle{ p(a^b) = p(c^q) }[/math] auf 0, so liefert die Annahme [math]\displaystyle{ a^b = c^{q+\varepsilon} }[/math] mit maximalem [math]\displaystyle{ q \in Q_{\gt 0} }[/math] den Widerspruch [math]\displaystyle{ 0 = (p(a^b) - p(c^q)) / (a^b - c^q) = p^\prime(a^b) = p^\prime(c^q) \ne 0.\square }[/math]