Геометрия метрических пространств
[49/41%]Какие из векторных пространств с билинейными формами из задачи 37.1 являются метрическими?
Доказать, что вещественная часть и мнимая часть эрмитовой функции на комплексном векторном пространстве инвариантны относительно умножения на , т.е. для любых векторов
Доказать, что метрическое векторное пространство является прямой суммой подпространства и его ортогонального дополнения тогда и только тогда, когда скалярное произведение на невырождено и что в этом случае скалярное произведение на также невырождено.
В пространстве с эрмитовым скалярным произведением
найти ортогональное дополнение к подпространству:
матриц с нулевым следом;
эрмитовых матриц;
косоэрмитовых матриц;
верхних треугольных матриц.
Показать, что эрмитово и евклидово пространства являются нормированными.
Какие из нормирований пространств из задачи 42.1 индуцированы евклидовой или эрмитовой метрикой?
Дополнить до ортогонального базиса систему векторов евклидова и эрмитова пространства:
;
;
;
;
;
.
Найти ортогональную проекцию вектора евклидова (эрмитова) пространства на линейную оболочку ортонормированной системы векторов .
Доказать, что в любых двух подпространствах евклидова (эрмитова) пространства можно выбрать ортонормированные базисы и таким образом, чтобы при и .
Пусть и — ортонормированные базисы подпространств и евклидова (эрмитова) пространства, — матрица порядка . Доказать, что все характеристические числа матрицы принадлежат отрезку и не зависят от выбора базисов в подпространствах и .
Доказать, что всякая вещественная симметрическая матрица ранга с неотрицательными (соответственно положительными) главными минорами является матрицей Грама некоторой системы (соответственно линейно независимой системы) векторов -мерного евклидова пространства.
Доказать аналогичное утверждение для эрмитовой матрицы и эрмитова пространства.
Доказать, что сумма квадратов длин проекций векторов любого ортонормированного базиса евклидова (эрмитова) пространства на -мерное подпространство равна .
Пусть — матрица скалярного произведения в базисе евклидова пространства . Найти матрицу перехода к сопряжённому базису и матрицу скалярного произведения в этом базисе.
Пусть — матрица перехода от базиса е к базису . Найти матрицу перехода от базиса , сопряжённого к , к базису , сопряжённому к :
в евклидовом пространстве;
в эрмитовом пространстве.
С помощью процесса ортогонализации построить ортогональный базис линейной оболочки системы векторов евклидова (эрмитова) пространства:
;
;
;
;
.
Найти базис ортогонального дополнения линейной оболочки системы векторов евклидова (эрмитова) пространства:
;
;
.
Доказать, что системы линейных уравнений, задающих линейное подпространство в и его ортогональное дополнение, связаны следующим образом: коэффициенты линейно независимой системы, задающей одно из этих подпространств, являются координатами векторов базиса другого подпространства.
Найти уравнения, задающие ортогональное дополнение к подпространству, заданному системой уравнений:
Найти проекцию вектора на подпространство и ортогональную составляющую вектора :
и ;
и ;
и задано системой уравнений
и ;
и задано системой уравнений
Доказать, что если в процессе ортогонализации система векторов переходит в систему , то вектор есть ортогональная составляющая вектора относительно линейной оболочки системы .
Найти расстояние от вектора до подпространства, заданного системой уравнений:
;
;
;
.
Пусть — ортонормированная система векторов -мерного евклидова (эрмитова) пространства. Доказать, что для любого вектора выполняется неравенство Бесселя
причём равенство достигается для любого тогда и только тогда, когда , т.е. данная система векторов является ортонормированным базисом пространства (равенство Парсевалля.)
Пользуясь неравенством Коши, доказать, что
для любых комплексных чисел .
Доказать, что квадрат расстояния от вектора евклидова (эрмитова) пространства до подпространства с базисом равен отношению определителей Грама систем векторов и .
Доказать, что определитель Грама любой системы векторов:
в процессе ортогонализации не меняется;
неотрицателен;
равен нулю тогда и только тогда, когда система линейно зависима;
не превосходит произведения квадратов длин векторов системы, причём равенство имеет место тогда и только тогда, когда векторы попарно ортогональны или один из них нулевой.
Доказать, что определитель матрицы положительно определённой квадратичной формы не превосходит произведения элементов её главной диагонали.
Доказать, что для любой вещественной квадратной матрицы порядка выполняется неравенство дамара
причём равенство имеет место тогда и только тогда, когда либо
либо матрица имеет нулевую строку. Сформулировать и доказать аналогичное утверждение для комплексной матрицы .
Найти длины сторон и внутренние углы треугольника в пространстве :
С помощью скалярного произведения векторов доказать, что:
сумма квадратов диагоналей параллелограмма равна сумме квадратов его сторон;
квадрат стороны треугольника равен сумме квадратов двух других сторон без удвоенного произведения этих сторон на косинус угла между ними.
Методом наименьших квадратов решить переопределённую систему линейных уравнений:
Доказать, что квадрат диагонали -мерного прямоугольного параллелепипеда равен сумме квадратов его рёбер, выходящих из одной вершины.
Найти число диагоналей -мерного куба, ортогональных данной диагонали.
Найти длину диагонали -мерного куба с ребром и углы между диагоналями куба и его рёбрами.
Найти радиус шара, описанного около -мерного куба с ребром , и решить неравенство .
Доказать, что длина ортогональной проекции ребра -мерного куба на любую его диагональ равна длины диагонали.
Вычислить объём -мерного параллелепипеда со сторонами:
;
;
,
,
Доказать, что для объёма параллелепипеда выполняется неравенство
причём равенство имеет место тогда и только тогда, когда при всех и .
Найти угол между вектором и подпространством :
;
;
;
.
Доказать, что если каждые два различных из векторов евклидова пространства образуют между собой угол , то .
Доказать, что если каждые два различных из векторов евклидова пространства образуют тупой угол, то .
Найти угол между диагональю -мерного куба и его -мерной гранью.
Найти угол между двумерными гранями и правильного четырехмерного симплекса .
Найти угол между подпространствами
Многочлены
называются многочленами Лежандра.
Доказать, что многочлены Лежандра образуют ортогональный базис в евклидовом пространстве со скалярным произведением
Найти явный вид многочленов для .
Доказать, что , и найти развёрнутое выражение для при всех .
Вычислить длину многочлена Лежандра .
Вычислить значение .
Доказать, что при применении процесса ортогонализации к базису пространства получается базис, элементы которого лишь постоянными множителями отличаются от соответствующих многочленов Лежандра, и найти эти множители.
Доказать, что интеграл , где — многочлен степени с вещественными коэффициентами со старшим коэффициентом 1, достигает своего минимума
при
В пространстве со скалярным произведением
найти:
объём параллелепипеда ;
расстояние от вектора до подпространства .
В пространстве непрерывных функций на отрезке со скалярным произведением
найти проекцию функции на подпространство
Пусть — псевдоевклидово пространство сигнатуры и — подпространство в . Доказать, что:
если скалярное произведение на положительно определено, то ;
если для любого , то .
Пусть на векторном пространстве задано невырожденное скалярное произведение сигнатуры и ограничение его на подпространство — невырожденное скалярное произведение сигнатуры . Доказать, что ограничение скалярного произведения на невырождено и имеет сигнатуру .
Доказать, что в псев доевклидовом пространстве сигнатуры , где и отличны от нуля, существует базис, состоящий из изотропных векторов.