Алгебраические структуры 5 2015

Материал из SEWiki
Перейти к: навигация, поиск

Лектор: Евгений Евгеньевич Горячко.

Преподаватель практики у подгруппы №1: Евгений Евгеньевич Горячко.

Список подгруппы №1 на практике: Иван Абрамов, Евгений Акимов, Роман Васильев, Марк Геллер, Сергей Голованов,
Андрей Крутиков, Рауф Курбанов, Антон Мордберг, Кирилл Пилюгин, Дмитрий Саввинов, Андрей Серебро, Алексей Степанов,
Ильнур Шугаепов, Наталья Ялышева, а также Иван Дмитриевский и Ирина Щукина.

Преподаватель практики у подгруппы №2: Софья Сергеевна Афанасьева.

Список подгруппы №2 на практике: Дмитрий Байдин, Виталий Бибаев, Фёдор Бочаров, Артём Бутомов, Святослав Власов,
Шамиль Гарифуллин, Егор Горбунов, Эдгар Жаворонков, Никита Иванов, Сергей Козлов, Татьяна Кузина, Михаил Митрофанов,
Семён Поляков, Владислав Саенко, Леонид Сташевский, Константин Чаркин.

Файл с домашним заданием на 11-е ноября.

Таблица успеваемости студентов.

Все основные материалы курса имеются на следующих страницах: http://mit.spbau.ru/courses/algstructures и
http://mit.spbau.ru/courses/algstructures_se (а также http://mit.spbau.ru/courses/algstructures_cs для группы CS).


1.1.1  Пространства матриц, столбцов, строк
  • Пространство матриц . Пространство столбцов: . Пространство строк: .
  • Матричные единицы. Стандартный базис пространства : .
  • Стандартный базис пространства : . Стандартный базис пространства : .
  • Умножение матриц: . Внешняя ассоциативность умножения матриц. Кольцо . Группа .
  • Выделение строк матрицы: . Выделение столбцов матрицы: . Утверждение: и .
  • След матрицы: . Утверждение: пусть и ; тогда .
  • Транспонирование матрицы: . Утверждение: пусть и ; тогда .
1.2.2  Ранг линейного оператора
  • Ранг линейного оператора: . Ранг матрицы (ранг по столбцам): . Утверждение: .
  • Утверждение: . Утверждение: и .
  • Теорема о свойствах ранга. Пусть — поле, и ; тогда
    (1) для любых матриц и выполнено ;
    (2) существуют такие матрицы и , что ;
    (3) и (то есть ранг по столбцам равен рангу по строкам).
1.4.2  Полилинейные отображения и формы объема
  • Пространства полилинейных отображений и и полилинейных форм и .
  • Пространство симметричных полилинейных форм . Пространство антисимметричных полилинейных форм .
  • Лемма об антисимметричных формах. Пусть — поле, — векторное пространство над полем , и ; тогда
    следующие условия эквивалентны (если , то исключаются импликации (2)(1) и (3)(1)):
    (1) ;
    (2) для любых и таких , что — транспозиция, выполнено ;
    (3) для любых и выполнено .
  • Пространство форм объема (). Форма объема, связанная с базисом: .
  • Теорема о формах объема. Пусть — поле, — векторное пространство над , ; обозначим через число ; тогда
    (1) для любых и выполнено ;
    (2) для любых множество — базис пространства ;
    (3) для любых и выполнено .
1.4.3  Определитель линейного оператора
  • Определитель линейного оператора: , где . Корректность определения.
  • Теорема о главных свойствах определителя. Пусть — поле, — векторное пространство над полем и ; тогда
    (1) (напоминание: );
    (2) для любых выполнено
    (и, значит, отображение определено корректно и является гомоморфизмом групп).
  • Определитель матрицы: . Утверждение: пусть ; тогда .
  • Лемма об определителе оператора и определителе матрицы. Пусть — поле, — векторное пространство над полем , ,
    и ; тогда, обозначая через число , имеем .
  • Утверждение: и определитель блочно-треугольной матрицы равен произведению определителей диагональных блоков.
  • Специальные линейные группы: и .

1.5  Линейные операторы (часть 2)

1.5.1  Многочлены от операторов
  • Многочлен от оператора: . Эвалюация — гомоморфизм колец и векторных пространств.
  • Кольцо, порожденное оператором: — коммутативное подкольцо и подпространство в .
  • Минимальный многочлен оператора: , приведен, ; .
  • Утверждение: пусть и ; тогда и, если и делит , то .
  • Теорема о разложении в прямую сумму ядер. Пусть — поле, — векторное пространство над полем , ,
    и ; тогда .
  • Проектор (идемпотент): . Нильпотентный оператор: .
1.5.2  Спектр оператора и характеристический многочлен оператора
  • Спектр оператора: ; если , то .
  • Характеристический многочлен матрицы: . Характеристический многочлен оператора: . Корректность определения.
  • Утверждение: . Утверждение: (и, значит, ).
  • Теорема Гамильтона–Кэли. Пусть — поле, — векторное пространство над полем , и ; тогда .
  • Две кратности: — кратность как корня многочлена (алгебраическая кратность) и — кратность как корня многочлена .
  • Лемма о минимальном и характеристическом многочленах. Пусть — поле, — вект. пр. над , , ; тогда
    (1) многочлен делит многочлен (и, значит, );
    (2) ;
    (3) если — нильпотентный оператор, то .
1.5.3  Собственные и корневые подпространства оператора
  • Обобщенные собственные подпространства: . Корневые подпространства: .
  • Цепь -инвариантных подпространств: ; вывод: .
  • Обобщенные геометрические кратности: и . Утверждение: .
  • Лемма об обобщенных собственных подпространствах. Пусть — поле, — векторное пространство над полем , ,
    и ; обозначим через число ; тогда
    (1) для любых выполнено ;
    (2) и .
  • Теорема о диагонализуемых операторах. Пусть — поле, — векторное пространство над полем , и ;
    тогда следующие условия эквивалентны:
    (1) существует такой упорядоченный базис , что — диагональная матрица;
    (2) ;
    (3) (это разложение пространства в прямую сумму собственных подпространств оператора ).
  • Теорема о разложении в прямую сумму корневых подпространств. Пусть — поле, — векторное пространство над полем ,
    , и многочлен раскладывается в произведение многочленов степени в кольце (если ,
    то это условие выполнено для любого оператора в силу алгебраической замкнутости поля ); тогда
    (1) (это разложение пространства в прямую сумму корневых подпространств оператора );
    (2) для любых , обозначая через оператор , имеем следующие факты:
    — нильпотентный оператор, и (и, значит, ).

1.6  Линейные операторы (часть 3)

1.6.1  Относительные базисы
  • Независимое подмножество в относительно : . Порождающее подмножество в относительно : .
  • Базис в относительно : одновременно независимое и порождающее подмножество в относительно . Три леммы без доказательств.

    Лемма 1 об относительных базисах. Пусть — поле, — вект. пр. над , , ; тогда следующие условия эквивалентны:
    (1) — базис в относительно ;
    (2) для любого базиса в выполнено и — базис в ;
    (3) существует такой базис в , что и — базис в .

    Лемма 2 об относительных базисах. Пусть — поле, — вект. пр. над , , — независимое подмножество в относительно ;
    тогда существует базис в относительно , содержащий .

    Лемма 3 об относительных базисах. Пусть — поле, — вект. пр. над , , — базис в относительно , — базис в
    относительно ; тогда — базис в относительно .

  • Теорема об относительно независимых подмножествах. Пусть — поле, — векторное пространство над полем , ,
    ; обозначим через , и пространства , и соответственно; пусть — независимое
    подмножество в относительно ; тогда — биекция и — независимое подмножество в относительно .
1.6.2  Жорданова нормальная форма оператора
  • Жордановы клетки: и . Прямая сумма матриц: .
  • Диаграммы Юнга. Жорданов блок: , где числа суть длины строк диаграммы Юнга .
  • Диаграмма Юнга : высоты столбцов диаграммы суть обобщенные геометрические кратности .
  • Теорема о жордановой нормальной форме нильпотентного оператора. Пусть — поле, — векторное пространство над , ,
    , — нильпотентный оператор; тогда существует такой упорядоченный базис , что .
  • Теорема о жордановой нормальной форме. Пусть — поле, — векторное пространство над полем , ,
    и многочлен раскладывается в произведение многочленов степени в кольце (если , то это условие выполнено для
    любого оператора в силу алгебраической замкнутости поля ); тогда существует такой упорядоченный базис , что
    (то есть матрица раскладывается в прямую сумму жордановых блоков).
  • Экспонента оператора: . Вычисление степеней и экспоненты оператора при помощи теоремы о жордановой нормальной форме.

1.7  Алгебры

1.7.1  Определения и конструкции, связанные с алгебрами
1.7.2  Алгебры многочленов
1.7.3  Алгебра (тело) кватернионов
1.7.4  Алгебры Ли (основные определения и примеры)