Новости    Библиотека    Энциклопедия    Биографии    Карта сайта    Ссылки    О проекте




предыдущая главасодержаниеследующая глава

*§ 6. Алгебраические и трансцендентные числа

1. Определение и вопросы существования

Алгебраическим числом называется всякое число х, действительное или мнимое, удовлетворяющее некоторому алгебраическому уравнению вида

аnxn + аn-1xn-1 + ... + a1x + а0 = 0, (n≥1, an≠0), (1)

где числа аi - целые. Так, например, число √2 - алгебраическое, так как оно удовлетворяет уравнению

x2 - 2 = 0.

Таким же образом алгебраическим числом является всякий корень любого уравнения с целыми коэффициентами третьей, четвертой, пятой, какой угодно степени, и независимо от того, выражается или не выражается он в радикалах. Понятие алгебраического числа есть естественное обобщение понятия рационального числа, которое соответствует частному случаю n = 1.

Не всякое действительное число является алгебраическим. Это вытекает из следующей, высказанной Кантором теоремы: множество всех алгебраических чисел счетно. Так как множество всех действительных чисел несчетное, то обязательно должны существовать действительные числа, не являющиеся алгебраическими.

Укажем один из методов пересчета множества алгебраических чисел. Каждому уравнению вида (1) сопоставим целое положительное число

h = |an| + |an-1| + ... + |a1| + |а0| + n,

которое назовем ради краткости "высотой" уравнения. Для каждого фиксированного значения n существует лишь конечное число уравнений вида (1) с высотой h. Каждое из таких уравнений имеет самое большее n корней. Поэтому может существовать лишь конечное число алгебраических чисел, порождаемых уравнениями с высотой h; следовательно, все алгебраические числа можно расположить в виде последовательности, перечисляя сначала те из них, которые порождаются уравнениями высоты 1, затем - высоты 2 и т. п.

Это доказательство счетности множества алгебраических чисел устанавливает существование действительных чисел, которые не являются алгебраическими. Такие числа называются трансцендентными (от латинского слова transcendere - переходить, превосходить); такое наименование им дал Эйлер, потому что они "превосходят мощность алгебраических методов".

Канторово доказательство существования трансцендентных чисел не принадлежит к числу конструктивных. Теоретически рассуждая, можно было бы построить трансцендентное число с помощью диагональной процедуры, производимой над воображаемым списком десятичных разложений всех алгебраических чисел; но такая процедура лишена всякого практического значения и не привела бы к числу, разложение которого в десятичную (или какую-нибудь иную) дробь можно было бы на самом деле написать. Наиболее интересные проблемы, связанные с трансцендентными числами, заключаются в доказательстве того, что определенные, конкретные числа (сюда относятся числа π и e, о которых см. стр. 329-333) являются трансцендентными.

предыдущая главасодержаниеследующая глава




ИНТЕРЕСНО:

Зачем математики ищут простые числа с миллионами знаков?

Задача построения новых оснований математики - унивалентные основания

Многомерный математический мир… в вашей голове

В школах Великобритании введут китайские учебники математики

Найдено самое длинное простое число Мерсенна, состоящее из 22 миллионов цифр

Как математик помог биологам совершить важное открытие

Математические модели помогут хирургам

Почему в математике чаще преуспевают юноши

Физики-практики откровенно не любят математику

В индийской рукописи нашли первое в истории упоминание ноля

Вавилонская глиняная табличка оказалась древнейшей «тригонометрической таблицей» в мире

Ученые рассказали о важной роли игр с пальцами в обучении детей математике
Пользовательского поиска

© Злыгостев Алексей Сергеевич, статьи, подборка материалов, оформление, разработка ПО 2001-2018
При копировании материалов проекта обязательно ставить ссылку на страницу источник:
http://mathemlib.ru/ 'MathemLib.ru: Математическая библиотека'
Рейтинг@Mail.ru