Difference between revisions of "Main Page"
Borishaase (talk | contribs) (Counting theorem for algebraic numbers) |
Borishaase (talk | contribs) (Prime number theorem) |
||
| Line 2: | Line 2: | ||
= Welcome to MWiki = | = Welcome to MWiki = | ||
== Theorem of the month == | == Theorem of the month == | ||
| − | === | + | === Prime number theorem === |
| − | + | For <math>\pi(x) := |\{p \in {}^{\omega}{\mathbb{P}} : p \le x \in {}^{\omega}{\mathbb{R}}\}|</math> holds <math>\pi(\omega) = \widetilde{{_e}\omega}\omega + \mathcal{O}({_e}\omega{\omega}^{\tilde{2}})</math>. | |
==== Proof: ==== | ==== Proof: ==== | ||
| − | + | In the sieve of Eratosthenes, the number of prime numbers decreases almost regularly. From intervals of fix length <math>y \in {}^{\omega}{\mathbb{R}_{>0}}, \hat{y}</math> set-2-tuples of prime numbers are formed such that the first interval has the unchanged representative prime number density and the second interval is empty, then the interval with the second most prime number density is followed by the second least one etc. | |
| + | |||
| + | For induction basis <math>n = 2</math> resp. 3, the induction hypothesis is that the first interval contains <math>x_n/{_e}x_n</math> prime numbers for <math>n \in {}^{\omega}{\mathbb{N}_{\ge2}}</math> and arbitrary <math>x_4 \in [2, 4[</math>. Then the induction step from <math>x_n</math> to <math>x_n^2</math> by considering the prime gaps of prime <math>p\# /q + 1</math> for <math>p, q \in {}^{\omega}\mathbb{P}</math> proves that there are <math>\pi(x_n^2) = \pi(x_n) \check{x}_n</math> prime numbers only from <math>\pi(x_n) = x_n/{_e}x_n</math>. The average distance between the prime numbers is <math>{_e}x_n</math> and the maximal <math>x_n^2</math> to <math>x_n</math> behaves like <math>\omega</math> to <math>{\omega}^{\tilde{2}}.\square</math> | ||
== Recommended reading == | == Recommended reading == | ||
[https://en.calameo.com/books/003777977258f7b4aa332 Nonstandard Mathematics] | [https://en.calameo.com/books/003777977258f7b4aa332 Nonstandard Mathematics] | ||
| − | |||
| − | |||
| − | |||
[[de:Hauptseite]] | [[de:Hauptseite]] | ||
Revision as of 09:58, 31 July 2022
Welcome to MWiki
Theorem of the month
Prime number theorem
For [math]\displaystyle{ \pi(x) := |\{p \in {}^{\omega}{\mathbb{P}} : p \le x \in {}^{\omega}{\mathbb{R}}\}| }[/math] holds [math]\displaystyle{ \pi(\omega) = \widetilde{{_e}\omega}\omega + \mathcal{O}({_e}\omega{\omega}^{\tilde{2}}) }[/math].
Proof:
In the sieve of Eratosthenes, the number of prime numbers decreases almost regularly. From intervals of fix length [math]\displaystyle{ y \in {}^{\omega}{\mathbb{R}_{>0}}, \hat{y} }[/math] set-2-tuples of prime numbers are formed such that the first interval has the unchanged representative prime number density and the second interval is empty, then the interval with the second most prime number density is followed by the second least one etc.
For induction basis [math]\displaystyle{ n = 2 }[/math] resp. 3, the induction hypothesis is that the first interval contains [math]\displaystyle{ x_n/{_e}x_n }[/math] prime numbers for [math]\displaystyle{ n \in {}^{\omega}{\mathbb{N}_{\ge2}} }[/math] and arbitrary [math]\displaystyle{ x_4 \in [2, 4[ }[/math]. Then the induction step from [math]\displaystyle{ x_n }[/math] to [math]\displaystyle{ x_n^2 }[/math] by considering the prime gaps of prime [math]\displaystyle{ p\# /q + 1 }[/math] for [math]\displaystyle{ p, q \in {}^{\omega}\mathbb{P} }[/math] proves that there are [math]\displaystyle{ \pi(x_n^2) = \pi(x_n) \check{x}_n }[/math] prime numbers only from [math]\displaystyle{ \pi(x_n) = x_n/{_e}x_n }[/math]. The average distance between the prime numbers is [math]\displaystyle{ {_e}x_n }[/math] and the maximal [math]\displaystyle{ x_n^2 }[/math] to [math]\displaystyle{ x_n }[/math] behaves like [math]\displaystyle{ \omega }[/math] to [math]\displaystyle{ {\omega}^{\tilde{2}}.\square }[/math]