Inmathematics, azero (also sometimes called aroot) of areal-,complex-, or generallyvector-valued function, is a member of thedomain of such thatvanishes at; that is, the function attains the value of 0 at, or equivalently, is asolution to the equation. A "zero" of a function is thus an input value that produces an output of 0.[1]
Aroot of apolynomial is a zero of the correspondingpolynomial function.[2] Thefundamental theorem of algebra shows that any non-zeropolynomial has a number of roots at most equal to itsdegree, and that the number of roots and the degree are equal when one considers the complex roots (or more generally, the roots in analgebraically closed extension) counted with theirmultiplicities.[3] For example, the polynomial of degree two, defined by has the two roots (or zeros) that are2 and3.
If the function maps real numbers to real numbers, then its zeros are the-coordinates of the points where itsgraph meets thex-axis. An alternative name for such a point in this context is an-intercept.
Solution of an equation
editEveryequation in theunknown may be rewritten as
by regrouping all the terms in the left-hand side. It follows that the solutions of such an equation are exactly the zeros of the function . In other words, a "zero of a function" is precisely a "solution of the equation obtained by equating the function to 0", and the study of zeros of functions is exactly the same as the study of solutions of equations.
Polynomial roots
editEvery real polynomial of odddegree has an odd number of real roots (countingmultiplicities); likewise, a real polynomial of even degree must have an even number of real roots. Consequently, real odd polynomials must have at least one real root (because the smallest odd whole number is 1), whereas even polynomials may have none. This principle can be proven by reference to theintermediate value theorem: since polynomial functions arecontinuous, the function value must cross zero, in the process of changing from negative to positive or vice versa (which always happens for odd functions).
Fundamental theorem of algebra
editThe fundamental theorem of algebra states that every polynomial of degree has complex roots, counted with their multiplicities. The non-real roots of polynomials with real coefficients come inconjugate pairs.[1]Vieta's formulas relate the coefficients of a polynomial to sums and products of its roots.
Computing roots
editThere are many methods for computing accurateapproximations of roots of functions, the best beingNewton's method, seeRoot-finding algorithm.
Forpolynomials, there are specialized algorithms that are more efficient and may provide all roots or all real roots; seePolynomial root-finding andReal-root isolation.
Some polynomial, including all those ofdegree no greater than 4, can have all their roots expressedalgebraically in terms of their coefficients; seeSolution in radicals.
Zero set
editIn various areas of mathematics, thezero set of afunction is the set of all its zeros. More precisely, if is areal-valued function (or, more generally, a function taking values in someadditive group), its zero set is , theinverse image of in .
Under the same hypothesis on thecodomain of the function, alevel set of a function is the zero set of the function for some in the codomain of
The zero set of alinear map is also known as itskernel.
Thecozero set of the function is thecomplement of the zero set of (i.e., the subset of on which is nonzero).
Applications
editInalgebraic geometry, the first definition of analgebraic variety is through zero sets. Specifically, anaffine algebraic set is theintersection of the zero sets of several polynomials, in apolynomial ring over afield. In this context, a zero set is sometimes called azero locus.
Inanalysis andgeometry, anyclosed subset of is the zero set of asmooth function defined on all of . This extends to anysmooth manifold as a corollary ofparacompactness.
Indifferential geometry, zero sets are frequently used to definemanifolds. An important special case is the case that is asmooth function from to . If zero is aregular value of , then the zero set of is a smooth manifold of dimension by theregular value theorem.
For example, the unit -sphere in is the zero set of the real-valued function .
See also
edit- Root-finding algorithm
- Bolzano's theorem, a continuous function that takes opposite signs at the end points of an interval has at least a zero in the interval.
- Gauss–Lucas theorem, the complex zeros of the derivative of a polynomial lie inside the convex hull of the roots of the polynomial.
- Marden's theorem, a refinement of Gauss–Lucas theorem for polynomials of degree three
- Sendov's conjecture, a conjectured refinement of Gauss-Lucas theorem
- zero at infinity
- Zero crossing, property of the graph of a function near a zero
- Zeros and poles of holomorphic functions
References
edit- ^abFoerster, Paul A. (2006).Algebra and Trigonometry: Functions and Applications, Teacher's Edition (Classics ed.). Upper Saddle River, NJ:Prentice Hall. p. 535.ISBN 0-13-165711-9.
- ^"Algebra - Zeroes/Roots of Polynomials".tutorial.math.lamar.edu. Retrieved2019-12-15.
- ^"Roots and zeros (Algebra 2, Polynomial functions)".Mathplanet. Retrieved2019-12-15.