In number theory, a rational point is a point in space each of whose coordinates are rational; that is, the coordinates of the point are elements of the field of rational numbers, as well as being elements of a larger field that contains the rational numbers, such as the real numbers or the complex numbers.
For example, (3, −67/4) is a rational point in 2-dimensional space, because 3 and −67/4 are rational numbers. A special case of a rational point is an integer point, that is, a point all of whose coordinates are integers. For example, (1, −5, 0) is an integer point in 3-dimensional space. These are also called integral points.
More generally, a K-rational point is a point in a space where each coordinate of the point belongs to the field K, as well as being an elements of a larger field containing the field K. A special case of K-rational points are those that belong to a ring of algebraic integers existing inside the field K.
Rational or K-rational points on algebraic varieties
Let V be an algebraic variety over a field K. V is affine if it is given by a set of equations fj(x1, ..., xn) = 0, j = 1, ..., m, with coefficients in K. In this case, a K-rational point P of V is an ordered n-tuple (x1, ..., xn) of elements of the field K that is a solution of all of the equations simultaneously. In the general case, a K-rational point of V is a K-rational point of some affine open subset of V.
A variety V is projective if it is defined in some projective space Pn by homogeneous polynomials f1, ..., fm (with coefficients in K). In this case, a K-rational point of V is a point [x0 : ... : xn] in the projective space, all of whose coordinates are in K, which is a common solution of all the equations fj = 0.
Sometimes, when no confusion is possible, or when K is the field of the rational numbers, we say "rational points" instead of "K-rational points".
Rational (as well as K-rational) points that lie on an algebraic variety such as an elliptic curve constitute a major area of current research. For an abelian variety A, the K-rational points form a group. The Mordell–Weil theorem states that the group of rational points of an abelian variety over K is finitely generated if K is a number field.
The Weil conjectures concern the distribution of rational points on varieties over finite fields, where 'rational points' are taken to mean points from the smallest subfield of the finite field the variety has been defined over.
The point (3, −67/4) is one of the infinite set of rational points on the straight line given by the equation y + 67/4 = 2(x − 3). This set of rational points forms a commutative group with group operation (a, b) "+" (r, s) = (a + r, b + s + 91/4), and group identity (0, −91/4). It can be shown that there are no integral points on this particular line. This line is a simple type of an algebraic curve, which in turn is a type of algebraic variety. There are also algebraic curves that contain only finitely many rational points, or even no rational points at all. For example, the conic x2 + y2 + 1 = 0 has no rational points.
The point P = (√, 3) is a point on the parabola given by the equation 3x2 − 2y = 0; this is an example of an algebraic variety. Although P is not a rational point, because the coordinate √ is not rational, P is an F-rational point, if F is chosen to be the field of numbers of the form a + b√2, where a and b are arbitrary rational numbers. This is because the coordinate √ = 0 + 1√, the coordinate 3 = 3 + 0√2, and the numbers 0, 1, and 3 are rational.
A point (a, b, c) in the complex projective plane is R-rational (or, as is common to say, is "real") if there exists a complex number z such that za, zb and zc are all real numbers. Otherwise, the point is a complex point. This description generalizes to complex projective spaces of higher dimension.
Rational points of schemes
In the language of morphisms of schemes, a K-rational point of a scheme X is just a morphism Spec K → X. The set of K-rational points is usually denoted X(K).
- Algebraic curve
- Arithmetic dynamics
- Birational transformation
- Group of rational points on the unit circle
- functor of points