Проблемы Гильберта (100 лет спустя) | страница 10

Пусть α — некоторое алгебраическое число. Рассмотрим все многочлены с целыми коэффициентами, корнем которых является α, и выберем среди них многочлен Р минимальной степени (т. е. α не будет корнем никакого многочлена с целыми коэффициентами меньшей степени).

Например, для рационального числа такой многочлен имеет степень 1, а для числа √2 — степень 2.

Разделим все коэффициенты многочлена Р на их наибольший общий делитель. Получим многочлен, коэффициенты

------------------

* Жозеф Лиувилль A809-1882) — французский математик.

- 17 -

которого взаимно просты в совокупности (их наибольший общий делитель равен 1). Наконец, если старший коэффициент ап отрицателен, умножим все коэффициенты многочлена на —1.

Полученный многочлен (т. е. многочлен с целыми коэффициентами, корнем которого является число α, имеющий минимально возможную степень, взаимно простые коэффициенты и положительный старший коэффициент) называется минимальным многочленом числа α.

Можно доказать, что такой многочлен определяется однозначно: каждое алгебраическое число имеет ровно один минимальный многочлен.

Количество действительных корней многочлена не больше чем его степень. Значит, можно пронумеровать (например, по возрастанию) все корни такого многочлена.

Теперь всякое алгебраическое число α полностью определяется своим минимальным многочленом (т. е. набором его коэффициентов) и номером, который отличает α от других корней этого многочлена:

α → (a_>0,a_>1, ... , a_>n-1,a_>n,k)

Итак, каждому алгебраическому числу α мы поставили в соответствие конечный набор целых чисел, причём по этому набору а восстанавливается однозначно (т.е. разным числам соответствуют разные наборы).

Пронумеруем в порядке возрастания все простые числа (нетрудно показать, что их бесконечно много). Получим бесконечную последовательность {p_>k}: p_>1 = 2, p_>2 = 3, p_>3 = 5, p_>4 = 7, ... Теперь набору целых чисел (а_>0, a_>1,..., a_>n-1,a_>n,k) можно поставить в соответствие произведение

(это число положительное и рациональное, но не всегда натуральное, ведь среди чисел а_>0, a_>1,..., a_>n-1, могут быть отрицательные). Заметим, что это число есть несократимая дробь, поскольку простые множители, входящие в разложения числителя и знаменателя, различны. Заметим также, что две

- 18 -

несократимые дроби с положительными числителями и знаменателями равны тогда и только тогда, когда и их числители равны, и их знаменатели равны.

Рассмотрим теперь сквозное отображение:

Поскольку разным алгебраическим числам мы поставили в соответствие разные наборы целых чисел, а разным наборам — разные рациональные числа, то мы, таким образом, установили взаимно однозначное соответствие между множеством А и некоторым подмножеством Q. Поэтому множество алгебраических чисел счётно.