- •А.М. Попов
- •1.1. Комбинаторика.
- •1.2. Бином Ньютона.
- •3.1. Соответствия. Функции. Отношения.
- •3.2. Подстановки.
- •3.3. Отношение эквивалентности.
- •4.1. Определения.
- •4.2. Элементарные преобразования.
- •4.3. Решение и исследование систем линейных уравнений по Гауссу.
- •4.4. Решение систем линейных уравнений по Жордану.
- •5.1. Определения. Свойства.
- •5.2. Вычисление определителей.
- •5.3. Обратная теорема об определителях.
- •5.4. Разложение определителя по столбцам.
- •5.5. Полилинейность и кососимметричность определителя по столбцам.
- •5.6. Определитель транспонированной матрицы.
- •5.7. Разложение определителя по строкам.
- •5.8. Определитель матрицы с углом нулей.
- •5.8. Теорема о полном разложении определителя.
- •5.9. Решение слу по Крамеру.
- •5.10. Теорема Лапласа.
- •6.1. Определения, примеры.
- •6.2. Простейшие свойства колец.
- •6.3. Делители нуля.
- •6.4. Кольцо классов вычетов.
- •6.5. Поля.
- •7. Линейные пространства
- •7.1. Определения, примеры.
- •7.2. Теоремы о базисах.
- •7.3. Изоморфизм линейных пространств.
- •7.4. Подпространства.
- •7.5. Теорема Кронекера-Капелли.
- •7.6. Решение однородных систем линейных уравнений.
- •8. Системы линейных уравнений
- •8.1. Определение ранга матрицы через миноры.
- •8.2. Решение систем линейных уравнений (продолжение).
- •8.3. Необходимые и достаточные условия равенства нулю определителя.
- •8.4. Общее решение неоднородной системы линейных уравнений.
- •9. Матрицы
- •9.1. Операции над матрицами, их свойства.
- •9.2. Элементарные матрицы.
- •9.3. Определитель произведения матриц.
- •9.4. Обратная матрица.
- •9.5. Решение матричных уравнений.
- •9.6. Ранг произведения матриц.
- •10.1. Построение алгебры многочленов.
- •10.2. Деление многочленов с остатком. Теорема Безу.
- •10.3. Наименьшее общее кратное и наибольший общий делитель многочленов.
- •10.4. Алгоритм Евклида.
- •10.6. Производная.
- •10.7. Кратные корни многочлена.
- •10.8. Основная теорема алгебры.
- •10.10. Разложение многочлена на простые множители
- •11. Поле рациональных функций
- •11.1. Построение поля отношений.
- •11.2. Поле рациональных функций.
- •12. Прямые суммы подпространств
- •13.1. Линейное отображение и его матрица.
- •13.2. Матрица композиции линейных отображений.
- •13.3. Сумма линейных отображений и её матрица.
- •13.4. Умножение линейного отображения на элемент
- •13.5. Изоморфизм алгебры линейных операторов и
- •14. Матрица перехода от одного базиса к другому
- •14.1. Изменение координат вектора при изменении
- •14.2. Изменение матрицы линейного отображения
- •14.3. Эквивалентные матрицы.
- •15. Образ и ядро линейного отображения Пусть : l l - линейное отображение.
- •16. Инвариантные подпространства
- •16.1. Свойства инвариантных подпространств.
- •16.2. Прямая сумма инвариантных подпространств.
- •16.3. Прямая сумма линейных операторов.
- •16.4. Собственные векторы и собственные значения
- •16.6. Минимальный многочлен линейного оператора и матрицы.
- •16.7. Инвариантные подпространства линейных операторов, действующих в векторных пространствах над r и над с.
- •17. Диагонализируемые линейные операторы
- •18. Евклидовы векторные пространства
- •18.1. Определения, примеры.
- •18.2. Свойства евклидовых пространств.
- •19. Ортогональные линейные операторы
- •19.1. Определение. Свойства.
- •19.2. Ортогональная группа.
- •19.3. Структура ортогонального оператора.
- •20. Самосопряженные линейные операторы
- •20.1. Сопряженные линейные пространства.
- •20.2. Сопряженные линейные операторы.
- •20.3. Самосопряженные линейные операторы.
- •20.4. Структура самосопряженного оператора.
- •21. Унитарные векторные пространства
- •21.1. Определения, примеры.
- •22. Унитарные линейные операторы
- •22.1. Определение. Свойства.
- •22.2. Унитарная группа.
- •22.3. Структура унитарного оператора.
- •23. Эрмитовы линейные операторы
- •23.1. Сопряженное линейное пространство.
- •23.2. Сопряженные линейные операторы.
- •23.3. Эрмитовы линейные операторы.
- •23.4. Структура эрмитова оператора.
- •24. Билинейные и квадратичные формы
- •24.1. Определение билинейной функции. Общие свойства.
- •24.3. Изменение матрицы билинейной формы при изменении базисов. Ранг билинейной формы.
- •24.4. Определение квадратичной формы. Связь билинейных и квадратичных форм. Матрица и ранг квадратичной формы.
- •24.5. Эквивалентность билинейных форм и квадратичных форм.
- •24.6. Канонический и нормальный вид квадратичных и симметричных билинейных форм.
- •24.7. Закон инерции для квадратичных форм.
- •24.8. Критерий Сильвестра.
- •25. Квадратичные формы в евклидовом пространстве
- •25.1. Приведение формы ортогональным преобразова-
- •25.2. Приведение пары форм.
- •26. Эрмитовы формы
- •26.1. Определение и основные свойства эрмитовых форм.
- •26.2. Нормальный вид эрмитовых форм.
- •27. Эрмитовы формы в унитарном пространстве
- •27.1. Приведение эрмитовой формы унитарным преобразованием координат.
- •27.2. Приведение пары форм.
- •28.1. Теорема Лагранжа.
- •28.2. Факторгруппы.
- •28.3. Морфизмы групп.
- •28.4. Теорема о разложении морфизма.
- •28.5. Циклические группы.
13.2. Матрица композиции линейных отображений.
Пусть Ln, Lm, Ls - линейные пространства над полем P с
базисами e, e, e соответственно, : Ln Lm - линейное отображение с m n-матрицей и : Lm Ls - линейное
отображение с s m-матрицей .
Утверждение. : Ln Ls - линейное отображение с s n-матрицей = .
Доказательство. 1. a, b Ln, , P имеем:
( a+ b)=( ( a+ b))=( a+ b)=( a)+
+( b)= a+ b – получили линейность .
2. Пусть x Ln, y = x, (y Lm), z = y = ( x), (z Ls). Тогда [] = [][], [] = [][] [] = []([][])= = ([][])[] = [ ][] [ ] =[][] – здесь мы воспользовались ассоциативностью умножения матриц и биективным соответствием между линейными отображениями и матрицами.
Замечания.
1. В частном случае при Ln= Lm= Ls, e= e= e, имеем
= .
2. Если = id, то [][] = [id] = Е [] = [] -1
[ -1] = [] -1.
13.3. Сумма линейных отображений и её матрица.
Пусть , : Ln Lm - линейные отображения. Опреде-
лим отображение + : Ln Lm формулой: x Ln
( +)x = x + x. Тогда:
1. + - линейное отображение, так как x,y Ln, , P ( +)( x+ y)= ( x+ y)+( x+ y)=
= x+ y+ x+ y =(+)x+( +)y.
2. ( +)ej = ej + ej =[] =[] + [] =
= + = + , [ +] = [] +[] .
13.4. Умножение линейного отображения на элемент
поля.
Пусть : Ln Lm - линейное отображение, r P. Опре-
делим отображение r : Ln Lm формулой: x Ln
(r)x = r(x). Тогда:
r - линейное отображение, так как (r)( x+ y) =
=r(( x+ y))= r( x+ y)=r x+r y =(r)x+(r)y.
2. (r)ej = r( ej ) =[] =r[] = r
= r,[r] = r[].
13.5. Изоморфизм алгебры линейных операторов и
алгебры матриц.
Пусть L= Ln - линейное пространство над полем P, Ф(Ln) – множество линейных операторов : Ln Ln. Тогда из пп.13.2-13.4 следует, что < Ф(Ln),+, , > - некоторая универсальная алгебра.
Теорема. < Ф(Ln),+, , > - алгебра.
Один из возможных способов доказательства этой теоремы состоит в доказательстве следующих трех утверждений:
1. Множество Ф(Ln,Lm)={: Ln Lm} линейных отображений из Ln в Lm с операциями сложения и умножения на элементы поля является линейным пространством над полем P.
2. Ф(Ln) – ассоциативное унитарное кольцо относительно операций сложения и умножения (композиции) линейных операторов.
3. Ф(Ln) – алгебра относительно операций из пп.1,2.
Мы докажем эту теорему иначе.
Определение. Пусть A=<A, A >, B=<B, B > - универсальные алгебры с носителями A, B и множествами операций A, B соответственно. Отображение : A B называется изоморфизмом универсальных алгебр, если:
1. : A B – биекция носителей,
2. биекция : A B такая, что для любой n-арной операции A операция ()=B также n-арная, и
a1 ,…,an А выполняется (a1…an)=(a1)…(an).
Доказательство теоремы.
1. Пусть е – некоторый фиксированный базис в Ln. Определим отображение : Ф(Ln) Мn(Р), где Мn(Р) – алгебра
n n-матриц над Р. ПустьФ(Ln) по определению =[].
Как мы уже видели, - биекция.
2. Отображение : < Ф(Ln),+, ,> < Мn(Р),+, ,> является изоморфизмом универсальных алгебр, так как по результатам пп.13.2-13.4
= []= [] [] = ,
[ ] = [][] = ,
rp [rp] = r p[] = r p .
3. Так как < Мn(Р),+, , > - алгебра, то <Ф(Ln),+,,> - алгебра, и эти алгебры изоморфны. В качестве примера докажем дистрибутивность в Ф(Ln): , , Ф(Ln)
() () = ( ) = =
= ( ) ( ) = ( )
( ) = (из биективности ).
Остальные условия из определения алгебры проверяются аналогично.
Следствия.
1. dim Ф(Ln) = dim Мn(Р) = n2.
Если л.о. Ф(Ln) такой, что Ф(Ln) имеем
= , то с Р такой, что = с - это следует из соответствующего свойства алгебры матриц.
Упражнение. Проверить, что
B = {ij Ф(Ln), i,j =1,…,nij ej = ei, ijek= 0L при k j} - базис линейного пространства Ф(Ln).
Очевидно, ijek=kjei, и [ij] = Eij – базисные матрицы в пространстве Мn(Р).
Лекция 26.