Теорема Вейерштрасса о функции на компакте
- 1 year ago
- 0
- 0
Теорема Линдемана — Вейерштрасса , являющаяся обобщением теоремы Линдемана, доказывает трансцендентность большого класса чисел. Теорема утверждает следующее :
Если — различные алгебраические числа , линейно независимые над , то являются алгебраически независимыми над , то есть, степень трансцендентности расширения равна |
Часто используется другая эквивалентная формулировка :
Для любых различных алгебраических чисел числа являются линейно независимыми над полем алгебраических чисел . |
В 1882 году Линдеман доказал, что трансцендентно для любого ненулевого алгебраического , а в 1885 году Карл Вейерштрасс доказал более общее утверждение, приведённое выше.
Из теоремы Линдемана — Вейерштрасса легко следует трансцендентность чисел e и π .
Применим метод доказательства от противного . Предположим, число является алгебраическим. Тогда число , где — мнимая единица , также алгебраично, следовательно, по теореме Линдемана — Вейерштрасса число трансцендентно, однако согласно тождеству Эйлера оно равно алгебраическому числу , что вызывает противоречие. Следовательно, число трансцендентно.