Изолированная особая точка
Изоли́рованная осо́бая то́чка для элемента аналитической функции , точка комплексной плоскости , относительно которой выполняются условия: 1) этот элемент функции не допускает аналитического продолжения по какому-либо пути в точку ; 2) существует такое число , что в проколотой окрестности точки аналитическое продолжение элемента возможно по любому пути.
Если при аналитическом продолжении вдоль замкнутого пути, расположенного в и окружающего , например вдоль окружности , , получается новый элемент, отличный от исходного, то называется точкой ветвления, или изолированной особой точкой многозначного характера. В противном случае элемент определяет однозначную аналитическую функцию в и называется изолированной особой точкой однозначного характера. В проколотой окрестности изолированной особой точки однозначного характера функция разлагается в ряд Лорана:с правильной частью и главной частью . Поведение аналитической функции в проколотой окрестности изолированной особой точки однозначного характера определяется в основном главной частью ряда Лорана. Если все коэффициенты главной части равны нулю, то, полагая , получим однозначную аналитическую функцию в полной окрестности . Этот случай фактического отсутствия особенности характеризуется также тем, что ограничена в проколотой окрестности , или тем, что существует конечный предел , .
Если среди коэффициентов главной части имеется лишь конечное число отличных от нуля и наименьший номер среди них имеет , то есть полюс порядка . Полюс характеризуется также тем, чтоНаконец, если среди коэффициентов главной части имеется бесконечное множество отличных от нуля, то – существенно особая точка. В этом случае не существует конечного или бесконечного пределаДля бесконечно удалённой изолированной особой точки элемента проколотая окрестность имеет вид , а ряд Лорана –Здесь правильная часть , а главная часть . С этими условиями описанные выше классификация и признаки типов изолированных особых точек без дальнейших изменений переносятся на случай (см. в статье Вычет). Следует отметить, что элементы различных ветвей полной аналитической функции в одной и той же точке могут иметь особенности совершенно различных типов.
Голоморфные функции многих комплексных переменных, , при не могут иметь изолированные особые точки. При особые точки составляют бесконечные множества особенностей.