4

This problem is from Spivak Calculus, now you immediately think $a^2 = \sqrt{2}$ and $a^4 = 2$, so the answer to the problem is yes. But, the way Spivak has developed his book:

  1. So far we only have the algebraic axioms (associativity, commutativity, units, inverses, distributivity).
  2. Significantly, we don't have the completeness axiom yet.
  3. We have already proved that if there is a number $x$ such that $x^2 = 2$ then $x$ can't be rational.

The important thing is that we haven't yet proved that such $x$ indeed exists (to prove this we need the completeness axiom, which we still don't have), only that if it happens to exist it should be irrational, thus I can't say that $\sqrt{2}$ is a solution to this problem just yet. Am I right or am I being just too picky?

Édgar Sánchez Gordón
  • 285
  • Take y = $\sqrt x$ where $x$ is as above in pt. 3, so we need to show existence of such y. – Ram Jan 30 '13 at 04:51
  • What is meant by number? – jspecter Jan 30 '13 at 04:55
  • 2
    Offhand it seems that the most you can say at this point is that if there is a number $a$ such that $a^4=2$, it has the desired property. That’s clearly correct and does not go beyond the axioms that you’ve been given thus far. I suspect that you’re supposed to do exactly what you’ve done: worry about existence and recognize that $\sqrt[4]{2}$ is such a number $-$ if it exists. – Brian M. Scott Jan 30 '13 at 04:55
  • 3
    @Ram Without completeness (or some property that will imply completeness), for all we know all real numbers might be rational, so we can't assume that such a $y$ exists. – Brett Frankel Jan 30 '13 at 04:56
  • @jspecter So far we have naturals, integers, rationals, and a prove that if $\sqrt{2}$ exists then it can't be rational. – Édgar Sánchez Gordón Jan 30 '13 at 04:59
  • 3
    The best you can get then is that if the fourth root of 2 exists then it satisfies the hypotheses. – guest196883 Jan 30 '13 at 04:59
  • @BrettFrankel, thanks for your reply. – Ram Jan 30 '13 at 08:03

1 Answers1

1

You're right. So far you don't even have enough axioms to prove that your number system is unique up to isomorphism -- in fact, any field, including $\mathbb{Q}, \mathbb{R}, \mathbb{C}, F_2,$ etc all satisfy them. You can neither prove nor disprove existence of such an $\alpha$.

user7530
  • 49,280