Доказать что в группе sn порядок нечетной перестановки является четным числом
05. Определители. Перестановки и их четность
1. Бугров Я. С., Никольский С. М. Элементы линейной алгебры и аналитической геометрии. 1997, с. 7-22.
3. Кремер Н. Ш. Высшая математика для экономистов. М.: Юнити, 2000. с. 16-26.
4. Беклемишев Д. В. Курс аналитической геометрии и линейной алгебры. М.: Наука, 1980, с. 148-156.

Теорема 1.

Число всех инверсий в перестановок 

Определение 3. Перестановка называется Четной, если число всех инверсий в перестановке четное, перестановка называется Нечетной, если число всех инверсий в перестановке нечетное.
Пример 3. Для N=2 имеется 6 перестановок. При этом три перестановки (1,2,3), (3,1,2), (2,3,1) четные и три перестановки (1,3,2), (2,1,3), (3,2,1) нечетные.
Определение 4. Транспозицией Перестановки называется такое ее преобразование при, при котором два ее элемента переставляются местами, а остальные остаются на своих местах.
Теорема 2. При любой транспозиции перестановки ее четность меняется на противоположную.
Доказательство. Рассмотрим два случая.
Доказательство. Пусть 










Следствие. При N>1 Число всех четных перестановок равно 
Перестановки 4 элементов
Знак перестановки можно явно выразить как
В качестве альтернативы знак перестановки σ может быть определен из ее разложения на произведение транспозиций как
СОДЕРЖАНИЕ
Пример
Есть много других способов записать σ как композицию транспозиций, например
но записать это как произведение четного числа транспозиций невозможно.
Характеристики
Следующие правила прямо вытекают из соответствующих правил сложения целых чисел:
Из этого следует, что
На практике, чтобы определить, является ли данная перестановка четной или нечетной, ее записывают как произведение непересекающихся циклов. Перестановка нечетная тогда и только тогда, когда эта факторизация содержит нечетное количество циклов четной длины.
Другой метод определения, является ли данная перестановка четной или нечетной, состоит в построении соответствующей матрицы перестановок и вычислении ее определителя. Значение определителя такое же, как четность перестановки.
Каждая перестановка нечетного порядка должна быть четной. Перестановка (1 2) (3 4) в A 4 показывает, что в общем случае обратное неверно.
Эквивалентность двух определений
В этом разделе представлены доказательства того, что четность перестановки σ может быть определена двумя эквивалентными способами:
Любую перестановку можно записать как произведение нечетного числа перестановок соседних элементов, например
(2 5) = (2 3) (3 4) (4 5) (4 3) (3 2).
Таким образом, мы можем определить четность σ как четность его составных транспозиций в любом разложении. И это должно согласовываться с четностью числа инверсий при любом порядке, как показано выше. Следовательно, определения действительно четко определены и эквивалентны.
Альтернативное доказательство использует полином Вандермонда
Так, например, в случае n = 3 мы имеем
Обратите внимание, что изначально, когда своп не применяется, количество инверсий равно 0. Теперь мы получаем эквивалентность двух определений четности перестановки.
Рассмотрим элементы, зажатые между двумя элементами транспозиции. Каждый из них находится полностью вверху, полностью вверху, полностью внизу или между двумя элементами транспозиции.
Другие определения и доказательства
п минус количество непересекающихся циклов в разложении σ <\ displaystyle n <\ text <минус количество непересекающихся циклов в разложении>> \ sigma>
если мы позаботимся включить неподвижные точки σ как 1-циклы.
и если a и b находятся в одном цикле σ, то
Обобщения
Четность может быть обобщена на группы Кокстера : определяется функция длины ℓ ( v ), которая зависит от выбора образующих (для симметрической группы, смежных транспозиций ), а затем функция v ↦ (−1) ℓ ( v ) дает обобщенная карта знаков.
Перестановки и транспозиции, определители
Дата добавления: 2015-07-23 ; просмотров: 5050 ; Нарушение авторских прав
В множестве из п чисел общее количество перестановок равно п!.
Говорят, что в данной перестановке числа i, j образуют инверсию, если i> j, но i стоит в перестановке раньше j.
Например, перестановка 15243. Числа 5, 2 образуют инверсию.
Например 
Перестановка называется четной, если ее числа составляют четное количество инверсий, и нечетной — в противном случае.
Транспозициейназывается преобразование перестановки, при котором меняются местами какие-либо два числа, не обязательно стоящие рядом.
Теорема 4.1 Всякая транспозиция меняет четность перестановки.
□ Рассмотрим сначала случай, когда меняются местами два соседних элемента 







Общий случай. Пусть меняются местами элементы 
















Следствие. Число четных перестановок равно числу нечетных и равно 0,5 n!
□ Пусть из n! перестановок из n элементов p перестановок четные и q нечетные. Сделаем в каждой четной перестановке одну и ту же транспозицию, например, поменяем местами первые два элемента. Тогда каждая четная перестановка превратится в нечетную, при этом все p полученных при этом нечетных перестановок будут разными. А так как общее число нечетных перестановок из n элементов, по предположению, равно q, то p р. Следовательно, p = q.!
Все n! перестановок из n чисел можно расположить в таком порядке, что каждая следующая будет получаться из предыдущей при помощи одной транспозиции, причем начинать можно с любой перестановки.
Определителем n-го порядка, соответствующим квадратной матрице порядка n, называется алгебраическая сумма n! членов, составленная следующим образом. Членами определителя служат всевозможные произведения по n элементов матрицы, взятых по одному в каждой строке и каждом столбце. Член берется со знаком плюс, если индексы столбцов его элементов образуют четную перестановку при условии, что сами элементы расположены в порядке возрастания номеров строк, и со знаком минус — в противном случае и обозначается:

Определителем первого порядка является величина элемента 

Определителем второго порядка равен произведению элементов на главной диагонали минус произведение элементов на побочной диагонали:

Определитель третьего порядка, вычисленный по правилу Саррюса
Линейная Алгебра
Чётность перестановки
Теорема. Любая транспозиция соседних элементов перестановки меняет четность перестановки на противоположную.
Доказательство. Пусть дана перестановка 

Теорема. Любая транспозиция любых двух элементов перестановки меняет четность перестановки на противоположную.
Доказательство. Пусть выполняется транспозицию (i j) и пусть между элементами i и j находится m других элементов. Легко видеть, что такую транспозицию можно выполнить за 
Теорема. Любую перестановку можно получить из начальной перестановки последовательным выполнением конечного числа транспозиций, причем это количество транспозиций есть число четное, если данная перестановка четна, и нечетное в противном случае.
Доказательство. Очевидно в свете следующего примера.
Пример.

Здесь, перестановка 
4 транспозиции и она четная, т.к. 
Замечание. Понятно, что любую перестановку можно привести к начальной и обратно с помощью тех же самых транспозиций, выполненных в обратном порядке.
Теорема. Количество четных перестановок множества из 

Доказательство. Каждая перестановка либо четная, либо нечетная. Поэтому общее количество четных перестановок неизменно. Так же и количество нечетных перестановок есть число фиксированное. Во всех перестановках выполним одну и ту же транспозицию, например, (1 2). Все четные перестановки станут нечетными и наоборот, все нечетные станут четными. Следовательно, четных и нечетных перестановок одинаковое количество.
Замечание. Предлагается следующая интерпретация к предыдущей теореме.
Пусть на некоторой вечеринке находится какое-то количество людей, причем все женщины в шляпках, а мужчины в масках. Допустим, что в некоторый момент времени, каждый мужчина должен отдать женщине свою маску и получить от нее головной убор. Каково должно быть соотношение мужчин и женщин, чтобы каждый мужчина получил шляпку, а каждая женщина – маску?
Перестановки n-й степени. Теорема о четности перестановки. Определители n-го порядка. Определители второго и третьего порядков
Определение 1. Пусть М=<1,2,…,n>. Перестановкой на множестве М или перестановкой n-й степени называется множество М с заданным расположением его элементов, и обозначается I=(i1i2…in), где i1,i2. in – попарно различные элементы из М.
Определение 2. Инверсией или беспорядком перестановки I называется любая пара символов перестановки I, в которой символ, стоящий левее, больше символа, стоящего правее.
Пример 2. В перестановке I2=(231) две инверсии: 31 и 21.
Через s(I) будем обозначать число всех инверсий перестановки I.
Определение 3. Перестановка I называется чётной, если s(I) – чётное число, в противном случае перестановка I называется нечётной.
В примере 2 перестановка I – чётная.
Через Sn обозначается множество всех перестановок n-ой степени. Можно доказать, что количество всех перестановок из n элементов равно n!=1×2×3×…×n. Например, из 3 элементов можно составить 
Определение 4.Транспозицией называется перемена местами 2-х элементов перестановки, когда остальные элементы остаются на месте.
Теорема 1. Транспозиция меняет четность перестановки. Другими словами, четность перестановки изменится, если в ней поменять местами два произвольных символа.
Пусть А=
Из элементов матрицы А будем составлять всевозможные произведения, состоящие из n множителей, любые два различных из которых находятся в разных строках и разных столбцах. Таким, например, является произведение элементов, стоящих на главной диагонали: a11a22…ann. Все такие произведения можно получить по следующему правилу: выберем для произведения из первой строки матрицы А некоторый элемент 



Так как j1,j2,…,jn – попарно различные элементы из множества М=<1,2,…,n>, то вторые индексы в записанном произведении образуют перестановку I=(j1j2…jn).
Рассмотрим выражение вида: (-1) s ( I ) 
Выражений вида (1) можно образовать столько, сколько существует перестановок, составленных из вторых индексов, т.е. их будет n!.
Определение 5. Пусть А=


Используются следующие обозначения: 






1) Пусть Δ – определитель 2-го порядка, т.е. Δ =

Так как I1 = (12) и 


Таким образом, определитель 2-го порядка равен произведению элементов, стоящих на главной диагонали, минус произведение элементов, стоящих на побочной диагонали.
I1 = (123) = 0 

I3 = (312) = 2 

I5 = (132) = 1 
I6 = (231) = 2 
Δ=

Таким образом, определитель 3-го порядка равен сумме шести слагаемых, три из которых со знаком +.
Нам важно ваше мнение! Был ли полезен опубликованный материал? Да | Нет


