Difference between revisions of "Main Page"

From MWiki
Jump to: navigation, search
(Prime number theorem)
(Counter-directional theorem)
Line 2: Line 2:
 
= Welcome to MWiki =
 
= Welcome to MWiki =
 
== Theorem of the month ==
 
== Theorem of the month ==
−
=== Prime number theorem ===
+
=== Counter-directional theorem ===
  
−
For <math>\pi(x) := |\{p \in {}^{\omega}{\mathbb{P}} : p \le x \in {}^{\omega}{\mathbb{R}}\}|</math> holds <math>\pi(\omega) = \widehat{{_e}\omega}\omega + \mathcal{O}({_e}\omega\sqrt{\omega})</math>.
+
If the path <math>\gamma: [a, b[ \, \cap \, C \rightarrow V</math> with <math>C \subseteq \mathbb{R}</math> passes the edges of every <math>n</math>-cube of side length d0 in the <math>n</math>-volume <math>V \subseteq {}^{(\omega)}\mathbb{R}^{n}</math> with <math>n \in \mathbb{N}_{\ge 2}</math> exactly once, where the opposite edges in all two-dimensional faces of every <math>n</math>-cube are traversed in reverse direction, but uniformly, then, for <math>D \subseteq \mathbb{R}^{2}, B \subseteq {V}^{2}, f = ({f}_{1}, ..., {f}_{n}): V \rightarrow {}^{(\omega)}\mathbb{R}^{n}, \gamma(t) = x, \gamma(\curvearrowright D t) = \curvearrowright B x</math> and <math>{V}_{\curvearrowright } := \{\curvearrowright B x \in V: x \in V, \curvearrowright B x \ne \curvearrowleft B x\}</math>, it holds that
 +
 
 +
 
 +
<div style="text-align:center;"><math>\int\limits_{t \in [a,b[ \, \cap \, C}{f(\gamma (t)){{{{\gamma }'}}_{\curvearrowright }}(t)dDt}=\int\limits_{\begin{smallmatrix} (x,\curvearrowright B\,x) \\ \in V\times {{V}_{\curvearrowright}} \end{smallmatrix}}{f(x)dBx}=\int\limits_{\begin{smallmatrix} t \in [a,b[ \, \cap \, C, \\ \gamma | {\partial{}^{\acute{n}}} V \end{smallmatrix}}{f(\gamma (t)){{{{\gamma }'}}_{\curvearrowright }}(t)dDt}.</math></div>
  
 
==== 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}_{&gt;0}}, \hat{2}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.
+
If two arbitrary squares are considered with common edge of length d0 included in one plane, then only the edges of <math>V\times{V}_{\curvearrowright}</math> are not passed in both directions for the same function value. They all, and thus the path to be passed, are exactly contained in <math>{\partial}^{\acute{n}}V.\square</math>
−
 
 
−
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) x_n/2</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>\sqrt{\omega}.\square</math>
 
  
 
== Recommended reading ==
 
== Recommended reading ==

Revision as of 03:46, 1 September 2021

Welcome to MWiki

Theorem of the month

Counter-directional theorem

If the path [math]\displaystyle{ \gamma: [a, b[ \, \cap \, C \rightarrow V }[/math] with [math]\displaystyle{ C \subseteq \mathbb{R} }[/math] passes the edges of every [math]\displaystyle{ n }[/math]-cube of side length d0 in the [math]\displaystyle{ n }[/math]-volume [math]\displaystyle{ V \subseteq {}^{(\omega)}\mathbb{R}^{n} }[/math] with [math]\displaystyle{ n \in \mathbb{N}_{\ge 2} }[/math] exactly once, where the opposite edges in all two-dimensional faces of every [math]\displaystyle{ n }[/math]-cube are traversed in reverse direction, but uniformly, then, for [math]\displaystyle{ D \subseteq \mathbb{R}^{2}, B \subseteq {V}^{2}, f = ({f}_{1}, ..., {f}_{n}): V \rightarrow {}^{(\omega)}\mathbb{R}^{n}, \gamma(t) = x, \gamma(\curvearrowright D t) = \curvearrowright B x }[/math] and [math]\displaystyle{ {V}_{\curvearrowright } := \{\curvearrowright B x \in V: x \in V, \curvearrowright B x \ne \curvearrowleft B x\} }[/math], it holds that


[math]\displaystyle{ \int\limits_{t \in [a,b[ \, \cap \, C}{f(\gamma (t)){{{{\gamma }'}}_{\curvearrowright }}(t)dDt}=\int\limits_{\begin{smallmatrix} (x,\curvearrowright B\,x) \\ \in V\times {{V}_{\curvearrowright}} \end{smallmatrix}}{f(x)dBx}=\int\limits_{\begin{smallmatrix} t \in [a,b[ \, \cap \, C, \\ \gamma | {\partial{}^{\acute{n}}} V \end{smallmatrix}}{f(\gamma (t)){{{{\gamma }'}}_{\curvearrowright }}(t)dDt}. }[/math]

Proof:

If two arbitrary squares are considered with common edge of length d0 included in one plane, then only the edges of [math]\displaystyle{ V\times{V}_{\curvearrowright} }[/math] are not passed in both directions for the same function value. They all, and thus the path to be passed, are exactly contained in [math]\displaystyle{ {\partial}^{\acute{n}}V.\square }[/math]

Recommended reading

Nonstandard Mathematics

Retrieved from "https://en.mwiki.de/index.php?title=Main_Page&oldid=185"