Алгебра - Варден Б.Л.
Скачать (прямая ссылка):
/ (2) = (2 - лу) (2 - х2)... (г - хп) =
= 2" — о1гп-1 а2гп 2 —... + (—1)”0Л; (1)
тогда коэффициенты этого многочлена при степенях г таковы:
0і — хі + Х2 + • • • + хп>
а2 = х2х2 + ед + . • • + ЧЧ + • • • + хп-іхп,
03 = Х^Х2Хз ;" ЛуА'Д'., ; -. ? ХП~2ХП-2ХПУ
0Л — Х2Х2Х3 . . . Хп.
Очевидно, это — симметрические функции, так как левая часть равенства (1), как и его правая часть, не меняются при перестановках переменных х1. Функции стх, ..., сг„ называются элементарными симметрическими функциями от хъ ..., хп.
Каждый многочлен ср (ах, ..., ол) дает симметрическую функцию от х1у ..., хп, если вместо и подставить соответствующие выражения через переменные х. При этом слагаемое вида ссф>... ...о^п в выражении для ф (ах, ..., ап) окажется однородным
П
многочленом от XI степени р, + 2ц2 + . .. + пр„, так как каждый многочлен о,- является однородным многочленом степени I. Сумму рх + 2р2 + • • ? + Щп мы называем весом слагаемого сау*... 0%, а под
весом многочлена ф (0Х, ... , ол) подразумевается наибольший вес из входящих в него слагаемых. Многочлены ф (0Ь ..., ал) веса к дают тем самым симметрические многочлены от х; степени
Так называемая основная теорема о симметрических функциях гласит:
Каждая целая рациональная симметрическая функция из кольца о [лу, ..., хп\ может быть записана в виде многочлена
ф (0!, ..., 0Л).
Доказательство. Упорядочим заданный симметрический многочлен словарно (как в словаре), т. е. таким образом, чтобы слагаемое х“1 ...х?-п предшествовало слагаемому х^ ...Л в том
случае, если первая ненулевая разность а1 — (Зг положительна.
122
ЦЕЛЫЕ РАЦИОНАЛЬНЫЕ ФУНКЦИИ
[ГЛ V
Вместе со слагаемым ах“1 ... хап в выражение для данного много-
1 П
члена входят также все слагаемые, показатели которых являются (в своем наборе) некоторой перестановкой показателей а,-; эти слагаемые мы записывать не будем, а воспользуемся записью а 1 • ? • в которую фактически входит лишь первое в словарном упорядочении слагаемое во всей сумме слагаемых. Для такого слагаемого оу а2 ^^ ап.
Пусть степень данного симметрического многочлена равна к, а первое в словарном упорядочении слагаемое есть ах“‘...х“/г.
1 П
Составим произведение элементарных симметрических функций, в котором (после раскрытия скобок и приведения в словарный порядок) первое слагаемое будет таким же: ах^...хап. Это произведение найти легко; вот оно:
— ао„а, — ао 1 2
Вычтем это произведение из данного многочлена, упорядочим разность словарно, найдем в ней старшее слагаемое и т. д.
Такая процедура должна будет в конце концов оборваться. Действительно, вычитаемое произведение имеет вес
су — а2 + 2а2 — 2а3 За3 —... — (я — 1) а„ -ф пап —
= ау -)- оу -)- а3 -)-... ап^к\
поэтому, расписанное как многочлен от переменных х, это произведение приобретает степень Следовательно, степень данной симметрической функции при вычитании, описанном выше, не возрастает. Но при заданной степени к существует лишь конечное множество произведений степеней х“1 ... Хпп. Так как при каждом вычитании такое произведение исчезает, а остаются лишь следующие за ним в словарном упорядочении, процедура после конечного числа шагов должна оборваться: просто не остается больше слагаемых.
Такое доказательство одновременно дает средство выражения данной симметрической функции через элементарные функции оу. Если данная функция имеет степень к, то найденное выражение Ф (оу, ..., оп) будет иметь вес к.
Кроме того, из доказательства следует предложение: однородные симметрические функции степени ^ могут быть выражены «изобарически» через функции о,-, т. е. так, что слагаемые в полученной сумме все будут иметь вес к.
Покажем теперь, что любая симметрическая функция выражается в виде целой рациональной функции от оу, ..., ап единственным способом. Точнее:
§ 33] СИММЕТРИЧЕСКИЕ ФУНКЦИИ 523
Если ф] (ух, ..., уп) и ф2(г/х, уп) — два многочлена от переменных уъ ..., у„ и
Фх(*/х...Уп)Фъ(У1 Уп),
то и
Ф1 (0!, . . . , Оп)фЦ>2 (0!.0„).
Рассмотрение разности Фх —ф2 = ф показывает, что достаточно
доказать утверждение: из ф (ух Уп)Ф 0 следует ф (о^ ...
• • • > <Рг) Ф 0.
Доказательство. Каждое слагаемое в ф (уи ..., у„) можно записать в виде
ш/ГХ2-“3 ••• уУ-
Среди всех систем (ах, а2, ... , а„), которые соответствуют коэффициенту аф 0, существует первая в словарном упорядочении. Заменим у1 на о{ и выразим эти последние через хр, тогда получится первое в словарном смысле слагаемое в ф (0Х, 0„):
Это слагаемое нельзя ни с чем сократить, так что и в самом
деле
ф(0„ ..., оп)ф 0.
Мы доказали:
Каждый симметрический многочлен из кольца о[хх, ..., хп] можно и притом единственным способом представить в виде многочлена от 0Ь ... , 0„; вес этого многочлена равен степени заданного многочлена.
Все целые рациональные соотношения между симметрическими функциями сохраняются, если х, перестают быть переменными и становятся какими-то элементами из с, например, корнями разлагающегося на линейные множители в с» [г] многочлена / (г). Из доказанного, таким образом, следует, что каждая симметрическая функция корней многочлена / (г) выражается через коэффициенты этого многочлена.
