Переменная полилинейная карта - Alternating multilinear map - Wikipedia

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

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

Определение

Полилинейная карта формы ${\displaystyle f\colon V^{n}\to W}$ как говорят чередование если он удовлетворяет любому из следующих эквивалентных условий:

1. всякий раз, когда существует ${\textstyle 1\leq i\leq n-1}$ такой, что ${\displaystyle x_{i}=x_{i+1}}$ тогда ${\displaystyle f(x_{1},\ldots ,x_{n})=0}$.^[1][2]
2. всякий раз, когда существует ${\textstyle 1\leq i\neq j\leq n}$ такой, что ${\displaystyle x_{i}=x_{j}}$ тогда ${\displaystyle f(x_{1},\ldots ,x_{n})=0}$.^[1][3]
3. если ${\displaystyle x_{1},\ldots ,x_{n}}$ находятся линейно зависимый тогда ${\displaystyle f(x_{1},\ldots ,x_{n})=0}$.

Пример

• В Алгебра Ли, то Кронштейн лжи - знакопеременное билинейное отображение.

• В детерминант матрицы - это полилинейное чередующееся отображение строк или столбцов матрицы.

Характеристики

• Если какой-либо компонент Икс_я чередующейся полилинейной карты заменяется на Икс_я + c x_j для любого j ≠ я и c в базе звенеть р, то значение этой карты не изменяется.^[3]
• Всякое чередующееся полилинейное отображение антисимметрично.^[4]
• Если п! это единица измерения в базовом кольце р, то каждый антисимметричный п-молилинейная форма перемежается.

Чередование

Учитывая полилинейную карту вида ${\displaystyle f\colon V^{n}\to W}$, переменное полилинейное отображение ${\displaystyle g\colon V^{n}\to W}$ определяется ${\displaystyle g(x_{1},\ldots ,x_{n}):=\sum _{\sigma \in S_{n}}\operatorname {sgn}(\sigma )f(x_{\sigma (1)},\ldots ,x_{\sigma (n)})}$ считается чередование из ${\displaystyle f}$.

Характеристики

• Чередование п-моллинейная переменная карта п! раз сам.
• Чередование симметричная карта равно нулю.
• Чередование билинейная карта билинейный. В частности, чередование любых коцикл билинейный. Этот факт играет решающую роль в выявлении второго группа когомологий из решетка с группа чередования билинейные формы на решетке.

Смотрите также

• Альтернативная алгебра
• Билинейная карта
• Внешняя алгебра § Альтернативные полилинейные формы
• Карта (математика)
• Полилинейная алгебра
• Многолинейная карта
• Многолинейная форма
• Симметризация

Примечания

1. Lang 2002 С. 511–512.
2. Бурбаки 2007, п. А III.80, §4.
3. Даммит и Фут 2004, п. 436.
4. Ротман 1995, п. 235.

Рекомендации

• Бурбаки, Н. (2007). Eléments de mathématique. Algèbre Chapitres 1–3 (переиздание). Springer.
• Даммит, Дэвид С .; Фут, Ричард М. (2004). Абстрактная алгебра (3-е изд.). Вайли.
• Ланг, Серж (2002). Алгебра. Тексты для выпускников по математике. 211 (переработанное 3-е изд.). Springer. ISBN  978-0-387-95385-4. OCLC  48176673.
• Ротман, Джозеф Дж. (1995). Введение в теорию групп. Тексты для выпускников по математике. 148 (4-е изд.). Springer. ISBN  0-387-94285-8. OCLC  30028913.