Алгебраическая функция

Определение "Алгебраическая функция" в Большой Советской Энциклопедии

Алгебраическая функция, функция, удовлетворяющая алгебраическому уравнению. Алгебраическая функция принадлежат к числу важнейших функций, изучаемых в математике. Из них многочлены и частные многочленов [например,

называются рациональными, а прочие Алгебраическая функция - иррациональными. Простейшими примерами последних могут служить Алгебраическая функция, выражаемые с помощью радикалов [например,

Однако существуют Алгебраическая функция, которые невозможно выразить через радикалы [например, функция у = f (х), удовлетворяющая уравнению: y⁵ + 3ух⁴ + x⁵ = 0]. Примерами неалгебраических, т. н. трансцендентных функций, встречающихся в школьном курсе алгебры, являются: степенная x^a (если a - иррациональное число), показательная а^х, логарифмическая и т. д. Общая теория Алгебраическая функция представляет обширную математическую дисциплину, имеющую важные связи с теорией аналитических функций (Алгебраическая функция составляют специальный класс аналитических функций), алгеброй и алгебраической геометрией. Самая общая Алгебраическая функция многих переменных u = f(x, у, z, ...) определяется как функция, удовлетворяющая уравнению вида:

Р_о(х, у, z, ...)uⁿ + P₁(x, y, z, ...)u^n-1 + … +P_n(x, y, z, ...) = 0,          (1)

где Р₀, Р₁, ..., P_n - какие-либо многочлены относительно х, у, z,... . Всё выражение, стоящее в левой части, представляет некоторый многочлен относительно х, у, z,... и n. Его можно считать неприводимым, т. е. не разлагающимся в произведение многочленов более низких степеней; кроме того, многочлен P₀ можно считать не равным тождественно нулю. Если n = 1, то u представляет рациональную функцию (u = -P₁/P₀), частным случаем которой - целой рациональной функцией - является многочлен (если P₀ = const ¹ 0). При n > 1 получается иррациональная функция; если n = 2, то она выражается через многочлены с помощью квадратного корня; если n = 3 или n = 4, то для u получается выражение, содержащее квадратные и кубические корни.

При n ³ 5 число каких бы то ни было корней из многочленов. Иррациональная Алгебраическая функция всегда многозначна, а именно (при наших обозначениях и предположениях) является n-значной аналитической функцией переменных х, у, z,...
  Лит.: Чеботарев Н. Г., Теория алгебраических функций, М. - Л., 1948.