
- •1. Определения.
- •2. Линейная зависимость.
- •4. Матрицы перехода от базиса к базису.
- •5. Координаты в различных базисах.
- •6. Изоморфизм векторных пространств.
- •Подпространство
- •1. Определение.
- •2. Линейная оболочка.
- •3. Сумма и пересечение двух подпространств.
- •4. Прямая сумма подпространств.
- •Линейные и сопряженные пространства
- •1. Определение.
- •2. Определение.
- •Линейные отображения и операторы
- •1. Линейные отображения.
- •2. Задание линейных отображений матрицами.
- •Характеристический многочлен оператора
- •1. Определения
- •2. Геометрическая и алгебраическая кратность.
- •3. Спектр оператора
- •4. Диагонализируемые операторы
- •5. Минимальный многочлен оператора
- •6. Теорема Гамильтона-Кэли
- •Жорданова нормальная форма
- •1. Корневое подпространство
- •Нильпотентные операторы
- •3. Разложение в сумму корневых подпространств
- •4. Нормальный базис для нильпотентного оператора
- •5. Жордановы матрицы
- •6. Единственность жнф
- •1. Определение.
- •2. Матрица билинейной формы.
- •3. Изменение матрицы билинейной формы при замене базиса.
- •4. Симметрические и кососимметрические билинейные формы.
- •5. Канонический базис для симметрической билинейной формы.
- •6. Квадратичные формы
- •7. Алгоритм Лагранжа (приведения к каноническому виду).
- •8. Вещественные квадратичные формы
- •9. Теорема Якоби.
- •10. Положительно определенные квадратичные формы.
- •11. Канонический вид кососимметричной бф
- •Евклидовы пространства
- •3. Угол между векторами
- •4. Ортогональные векторы
- •5. Изоморфизм евклидовых пространств
- •6. Процесс ортогонализации Грамма-Шмидта
- •6. Ортогональные дополнения
- •8. Сопряжённые операторы
- •9. Самосопряжённые операторы
- •10. Приведение квадратичной формы к главным осям.
- •Ортогональные операторы
- •1. Основные понятия
- •2. Канонический базис для ортогонального оператора.
- •3. Полярное разложение.
- •Унитарные пространства
- •1. Эрмитовы (полуторалинейные) формы.
- •2. (Эрмитово) скалярное произведение.
- •3. Ортогональность.
- •4. Унитарные и эрмитовы матрицы.
- •6. Сопряжённый оператор.
- •6. Эрмитовы операторы.
- •7. Унитарные операторы.
- •Аффинные точечные пространства
- •2. Изоморфизм
- •3. Координаты в аффинном пространстве.
- •4. Подпространства.
- •Евклидовы точечные пространства
- •1. Евклидова метрика.
- •2. Расстояние от точки до плоскости.
- •3. Расстояние между плоскостями.
- •Квадрики в аффинном пространстве
- •1. Квадратичные функции в аффинном пространстве
- •2. Координатная запись
- •3. Центральная точка
- •4. Нахождение центра
- •5. Приведение квадратичной функции к каноническому виду.
- •Тензоры
- •1. Основные понятия.
- •2. Интерпретация тензоров малых рангов.
- •3. Произведение тензоров.
- •4. Координаты тензоров.
- •5. Изменение координат тензора при замене базиса
- •6. Свёртки тензоров.
- •Кососимметричные тензоры
- •Тензорная алгебра векторного пространства
- •Внешняя алгебра векторного пространства (алгебра грассмана)
- •1. Внешнее умножение.
- •2. Ассоциативность внешнего произведения.
- •3. Базис внешней алгебры.
- •4. Связь с определителями
ВВЕДЕНИЕ
1. Определения.
Пусть
дано поле
.
Множество
с
операциями сложения и умножения на
элементы поля называется векторным
(линейным) пространством над полем
,
если выполнены следующие свойства:
1
- абелева группа по сложению.
2 Определено умножение скаляров из поля на элементы , результатом этого умножения является новый элемент , причем:
;
;
;
где
3
В
поле есть единичный скаляр
.
Опр. Вектором называется элемент векторного пространства.
2. Линейная зависимость.
Векторы
называются линейно зависимыми тогда
и только тогда, когда
(не все равные 0), такие, что
.
Следствие.
линейно независимы тогда и только тогда,
когда
Набор векторов будем называть базисом , если
1
такие,
что
.
2 линейно независимы.
Предложение
1. Пусть
и
-
два базиса пространства. Тогда
.
Разложим
векторы первого базиса по второму базису
.
Если строчки скаляров
линейно зависимы, то зависимы и
(так как можно взять их линейную комбинацию
с теми же коэффициентами, что обнуляют
строки вида
).
Так как число линейно-независимых
строчек не превосходит
,
то
.
Аналогично
Опр.
Размерностью пространства
будем называть число векторов в любом
базисе
.
Обозначается
.
Предложение 2. Базис – максимальная линейно независимая система векторов (максимальная – значит наибольшая по включению).
Действительно,
пусть есть вектор, который будучи
добавленным к базису, образует вместе
с ним по-прежнему линейно независимую
систему. Но тогда этот вектор не выражается
через вектора базиса! Обратно, если дана
максимальная линейно независимая
система, то она является базисом, так
как любой другой вектор выражается
через ее вектора (иначе можно было бы
дополнить систему этим вектором).
Предложение
3.
линейно независимых векторов.
Будем дополнять систему векторов до базиса. Этот процесс будет продолжаться сколь угодно долго (т.к. иначе пространство имеет конечную размерность). А так как система будет всегда линейно независима, то имеем систем линейно-независимых векторов сколь угодно большой длины.
4. Матрицы перехода от базиса к базису.
Пусть
-
два базиса
.
Тогда существуют скаляры
такие, что
.
Тогда матрица
называется матрицей перехода от
базиса
к базису
.
Свойства
матрицы
:
1
-тый
столбец матрицы
- столбец координат вектора
в старом базисе (нештрихованном).
2
.
Задача.
Известны матрицы перехода от первого
базиса ко второму
и от второго базиса к третьему B.
Доказать, что матрица перехода из первой
системы в третью
.
07.02.05
5. Координаты в различных базисах.
Пусть
и
-
два базиса
,
.
Теорема.
,
где
-
матрица перехода от нештрихованной
системы к штрихованной.
.
6. Изоморфизм векторных пространств.
Отображение
,
где
и
- векторные пространства над одним и
тем же полем
называется изоморфизмом, если для любых
1)
.
2)
- биекция
Замечание.
Ноль переходит в ноль (так как
), и только он, так как преобразование
биективно.
Теорема.
Конечномерные векторные пространства
и
изоморфны
.
Пусть
,
- базис в
,
тогда
- базис в
.
Действительно, пусть эти вектора линейно
зависимы, т.е.
Значит, единственная нулевая линейная комбинация является тривиальной, то есть - действительно базис.
Пусть
.