Теорема Сохоцкого-Вейерштрасса — теорема комплексного анализа, описывающая поведение голоморфной функции в окрестности существенной особой точки.
Она гласит, что всякая однозначная аналитическая функция в каждой окрестности существенно особой точки принимает значения, сколь угодно близкие к произвольному наперёд заданному комплексному числу[1].
Была опубликована Ю. В. Сохоцким в 1868 году в его магистерской диссертации[K 1]; в ней доказывалось, что «в полюсе бесконечного порядка» (так была названа существенно особая точка) функция «должна принимать всевозможные значения» (под значением функции в этой точке в этой работе понималось предельное значение по сходящейся к ней последовательности точек)[2].
Одновременно с Сохоцким теорему о плотности образа проколотой окрестности существенно особой точки опубликовал итальянский математик Ф. Казорати в своей работе «Теория функций комплексных переменных»[K 2]. Вейерштрасс опубликовал эту теорему только в 1876 году в работе «К теории однозначных аналитических функций»[K 3][3]. Впервые же она встречается у французских математиков Ш. Брио и Ж. К. Буке в работе по теории эллиптических функций[K 4][1].
Сохоцкий нигде не отстаивал своего приоритета по поводу этого и других своих результатов, приписывавшихся другим[2]; в литературе на европейских языках теорема известна как «теорема Казорати-Вейерштрасса».
|
Предположим, что теорема неверна, т.е.
Рассмотрим вспомогательную функцию . В силу нашего предположения функция определена и ограничена в -окрестности точки . Следовательно - устранимая особая точка [4]. Это означает, что разложение функции в окрестности точки имеет вид:
Тогда, в силу определения функции , в данной окрестности точки имеет место следующее разложение функции :
где аналитическая функция ограничена в -окрестности точки . Но такое разложение означает, что точка является полюсом или правильной точкой функции , и разложение последней в ряд Лорана должно содержать конечное число членов, что противоречит условию теоремы.
Эквивалентным образом эта теорема может быть переформулирована следующим образом:
Теорему Сохоцкого обобщает Большая теорема Пикара, которая утверждает, что аналитическая функция в окрестности существенно особой точки принимает все значения кроме, быть может, одного значения.
Данная страница на сайте WikiSort.ru содержит текст со страницы сайта "Википедия".
Если Вы хотите её отредактировать, то можете сделать это на странице редактирования в Википедии.
Если сделанные Вами правки не будут кем-нибудь удалены, то через несколько дней они появятся на сайте WikiSort.ru .