3
$\begingroup$

This question already has an answer here:

Consider a non constant polynomial $f:\Bbb R^n\to \Bbb R$. Let $S_f\subset \Bbb R^n$ be its solution set i.e. the set of $x\in \Bbb R^n$ such that $f(x)=0$. What's the slickest proof that $S$ can't contain any ball, or equivalently, $S_f^c$ is open and dense?

My try:

let $r_0$ be such that $f(r_0)=0$. Then consider the new polynomial $g(x)=f(x+r_0)$. If $B_\epsilon(r_0)\subset S_f$, then $B_\epsilon(0)\subset S_g$. Also, $g$ is non constant.

Clearly $g$ doesn't have a constant term. Now, if $g$ is homogeneous, by which I mean all of $g$'s term are of the same order $k$. Then, for any $x\in\Bbb R^n$, find $L>0$ so that $\|y\|/L<\epsilon$, then $g(y/L)=0$, so $g(y)=g(y/L)L^k=0$, contradicting the fact that $g$ is non constant.

If $g$ is not homogeneous, we consider the following two cases:

A) in each term in $g$, $x_1,\cdots,x_n$ all appear. This indicates all terms have a common factor in the form $c(x)=(x_1\cdots x_n)^p$ such that $g(x)=c(x)h(x)$ where in at least one term in $h(x)$, not all $x_1,\cdots,x_n$ are présent. (A way to do this is keep factorising out $(x_1\cdots x_n)$ till you can do it no more.) As such, $S_g^c=S_h^cS_c^x$, but it's easy to show $S_c^c$ is open and dense, so by Baire's Theorem it suffices to show $S_h^c$ is open and dense, or $S_h$ doesn't contain any ball. So we just repeat the initial discussion i.e. consider a new polynomial $h(x+r_1)$ (we can't directly jump to the next case since $h$ may contain the constant term). Note that, there may be several cycles, but ultimately we can only visit case A) finitely many times, since each time we visit case A) we come to consider a polynomial of strictly lower order than previously. Hence, we must eventually arrive at the next case;

B) there's at least one term in $g$ in which there's at least one variable, say $x_k$, which is absent. Thus, we fix $x_k=0$, and $g$ becomes a non-zero polynomial in fewer variables.

I find the striked arguments futile.

In fact I also tried to generalise the linear scaling argument to non homegeneous cases, i.e. assigning different scaling rates to different variables, but was quickly disappointed to find it wouldn't work for even the univariable case say $x^3+x^2+x$.

Yet another attempt (the striked part) I made was try to select a suitable variable and fix all the other variables equal to $0$ to obtain a univariable non-zero polynomial (pretty much like choosing a suitable coordinate axis to move around on). Since this would make the new polynomial vanishes in a while short segment about zero on the real line, we get a contradiction. However, this was unable to deal with cases like $x_1x_2+x_2x_3+x_1x_3$ where no such suitable axis exists.

Really need some Enlightenment now. Thanks. PS: absolutely no background in algebraic geometry.

$\endgroup$

marked as duplicate by Hans Lundmark, user91500, Claude Leibovici, Daniel W. Farlow, ncmathsadist Jun 6 '17 at 13:18

This question has been asked before and already has an answer. If those answers do not fully address your question, please ask a new question.

  • $\begingroup$ Hint: Given the assumption $B_\epsilon(r_0) \subset S_f$, you should be able to calculate all of the partial derivatives of all orders of $f$ inside $B_\epsilon(r_0)$. $\endgroup$ – Greg Martin Jun 6 '17 at 7:42
  • $\begingroup$ @GregMartin yeah, but could you be a little bit more specific? This hint is admittedly too broad for me. $\endgroup$ – Vim Jun 6 '17 at 7:48
  • $\begingroup$ @A.Γ. You're right. Thanks. $\endgroup$ – Vim Jun 6 '17 at 7:56
5
$\begingroup$

Let $f: \mathbb{R}^{n} \rightarrow \mathbb{R}$ be a polynomial. Suppose that there is a non-empty open neighborhood $U \subseteq \mathbb{R}^{n}$ such that $f(U) = 0$. We claim that this forces $f$ to be constant. Without loss of generality, assume that $0 \in U$.

Let $x \in \mathbb{R}^{n}$ be an arbitrary point. Consider the line $L \subseteq \mathbb{R}^{n}$ through $x$. We can pull the polynomial $f$ back to the line $L$ to get a polynomial of one real variable $g: L \rightarrow \mathbb{R}$, \begin{equation} L \hookrightarrow \mathbb{R}^{n} \overset{f}{\rightarrow} \mathbb{R}. \end{equation} The neighborhood $U \cap L$ is an open neighborhood of $0$ with the property that $g(U \cap L) = 0$, hence $g \equiv 0$. But since $g(x) = f(x)$, we have $f(x) = 0$. This holds for any $x \in \mathbb{R}^{n}$, hence $f \equiv 0$.

$\endgroup$
  • $\begingroup$ By "pulling back to the line" do you mean an orthogonal projection onto $L$? (Ok I see it is $t\maspto tx\mapsto f(tx)$, never mind) $\endgroup$ – Vim Jun 6 '17 at 7:50
  • $\begingroup$ The map $g$ is the restriction of $f$ to $L \subseteq \mathbb{R}^{n}$. There is no orthogonal projection involved. The idea is that if the function $f$ vanishes in a neighborhood of $0$, then it is identically zero on all linea through the origin. Then we use the fact that any point $x \in \mathbb{R}^{n}$ lies on a line through the origin. $\endgroup$ – Peter Jun 6 '17 at 7:54
  • $\begingroup$ I love this proof. +1 $\endgroup$ – MooS Jun 6 '17 at 20:04
1
$\begingroup$

How about this. If there is a ball in $S_f$, then there is a line $\ell$ passing through its center. Restricting $f$ to $\ell$ will give you a polynomial $f|_\ell:\Bbb R\to\Bbb R$ with infinitely many zeros. I assume we know that this will imply $f|_\ell\equiv0$ in the 1D-case. Hence $f$ is zero on all of $\ell$. You can do this with all lines through the ball and so $f\equiv0$.

$\endgroup$
  • $\begingroup$ Thanks. I think this is exactly what the previous answer said. $\endgroup$ – Vim Jun 6 '17 at 13:02
  • $\begingroup$ @Vim Yes, I also saw that later. However, I think the heavy terminology of the other answer is not necessary, especially because you asked specifically for most elementary proof. $\endgroup$ – M. Winter Jun 6 '17 at 13:05

Not the answer you're looking for? Browse other questions tagged or ask your own question.