Линейная алгебра. Торемы и алгоритмы


Главная
Лекции
Книги
Новый сайт! Яндекс.Погода

Авторы: Яцкин Н.И.

Оглавление

  • Предисловие
  • Линейные пространства. Базисы и размерности
    • Аксиомы линейного пространства над полем. Примеры линейных пространств. Линыйные подпространства. Линейные отображения
      • Аксиомы поля
      • Аксиомы линейного пространства
      • Арифметические линейные пространства
      • Другие примеры конкретных линейных пространств
      • Линейные подпространства
      • Линейные отображения
      • Пример линейного пространства над полем F2
    • Системы векторов в линейных пространсвах и их линейные оболочки. Порождающие системы векторов. Конечномерные и бесконечномерные линейные пространства
      • Системы векторов в линейном пространстве и их линейные оболочки
      • Линейные оболочки подмножеств в линейных пространствах
      • Конечномерные и бесконечномерные линейные пространства
    • Линейно зависимые и линейно независимые системы векторов
      • Понятие линейно зависимой (линейно независимой) системы векторов
      • Свойство единственности разложения вектора по линейно независимой системе векторов
      • Понятие линейной зависимости (независимости) для подмножеств в линейном пространстве
    • Базисы в линейных пространствах; четыре способа характеризации; теорема существования
      • Определение базиса в линейном пространстве
      • Четыре способа характеризации базисов
      • Теорема существования базиса для конечномерного линейного пространства
      • Алгебраические базисы в произволных линейных пространствах (базисы Гамеля)
      • Понятие о топологических базисах
    • Равномощность базисов. Размерность линейного пространства. Продолжение базисов
      • Оценка количества векторов в линейно независимой системе векторов
      • Характеризация к.л.п. в терминалах линейно независимых с.в. Конечномерность подпространства в к.л.п.
      • Равномощность всех базисов и понятие размерности для к.л.п.
      • Продолжение базисов
      • Свойство строгой монотонности размерности
    • Основная теорема о линейных отображениях. Теорема об изоморфизме. Координатный изоморфизм
      • Основная теорема о линейных отображениях конечномерных линейных пространствах
      • Свойства линейных изоморфизмов
      • Теорема об изоморфизме для конечномерного линейного пространства
      • Координатный изоморфизм конечномерного линейного пространства на арифметическое линейное пространство
    • Матрица перехода от одного базиса к другому. Изменение координатного столбца вектора при замене базиса
      • Матрица перехода от одного базиса в конечномерном линейном пространстве к другому. Свойства матрица перехода
      • Изменение координатного столбца вектора при замене базиса
      • Задачи на вычисление матриц перехода и пересчет координатных столбцов при замене базисов
      • Применение системы Maple для решения задач, связанных с заменой базисов
    • Сумма и пересечение линейных подпространств. Формула Грассмана
      • Линейные подпространства в к.л.п. и действия над ними
      • Сумма и пересечение конечномерных линейных подпространства. Формула Грассмана
    • Прямые суммы и прямые дополнения
      • Внутренняя прямая сумма линейных подпространств. Критерий прямизны
      • Прямые дополнения к линейному подпространству
      • Полные прямые суммы. Операторы вложения и проектирования
      • Внешняя прямая сумма линейных пространств
    • Алгоритмы построения базисов в линейных подпространствах конечномерных линейных пространств
      • Два способа задания линейных подпространств и алгоритмы построения базисов в них
      • Алгоритм продолжения базисов
      • Алгоритмы построения базисов в сумме и пересечении линейных подпространств
    • Примеры решения задач на построение базисов в линейных подпространствах
      • Типовой расчет по теме "Базисы в подпространствах"
      • Особые случаи расположения пространств ТР1
      • Пакет Maple-процедур для решения ТР1
  • Линейные отображения конечномерных линейных пространств
    • Алгебраические действия над линейными отображениями. Матрица линейного отображения
      • Алгебраические действия над линейными отображениями
      • Матрица линейного отображения. Изоморфизмы между линейными пространствами линейных операторов и матриц
      • Матрица для композиции линейных отображений. Теорема об изоморфизме для алгебраических систем линейных опереторов и матриц
      • Арифметизация ("оцифровка") линейных операторов
      • Примеры вычисления матриц линейных отображений
    • Преобразование матрицы линейного отображения при замене базисов. Эквивалентные матрица. Подобные матрицы
      • Замена базисов и преобразование матрица линейного отображения
      • Изменение "оцифровки" для линейного оператора при замене базисов
      • Эквивалентные матрицы
      • Примеры пересчета матриц линейных отображений
      • Линейные эндоморфизмы и их матрицы
      • Подобные квадратные матрицы
      • Примеры пересчета матриц линейных эндоморфизмов
      • Оператор разностного дифференцирования
      • Определитель и след для линейного эндоморфизма
    • Образ и ядро, ранг и дефект линейного отображения
      • Отображения множеств, образы и прообразы подмножеств
      • Образы и прообразы линейных подпространств при линейных отображениях
      • Алгоритмы построения базисов в ядре и образе линейного отображения
    • Теоремы о линейных гомоморфизмах
      • Первая теорема о линейных гомоморфизмах
      • Вторая теорема о линейных гомоморфизмах
      • Критерий эпи-(моно-, изо-)морфности
      • Критерий обратимости (необратимости) линейных эндоморфизмов
  • Спектральная теория линейных эндоморфизмов в конечномерных линейных пространствах
    • Собственные значения (спектр) и собственные подпростраства для линейного эндоморфизма
      • Определение собственных значений, собственных векторов и собственных подпространств для линейного эндоморфизма
      • Примеры отыскания спектра и собственных подпространств
    • Характеристический многочлен и характеристические корни для линейного эндоморфизма
      • Характеристическая матрица и характеристический многочлен
      • Коэффициенты характеристического многочлена
      • Корни характеристического многочлена
      • Алгебраические кратности собственных значений
    • Алгоритм отыскания спектра и собственных подпространств для линейного эндоморфизма
      • Арифметизация собственных подпространств
      • Геометрические кратности собственных значений
      • Алгоритм отыскания собственных значений и собственных подпространств для линейного эндоморфизма
      • Примеры отыскания спектра и базисов в собственных подпространствах
    • Свойства собственных подпространств
      • Подпространства, инвариантные относительно линейного эндоморфизма
      • Инвариантность собственных подпространств
      • Независимомть в совокупности собственных подпространств линейного эндоморфизма
    • Линейные эндоморфизмы в прямой сумме и их матрицы
      • Операторы вложения и проектирования в полной прямой сумме и их матрицы
      • Полные прямые суммы и фильтрации
      • Матрица линейного эндоморфизма, действующего в полной прямой сумме, и ее блочное строение
      • Умножение блочных матриц
      • Блочная структура матрицы линейного эндоморфизма в случае инвариантности фильтрации
    • Диагонализируемые линейные эндоморфизмы
      • Свойство диагонализируемости для линейных эндоморфизмов
      • Диагонализируемость на инвариантном подпространстве
      • Критерий диагонализируемости линейного эндоморфизма
      • Диагонализируемость операторов и диагонализируемость квадратных матриц
      • Линейные эндоморфизмы (квадратные матрицы) с простым спектром
      • Примеры недиагонализируемых линейных эндоморфизмов
      • Алгоритм исследования линейного эндоморфизма на диагонализируемость
    • Свойства характеристического многочлена
      • Характеристический многочлен для сужения линейного эндоморфизма на его инвариантное подпространство
      • Неравенства для геометрических и алгебраических кратностей собственных значений
      • Собственная сумма и блочная структура для линейного эндоморфизма
    • Итерированные ядра и образы, дефекты и ранги. Теорема о стабилизации
      • Итерированные ядра и образы, дефекты и ранги для линейных эндоморфизмов
      • Теорема о стабилизации для линейных эндоморфизмов
      • Стабильное ядро и стабильный образ; их взаимная дополнительность
      • Теорема о стабилизации в случае нильпотентного линейного эндоморфизма
    • Приращения итерированных дефектов. Теорема Фробениуса. Вторые приращения дефектов
      • Приращения итерированных дефектов
      • Теорема Фробениуса
      • Вторые приращения итерированных дефектов
    • Жорданов базис в стабильном ядре линейного эндоморфизма. Малая теорема Жордана
      • Понятие жорданова базиса для линейного эндоморфизма
      • Базисы в стабильном ядре линейного эндоморфизма, организованные в виде столбчатых диаграмм
      • Малая теорема Жордана
      • Стабильный дефект как алгебраическая кратность нулевого собственного значения
      • Жорданов базис для нильпотентного линейного эндоморфизма
      • Алгоритм построения жорданова базиса в стабильном ядре линейного эндоморфизма
    • Корневые подпространства для линейного эндоморфизма
      • Корневые подпространства и корневые векторы
      • Инвариантность корневых подпространств
      • Композиция многочленов. Сдвиг аргумента у многочлена
      • Размерность корневого подпространства
      • Жорданов базис в корневом подпространстве линейного эндоморфизма
      • Алгоритм построения Жорданова базиса в корневом подпространстве
    • Корневая сумма. Большая теорема Жордана
      • Независимость в совокупности корневых подпространств для линейных эндоморфизмов
      • Жорданов базис в корневой сумме. Большая теорема Жордана
      • Жорданова нормальная форма и критерий подобия квадратичных матриц
      • Комплексификация и овеществление. Обобщенная жорданова нормальная форма для действительных матриц
    • Алгоритм построения жорданова базиса для линейного эндоморфизма
      • Обзор ранее изученных алгоритмов спектральной теории линейного эндоморфизма
      • Алгоритм построения (частично) жорданова базиса для линейного эндоморфизма
      • Типовой расчет по теме "Жорданов базис для линейного эндоморфизма"
      • Особые случаи в задаче о построении жордановых базисов
      • Отыскание жордановой нормальной формы матрицы с помощью системы Maple
      • "Процедура-сценарий" jrd для решения задач ТР2
    • Многочлены от линейных эндоморфизмов и квадратных матриц. Аннулирующие многочлены
      • Значение многочлена от линейного эндоморфизма (от квадратной матрицы)
      • Аннулирующие многочлены для линейных эндоморфизмов и квадратных матриц
      • Теорема Гамильтона-Кэли
      • Функции от матриц
    • Каноническая форма Смита для полиномиальной матрицы
      • Матрицы над кольцом многочленов и алгебраические действия над ними
      • Каноническая форма Смита и эквивалентность полиномиальных матриц
      • Квадратные матрицы над кольцом многочленов и их представление в виде многочленов с матричными коэффициентами
      • Подобие квадратных матриц (над полем) и эквивалентность их характеристических матриц (над кольцом многочленов)
      • Инвариантные многочлены и элементарные делители для квадратных матриц над полем. Критери подобия
      • Второй способ приведения квадратной матрицы к жордановой нормальной форме
  • Линейные, билинейные и квадратичные формы на конечномерных линейных пространствах
    • Линейные формы на конечномерном линейном пространстве. Двойственное линейное пространство
      • Понятие линейной формы
      • Матрица-строка и координатное выражение для линейной формы
      • Понятие двойственного (сопряженного) линейного пространства. Двойственный (сопряженный) базис
      • Влияние замены базиса на линейные формы
    • Теория двойственности
      • Второе двойственное пространство. Канонический изоморфизм конечномерного линейного пространства на его второе двойственное
      • Аннуляторы подмножеств и их свойства
      • Аннуляторы линейных подпространств
      • Соотношения двойственности
    • Двойственный линейный оператор. Теорема Фредгольма
      • Понятие двойственного линейного оператора
      • Матрица двойственного оператора
      • Теорема Фредгольма
      • Неформальные рассуждения о природе двойственности
    • Билинейные формы и их матрицы
      • Понятие билинейной формы на линейном пространстве
      • Матрица билинейной формы
      • Изменение матрицы билинейной формы при замене базиса. Конгруэнтные матрицы
      • Ранг билинейной формы. Невырожденные билинейные формы
      • Симметрические и антисимметрические билинейные формы
      • Два линейных гомоморфизма линейного пространства в двойственное, связанные билинейные формы
    • Симметрические билинейные и квадратичные формы. Формула поляризации
      • Понятие квадратичной формы. Формула поляризации
      • Матрица и координатная запись для квадратичной формы
      • Диагонализирующие базисы для симметрических билинейных (квадратичных) форм
    • Диагонализация по Лагранжу симметрических билинейных (квадратичных) форм
      • Алгоритм Лагранжа диагонализации симметрических билинейных форм (квадратичных форм)
      • Скелетный вид для симметрических билейных форм (квадратичных форм) над алгебраически замкнутым полем
    • Диагонализация по Якоби симметрических билинейных (квадратичных) форм. Метод Грам-Шмидта
      • Метод Якоби диагонализации симметрических билинейных (квадратичных) форм
      • Алгоритм Грама-Шмидта диагонализации симметрических билинейных (квадратичных) форм
    • Симметрические билинейные (квадратические) формы над полем действительных чисел. Сигнатура. Теорема инерции
      • Нормальный вид для симметрических билинейных (квадратичных) форм над полем R
      • Индексы инерции симметрических билинейных (квадратичных) форм над полем R. Теорема инерции
      • Знакоопределенные и знакопеременные симметрические билинейные (квадратичные) формы над полем R
      • Критерий Сильвестра положительной (отрицательной) определенности симметрических билинейных (квадратических) форм
      • Исследование функций на экстремум и квадратичные формы
    • Примеры решения задач на исследование симметрических билинейных (квадратичных) форм
      • Типовой расчет по теме "Диагонализация симметрических билинейных (квадратичных) форм"
      • Пакет Maple-процедур для решения ТР3
    • Одновременная диагонализация двух симметрических билинейных (квадратичных) форм
      • Конечномерное линейное пространство с фиксированной положительной симметрической билинейной формой; ортогональные и ортонормированные базисы
      • Ортогональные матрицы
      • Линейный изоморфизм между пространствами линейных эндоморфизмов и билинейных форм, определяемый с помощью невырожденной симметрической билинейной формы
      • Самосопряженные линейные эндоморфизмы и их матрицы
      • Спектральные свойства самосопряженных линейных эндоморфизмов
      • Ортогональная диагонализируемость самосопряженного линейного эндоморфизма
      • Ортогональная диагонализация (приведение к главным осям) симметрических билинейных форм в евклидовом пространстве
      • Полулинейные, полуторалинейные и эрмитовы формы
  • Список рекомендуемой литературы
  • Список используемых сокращений
  • Приложение 1. Коды Maple-процедур
  • Приложение 2. Иллюстрации
  • Приложение 3. Столбчатые диаграммы
  • Приложение 4. Содержание [А1] - первой части курса



Hosted by uCoz