Пред.
След.
Макеты страниц
Распознанный текст, спецсимволы и формулы могут содержать ошибки, поэтому с корректным вариантом рекомендуем ознакомиться на отсканированных изображениях учебника выше Также, советуем воспользоваться поиском по сайту, мы уверены, что вы сможете найти больше информации по нужной Вам тематике 8. Общий метод охвата контравариантных аргументовТеорема расширения, установленная в последнем параграфе, действительна лишь для инвариантов ковариантных векторов. Однако существует общий метод вывода таблицы типовых базисных инвариантов для векторов обоих видов из таблицы типовых инвариантов для ковариантных векторов. Пусть будут
Это непосредственно следует из тождества
для ковариантного вектора х, если предполагать, что в основу, положена (произвольная) группа Пусть
а затем взяв в качестве
Мы приписали множитель вместо
Сначала
где сумма распространена знакопеременно на все перестановки векторов
где сумма распространена знакопеременно на все перестановки
Повторяя процесс, приводящий от Лемма 1) что она содержит полную таблицу таких инвариантов лишь для ковариантных аргументов и 2) что член (произведение базисных инвариантов), линейно содержащий которые не содержат символических аргументов, в частности, "чисто греческими" множителями.) Этот метод был детально разработан Вейтценбёком При применении этого метода приходится часто пользоваться некоторыми формальными тождествами для компонентных определителей. Если
Последние
Сумма в левой части состоит из Когда дан член, содержащий компонентный определитель, то тождество (8.4), очевидно, позволяет нам вводить в этот множитель один символический вектор за другим и тем самым легко подготовить его к реституции:
Поэтому, если наша таблица содержит инвариант с формулой (8.2) дает новое доказательство нашей теоремы Из (8.4) с помощью индукции выводится тождество
где
т. е. на все перестановки векторов
Это тождество вводит внутрь компонентного определителя одновременно еще
где Теорема
присоединенных Согласно сделанному выше замечанию и формуле (8.2), требуют рассмотрения лишь члены, небодержащие ни одного полного компонентного определителя латинских векторов, но зато содержащие по крайней мере один компонентный определитель основных латинских векторов. Такой член мы расщепляем тогда на произведение множителей типа типа
В абсолютной системе координат
Применяя (8.6), получим, после реституции с реституэнтой С,
Разложение по последним
|
1 |
Оглавление
|