Собственные значения и собственные векторы
[119/49%]Пусть и — подпространство .
Докажите, что если , то инвариантно относительно .
Докажите, что если range , то инвариантно относительно .
Пусть и — подпространства , инвариантные относительно . Докажите, что инвариантно относительно .
Пусть . Докажите, что пересечение любого набора подпространств , инвариантных относительно , инвариантно относительно .
Докажите или приведите контрпример: если конечномерно и — подпространство , инвариантное относительно каждого оператора на , то или .
Пусть определён равенством . Найдите собственные значения .
Определим равенством . Найдите все собственные значения и собственные векторы .
Определим равенством . Найдите все собственные значения и собственные векторы .
Пусть таков, что . Докажите, что если — собственное значение , то или .
Определим равенством . Найдите все собственные значения и собственные векторы .
Определим равенством для всех . Найдите все собственные значения и собственные векторы .
Пусть конечномерно, и . Докажите, что существует , такое что обратим для всех , таких что .
Пусть , где и — ненулевые подпространства . Определим равенством для каждого и каждого . Найдите все собственные значения и собственные векторы .
Пусть . Пусть обратим.
Докажите, что и имеют одни и те же собственные значения.
Какова связь между собственными векторами и собственными векторами ?
Приведите пример оператора на , не имеющего (вещественных) собственных значений.
Пусть конечномерно, и . Покажите, что является собственным значением тогда и только тогда, когда является собственным значением двойственного оператора .
Пусть — базис и . Докажите, что если — собственное значение , то
где обозначает элемент в строке , столбце матрицы относительно базиса .
См. упражнение 19 раздела 6A для другой оценки .
Пусть и . Докажите, что является собственным значением тогда и только тогда, когда является собственным значением комплексификации .
См. упражнение 33 раздела 3B для определения .
Пусть и . Докажите, что является собственным значением комплексификации тогда и только тогда, когда является собственным значением .
Комплексификация была определена в задаче 33 раздела 3B: пусть — вещественное векторное пространство и ; комплексификация определяется как для всех , где — комплексификация из задачи 8 раздела 1B.
Покажите, что оператор прямого сдвига , определённый равенством
не имеет собственных значений.
Определим оператор обратного сдвига равенством
Покажите, что каждый элемент является собственным значением .
Найдите все собственные векторы .
Пусть обратим.
Пусть , причём . Докажите, что является собственным значением тогда и только тогда, когда является собственным значением .
Докажите, что и имеют одни и те же собственные векторы.
Пусть и существуют ненулевые векторы и в , такие что
Докажите, что или является собственным значением .
Пусть конечномерно и . Докажите, что и имеют одни и те же собственные значения.
Пусть — матрица размера -на- с элементами из . Определим равенством , где элементы рассматриваются как столбцы размера -на-.
Пусть сумма элементов в каждой строке равна . Докажите, что является собственным значением .
Пусть сумма элементов в каждом столбце равна . Докажите, что является собственным значением .
Пусть и — собственные векторы , такие что также является собственным вектором . Докажите, что и — собственные векторы , соответствующие одному и тому же собственному значению.
Пусть таков, что каждый ненулевой вектор в является собственным вектором . Докажите, что является скалярным кратным тождественного оператора.
Пусть конечномерно и . Пусть таков, что каждое подпространство размерности инвариантно относительно . Докажите, что является скалярным кратным тождественного оператора.
Пусть конечномерно и . Докажите, что имеет не более range различных собственных значений.
Пусть и и — собственные значения . Докажите, что существует , такой что .
Пусть и . Пусть — собственное значение . Докажите, что , или , или .
Приведите пример , такого что .
Пусть не имеет собственных значений и . Докажите, что .
Пусть и — натуральное число.
Докажите, что инъективен тогда и только тогда, когда инъективен.
Докажите, что сюръективен тогда и только тогда, когда сюръективен.
Пусть конечномерно и . Докажите, что список линейно независим тогда и только тогда, когда существует , такой что — собственные векторы , соответствующие различным собственным значениям.
Пусть — список различных вещественных чисел. Докажите, что список линейно независим в векторном пространстве вещественнозначных функций на .
Пусть — список различных положительных чисел. Докажите, что список линейно независим в векторном пространстве вещественнозначных функций на .
Пусть конечномерно и . Определим равенством
для каждого . Докажите, что множество собственных значений совпадает с множеством собственных значений .
Пусть конечномерно, и — подпространство , инвариантное относительно . Фактор-оператор определяется равенством
для каждого .
Покажите, что определение корректно (что требует использования условия инвариантности относительно ), и покажите, что является оператором на .
Покажите, что каждое собственное значение является собственным значением .
Пусть конечномерно и . Докажите, что имеет собственное значение тогда и только тогда, когда существует подпространство размерности , инвариантное относительно .
Пусть и обратим. Пусть — многочлен. Докажите, что
Пусть и — подпространство , инвариантное относительно . Докажите, что инвариантно относительно для каждого многочлена .
Определим равенством .
Найдите все собственные значения и собственные векторы .
Найдите все подпространства , инвариантные относительно .
Пусть конечномерно, и . Докажите, что .
Пусть . Докажите, что является собственным значением тогда и только тогда, когда или является собственным значением .
Пусть — комплексное векторное пространство и не имеет собственных значений. Докажите, что каждое подпространство , инвариантное относительно , является либо , либо бесконечномерным.
Пусть — натуральное число и определён равенством
Найдите все собственные значения и собственные векторы .
Найдите минимальный многочлен .
Матрица относительно стандартного базиса состоит целиком из единиц.
Пусть и . Докажите, что является собственным значением тогда и только тогда, когда для некоторого собственного значения оператора .
Приведите пример оператора на , показывающего, что результат упражнения 4 не выполняется, если заменить на .
Пусть определён равенством . Найдите минимальный многочлен .
Приведите пример , таких что минимальный многочлен не совпадает с минимальным многочленом .
Пусть конечномерно и . Докажите, что если хотя бы один из обратим, то минимальный многочлен совпадает с минимальным многочленом .
Пусть — оператор поворота против часовой стрелки на . Найдите минимальный многочлен .
Поскольку , степень минимального многочлена не превосходит . Таким образом, минимальный многочлен — это не соблазнительный многочлен , хотя .
Пусть таков, что относительно некоторого базиса все элементы матрицы являются рациональными числами. Объясните, почему все коэффициенты минимального многочлена являются рациональными числами.
Пусть конечномерно, и . Докажите, что
для всех целых .
Пусть — двумерное векторное пространство, , и матрица относительно некоторого базиса равна
Покажите, что .
Покажите, что минимальный многочлен равен
Определим равенством . Найдите минимальный многочлен .
Пусть и . Докажите, что существует единственный , такой что и меньше степени минимального многочлена .
Пусть конечномерно и имеет минимальный многочлен . Найдите минимальный многочлен .
Пусть — конечномерное комплексное векторное пространство с и . Определим равенством
Докажите, что не является непрерывной функцией.
Пусть . Пусть — оператор на , матрица которого (относительно стандартного базиса) равна
Здесь все элементы матрицы равны , кроме единиц на линии под диагональю и элементов в последнем столбце (некоторые из которых также могут быть равны ). Покажите, что минимальный многочлен — это многочлен
Матрица выше называется сопровождающей матрицей многочлена выше. Это упражнение показывает, что каждый нормированный многочлен является минимальным многочленом некоторого оператора. Следовательно, формула или алгоритм, способные выдавать точные собственные значения для каждого оператора на каждом , могли бы затем производить точные нули для каждого многочлена [по 5.27(a)]. Таким образом, такой формулы или алгоритма не существует. Однако существуют эффективные численные методы получения очень хороших приближений собственных значений оператора.
Пусть конечномерно, и — минимальный многочлен . Пусть . Покажите, что минимальный многочлен — это многочлен , определённый равенством .
Пусть конечномерно, и — минимальный многочлен . Пусть . Покажите, что минимальный многочлен — это многочлен , определённый равенством .
Пусть конечномерно и . Пусть — подпространство , определённое равенством
Докажите, что равна степени минимального многочлена .
Пусть таков, что собственными значениями являются . Докажите, что
Пусть конечномерно и . Докажите, что минимальный многочлен имеет степень не более .
Если , то это упражнение даёт лучшую верхнюю оценку, чем 5.22, для степени минимального многочлена .
Пусть конечномерно и . Докажите, что обратим тогда и только тогда, когда .
Пусть конечномерно и . Пусть . Докажите, что если , то инвариантно относительно .
Пусть — конечномерное комплексное векторное пространство. Пусть . Пусть таков, что и являются собственными значениями , и других собственных значений не имеет. Докажите, что .
Пусть конечномерно, и — подпространство , инвариантное относительно .
Докажите, что минимальный многочлен является многочленным кратным минимального многочлена фактор-оператора .
Докажите, что
является многочленным кратным минимального многочлена .
Фактор-оператор был определён в 5A.38.
Пусть конечномерно, и — подпространство , инвариантное относительно . Докажите, что множество собственных значений равно объединению множества собственных значений и множества собственных значений .
Пусть конечномерно и . Докажите, что минимальный многочлен совпадает с минимальным многочленом .
Комплексификация была определена в 3B.33: пусть — вещественное векторное пространство и ; комплексификация определяется как для всех , где — комплексификация из задачи 8 раздела 1B.
Пусть конечномерно и . Докажите, что минимальный многочлен совпадает с минимальным многочленом .
Двойственное отображение было определено в разделе 3F.
Покажите, что каждый оператор на конечномерном векторном пространстве размерности не менее двух имеет инвариантное подпространство размерности два.
Упражнение 6 раздела 5C даст усиление этого результата в случае .
Докажите или приведите контрпример: если и имеет верхнетреугольную матрицу относительно некоторого базиса , то имеет верхнетреугольную матрицу относительно некоторого базиса .
Пусть и — верхнетреугольные матрицы одинакового размера, с на диагонали и на диагонали .
Покажите, что — верхнетреугольная матрица с на диагонали.
Покажите, что — верхнетреугольная матрица с на диагонали.
Результаты этого упражнения используются в доказательстве 5.81.
Пусть обратим и — базис , относительно которого матрица верхнетреугольна, с на диагонали. Покажите, что матрица также верхнетреугольна относительно базиса , с
на диагонали.
Приведите пример оператора, матрица которого относительно некоторого базиса содержит на диагонали только нули, но при этом оператор обратим.
Это упражнение и следующее за ним показывают, что 5.41 не выполняется без предположения о том, что рассматривается верхнетреугольная матрица.
Приведите пример оператора, матрица которого относительно некоторого базиса содержит на диагонали только ненулевые числа, но при этом оператор не обратим.
Пусть конечномерно и . Докажите, что если , то имеет -мерное подпространство, инвариантное относительно .
Пусть конечномерно, и .
Докажите, что существует единственный нормированный многочлен наименьшей степени, такой что .
Докажите, что минимальный многочлен является многочленным кратным .
Пусть конечномерно, и существует ненулевой вектор , такой что .
Докажите, что если , то не существует базиса , относительно которого имеет верхнетреугольную матрицу.
Докажите, что если и — верхнетреугольная матрица, равная матрице относительно некоторого базиса , то на диагонали встречается или .
Пусть — квадратная матрица с комплексными элементами. Докажите, что существует обратимая квадратная матрица с комплексными элементами, такая что — верхнетреугольная матрица.
Пусть и — базис . Покажите, что следующие условия эквивалентны.
Матрица относительно нижнетреугольна.
инвариантно относительно при каждом .
при каждом .
Квадратная матрица называется нижнетреугольной, если все элементы над диагональю равны .
Пусть и конечномерно. Докажите, что если , то существует базис , относительно которого имеет нижнетреугольную матрицу.
Пусть конечномерно, имеет верхнетреугольную матрицу относительно некоторого базиса , а — подпространство , инвариантное относительно .
Докажите, что имеет верхнетреугольную матрицу относительно некоторого базиса .
Докажите, что фактор-оператор имеет верхнетреугольную матрицу относительно некоторого базиса .
Фактор-оператор был определён в упражнении 38 раздела 5A.
Пусть конечномерно и . Пусть существует подпространство пространства , инвариантное относительно , такое что имеет верхнетреугольную матрицу относительно некоторого базиса , а также имеет верхнетреугольную матрицу относительно некоторого базиса . Докажите, что имеет верхнетреугольную матрицу относительно некоторого базиса .
Пусть конечномерно и . Докажите, что имеет верхнетреугольную матрицу относительно некоторого базиса тогда и только тогда, когда двойственный оператор имеет верхнетреугольную матрицу относительно некоторого базиса двойственного пространства .
Пусть — конечномерное комплексное векторное пространство и .
Докажите, что если , то диагонализируем.
Докажите, что если , то диагонализируем.
Приведите пример оператора , такого что , но не диагонализируем.
Пусть имеет диагональную матрицу относительно некоторого базиса . Докажите, что если , то встречается на диагонали ровно раз.
Пусть конечномерно и . Докажите, что если оператор диагонализируем, то .
Пусть конечномерно и . Докажите, что следующие условия эквивалентны.
(i) .
(ii) .
(iii) .
Пусть — конечномерное комплексное векторное пространство и . Докажите, что диагонализируем тогда и только тогда, когда
для каждого .
Пусть и . Докажите, что или обратим.
Пусть обратим. Докажите, что
для каждого с .
Пусть конечномерно и . Пусть обозначают различные ненулевые собственные значения . Докажите, что
Пусть — операторы, у каждого из которых являются собственными значениями. Докажите, что существует обратимый оператор , такой что .
Найдите , такие что у и собственными значениями являются и никакие другие, но не существует обратимого оператора , такого что .
Найдите , такой что 6 и 7 являются собственными значениями и такой что не имеет диагональной матрицы ни относительно какого базиса .
Пусть таков, что 6 и 7 являются собственными значениями . Пусть, кроме того, не имеет диагональной матрицы ни относительно какого базиса . Докажите, что существует , такой что
Пусть — диагональная матрица с различными элементами на диагонали, а — матрица того же размера, что и . Покажите, что тогда и только тогда, когда — диагональная матрица.
Приведите пример конечномерного комплексного векторного пространства и оператора на этом пространстве, такого что диагонализируем, а — нет.
Пусть , — положительное целое число, и обратим. Докажите, что диагонализируем тогда и только тогда, когда диагонализируем.
Пусть — конечномерное комплексное векторное пространство, , и — минимальный многочлен . Докажите, что следующие условия эквивалентны.
диагонализируем.
Не существует , такого что кратен .
и его производная не имеют общих нулей.
Наибольший общий делитель и — это постоянный многочлен .
Наибольшим общим делителем и называется нормированный многочлен наибольшей степени, такой что и оба кратны . Алгоритм Евклида для многочленов (найдите информацию о нём) позволяет быстро находить наибольший общий делитель двух многочленов, не используя никакой информации о нулях этих многочленов. Таким образом, эквивалентность пунктов (a) и (d) выше показывает, что мы можем определить, диагонализируем ли , не зная ничего о нулях .
Пусть диагонализируем. Пусть обозначают различные собственные значения . Докажите, что подпространство пространства инвариантно относительно тогда и только тогда, когда существуют подпространства пространства , такие что для каждого и .
Пусть конечномерно. Докажите, что имеет базис, состоящий из диагонализируемых операторов.
Пусть диагонализируем и — подпространство , инвариантное относительно . Докажите, что фактор-оператор является диагонализируемым оператором на .
Фактор-оператор был определён в задаче 38 раздела 5A.
Докажите или приведите контрпример: если и существует подпространство пространства , инвариантное относительно , такое что и оба диагонализируемы, то диагонализируем.
См. задачу 13 раздела 5C для аналогичного утверждения о верхнетреугольных матрицах.
Пусть конечномерно и . Докажите, что диагонализируем тогда и только тогда, когда двойственный оператор диагонализируем.
Последовательность Фибоначчи определяется формулами
Определим формулой .
Покажите, что для каждого неотрицательного целого .
Найдите собственные значения .
Найдите базис , состоящий из собственных векторов .
Используя решение пункта (c), вычислите . Выведите отсюда, что
для каждого неотрицательного целого .
Используя (d), выведите, что если — неотрицательное целое число, то число Фибоначчи является ближайшим целым числом к
Каждое является неотрицательным целым числом, хотя правая часть формулы в пункте (d) не выглядит как целое число. Число
называется золотым сечением.
Пусть и — матрица размера -на-, являющаяся матрицей относительно некоторого базиса . Докажите, что если
для каждого , то обратим.
Эта задача утверждает, что если диагональные элементы матрицы велики по сравнению с недиагональными элементами, то обратим.
Пусть определение кругов Гершгорина изменено так, что радиус круга равен сумме абсолютных значений элементов столбца (вместо строки) матрицы , исключая диагональный элемент. Покажите, что теорема о кругах Гершгорина (5.67) остаётся верной при этом изменённом определении.
Приведите пример двух коммутирующих операторов на , таких что существует подпространство , инвариантное относительно , но не относительно , и существует подпространство , инвариантное относительно , но не относительно .
Пусть — подмножество , и каждый элемент диагонализируем. Докажите, что существует базис , относительно которого каждый элемент имеет диагональную матрицу, тогда и только тогда, когда каждая пара элементов коммутирует.
Эта задача обобщает 5.76, которая рассматривает случай, когда содержит только два элемента. В этой задаче может содержать любое число элементов и даже может быть бесконечным множеством.
Пусть таковы, что . Пусть .
Докажите, что инвариантно относительно .
Докажите, что инвариантно относительно .
См. 5.18 для частного случая .
Докажите или приведите контрпример: если — диагональная матрица, а — верхнетреугольная матрица того же размера, что и , то и коммутируют.
Докажите, что пара операторов на конечномерном векторном пространстве коммутирует тогда и только тогда, когда коммутируют их двойственные операторы.
См. 3.118 для определения двойственного оператора.
Пусть — конечномерное комплексное векторное пространство и коммутируют. Докажите, что существуют , такие что
Пусть — комплексное векторное пространство, диагонализируем, а коммутирует с . Докажите, что существует базис , относительно которого имеет диагональную матрицу, а имеет верхнетреугольную матрицу.
Пусть в примере 5.72, и — коммутирующие операторы частного дифференцирования на из этого примера. Найдите базис , относительно которого и оба имеют верхнетреугольную матрицу.
Пусть — конечномерное ненулевое комплексное векторное пространство. Пусть таково, что и коммутируют для всех .
Докажите, что в существует вектор, являющийся собственным вектором для каждого элемента .
Докажите, что существует базис , относительно которого каждый элемент имеет верхнетреугольную матрицу.
Эта задача обобщает 5.78 и 5.80, которые рассматривают случай, когда содержит только два элемента. В этой задаче может содержать любое число элементов и даже может быть бесконечным множеством.
Приведите пример двух коммутирующих операторов на конечномерном вещественном векторном пространстве, таких что имеет собственное значение, не равное сумме некоторого собственного значения и некоторого собственного значения , и имеет собственное значение, не равное произведению некоторого собственного значения и некоторого собственного значения .
Эта задача показывает, что 5.81 не выполняется для вещественных векторных пространств.