Векторное пространство линейных отображений
[17/0%]Пусть . Определим формулой
Покажите, что линейно тогда и только тогда, когда .
Пусть . Определим формулой
Покажите, что линейно тогда и только тогда, когда .
Пусть . Покажите, что существуют скаляры при и , такие что
для каждого . Эта задача показывает, что линейное отображение имеет вид, обещанный в предпоследнем пункте примера 3.3.
Пусть и — набор векторов в , такой что — линейно независимый набор в . Докажите, что линейно независим.
Докажите, что является векторным пространством, как утверждалось в 3.6.
Докажите, что умножение линейных отображений обладает свойствами ассоциативности, существования единицы и дистрибутивности, утверждаемыми в 3.8.
Покажите, что каждое линейное отображение одномерного векторного пространства в себя является умножением на некоторый скаляр. Точнее, докажите, что если и , то существует , такое что для всех .
Приведите пример функции , такой что
для всех и всех , но не является линейной. Эта задача и следующая показывают, что ни однородности, ни аддитивности по отдельности не достаточно, чтобы гарантировать линейность функции.
Приведите пример функции , такой что
для всех , но не является линейной. (Здесь рассматривается как комплексное векторное пространство.)
Существует также функция , удовлетворяющая указанному выше условию аддитивности, но не являющаяся линейной. Однако доказательство существования такой функции требует существенно более продвинутых средств.
Докажите или приведите контрпример: если и определено как , то — линейное отображение.
Функция , определённая здесь, отличается от функции , определённой в последнем пункте 3.3, порядком функций в композиции.
Пусть конечномерно и . Докажите, что является скалярным кратным тождественного отображения тогда и только тогда, когда для каждого .
Пусть — подпространство с . Пусть и (то есть для некоторого ). Определим формулой
Докажите, что не является линейным отображением на .
Пусть конечномерно. Докажите, что каждое линейное отображение, заданное на подпространстве , можно продолжить до линейного отображения на . Другими словами, покажите, что если — подпространство и , то существует , такое что для всех .
Результат этой задачи используется в доказательстве 3.125.
Пусть конечномерно, причём , и пусть бесконечномерно. Докажите, что бесконечномерно.
Пусть — линейно зависимый набор векторов в . Пусть также . Докажите, что существуют , такие что ни одно не удовлетворяет условию для каждого .
Пусть конечномерно, причём . Докажите, что существуют , такие что .
Пусть конечномерно. Покажите, что единственными двусторонними идеалами являются и .
Подпространство пространства называется двусторонним идеалом , если и для всех и всех .