Тензоры в евклидовых и симплектических пространствах
[20/25%]Пусть — невырожденная билинейная функция. Доказать, что сопоставление каждому базису матрицы, обратной к матрице в этом базисе, определяет тензор типа (2,0).
Представить операции поднятия и опускания индекса (стоящего на любом месте) в терминах произведения и свертки. Тем самым убедиться, что поднятие и опускание — корректно определенные тензорные операции.
Показать, что если мы ограничимся ортогональными заменами координат в евклидовом пространстве, то закон изменения для верхних индексов будет совпадать с законом изменения для нижних. Точнее, если в некоторой ортогональной системе координат для всех , то они равны и в любой другой ортогональной системе координат.
Пусть в базисе матрица скалярного произведения равна . Провести опускание и поднятие индексов у тензоров (координаты приведены в указанном базисе):
.
Ответ дать в виде координат в этом базисе.
В пространстве всех многочленов степени не выше от переменной с вещественными коэффициентами рассмотрим скалярное произведение
Пусть — базис. Найти координаты в дуальном базисе ковектора, полученного поднятием индекса у , при .
Пусть в базисе матрица евклидова скалярного произведения в пространстве равна , а уравнение задает -мерное подпространство (гиперплоскость) . Доказать, что выражения , рассматриваемые как компоненты некоторого вектора в данном базисе, определяют вектор нормали к .
В условиях предыдущей задачи найти формулы для вычисления расстояния от вектора до гиперплоскости в терминах тензорных операций.
Задача 1760: в базисе матрица евклидова скалярного произведения в пространстве равна , уравнение задает -мерное подпространство (гиперплоскость) , а — вектор нормали к .
Применить формулу из предыдущей задачи к нахождению расстояния от до , если
Пусть -пространство со скалярным произведением, а — изоморфизм, определяемый этим произведением, . Доказать, что результат опускания индекса у вектора (рассматриваемого как тензор типа ) совпадает с ковектором в случае симметричного скалярного произведения и с в случае симплектического. Аналогично результат подъема индекса у ковектора совпадает, соответственно, с и с .
Рассмотрим линейный оператор в пространстве со скалярным произведением и соответствующую ему билинейную функцию . Показать, что результат опускания индекса на первое место у оператора , рассматриваемого как тензор типа , совпадает с тензором, соответствующим функции в случае симметричного скалярного произведения, и с в случае симплектического.
Пусть — матрица скалярного произведения в векторном пространстве . Показать, что в результате подъема второго индекса у получится символ Кронекера , в то время как при подъеме первого индекса получится для симметричного скалярного произведения и для симплектического.
Пусть, как и выше, — изоморфизм, определяемый заданным в пространстве скалярным произведением. Для билинейной функции на определим билинейную функцию на формулой
Пусть — некоторый базис пространства , а — дуальный базис в . Пусть и — матрицы в базисе формы и скалярного произведения соответственно. Убедиться, что тензор, соответствующий , получен из двукратным подъемом индекса. Показать, что матрица в базисе равна в случае симметрического скалярного произведения и в случае кососимметрического произведения. Рассмотреть частный случай , равного скалярному произведению в пространстве .
Доказать, что ориентированный объем параллелепипеда, построенного на векторах , равен
где -я координата вектора . При этом
где Г- определитель Грама.
Доказать, что ориентированный объем параллелепипеда, построенного на векторах , равен
где -я координата вектора . Что определяет его знак? Как в случае он связан с ориентированным объемом, изучавшимся в курсе аналитической геометрии?
Доказать, что:
;
;
ориентированный объем параллелепипеда, построенного на векторах , равен
где -я координата вектора .
Описать в терминах тензорных операций вычисление скалярного, векторного и смешанного произведений в .
Рассмотрим в элемент объема . Показать, что билинейное отображение , определяемое формулой , совпадает с векторным произведением (для базисов положительной ориентации).
Рассмотрим тензор в . Пусть заданы векторы и из . Сопоставим произвольному базису набор чисел
Доказать, что:
— вектор;
этот вектор ортогонален и ;
его длина равна трехмерному объему параллелепипеда, построенного на и .
Пусть — линейный оператор, . Доказать, что
Доказать формулы:
;
;
;
,
где — символ Кронекера, а определено в начале гл. 16.