Большая Советская Энциклопедия (АЛ) - Большая Советская Энциклопедия "БСЭ" - Страница 25

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

  Лит.: Ван-дер-Варден Б. Л., Современная алгебра, пер. с нем., [2 изд.], ч. 1—2, М. — Л., 1947; Чеботарев Н. Г., Теория алгебраических функций, М. — Л., 1948; Ходж В., Пидо Д., Методы алгебраической геометрии, пер. с англ., т. 1—3, М., 1954 — 55; Алгебраические поверхности, М., 1965; WeiI A.. Foundations of algebraic géometry, N. Y., 1946.

  Б. Б. Венков.

Алгебраи'ческая крива'я, кривая, задаваемая в декартовых координатах алгебраическим уравнением. См. Алгебраическая геометрия .

Алгебраи'ческая пове'рхность, поверхность, задаваемая в декартовых координатах алгебраическим уравнением. См. Алгебраическая геометрия .

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

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

  Однако существуют А. ф., которые невозможно выразить через радикалы [например, функция у = 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.

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

рационально относительно a, b и с. А. в. называется целым относительно некоторых букв, если оно не содержит деления на выражения, содержащие эти буквы, например 3а/с + bc² - 3ас/4 является целым относительно а и b. Если некоторые из букв (или все) считать переменными, то А. в. есть алгебраическая функция .

Алгебраи'ческое дополне'ние, см. в ст. Определитель .

Алгебраи'ческое уравне'ние, уравнение, получающееся при приравнивании двух алгебраических выражений . А. у. с одним неизвестным называется дробным, если неизвестное входит в знаменатель, и иррациональным, если неизвестное входит под знаком радикала. Всякое А. у. может быть преобразовано без потери корней к виду a xⁿ + a₁ x^n-1 + ... + a_n = 0. О решении таких уравнений см. Алгебра и Численное решение уравнений .

  Д. К. Фаддеев.

Алгебраи'ческое число', число а, удовлетворяющее алгебраическому уравнению a₁ aⁿ + ... + акa +a_n+1 = 0, где n ³ 1, a₁ , ..., a_n , a_n+1 — целые (рациональные) числа. Число a называется целым А. ч., если a₁ = 1. Если многочлен f(x) = a₁ xⁿ + ... + a_n x + a_n+1 не является произведением двух др. многочленов положительной степени с рациональными коэффициентом, то число n называется степенью А. ч. a. Простейшие А.ч. — корни двучленного уравнения xⁿ = а, где а — рациональное число. Например, А. ч. будут рациональные числа, числа

  целыми А. ч. будут целые числа, числа

  С понятием А. ч. тесно связаны два больших направления в теории чисел. 1) Арифметика А. ч. (алгебраическая теория чисел), созданная Э. Куммером в середине 19 в., изучает свойства А. ч. Целые А. ч. обладают рядом свойств, аналогичных свойствам целых рациональных чисел, однако теорема об единственности разложения числа на простые множители не имеет места в теории целых А. ч. Для сохранения единственности разложения Куммер ввёл в рассмотрение т. н. «идеальные» числа (см. Идеал ). 2) Теория приближения А. ч. изучает степень приближения А. ч. рациональными числами или алгебраическими же числами. Первым результатом в этом направлении была теорема Ж. Лиувилля , показывающая, что А. ч. «плохо» приближаются рациональными числами, точнее: если a - А. ч. степени n, то при любых целых рациональных р и q имеет место неравенство [a - p/q] > C/qⁿ , где С = С(a) > 0 — постоянная, не зависящая от р и q, отсюда следует, что легко построить произвольное количество неалгебраических — трансцендентных чисел .