HOME

TheInfoList



OR:

In
algebra Algebra () is one of the areas of mathematics, broad areas of mathematics. Roughly speaking, algebra is the study of mathematical symbols and the rules for manipulating these symbols in formulas; it is a unifying thread of almost all of mathem ...
, a polynomial map or polynomial mapping P: V \to W between
vector space In mathematics and physics, a vector space (also called a linear space) is a set whose elements, often called '' vectors'', may be added together and multiplied ("scaled") by numbers called '' scalars''. Scalars are often real numbers, but ...
s over an infinite field ''k'' is a
polynomial In mathematics, a polynomial is an expression consisting of indeterminates (also called variables) and coefficients, that involves only the operations of addition, subtraction, multiplication, and positive-integer powers of variables. An ex ...
in
linear functional In mathematics, a linear form (also known as a linear functional, a one-form, or a covector) is a linear map from a vector space to its field of scalars (often, the real numbers or the complex numbers). If is a vector space over a field , th ...
s with coefficients in ''k''; i.e., it can be written as :P(v) = \sum_ \lambda_(v) \cdots \lambda_(v) w_ where the \lambda_: V \to k are linear functionals and the w_ are vectors in ''W''. For example, if W = k^m, then a polynomial mapping can be expressed as P(v) = (P_1(v), \dots, P_m(v)) where the P_i are (scalar-valued)
polynomial function In mathematics, a polynomial is an expression consisting of indeterminates (also called variables) and coefficients, that involves only the operations of addition, subtraction, multiplication, and positive-integer powers of variables. An examp ...
s on ''V''. (The abstract definition has an advantage that the map is manifestly free of a choice of basis.) When ''V'', ''W'' are
finite-dimensional In mathematics, the dimension of a vector space ''V'' is the cardinality (i.e., the number of vectors) of a basis of ''V'' over its base field. p. 44, ยง2.36 It is sometimes called Hamel dimension (after Georg Hamel) or algebraic dimension to d ...
vector spaces and are viewed as
algebraic varieties 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 number ...
, then a polynomial mapping is precisely a
morphism of algebraic varieties In algebraic geometry, a morphism between algebraic varieties is a function between the varieties that is given locally by polynomials. It is also called a regular map. A morphism from an algebraic variety to the affine line is also called a regul ...
. One fundamental outstanding question regarding polynomial mappings is the Jacobian conjecture, which concerns the sufficiency of a polynomial mapping to be invertible.


See also

*
Polynomial functor In algebra, a polynomial functor is an endofunctor on the category \mathcal of finite-dimensional vector spaces that depends polynomially on vector spaces. For example, the symmetric powers V \mapsto \operatorname^n(V) and the exterior powers V \ ...


References

* Claudio Procesi (2007) ''Lie Groups: an approach through invariants and representation'', Springer, . {{algebra-stub Algebra