The following section uses the notation from the chapter on Set Theory. We shall consider the behaviour of inconcrete m, n ∈ ^{ω}ℕ, and we define h, k ∈ ℕ.

Remark: From algebra, we know that the sum, difference, product, and quotient of two algebraic numbers of degree h and k are algebraic of degree at most hk, and that the 1/h-th power of an algebraic number of degree k is algebraic of degree at most hk.

Remark: Transcendental numbers can be viewed as the sum of an algebraic part and a transcendental remainder. When investigating whether a number is transcendental, if the remainder may be expressed as the limit value of a zero sequence (a_{k}) (see Nonstandard Analysis), we cannot simply disregard the values of the sequence for large k: They are important. Transcendental numbers are the numbers that lie between algebraic numbers or on either side of them. By the counting theorem for algebraic numbers, if two distinct transcendental numbers (algebraic of degree h) are sufficiently close, there is no algebraic number (of degree < h) between them.

Bounding theorem for ω-transcendental numbers: Every non-zero complex number whose imaginary or real part has absolute value is ≤ 1/⌈ω⌉ or ≥ ⌈ω⌉, is automatically ω-transcendental.

Proof: In a polynomial equation, set a_{m} = 1 and a_{k} = -⌊ω⌋ for k < m, then the claim in the real case follows from the geometric series formula after taking the reciprocal. We can find the exact limit value by replacing ⌈ω⌉ by ω(m) = ⌈ω⌉ - ⌊ω⌋/ω(m)^{m} with ω := ⌈ω⌉ - ⌊ω⌋/ω^{⌊ω⌋}. In the complex case, substitutions of the form x = (1+bi)⌈ω⌉ with b ∈ ^{ω}ℝ give the desired result.⃞

Coefficient theorem for ω-transcendental numbers: Every normalised irreducible polynomial and series such that |a_{k}| ≥ ⌈ω⌉ for at least one a_{k} only has ω-transcendental zeros.

Proof: The zeros of normalised irreducible polynomials and series are pairwise distinct and uniquely determined. Since they are not ω-algebraic, they must be ω-transcendental.⃞

Product and sum theorem for ω-transcendental numbers: Every unsimplifiable product (or sum) of an infinite complex-rational number a and a complex algebraic or infinite algebraic number b, and every sum and product of an infinite complex algebraic number and a complex ω-algebraic (infinite complex algebraic) number with coprime polynomial or series degrees is ω-transcendental.

Proof: Dividing by an infinite complex-rational number leads always to at least one coefficient with modulus ≥ ⌈ω⌉ in the corresponding minimal polynomial or series. Requiring it to be coprime ensures that there is always at least one infinite algebraic number in the result.⃞

Remark: This simplification is unique if it includes the minimum of the modulus of the coefficients of the minimal polynomial or series of b and every numerator and denominator of the infinite complex-rational number a. Together with the rational numbers, the infinite (complex-)rational numbers already numerically make up the entirety of ℝ (ℂ). Therefore, algebraic and transcendental numbers are (numerically) difficult to distinguish, and approximations are of little use when determining whether a number is algebraic (to a certain degree). The merit of distinguishing between them is therefore questionable. Real continued fractions that do not terminate as a rational number are ω-transcendental, since they are infinite rational. They can only be used as an approximation of ω-algebraic numbers.

Remark: In the case of ω-transcendental numbers we must satisfy ourselves with an arbitrarily precise infinitesimal number, unlike in the case of ω-algebraic numbers, where we can argue using the corresponding minimal polynomial or series. We can therefore represent them in the form of a rational quotient with infinite numerator and denominator. However, when investigating the transcendence of a number using Liouville's approximation theorem, care should be taken to ensure that the approximating rational numbers are in fact conventionally rational and not infinitely rational, such as for example the number 10^{⌈ω⌉}. Similarly, confidence with infinite natural numbers is required when considering prime numbers ≥ ⌈ω⌉ in proofs of transcendence. The following proofs can also be used to show ω-transcendence by replacing the set ^{ω}ℕ by [⌈ω⌉, n]ℕ for some n that is not excessively large.

Theorem: The sum of all at least conventionally natural powers of a non-zero complex-rational number x that is not a root of unity (geometric series) is already ω-transcendental.

Proof: The modulus of either the numerator or denominator of x^{⌈ω⌉} is ≥ 2^{⌈ω⌉/2}. Subtracting 1 and dividing by 1 - x preserves ω-transcendence.⃞

Theorem: Euler's number e is ω-transcendental.

Proof: If we accept the exponential series as a representation for e, it follows that e = (k⌊ω⌋+1)/⌊ω⌋! for k ≥ ⌈ω⌉. Therefore, the numerator and the denominator of this fraction must be ≥ ⌈ω⌉, since neither ⌊ω⌋ nor a prime divisor of k in the numerator simplifies with ⌊ω⌋!. However, if we accept the representation (1+1/⌊ω⌋)^{⌊ω⌋} for e, the claim is trivial. Note that these two representations give different numbers.⃞

Theorem: The twin prime constant C_{2} is ω-transcendental as the product of (1 - 1/(p - 1)^{2}) over all primes p ∈ ℙ_{>2}.

Proof: By the prime number theorem (see Number Theory), neither the largest nor the second-largest prime number in ℕ - both of which are = ⌈ω⌉ - |O(ln ⌈ω⌉)| - divide the denominator of C_{2}.⃞

Theorem: The Landau-Ramanujan constant K is ω-transcendental as the product of (1 - 1/p^{2})^{-½} over all p ∈ ^{ω}ℙ such that p ≡ 3 mod 4 divided by √2.

Proof: By the (Dirichlet) prime number theorem, neither the largest nor the second-largest prime number ≡ 3 mod 4 of ^{ω}ℙ - both of which are = ⌈ω⌉ - |O(ln ⌈ω⌉)| - divide the denominator of K.⃞

Theorem: The Glaisher-Kinkelin constant A = 1^{1} 2^{2} 3^{3} ... ⌊ω⌋^{⌊ω⌋} (1+1/⌊ω⌋)^{⌊ω⌋³/4}/⌊ω⌋^{(⌊ω⌋²/2+⌊ω⌋/2+1/12)} is ω-transcendental.

Proof: After simplifying, the largest prime number of ^{ω}ℕ remains in the denominator with exponent > 2.⃞

The greatest-prime criterion for ω-transcendental numbers: If a real number r may be represented as an irreducible fraction a/(bp) ± s/t where a, b, s and t are natural numbers, abst ≠ 0 and b + t > 2, and the (second-)greatest prime number p ∈ ^{ω}ℙ, p ∤ a and p ∤ t, then r is ω-transcendental.

Proof: We have that r = (at ± bps)/(bpt) with denominator ≥ 2p ≥ 2⌈ω⌉ - |O(ln ⌈ω⌉)| > ⌈ω⌉ by the prime number theorem.⃞

Theorem: Pi π is ω-transcendental.

Proof: This follows from its Wallis product representation, or its product representation using the gamma function with value -½, provided that we accept these representations. It should be noted that these two representations yield distinct numbers. Alternatively, we can apply the greatest-prime criterion to the Leibniz series, or the Taylor series of arcsin(x) at x = 1.⃞

Theorem: The trigonometric and hyperbolic functions and their inverse functions, the digamma function ψ, the Lambert-W function, the Ein function, the (hyperbolic) sine integral S(h)i, Euler's Beta function B, and, for positive natural numbers s and u and natural numbers t the generalised error function E_{t}, the hypergeometric functions _{0}F_{t}, the Fresnel integrals C and S and the Bessel function I_{t} and the the Bessel function of the first kind J_{t}, the Legendre function χ_{s}, the polygamma function ψ_{s}, the generalised Mittag-Leffler function E_{s,t}, the Dirichlet series Σ f(u)/u^{s} over u with maximally finite rational |f(u)|, the prime zeta function P(s), the polylogarithm Li_{s}, and the Lerch zeta-function Φ(q, s, r) always yield ω-transcendental values for rational arguments and maximal finite rational |q| and |r| at points where their Taylor series converge.

Proof: The claim follows from the greatest-prime criterion, the Dirichlet prime number theorem, and the Wallis product. For the digamma function, the claim follows from the proof of ω-transcendence of Euler's constant below.⃞

Theorem: The gamma function Γ(z) := m!m^{z}/(z(z + 1) … (z + m)), where m = ⌈ω⌉^{⌈ω⌉²} and z ∈ ^{ω}ℂ \ -^{ω}ℕ, is ω-transcendental for z ∈ ^{ω}ℚ and for suitable supersets of ^{ω}ℕ resp. ^{ω}ℚ.

Proof: The values of Γ(z) are zeros of minimal polynomials or series with infinite integer coefficients.⃞

Theorem: For x ∈ ^{ω}ℝ, let s(x) be the sum of x^{k}/k over all k ∈ ^{ω}ℕ*. If we define Euler's constant as γ = s(1) - ln ⌊ω⌋ ∈ ]0, 1[ (since dx/⌊x⌋ - dx/x ≥ 0 and dx/⌊1+x⌋ - dx/x ≤ 0 for x ∈ ^{ω}ℝ_{≥1} in the integral representation of γ) and accept m s(½) - s(r/2^{m}) as a representation of ln ⌊ω⌋ with ⌊ω⌋ = 2^{m} - r, m ∈ ^{ω}ℕ and r ∈ [0, 2^{m-1}[ with a precision of O(m/2^{⌈ω⌉}), then γ is infinite rational and therefore ω-transcendental.

Proof: We obtain -ln(1 - x) = s(x) + O(x^{⌈ω⌉}/(1 - x)) + t(x)dx for x ∈ [-1, 1 - 1/κ] and a real function t(x) such that |t(x)| < ⌈ω⌉ by (exact) integration (see Nonstandard Analysis) of the geometric series. The claim follows from the greatest-prime criterion after applying Fermat's little theorem to the denominator of the k-th summand of s, for the largest or second-largest prime in ^{ω}ℕ, whose product is greater than m 2^{m-1} + 2^{m} - r by the prime number theorem.⃞

Remark: At all (higher) precisions, the numerators of the summands contain higher powers of two (after cancelling with the denominator where applicable), so the theorem remains valid. This in particular includes t(x)dx at almost any arbitrary precision, by successively reducing γ to a fraction. If we set dx to be the reciprocal of the maximal power of two in this configuration, with an infinite natural exponent for infinite rational t(x), the claim even holds exactly. In any case, the statement is valid for infinitely many levels of infinity of n, and in particular holds from the conventional perspective.

Definition: When two numbers x, y ∈ ^{ω}ℂ* or their reciprocals do not satisfy any polynomial or series equation p(x, y) = 0, so they are called *ω-algebraically independent*.

Theorem: By the greatest-prime criterion, with e = (1+1/p)^{p} for maximal p ∈ ^{ω}ℙ and π as Wallis product, pairwise ω-algebraically independent representations of A, C_{2}, γ, e, K and π do exist.⃞

Theorem: The BBP series Σp(k)/(q(k)b^{k}) over k for b, k ∈ ^{ω}ℕ and polynomials resp. series p and q ∈ ^{ω}ℤ with q(k) ≠ 0 and deg(p) < deg(q) only yield ω-transcendental values.

Proof: We can reduce the sum to a smallest common denominator d ≥ b^{m} > ω with d, m ∈ ℕ*.

Remark: Since all real numbers are (approximately) (infinite) rational numbers, we can compute them in real-time.

Approximation theorem for real algebraic numbers: Every real irrational algebraic number of degree k may be approximated by a real ω-algebraic number of degree h < k with an average asymptotic error of π ζ(h+1)/(2 |^{ω}ℤ|^{h} ln h).

Proof: On the conventionally real axis, the number of ω-algebraic numbers approximately evenly distributed between fixed limits increases by a factor of approximately |^{ω}ℤ| per degree. The error corresponds to the distance between ω-algebraic numbers. The non-real ω-algebraic numbers are less dense.⃞

Conclusion: Two distinct real ω-algebraic numbers have an average distance of at least π/(|^{ω}ℤ|^{⌊ω⌋} ln ⌈ω⌉). Determining this minimum distance exactly requires an infinite non-linear non-convex optimisation problem to be solved. Therefore, the κ-algebraic numbers have an approximate order of O(κ), disproving Roth's theorem, which essentially amounts to proving the (trivial) minimum distance between two rational numbers, and thus disproves the abc conjecture, but not Liouville's result.

Theorem: The maximum distance between two neighbouring real ω-algebraic numbers ≠ 0 amounts 1/⌊ω⌋^{2} - |O(1/⌊ω⌋^{3})|.

Proof: The distance between two real ω-algebraic numbers ≠ 0 is largest around the points ±1. A ω-rational number r > 1 (0 < r < 1) may be better approximated by the real ω-algebraic x that satisfies the polynomial or series equation ⌊ω⌋/r x^{m} - ⌊ω⌋x^{m-1} = 1 (x^{m} - ⌊ω⌋x = -⌊ω⌋r). An analogous result holds for negative r. If we wish to approximate 1 by a larger real ω-algebraic x, it must necessarily satisfy a polynomial or series equation such that a_{m} = ⌊ω⌋ - 1 and a_{0} = -⌊ω⌋. By setting a_{m} = ⌊ω⌋ - 1 and a_{0} = -⌊ω⌋ the claim follows, since the maximum distance can no longer be reduced.⃞

Remark: Conventional differentiation and integration loses the ability to distinguish between transcendental and algebraic in the conventional process of taking limits. This is problematic, for example when we wish to exactly determine the roots of a polynomial. Therefore, the chapter on Nonstandard Analysis on this homepage adopts a different (more precise) approach.

Collatz theorem: The sequence n/2 for even n and 3n + 1 for odd n always ends at 1 for n ∈ ℕ*.

Proof: After one iteration, by (Jeffrey C. Lagarias, "The 3x+1 problem and its generalizations", American Mathematical Monthly 92 (1985), 3-23), we obtain the expected value 3n/4 + O(1), from which the sequence cannot grow unlimitedly. By (Ivan Slapničar: There are no cycles in the 3n + 1 sequence; https://arxiv.org/pdf/1706.08399v1.pdf), only the trivial cycle 1-4-2-1 exists.⃞

Definition: || · ||_{d} is the *distance to the next integer*.

Littlewood theorem in conventional mathematics: For all a, b ∈ ^{c}ℝ and n ∈ ^{c}ℕ*, we have that:

Proof: Let r and s be the denominators of a and b with precision w and n, all natural multiples of rs. Then by the Dirichlet approximation theorem:

⃞

Refutation of the Littlewood conjecture in nonstandard mathematics: Let a = b := ώ^{-3/2}. Then:

ώ ||ώa||_{d} ||ώb||_{d} = 1 ≠ 0.⃞

Prime number theorem: For x ∈ ^{ω}ℝ_{>2}, we have that

Proof: The asymptotic equality follows from [780], p. 76 f.⃞

Goldbach's theorem: Every n ∈ 2ℕ* \ {2} may be written as n = p + q with (p, q) ∈ ℙ^{2}.

Proof: By the prime number theorem, the number n may be written as the sum of two primes with probability ln^{-2}n. If we sufficiently account for statistical imprecision with another factor of ln^{-2}n, then the claim follows, since the theorem is known to hold for n ≤ 4 10^{18} and 10^{12} ln^{4}n < n otherwise.⃞

Similarly, Lemoine's conjecture, which was verified for n ∈ [4, 5 10^{8}]^{ω}ℕ, is proven as

Corollary: The equation 2n - 1 = p + 2q ∈ ^{ω}ℕ_{>6} has always solutions p, q ∈ ^{ω}ℙ.⃞

Similarly, it follows directly Polignac's conjecture as

Corollary: For every fixed k ∈ ^{c}ℕ*, there are O(ώ/ln^{2}ώ) numbers p, p + 2k ∈ ^{ω}ℙ.⃞

Cramér's gap theorem: For every p ∈ ^{ω}ℙ \ {max ^{ω}ℙ} and q = min ^{ω}ℙ_{>p}, q - p = O(ln^{2}p) holds.

Proof: Because of the prime number theorem and the basically and sectionally uniform distribution of the prime gaps, the distance q - p is at most c ⌊ln p⌋ ⌈ln p⌉ for a small c ∈ ^{c}ℝ_{>0}.⃞

Oppermann's conjecture follows directly as

Corollary: For every n ∈ ^{ω}ℕ_{>1}, there is at least one (p, q) ∈ ℙ^{2} with n^{2} - n < p < n^{2} < q < n^{2} + n.⃞

© 29.06.2016 by Boris Haase

• disclaimer • mail@boris-haase.de • pdf-version • bibliography • subjects • definitions • statistics • php-code • rss-feed • top