У этого термина существуют и другие значения, см.
Полюс .
Модуль Гамма-функции Γ ( z ) {\displaystyle \Gamma (z)} . Слева (Re z<0) у функции есть полюса, в них она стремится к бесконечности. Справа (Re z>0) полюсов нет, функция всюду конечна. Изолированная особая точка z 0 {\displaystyle z_{0}} называется полюсом функции f ( z ) {\displaystyle f(z)} , голоморфной в некоторой проколотой окрестности этой точки, если существует предел
lim z → z 0 f ( z ) = ∞ {\displaystyle \lim _{z\to {z_{0}}}f(z)=\infty } . Точка z 0 {\displaystyle z_{0}} является полюсом тогда, и только тогда, когда в разложении функции f ( z ) {\displaystyle f(z)} в ряд Лорана в проколотой окрестности точки z 0 {\displaystyle z_{0}} главная часть содержит конечное число отличных от нуля членов, то есть f ( z ) = ∑ k = − ∞ ∞ f k ( z − z 0 ) k = P ( z ) + f − n ( z − z 0 ) − n + … + f − 1 ( z − z 0 ) − 1 {\displaystyle f(z)=\sum _{k=-\infty }^{\infty }{f_{k}}(z-z_{0})^{k}=P(z)+f_{-n}(z-z_{0})^{-n}+\ldots +f_{-1}(z-z_{0})^{-1}} , где P ( z ) {\displaystyle P(z)} — правильная часть ряда Лорана . Если f − n ≠ 0 {\displaystyle f_{-n}\neq \ 0} , то z 0 {\displaystyle z_{0}} называется полюсом порядка n {\displaystyle n} . Если n = 1 {\displaystyle n=1} , то полюс называется простым .
Точка z 0 {\displaystyle z_{0}} является полюсом порядка k {\displaystyle k} тогда и только тогда, когда lim z → z 0 f ( z ) ( z − z 0 ) k − 1 = ∞ {\displaystyle \lim _{z\to {z_{0}}}f(z)(z-z_{0})^{k-1}=\infty } , а lim z → z 0 f ( z ) ( z − z 0 ) k ≠ ∞ {\displaystyle \lim _{z\to {z_{0}}}f(z)(z-z_{0})^{k}\neq \infty } Точка z 0 {\displaystyle z_{0}} является полюсом порядка k {\displaystyle k} тогда и только тогда, когда она является для функции F ( z ) = 1 f ( z ) {\displaystyle F(z)={\frac {1}{f(z)}}} нулем порядка k {\displaystyle k} . Другие типы изолированных особых точек: Бицадзе А.В. Основы теории аналитических функций комплексного переменного — М., Наука, 1969. Шабат Б. В., Введение в комплексный анализ — М., Наука, 1969.