Двойственность
[33/0%]Объясните, почему каждый линейный функционал либо сюръективен, либо является нулевым отображением.
Приведите три различных примера линейных функционалов на .
Пусть конечномерно и , причём . Докажите, что существует , такой что .
Пусть конечномерно и — подпространство , такое что . Докажите, что существует , такой что для каждого , но .
Пусть и — базис range . Тогда для каждого существуют единственные числа , такие что
тем самым определяя функции из в . Покажите, что каждая из функций является линейным функционалом на .
Пусть . Докажите, что тогда и только тогда, когда существует , такое что .
Пусть — векторные пространства. Докажите, что и — изоморфные векторные пространства.
Пусть — базис , а — двойственный базис . Определим и равенствами
Объясните, почему и являются обратными друг к другу.
Пусть — натуральное число. Покажите, что двойственным базисом к базису пространства является , где
Здесь обозначает -ю производную , при этом -я производная считается равной .
Пусть — натуральное число.
Покажите, что — базис .
Что представляет собой двойственный базис к базису из (a)?
Пусть — базис , а — соответствующий двойственный базис . Пусть . Докажите, что
Пусть .
Докажите, что .
Докажите, что для всех .
Это упражнение просит вас проверить (a) и (b) из 3.120.
Покажите, что двойственное отображение тождественного оператора на является тождественным оператором на .
Определим равенством
Пусть обозначает двойственный базис к стандартному базису , а обозначает двойственный базис к стандартному базису .
Опишите линейные функционалы и .
Запишите и в виде линейных комбинаций .
Определим равенством
для каждого .
Пусть определён равенством . Опишите линейный функционал на .
Пусть определён равенством . Вычислите .
Пусть конечномерно и . Докажите, что
Пусть и конечномерны и . Докажите, что обратим тогда и только тогда, когда обратим.
Пусть и конечномерны. Докажите, что отображение, переводящее в , является изоморфизмом на .
Пусть . Объясните, почему
Пусть конечномерно и — подпространство . Покажите, что
Пусть конечномерно, а и — подпространства .
Докажите, что тогда и только тогда, когда .
Докажите, что тогда и только тогда, когда .
Пусть конечномерно, а и — подпространства .
Покажите, что .
Покажите, что .
Пусть конечномерно и . Докажите, что следующие три множества равны друг другу.
Пусть конечномерно и . Определим линейное отображение равенством .
Докажите, что порождает тогда и только тогда, когда инъективно.
Докажите, что линейно независим тогда и только тогда, когда сюръективно.
Пусть конечномерно и . Определим линейное отображение равенством .
Докажите, что порождает тогда и только тогда, когда инъективно.
Докажите, что линейно независим тогда и только тогда, когда сюръективно.
Пусть конечномерно и — подпространство . Докажите, что
Пусть и , где — линейный функционал на , определённый равенством . Докажите, что
Пусть конечномерно и — линейно независимый список в . Докажите, что
Пусть и конечномерны и .
Докажите, что если и , то range .
Докажите, что если и range , то .
Пусть конечномерно и — базис . Покажите, что существует базис , двойственным базисом к которому является .
Пусть — подпространство . Пусть — отображение включения, определённое равенством . Таким образом, .
Покажите, что .
Докажите, что если конечномерно, то range .
Докажите, что если конечномерно, то является изоморфизмом на .
Изоморфизм в (c) естественен в том смысле, что он не зависит от выбора базиса ни в одном из векторных пространств.
Двойственное пространство к двойственному пространству , обозначаемое , определяется как двойственное пространство к . Иными словами, . Определим равенством
для каждого и каждого .
Покажите, что — линейное отображение из в .
Покажите, что если , то , где .
Покажите, что если конечномерно, то является изоморфизмом на .
Пусть конечномерно. Тогда и изоморфны, но нахождение изоморфизма из на , как правило, требует выбора базиса . В противоположность этому, изоморфизм из на не требует выбора базиса и потому считается более естественным.
Пусть — подпространство . Пусть — обычное фактор-отображение. Таким образом, .
Покажите, что инъективно.
Покажите, что range .
Заключите, что является изоморфизмом на .
Изоморфизм в (c) естественен в том смысле, что он не зависит от выбора базиса ни в одном из векторных пространств. Более того, здесь не предполагается, что какое-либо из этих векторных пространств конечномерно.