We know that $\dfrac{(x^2+1)x^3}{x^2+1}=x^3$ and $(\sqrt{|x|})^4=x^2$ for every $x\in \mathbb{R}$. Can $\dfrac{(x^2+1)x^3}{x^2+1}$ and $(\sqrt{|x|})^4$ be called polynomials?
Is there a general name referring to a function which are identical to a polynomial on a proper subset of $\mathbb R$ (e.g. $\dfrac{x^2-1}{x+1}$ which is identical to $x-1$ if $x \in \mathbb{R}-\{0,-1\}$)
-
1$\begingroup$ Related: Is simplifying a rational function considered as a continuous extension $\endgroup$– quidCommented Apr 16, 2016 at 8:59
-
2$\begingroup$ If one believes Wikipedia, the Polynomial wikipage's section on Polynomial functions seems to settle both matters with a statement such as: "...the function $f(x) = \cos(2\arccos(x))$, which, although it doesn't look like a polynomial, is a polynomial function on $[-1, 1]$ because for every $x$ from $[-1, 1]$ it is true that $f(x) = 2x^2 - 1$..." $\endgroup$– Benjamin DickmanCommented Apr 16, 2016 at 10:34
-
1$\begingroup$ Is this question about math education, or is it about math? $\endgroup$– shooverCommented Apr 18, 2016 at 0:15
-
3$\begingroup$ I'm kind of hoping the question stays here because I see it as being about a weakness in high school and undergrad textbooks. My students make all kinds of squirrelly mistakes involving them confusing expressions with functions. With mixed results, I try to teach them that difference when I teach precalculus and calculus. $\endgroup$– EvaCommented Apr 19, 2016 at 0:24
1 Answer
I think this is a great question because it is really about the ambiguous/confusing way we use the word polynomial. So I want to use the terms "polynomial" and "polynomial function" separately here.
A polynomial is an algebraic expression. It consists of variables and coefficients and only uses the operations of addition, subtraction, multiplication, and non-negative integer exponents. That is Wikipedia's definition and is in the plainest language that I found, but it matches definitions found in undergraduate algebra textbooks like Lang.
A polynomial function is a function that can be defined by evaluating a polynomial. It can be defined that way; it doesn't have to. However, you pick up any precalculus or calculus textbook and this is not what you'll find. For example, in Stewart's Calculus:
A function $P$ is called a polynomial if $P(x) = a_nx^n + ... + a_0$ where $n$ is a nonnegative integer and the numbers $a_i$ are called the coefficients.
So he uses the term differently. However, this definition is effectively the same as Wikipedia's definition of polynomial function if we think about what it means to be equal as functions. Two functions are equal if $f(x) = g(x)$ for every $x$ in the domain of $f$ and $g$. The domains have to match, and every value has to match. Those functions are the same. They are one function with two different expressions. In your example, $f(x)=\frac{(x^2+1)x^3}{x^2+1}$ is equal to $g(x)=x^3$ for every real number, so they are both polynomial functions.
When we're talking about algebraic expressions, on the other hand, the quality of being a polynomial doesn't have to be preserved when you alter the expression. $\frac{(x^2+1)x^3}{x^2+1}$ is equivalent to $x^3$, but they are not the same expression. One is a polynomial and the other is not.
Finally, a fancier example from Lang:
In some cases, it may be that two polynomials can be distinct, but give rise to the same polynomial function on a given ring. For example, let $\mathbb{F}_p=\mathbb{Z}/p\mathbb{Z}$ be the field with $p$ elements. Then for every element $x\in\mathbb{F}_p$ we have $x^p=x$.
So you have different polynomials, but the same polynomial function.