In
mathematics
Mathematics is an area of knowledge that includes the topics of numbers, formulas and related structures, shapes and the spaces in which they are contained, and quantities and their changes. These topics are represented in modern mathematics ...
, a rational variety is an
algebraic variety
Algebraic varieties are the central objects of study in algebraic geometry, a sub-field of mathematics. Classically, an algebraic variety is defined as the set of solutions of a system of polynomial equations over the real or complex numbers. Mo ...
, over a given
field
Field may refer to:
Expanses of open ground
* Field (agriculture), an area of land used for agricultural purposes
* Airfield, an aerodrome that lacks the infrastructure of an airport
* Battlefield
* Lawn, an area of mowed grass
* Meadow, a grass ...
''K'', which is
birationally equivalent to a
projective space
In mathematics, the concept of a projective space originated from the visual effect of perspective, where parallel lines seem to meet ''at infinity''. A projective space may thus be viewed as the extension of a Euclidean space, or, more generally ...
of some dimension over ''K''. This means that its
function field is isomorphic to
:
the field of all
rational function
In mathematics, a rational function is any function that can be defined by a rational fraction, which is an algebraic fraction such that both the numerator and the denominator are polynomials. The coefficients of the polynomials need not be rat ...
s for some set
of
indeterminate
Indeterminate may refer to:
In mathematics
* Indeterminate (variable), a symbol that is treated as a variable
* Indeterminate system, a system of simultaneous equations that has more than one solution
* Indeterminate equation, an equation that ha ...
s, where ''d'' is the
dimension
In physics and mathematics, the dimension of a Space (mathematics), mathematical space (or object) is informally defined as the minimum number of coordinates needed to specify any Point (geometry), point within it. Thus, a Line (geometry), lin ...
of the variety.
Rationality and parameterization
Let ''V'' be an
affine algebraic variety of dimension ''d'' defined by a prime ideal ''I'' = ⟨''f''
1, ..., ''f''
''k''⟩ in