Sign up ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Is there any polynomial $f(x,y)\in{\mathbb Q}[x,y]{}\ $ such that $f:\mathbb{Q}\times\mathbb{Q} \rightarrow\mathbb{Q}$ is a bijection?

share|cite|improve this question
Is it known (or obvious) that there is an injective f? – Tom Leinster Apr 11 '10 at 17:56
Quote from, Bjorn Poonen, Feb. 2009: "Harvey Friedman asked whether there exists a polynomial $f(x,y)\in Q[x,y]$ such that the induced map $Q × Q\to Q$ is injective. Heuristics suggest that most sufficiently complicated polynomials should do the trick. Don Zagier has speculated that a polynomial as simple as $x^7+3y^7$ might already be an example. But it seems very difficult to prove that any polynomial works. Our theorem gives a positive answer conditional on a small part of a well-known conjecture." – Jonas Meyer Apr 11 '10 at 19:47
Seven incorrect answers posted (counting three deleted ones). Is this a record for most incorrect answers to an MO question? – Gerry Myerson Aug 16 '11 at 23:45
Now up to 11 answers, 7 of them deleted. – Gerry Myerson Dec 4 '11 at 22:07
Now with 14 answers, 10 of them deleted. – David Roberts Apr 29 '13 at 22:37

2 Answers 2

Let us consider a simpler case first. Let $Q_1=Q\cap [0,1]$. Now let us assume $f:Q_1\times Q_1\to Q_1$ is a uniformly continuous bijection. Then, according to Rudin (I believe it is an exercise), there is unique continuous extension, $g$, such that:

1) $f=g$ on $Q_1\times Q_1$.

2) $g$ is uniformly continuous on $\overline{Q_1\times Q_1}=[0,1]^2$.

3) Namely, $g(x_0)=\lim_{x\to x_0} f(x)$.

Since the image of a connected, compact set is connected and compact, then $Im(g)=[0,1]$. But, this is impossible because if we consider three distinct rational points $a,b,c$ in $[0,1]^2$, then $g$ restricted to the connected set $[0,1]^2-${$a,b,c$} is still continuous, but the image will not be connected since g is bijective on $Q_1\times Q_1$.

I think the above case now follows. That is if we consider $f:Q\times Q\to Q$ and $f$ is a polynomial, then $f$ restricted to $Q_1\times Q_1$ would could be a uniformly continuous bijection. However, we won't know what the image is. But this doesn't matter, since when we extend to $g$ the continuous image of a connected compact set is connected and compact. But the only connected compact subsets of $R$ are bounded closed intervals. So, the image would be some $[a,b]$ and would get another contradiction.

share|cite|improve this answer
Your argument doesn't work because there is no reason why some $(x_1,x_2) \in \mathbb{R}^2$ with $x_i \notin \mathbb{Q}$ cannot map to an element of $\mathbb{Q}$. – ulrich Oct 3 '11 at 10:42

Edit[ The following is wrong ~ see comments]

I don't think so.

Suppose $f$ to be surjective. Let $x\mapsto 0$ and $y\mapsto 1$. Now consider two distinct paths $\gamma,\eta:[0,1]\to\mathbb Q\times\mathbb Q$ from $x$ to $y$. Since $f$ is continuous it maps these paths surjectively onto $[0,1]$ (more exactly $[0,1]\subset f\gamma([0,1])$ and $[0,1]\subset f\eta([0,1])$). Thus, $f$ cannot be injective.

share|cite|improve this answer
How can one map [0,1] to Q x Q? Oh---maybe you mean R x R? But if f isn't injective on R x R it can still be injective on Q x Q, right? Am I missing something or is something missing? – Kevin Buzzard Apr 11 '10 at 12:54
Haha... i was expecting the intermediate value theorem to hold for $\mathbb Q$ – Garlef Wegart Apr 11 '10 at 12:59
I don't see how you can possibly use ideas of continuity etc to prove results about an incomplete field like the rationals. – Kevin Buzzard Apr 11 '10 at 15:43
Related to Kevin Buzzard’s comments, is there any continuous and bijective mapping from ℚ×ℚ to ℚ? – Tsuyoshi Ito Aug 12 '10 at 17:32
Any (nonempty) countable metrizable space without isolated points is homeomorphic to $\mathbb{Q}$. – Gerald Edgar Aug 15 '10 at 16:21

protected by Andrés Caicedo Dec 5 '13 at 14:23

Thank you for your interest in this question. Because it has attracted low-quality answers, posting an answer now requires 10 reputation on this site.

Would you like to answer one of these unanswered questions instead?

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