In mathematics, the subspace theorem says that points of small
height
Height is measure of vertical distance, either vertical extent (how "tall" something or someone is) or vertical position (how "high" a point is).
For example, "The height of that building is 50 m" or "The height of an airplane in-flight is ab ...
in
projective space lie in a finite number of
hyperplane
In geometry, a hyperplane is a subspace whose dimension is one less than that of its '' ambient space''. For example, if a space is 3-dimensional then its hyperplanes are the 2-dimensional planes, while if the space is 2-dimensional, its hype ...
s. It is a result obtained by .
Statement
The subspace theorem states that if ''L''
1,...,''L''
''n'' are
linearly independent
In the theory of vector spaces, a set of vectors is said to be if there is a nontrivial linear combination of the vectors that equals the zero vector. If no such linear combination exists, then the vectors are said to be . These concepts ...
linear
Linearity is the property of a mathematical relationship ('' function'') that can be graphically represented as a straight line. Linearity is closely related to '' proportionality''. Examples in physics include rectilinear motion, the linear ...
forms
Form is the shape, visual appearance, or configuration of an object. In a wider sense, the form is the way something happens.
Form also refers to:
*Form (document), a document (printed or electronic) with spaces in which to write or enter data
* ...
in ''n'' variables with
algebraic coefficients and if ε>0 is any given real number, then
the non-zero integer points ''x'' with
:
lie in a finite number of
proper subspaces of Q
''n''.
A quantitative form of the theorem, in which the number of subspaces containing all solutions, was also obtained by Schmidt, and the theorem was generalised by to allow more general
absolute values
In mathematics, the absolute value or modulus of a real number x, is the non-negative value without regard to its sign. Namely, , x, =x if is a positive number, and , x, =-x if x is negative (in which case negating x makes -x positive), a ...
on
number field
In mathematics, an algebraic number field (or simply number field) is an extension field K of the field of rational numbers such that the field extension K / \mathbb has finite degree (and hence is an algebraic field extension).
Thus K is a ...
s.
Applications
The theorem may be used to obtain results on
Diophantine equation
In mathematics, a Diophantine equation is an equation, typically a polynomial equation in two or more unknowns with integer coefficients, such that the only solutions of interest are the integer ones. A linear Diophantine equation equates to ...
s such as
Siegel's theorem on integral points and solution of the
S-unit equation.
[Bombieri & Gubler (2006) pp. 176–230.]
A corollary on Diophantine approximation
The following corollary to the subspace theorem is often itself referred to as the ''subspace theorem''.
If ''a''
1,...,''a''
''n'' are algebraic such that 1,''a''
1,...,''a''
''n'' are linearly independent over Q and ε>0 is any given real number, then there are only finitely many rational ''n''-tuples (''x''
1/y,...,''x''
''n''/y) with
: