-2
$\begingroup$

Wikipedia : In mathematics, an algebraic number is a number that is a root of a non-zero polynomial in one variable with rational (or equivalently, integer) coefficients.

  • Question : Show that the Set of algebraic number in $\mathbb{C}$ is countable ?

  • Hint : if $\mathbb{F(z) = a_ 0 + a_1z + .... + a_nz^n}$ we denote the Height of a polynomial as : $\mathbb{h = |a_0| + |a_1| + ...... + |a_n| + n}$

PS : i have already solve it , i am looking for different way to solve it ;)

  • 0
    I deleted user5315's anser/hint, since he already duplicated that content in the question statement above.2011-01-03

1 Answers 1

5

To solve this elegantly I think one needs the following steps:

  • Define an equivalence relation on the algebraic numbers: $x\sim y$ if and only if they have the same irreducible polynomial, that is the polynomial of minimal degree which has the leading coefficient (the highest power) as $1$. (E.g. $i$ and $-i$ are equivalent, while $\sqrt{2}$ and $\sqrt{3}$ are not)
  • Prove the fact that in each equivalence class there are only finitely many elements
  • Show that there is a simple injection from the equivalence classes into the polynomials over $\mathbb{Q}$ (namely $[x] \mapsto irr(x)$ (the irreducible polynomial of $x$ over the rationals)
  • Show that there are only countably many polynomials (that is, the number of finite sequences from a countable set is countable)
  • Use the fact that finitely many elements in each equivalence class, times countably many classes result in at most countably many elements.

All in all, you have an injection from algebraic numbers into a countable set, and since all the natural numbers are in particular algebraic it is also clear that there are infinitely many of those.

This proof does not require the axiom of choice, as Andres remarked well in his comment. All the enumerations mentioned above can be done explicitly (or with the CSB theorem, which also does not require the axiom of choice).

  • 2
    @Andres: Yes, I could, and if you assume negation of choice then I also have to - since there will be no choice otherwise. ;-)2011-01-02