Namespaces
Variants
Actions

Difference between revisions of "Polynomial"

From Encyclopedia of Mathematics
Jump to: navigation, search
(Importing text file)
 
(TeX; MSC; formatting)
 
Line 1: Line 1:
 +
{{TEX|done}}
 +
{{MSC|12E05}}
 +
 
An expression of the form
 
An expression of the form
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p073/p073690/p0736901.png" /></td> </tr></table>
+
$$f(x,y,\dots,w)=$$
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p073/p073690/p0736902.png" /></td> </tr></table>
+
$$=Ax^ky^l\dotsm w^m+Bx^ny^p\dotsm w^q+\dots+Dx^ry^s\dotsm w^t,$$
  
where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p073/p073690/p0736903.png" /> are variables and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p073/p073690/p0736904.png" /> (the coefficients of the polynomial) and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p073/p073690/p0736905.png" /> (the exponents of the powers, which are non-negative integers) are constants. The individual expressions
+
where $x,y,\dots,w$ are variables and $A,B,\dots,D$ (the ''coefficients'' of the polynomial) and $k,l,\dots,t$ (the ''exponents of the powers'', which are non-negative integers) are constants. The individual expressions
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p073/p073690/p0736906.png" /></td> </tr></table>
+
$$Ax^ky^l\dotsm w^m$$
  
are called the terms of the polynomial. The order of the terms, and also the order of the factors in each term, can be changed arbitrarily; in precisely the same way it is possible to introduce or omit terms with zero coefficients and, in each individual term, zero powers. When the polynomial has one, two or three terms it is called a monomial, binomial or trinomial.
+
are called the ''terms of the polynomial''. The order of the terms, and also the order of the factors in each term, can be changed arbitrarily; in precisely the same way it is possible to introduce or omit terms with zero coefficients and, in each individual term, zero powers. When the polynomial has one, two or three terms it is called a monomial, binomial or trinomial.
  
 
With regard to the coefficients of a polynomial one assumes that they belong to a [[Field|field]], for example, the field of rational, real or complex numbers.
 
With regard to the coefficients of a polynomial one assumes that they belong to a [[Field|field]], for example, the field of rational, real or complex numbers.
  
Two terms of a polynomial are called similar if the powers of the same variables in them are equal. Terms similar to each other,
+
Two terms of a polynomial are called ''similar'' if the powers of the same variables in them are equal. Terms similar to each other,
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p073/p073690/p0736907.png" /></td> </tr></table>
+
$$A'x^ky^l\dotsm w^m,B'x^ky^l\dotsm w^m,\dots,D'x^ky^l\dotsm w^m,$$
  
 
can be replaced by one term
 
can be replaced by one term
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p073/p073690/p0736908.png" /></td> </tr></table>
+
$$(A'+B'+\dots+D')x^ky^l\dotsm w^m$$
  
(reduction of similar terms). Two polynomials are called equal if, after reduction, all terms with non-zero coefficients are pairwise identical (but, possibly, written in a different order), and also if all the coefficients of both of these polynomials turn out to be zero. In the latter case the polynomial is called identically zero and is denoted by the symbol 0.
+
(''reduction of similar terms''). Two polynomials are called equal if, after reduction, all terms with non-zero coefficients are pairwise identical (but, possibly, written in a different order), and also if all the coefficients of both of these polynomials turn out to be zero. In the latter case the polynomial is called ''identically zero'' and is denoted by the symbol 0.
  
The sum of the powers of any term of a polynomial is called the degree of that term. If the polynomial is not identically zero, then among the terms with non-zero coefficients (it is assumed that similar terms have been reduced) there is at least one of highest degree: this highest degree is called the degree of the polynomial. The zero polynomial does not have a degree. A polynomial of degree zero reduces to a single term <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p073/p073690/p0736909.png" /> (a constant, not equal to zero).
+
The sum of the powers of any term of a polynomial is called the ''degree'' of that term. If the polynomial is not identically zero, then among the terms with non-zero coefficients (it is assumed that similar terms have been reduced) there is at least one of highest degree: this highest degree is called the ''degree of the polynomial''. The zero polynomial does not have a degree. A polynomial of degree zero reduces to a single term $A$ (a constant, not equal to zero).
  
A polynomial in the variables <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p073/p073690/p07369010.png" /> is called a [[Symmetric polynomial|symmetric polynomial]] if it is not changed by any permutation of the variables. A polynomial of which all terms have the same degree is called a homogeneous polynomial or a form; forms of the first, second or third degree are called linear, quadratic or cubic, and, according to the number of variables (two or three), they are called dyadic (binary) or triadic (ternary) (for example, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p073/p073690/p07369011.png" /> is a ternary quadratic form).
+
A polynomial in the variables $x_1,\dots,x_n$ is called a [[Symmetric polynomial|symmetric polynomial]] if it is not changed by any permutation of the variables. A polynomial of which all terms have the same degree is called a ''homogeneous polynomial'' or a ''form''; forms of the first, second or third degree are called linear, quadratic or cubic, and, according to the number of variables (two or three), they are called dyadic (binary) or triadic (ternary) (for example, $f(x_1,x_2,x_3)=x_1^2+x_2^2+x_3^2-x_1x_2-x_2x_3-x_1x_3$ is a ternary quadratic form).
  
The degree of a polynomial <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p073/p073690/p07369012.png" /> with respect to one of its variables <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p073/p073690/p07369013.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p073/p073690/p07369014.png" />, is the highest power with which <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p073/p073690/p07369015.png" /> occurs in a term of this polynomial (this degree may be zero). Of two terms of a polynomial the higher one (relative to a given numbering of the variables) is that for which the power of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p073/p073690/p07369016.png" /> is higher, and if these powers are equal, that for which the power of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p073/p073690/p07369017.png" /> is higher, etc. If all terms of a polynomial are ordered so that each term is lower than the preceding, then the terms are said to be lexicographically ordered. The term which then stands in the first place is called the highest term (or leading term). A polynomial of one variable with lexicographically ordered terms has the form
+
The ''degree'' of a polynomial $f(x_1,\dots,x_n)$ with respect to one of its variables $x_i$, $i=1,\dots,n$, is the highest power with which $x_i$ occurs in a term of this polynomial (this degree may be zero). Of two terms of a polynomial the higher one (relative to a given numbering of the variables) is that for which the power of $x_1$ is higher, and if these powers are equal, that for which the power of $x_2$ is higher, etc. If all terms of a polynomial are ordered so that each term is lower than the preceding, then the terms are said to be ''lexicographically ordered''. The term which then stands in the first place is called the ''highest term'' (or ''leading term''). A polynomial of one variable with lexicographically ordered terms has the form
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p073/p073690/p07369018.png" /></td> </tr></table>
+
$$f(x)=a_0x^n+a_1x^{n-1}+\dots+a_n,$$
  
where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p073/p073690/p07369019.png" /> are the coefficients.
+
where $a_0,\dots,a_n$ are the coefficients.
  
The roots of a polynomial in one variable over a field <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p073/p073690/p07369020.png" /> are the solutions of the [[Algebraic equation|algebraic equation]]
+
The ''roots of a polynomial'' in one variable over a field $k$ are the solutions of the [[Algebraic equation|algebraic equation]]
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p073/p073690/p07369021.png" /></td> </tr></table>
+
$$f(x)=0.$$
  
 
The roots of a polynomial are related to its coefficients by Viète's formula (see [[Viète theorem|Viète theorem]]).
 
The roots of a polynomial are related to its coefficients by Viète's formula (see [[Viète theorem|Viète theorem]]).
  
The set of all possible polynomials in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p073/p073690/p07369022.png" /> variables with coefficients from a given field forms a [[Ring|ring]] with respect to the naturally defined operations of addition and multiplication. The ring of polynomials in an infinite set of variables can also be considered. A [[Ring of polynomials|ring of polynomials]] is an associative-commutative ring without zero divisors (that is, a product of non-zero polynomials cannot be 0).
+
The set of all possible polynomials in $n$ variables with coefficients from a given field forms a [[Ring|ring]] with respect to the naturally defined operations of addition and multiplication. The ring of polynomials in an infinite set of variables can also be considered. A [[Ring of polynomials|ring of polynomials]] is an associative-commutative ring without zero divisors (that is, a product of non-zero polynomials cannot be 0).
  
If for two given polynomials <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p073/p073690/p07369023.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p073/p073690/p07369024.png" /> there exists a polynomial <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p073/p073690/p07369025.png" /> such that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p073/p073690/p07369026.png" />, then one says that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p073/p073690/p07369027.png" /> is divisible by <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p073/p073690/p07369028.png" />; <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p073/p073690/p07369029.png" /> is called the divisor and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p073/p073690/p07369030.png" /> the quotient. If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p073/p073690/p07369031.png" /> is not divisible by <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p073/p073690/p07369032.png" />, but both polynomials contain the same variable, for example <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p073/p073690/p07369033.png" />, and the degree of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p073/p073690/p07369034.png" /> relative to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p073/p073690/p07369035.png" /> is <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p073/p073690/p07369036.png" /> and the degree of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p073/p073690/p07369037.png" /> relative to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p073/p073690/p07369038.png" /> is <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p073/p073690/p07369039.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p073/p073690/p07369040.png" />, then there are polynomials <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p073/p073690/p07369041.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p073/p073690/p07369042.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p073/p073690/p07369043.png" /> such that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p073/p073690/p07369044.png" />, where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p073/p073690/p07369045.png" /> does not contain <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p073/p073690/p07369046.png" /> at all and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p073/p073690/p07369047.png" /> occurs in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p073/p073690/p07369048.png" /> with degree less than <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p073/p073690/p07369049.png" />. When <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p073/p073690/p07369050.png" /> is the only variable, then <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p073/p073690/p07369051.png" /> can be taken to be 1; in this case the operation of finding <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p073/p073690/p07369052.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p073/p073690/p07369053.png" /> from <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p073/p073690/p07369054.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p073/p073690/p07369055.png" /> is called division with remainder; division with remainder can be carried out using the [[Horner scheme|Horner scheme]].
+
If for two given polynomials $P$ and $Q$ there exists a polynomial $R$ such that $P=QR$, then one says that $P$ is divisible by $Q$; $Q$ is called the divisor and $R$ the quotient. If $P$ is not divisible by $Q$, but both polynomials contain the same variable, for example $x$, and the degree of $P$ relative to $x$ is $n$ and the degree of $Q$ relative to $x$ is $m$, $n\geq m\geq1$, then there are polynomials $p$, $R$ and $S$ such that $pP=QR+S$, where $p$ does not contain $x$ at all and $x$ occurs in $S$ with degree less than $m$. When $x$ is the only variable, then $p$ can be taken to be 1; in this case the operation of finding $R$ and $S$ from $P$ and $Q$ is called division with remainder; division with remainder can be carried out using the [[Horner scheme|Horner scheme]].
  
By repeated application of this operation it is possible to find the greatest common divisor of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p073/p073690/p07369056.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p073/p073690/p07369057.png" />, that is, the divisor of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p073/p073690/p07369058.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p073/p073690/p07369059.png" /> which is divisible by any common divisor of these polynomials (see [[Euclidean algorithm|Euclidean algorithm]]). Two polynomials with greatest common divisor equal to 1 are called coprime.
+
By repeated application of this operation it is possible to find the greatest common divisor of $P$ and $Q$, that is, the divisor of $P$ and $Q$ which is divisible by any common divisor of these polynomials (see [[Euclidean algorithm|Euclidean algorithm]]). Two polynomials with greatest common divisor equal to 1 are called ''coprime''.
  
A polynomial which can be represented as a product of polynomials of smaller degree with coefficients from a given field is called reducible (over that field); otherwise it is called irreducible. The irreducible polynomials play a role in the ring of polynomials similar to that played by the prime numbers in the ring of integers. For example, the following theorem holds: If a product <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p073/p073690/p07369060.png" /> is divisible by an irreducible polynomial <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p073/p073690/p07369061.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p073/p073690/p07369062.png" /> is not divisible by <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p073/p073690/p07369063.png" />, then <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p073/p073690/p07369064.png" /> must be divisible by <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p073/p073690/p07369065.png" />. Each polynomial of degree greater than zero splits over a given field into a product of irreducible factors in a unique way (up to factors of degree zero). For example, the polynomial <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p073/p073690/p07369066.png" /> is irreducible over the field of rational numbers, splits into two factors over the field of real numbers and into four factors over the field of complex numbers. In general, each polynomial of one variable <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p073/p073690/p07369067.png" /> with real coefficients splits over the field of real numbers into factors of the first and second degree, and over the field of complex numbers into factors of the first degree (cf. [[Algebra, fundamental theorem of|Algebra, fundamental theorem of]]). For two or more variables this is no longer true. Over any field <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p073/p073690/p07369068.png" />, for <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p073/p073690/p07369069.png" /> there are polynomials in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p073/p073690/p07369070.png" /> variables that are irreducible over any extension of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p073/p073690/p07369071.png" />. Such polynomials are called absolutely irreducible. For example, the polynomial <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p073/p073690/p07369072.png" /> is irreducible over any number field.
+
A polynomial which can be represented as a product of polynomials of smaller degree with coefficients from a given field is called ''reducible'' (over that field); otherwise it is called ''irreducible''. The irreducible polynomials play a role in the ring of polynomials similar to that played by the prime numbers in the ring of integers. For example, the following theorem holds: If a product $PQ$ is divisible by an irreducible polynomial $R$ and $P$ is not divisible by $R$, then $Q$ must be divisible by $R$. Each polynomial of degree greater than zero splits over a given field into a product of irreducible factors in a unique way (up to factors of degree zero). For example, the polynomial $x^4+1$ is irreducible over the field of rational numbers, splits into two factors over the field of real numbers and into four factors over the field of complex numbers. In general, each polynomial of one variable $x$ with real coefficients splits over the field of real numbers into factors of the first and second degree, and over the field of complex numbers into factors of the first degree (cf. [[Algebra, fundamental theorem of|Algebra, fundamental theorem of]]). For two or more variables this is no longer true. Over any field $k$, for $n\geq2$ there are polynomials in $n$ variables that are irreducible over any extension of $k$. Such polynomials are called ''absolutely irreducible''. For example, the polynomial $x^3+yz^2+z^3$ is irreducible over any number field.
  
If the variables <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p073/p073690/p07369073.png" /> are given numerical values (for example, real or complex), then the polynomial assumes a certain numerical value. Thus, a polynomial can be considered as a function of the corresponding variables. This function is continuous and differentiable for any values of the variables; it can be characterized as an entire rational function, that is, a function obtained from variables and constants (the coefficients) by performing in a specific order the operations of addition, subtraction and multiplication. Entire rational functions belong to the broader class of rational functions, where division is added to the list of operations: Any rational function can be represented as a quotient of two polynomials. Finally, rational functions are contained in the class of algebraic functions (cf. [[Algebraic function|Algebraic function]]).
+
If the variables $x,y,\dots,w$ are given numerical values (for example, real or complex), then the polynomial assumes a certain numerical value. Thus, a polynomial can be considered as a function of the corresponding variables. This function is continuous and differentiable for any values of the variables; it can be characterized as an ''entire rational function'', that is, a function obtained from variables and constants (the coefficients) by performing in a specific order the operations of addition, subtraction and multiplication. Entire rational functions belong to the broader class of ''rational functions'', where division is added to the list of operations: Any rational function can be represented as a quotient of two polynomials. Finally, rational functions are contained in the class of algebraic functions (cf. [[Algebraic function|Algebraic function]]).
  
 
One of the most important properties of polynomials is that any continuous function on a compact subset of the complex plane can be approximated by a polynomial within arbitrarily small error (see [[Weierstrass theorem|Weierstrass theorem]]).
 
One of the most important properties of polynomials is that any continuous function on a compact subset of the complex plane can be approximated by a polynomial within arbitrarily small error (see [[Weierstrass theorem|Weierstrass theorem]]).
Line 59: Line 62:
  
 
====Comments====
 
====Comments====
Polynomials over arbitrary rings <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p073/p073690/p07369074.png" /> are defined similarly, with the additional requirement that the coefficients (taken from <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p073/p073690/p07369075.png" />) are to commute with the variables <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p073/p073690/p07369076.png" />.
+
Polynomials over arbitrary rings $R$ are defined similarly, with the additional requirement that the coefficients (taken from $R$) are to commute with the variables $x,y,\dots,w$.
  
 
====References====
 
====References====
 
<table><TR><TD valign="top">[a1]</TD> <TD valign="top">  S. Lang,  "Algebra" , Addison-Wesley  (1984)</TD></TR></table>
 
<table><TR><TD valign="top">[a1]</TD> <TD valign="top">  S. Lang,  "Algebra" , Addison-Wesley  (1984)</TD></TR></table>

Latest revision as of 10:44, 27 June 2015

2020 Mathematics Subject Classification: Primary: 12E05 [MSN][ZBL]

An expression of the form

$$f(x,y,\dots,w)=$$

$$=Ax^ky^l\dotsm w^m+Bx^ny^p\dotsm w^q+\dots+Dx^ry^s\dotsm w^t,$$

where $x,y,\dots,w$ are variables and $A,B,\dots,D$ (the coefficients of the polynomial) and $k,l,\dots,t$ (the exponents of the powers, which are non-negative integers) are constants. The individual expressions

$$Ax^ky^l\dotsm w^m$$

are called the terms of the polynomial. The order of the terms, and also the order of the factors in each term, can be changed arbitrarily; in precisely the same way it is possible to introduce or omit terms with zero coefficients and, in each individual term, zero powers. When the polynomial has one, two or three terms it is called a monomial, binomial or trinomial.

With regard to the coefficients of a polynomial one assumes that they belong to a field, for example, the field of rational, real or complex numbers.

Two terms of a polynomial are called similar if the powers of the same variables in them are equal. Terms similar to each other,

$$A'x^ky^l\dotsm w^m,B'x^ky^l\dotsm w^m,\dots,D'x^ky^l\dotsm w^m,$$

can be replaced by one term

$$(A'+B'+\dots+D')x^ky^l\dotsm w^m$$

(reduction of similar terms). Two polynomials are called equal if, after reduction, all terms with non-zero coefficients are pairwise identical (but, possibly, written in a different order), and also if all the coefficients of both of these polynomials turn out to be zero. In the latter case the polynomial is called identically zero and is denoted by the symbol 0.

The sum of the powers of any term of a polynomial is called the degree of that term. If the polynomial is not identically zero, then among the terms with non-zero coefficients (it is assumed that similar terms have been reduced) there is at least one of highest degree: this highest degree is called the degree of the polynomial. The zero polynomial does not have a degree. A polynomial of degree zero reduces to a single term $A$ (a constant, not equal to zero).

A polynomial in the variables $x_1,\dots,x_n$ is called a symmetric polynomial if it is not changed by any permutation of the variables. A polynomial of which all terms have the same degree is called a homogeneous polynomial or a form; forms of the first, second or third degree are called linear, quadratic or cubic, and, according to the number of variables (two or three), they are called dyadic (binary) or triadic (ternary) (for example, $f(x_1,x_2,x_3)=x_1^2+x_2^2+x_3^2-x_1x_2-x_2x_3-x_1x_3$ is a ternary quadratic form).

The degree of a polynomial $f(x_1,\dots,x_n)$ with respect to one of its variables $x_i$, $i=1,\dots,n$, is the highest power with which $x_i$ occurs in a term of this polynomial (this degree may be zero). Of two terms of a polynomial the higher one (relative to a given numbering of the variables) is that for which the power of $x_1$ is higher, and if these powers are equal, that for which the power of $x_2$ is higher, etc. If all terms of a polynomial are ordered so that each term is lower than the preceding, then the terms are said to be lexicographically ordered. The term which then stands in the first place is called the highest term (or leading term). A polynomial of one variable with lexicographically ordered terms has the form

$$f(x)=a_0x^n+a_1x^{n-1}+\dots+a_n,$$

where $a_0,\dots,a_n$ are the coefficients.

The roots of a polynomial in one variable over a field $k$ are the solutions of the algebraic equation

$$f(x)=0.$$

The roots of a polynomial are related to its coefficients by Viète's formula (see Viète theorem).

The set of all possible polynomials in $n$ variables with coefficients from a given field forms a ring with respect to the naturally defined operations of addition and multiplication. The ring of polynomials in an infinite set of variables can also be considered. A ring of polynomials is an associative-commutative ring without zero divisors (that is, a product of non-zero polynomials cannot be 0).

If for two given polynomials $P$ and $Q$ there exists a polynomial $R$ such that $P=QR$, then one says that $P$ is divisible by $Q$; $Q$ is called the divisor and $R$ the quotient. If $P$ is not divisible by $Q$, but both polynomials contain the same variable, for example $x$, and the degree of $P$ relative to $x$ is $n$ and the degree of $Q$ relative to $x$ is $m$, $n\geq m\geq1$, then there are polynomials $p$, $R$ and $S$ such that $pP=QR+S$, where $p$ does not contain $x$ at all and $x$ occurs in $S$ with degree less than $m$. When $x$ is the only variable, then $p$ can be taken to be 1; in this case the operation of finding $R$ and $S$ from $P$ and $Q$ is called division with remainder; division with remainder can be carried out using the Horner scheme.

By repeated application of this operation it is possible to find the greatest common divisor of $P$ and $Q$, that is, the divisor of $P$ and $Q$ which is divisible by any common divisor of these polynomials (see Euclidean algorithm). Two polynomials with greatest common divisor equal to 1 are called coprime.

A polynomial which can be represented as a product of polynomials of smaller degree with coefficients from a given field is called reducible (over that field); otherwise it is called irreducible. The irreducible polynomials play a role in the ring of polynomials similar to that played by the prime numbers in the ring of integers. For example, the following theorem holds: If a product $PQ$ is divisible by an irreducible polynomial $R$ and $P$ is not divisible by $R$, then $Q$ must be divisible by $R$. Each polynomial of degree greater than zero splits over a given field into a product of irreducible factors in a unique way (up to factors of degree zero). For example, the polynomial $x^4+1$ is irreducible over the field of rational numbers, splits into two factors over the field of real numbers and into four factors over the field of complex numbers. In general, each polynomial of one variable $x$ with real coefficients splits over the field of real numbers into factors of the first and second degree, and over the field of complex numbers into factors of the first degree (cf. Algebra, fundamental theorem of). For two or more variables this is no longer true. Over any field $k$, for $n\geq2$ there are polynomials in $n$ variables that are irreducible over any extension of $k$. Such polynomials are called absolutely irreducible. For example, the polynomial $x^3+yz^2+z^3$ is irreducible over any number field.

If the variables $x,y,\dots,w$ are given numerical values (for example, real or complex), then the polynomial assumes a certain numerical value. Thus, a polynomial can be considered as a function of the corresponding variables. This function is continuous and differentiable for any values of the variables; it can be characterized as an entire rational function, that is, a function obtained from variables and constants (the coefficients) by performing in a specific order the operations of addition, subtraction and multiplication. Entire rational functions belong to the broader class of rational functions, where division is added to the list of operations: Any rational function can be represented as a quotient of two polynomials. Finally, rational functions are contained in the class of algebraic functions (cf. Algebraic function).

One of the most important properties of polynomials is that any continuous function on a compact subset of the complex plane can be approximated by a polynomial within arbitrarily small error (see Weierstrass theorem).

Special systems of polynomials, orthogonal polynomials, are used in approximation theory as a means of representing functions by series.

References

[1] A.P. Mishina, I.V. Proskuryakov, "Higher algebra. Linear algebra, polynomials, general algebra" , Pergamon (1965) (Translated from Russian)
[2] A.G. Kurosh, "Higher algebra" , MIR (1972) (Translated from Russian)
[3] N. Bourbaki, "Elements of mathematics. Algebra: Modules. Rings. Forms" , 2 , Springer (1988) pp. Chapt. 4–7 (Translated from French)


Comments

Polynomials over arbitrary rings $R$ are defined similarly, with the additional requirement that the coefficients (taken from $R$) are to commute with the variables $x,y,\dots,w$.

References

[a1] S. Lang, "Algebra" , Addison-Wesley (1984)
How to Cite This Entry:
Polynomial. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Polynomial&oldid=16098
This article was adapted from an original article by A.I. Markushevich (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article