transfinite arithmetic, cardinal arithmetic, ordinal arithmetic
prime field, p-adic integer, p-adic rational number, p-adic complex number
arithmetic geometry, function field analogy
A transcendental number is a complex number for which the only polynomial with rational coefficients that has the number as a root is the zero polynomial. Equivalently in classical mathematics, it is a number which is not a root of a non-zero polynomial with rational coefficients, or a number which is not equal to any algebraic number.
An complex number $\alpha \in \mathbb{C}$ is weakly transcendental if the only polynomial function with rational coefficients $f \in \mathbb{Q}[x] \subseteq \mathbb{C}^\mathbb{C}$ such that $f(\alpha)$ is equal to zero is the constant polynomial function at zero.
An complex number $\alpha \in \mathbb{C}$ is strictly transcendental if the field extension $\mathbb{Q}(\alpha) \subseteq \mathbb{C}$ is isomorphic to the field of fractions $\mathbb{Q}(x)$ of the generic polynomial ring $\mathbb{Q}[x]$. Equivalently, $\alpha \in F$ is strictly transcendental if the complex absolute value of the difference of $\alpha$ and every algebraic number is positive:
These two notions coincide in classical mathematics, with both concepts just called transcendental; however, they are different in constructive mathematics.
Famous examples are the base ($\mathrm{e} = 2.7\ldots$) and period ($2 \pi \mathrm{i} = 6.28\ldots \mathrm{i}$, or equivalently $\pi = 3.14\ldots$) of the natural logarithm in the complex numbers with its Archimedean absolute value.
See also:
Wikipedia, Transcendental number
Wikipedia: Transcendental number theory
Last revised on July 29, 2024 at 11:21:53. See the history of this page for a list of all contributions to it.