period
A real number is a period if it is expressible as the integral of an (with algebraic coefficients) over an algebraic domain, and this integral is absolutely convergent. This is called the numberβs period representation. An algebraic domain is a subset of given by inequalities with algebraic coefficients. A complex number is defined to be a period if both its real and imaginary parts are. The set of all complex periods is denoted by .
1 Examples
Example 1.
The transcendental number is a period since we can write
Example 2.
Any algebraic number is a period since we use the somewhat definition that integration over a 0-dimensional space is taken to mean evaluation:
Example 3.
The logarithms of algebraic numbers are periods:
2 Non-periods
It is by no means trivial to find complex non-periods, though their existence is clear by a counting argument: The set of complex numbers is uncountable, whereas the set of periods is countable, as there are only countably many algebraic domains to choose and countably many algebraic functions over which to integrate.
3 Inclusion
With the existence of a non-period, we have the following chain of set inclusions:
where denotes the set of algebraic numbers. The periods promise to prove an interesting and important set of numbers in that nebulous between and .
4 References
Kontsevich and Zagier. Periods. 2001. Available on line at \urlhttp://www.ihes.fr/PREPRINTS/M01/M01-22.ps.gz.
Title | period |
---|---|
Canonical name | Period |
Date of creation | 2013-03-22 13:55:43 |
Last modified on | 2013-03-22 13:55:43 |
Owner | mathcam (2727) |
Last modified by | mathcam (2727) |
Numerical id | 11 |
Author | mathcam (2727) |
Entry type | Definition |
Classification | msc 11F67 |
Defines | period representation |
Defines | algebraic domain |