Теорема Линдемана — Вейерштрасса
Материал из Википедии — свободной энциклопедии
Теорема Линдемана — Вейерштрасса доказывает трансцендентность большого класса чисел. Теорема утверждает следующее[1]:
- Если
— различные алгебраические числа, линейно независимые над
, то
являются алгебраически независимыми над
, то есть, степень трансцендентности расширения
равна n
Часто используется другая эквивалентная формулировка[2]:
- Для любых различных алгебраических чисел
числа
являются линейно независимыми над полем алгебраических чисел
.
[править] История
В 1882 Фердинанд фон Линдеман доказал, что eα трансцендентно для любого ненулевого рационального α[3], а в 1885 Карл Вейерштрасс доказал более общее утверждение, приведённое выше.
Из теоремы Линдемана — Вейерштрасса легко следует трансцендентность чисел e и π.
[править] Ссылки
- ↑ Lindemann–Weierstrass theorem on Mathworld
- ↑ Alan Baker Transcendental Number Theory. — Cambridge University Press, 1975.. Chapter 1, Theorem 1.4.
- ↑ F. Lindemann Über die Zahl π // Mathematische Annalen. — Т. 20 (1882). — С. 213-225.