15
$\begingroup$

Recently I've came across such problem: give a polynomial $P(x,y)$, with $\inf_{\mathbb{R}^2} P=0$, but there is no point on the plane where $P=0$. I couldn't solve it after a day, and seriously doubt whether such a function exists, however its source claims that there is. Is that really possible?

$\endgroup$
  • $\begingroup$ Is this in the real plane $\mathbb{R}^2$, or could it perhaps be over the rationals? $\endgroup$ – hardmath Jan 15 '13 at 19:51
  • $\begingroup$ The real plane. $\endgroup$ – aplavin Jan 15 '13 at 19:51
  • $\begingroup$ I edited "$in f(P)$ to $\inf f(P)$, as that seems to be the more common notation. Nice question, by the way. $\endgroup$ – Fredrik Meyer Jan 15 '13 at 19:51
28
$\begingroup$

$P(x,y)=(1-xy)^2+x^2$ has this property. Clearly $P>0$ and also the sequence $(x_n,y_n)=(1/n,n)$ shows that $\inf P=0$.

$\endgroup$
  • 2
    $\begingroup$ Very nice example. $\endgroup$ – Brian M. Scott Jan 15 '13 at 19:54
  • $\begingroup$ Thanks! Did you hear about the answer before or created it now? $\endgroup$ – aplavin Jan 15 '13 at 20:02
  • 3
    $\begingroup$ I read about it somewhere before --- I'm not sure where exactly. If I recall correctly it is a counter-example to the claim that $\text{im } P(x,y)$ is closed. $\endgroup$ – JP McCarthy Jan 15 '13 at 20:05
  • $\begingroup$ @JpMcCarthy: sorry, but what is $im$? $\endgroup$ – aplavin Jan 15 '13 at 20:12
  • $\begingroup$ Sorry. The image of the real plane under a polynomial in two variables. I suppose one would think it would be closed. $\endgroup$ – JP McCarthy Jan 15 '13 at 20:16

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

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