Линейные отображения
[143/0%]Пусть . Определим формулой
Покажите, что линейно тогда и только тогда, когда .
Пусть . Определим формулой
Покажите, что линейно тогда и только тогда, когда .
Пусть . Покажите, что существуют скаляры при и , такие что
для каждого . Эта задача показывает, что линейное отображение имеет вид, обещанный в предпоследнем пункте примера 3.3.
Пусть и — набор векторов в , такой что — линейно независимый набор в . Докажите, что линейно независим.
Докажите, что является векторным пространством, как утверждалось в 3.6.
Докажите, что умножение линейных отображений обладает свойствами ассоциативности, существования единицы и дистрибутивности, утверждаемыми в 3.8.
Покажите, что каждое линейное отображение одномерного векторного пространства в себя является умножением на некоторый скаляр. Точнее, докажите, что если и , то существует , такое что для всех .
Приведите пример функции , такой что
для всех и всех , но не является линейной. Эта задача и следующая показывают, что ни однородности, ни аддитивности по отдельности не достаточно, чтобы гарантировать линейность функции.
Приведите пример функции , такой что
для всех , но не является линейной. (Здесь рассматривается как комплексное векторное пространство.)
Существует также функция , удовлетворяющая указанному выше условию аддитивности, но не являющаяся линейной. Однако доказательство существования такой функции требует существенно более продвинутых средств.
Докажите или приведите контрпример: если и определено как , то — линейное отображение.
Функция , определённая здесь, отличается от функции , определённой в последнем пункте 3.3, порядком функций в композиции.
Пусть конечномерно и . Докажите, что является скалярным кратным тождественного отображения тогда и только тогда, когда для каждого .
Пусть — подпространство с . Пусть и (то есть для некоторого ). Определим формулой
Докажите, что не является линейным отображением на .
Пусть конечномерно. Докажите, что каждое линейное отображение, заданное на подпространстве , можно продолжить до линейного отображения на . Другими словами, покажите, что если — подпространство и , то существует , такое что для всех .
Результат этой задачи используется в доказательстве 3.125.
Пусть конечномерно, причём , и пусть бесконечномерно. Докажите, что бесконечномерно.
Пусть — линейно зависимый набор векторов в . Пусть также . Докажите, что существуют , такие что ни одно не удовлетворяет условию для каждого .
Пусть конечномерно, причём . Докажите, что существуют , такие что .
Пусть конечномерно. Покажите, что единственными двусторонними идеалами являются и .
Подпространство пространства называется двусторонним идеалом , если и для всех и всех .
Приведите пример линейного отображения с и образ .
Пусть таковы, что образ . Докажите, что .
Пусть — набор векторов в . Определим формулой
Какому свойству соответствует то, что порождают ?
Какому свойству соответствует то, что набор линейно независим?
Покажите, что не является подпространством .
Приведите пример , такого что образ .
Докажите, что не существует , такого что образ .
Пусть и конечномерны, причём . Покажите, что не является подпространством .
Пусть и конечномерны, причём . Покажите, что не является подпространством .
Пусть инъективно и линейно независим в . Докажите, что линейно независим в .
Пусть порождают и . Покажите, что порождают образ .
Пусть конечномерно и . Докажите, что существует подпространство пространства , такое что
Пусть — линейное отображение из в , такое что
Докажите, что сюръективно.
Пусть — трёхмерное подпространство и — линейное отображение из в , такое что . Докажите, что сюръективно.
Докажите, что не существует линейного отображения из в , ядро которого равно .
Пусть на существует линейное отображение, ядро и образ которого оба конечномерны. Докажите, что конечномерно.
Пусть и оба конечномерны. Докажите, что существует инъективное линейное отображение из в тогда и только тогда, когда .
Пусть и оба конечномерны. Докажите, что существует сюръективное линейное отображение из на тогда и только тогда, когда .
Пусть и конечномерны и — подпространство . Докажите, что существует , такое что , тогда и только тогда, когда .
Пусть конечномерно и . Докажите, что инъективно тогда и только тогда, когда существует , такое что — тождественный оператор на .
Пусть конечномерно и . Докажите, что сюръективно тогда и только тогда, когда существует , такое что — тождественный оператор на .
Пусть конечномерно, и — подпространство . Докажите, что является подпространством и
Пусть и — конечномерные векторные пространства, и . Докажите, что
Пусть и — конечномерные векторные пространства, и . Докажите, что dim образ .
Пусть и таковы, что . Докажите, что dim образ .
Приведите пример с и dim образ .
Пусть конечномерно и . Докажите, что тогда и только тогда, когда существует , такое что .
Пусть конечномерно и . Докажите, что образ образ тогда и только тогда, когда существует , такое что .
Пусть и . Докажите, что образ .
Пусть таково, что для каждого непостоянного многочлена . Докажите, что сюръективно.
Обозначение используется здесь, чтобы напомнить об отображении дифференцирования, переводящем многочлен p в .
Пусть . Докажите, что существует многочлен , такой что .
Эту задачу можно решить без линейной алгебры, но решать её с помощью линейной алгебры интереснее.
Пусть и . Пусть не лежит в . Докажите, что
Пусть конечномерно, — подпространство , а — конечномерное подпространство . Докажите, что существует , такое что и образ , тогда и только тогда, когда .
Пусть конечномерно, причём . Покажите, что если — линейное отображение, такое что для всех , то .
Пусть и — вещественные векторные пространства и . Определим формулой
для всех .
Покажите, что является (комплексным) линейным отображением из в .
Покажите, что инъективно тогда и только тогда, когда инъективно.
Покажите, что образ тогда и только тогда, когда образ .
Определение комплексификации см. в задаче 8 раздела 1B. Линейное отображение называется комплексификацией линейного отображения .
Пусть . Покажите, что при любом выборе базисов и матрица имеет не менее dim образ ненулевых элементов.
Пусть и конечномерны и . Докажите, что dim образ тогда и только тогда, когда существуют базис и базис , относительно которых все элементы равны 1.
Пусть — базис , а — базис .
Покажите, что если , то .
Покажите, что если и , то .
Эта задача просит вас проверить 3.35 и 3.38.
Пусть — отображение дифференцирования, определённое как . Найдите базис и базис , относительно которых матрица равна
Сравните с примером 3.33. Следующая задача обобщает эту задачу.
Пусть и конечномерны и . Докажите, что существуют базис и базис , относительно которых все элементы равны 0, за исключением элементов в строке , столбце , которые равны 1 при образ .
Пусть — базис и конечномерно. Пусть . Докажите, что существует базис пространства , такой что все элементы первого столбца [относительно базисов и ] равны 0, за исключением, возможно, 1 в первой строке первого столбца.
В этой задаче, в отличие от задачи 5, базис дан вам заранее, а не выбирается вами.
Пусть — базис и конечномерно. Пусть . Докажите, что существует базис пространства , такой что все элементы первой строки [относительно базисов и ] равны 0, за исключением, возможно, 1 в первой строке первого столбца.
В этой задаче, в отличие от задачи 5, базис W дан вам заранее, а не выбирается вами.
Пусть — матрица размера -на-, а — матрица размера -на-. Докажите, что
для каждого . Другими словами, покажите, что строка матрицы равна (строке матрицы ), умноженной на .
Эта задача даёт версию 3.48 для строк.
Пусть — матрица размера 1-на-, а — матрица размера -на-. Докажите, что
Другими словами, покажите, что является линейной комбинацией строк , где скаляры, на которые умножаются строки, берутся из .
Эта задача даёт версию 3.50 для строк.
Приведите пример матриц и размера 2-на-2, таких что .
Докажите, что дистрибутивное свойство выполняется для сложения и умножения матриц. Другими словами, пусть и — матрицы, размеры которых таковы, что и имеют смысл. Объясните, почему и также имеют смысл, и докажите, что
Докажите, что умножение матриц ассоциативно. Другими словами, пусть и — матрицы, размеры которых таковы, что имеет смысл. Объясните, почему имеет смысл, и докажите, что
Постарайтесь найти изящное доказательство, иллюстрирующее следующую цитату Эмиля Артина: «По моему опыту, доказательства, использующие матрицы, можно сократить на 50, если избавиться от матриц».
Пусть — матрица размера -на- и . Покажите, что элемент в строке , столбце матрицы (которая по определению означает ) равен
Пусть и — натуральные числа. Докажите, что функция является линейным отображением из в .
Докажите, что если — матрица размера -на-, а — матрица размера -на-, то
Эта задача показывает, что транспонирование произведения двух матриц равно произведению транспонированных матриц в обратном порядке.
Пусть — матрица размера -на- с . Докажите, что ранг равен 1 тогда и только тогда, когда существуют и , такие что для каждого и каждого .
Пусть , а и — базисы . Докажите, что следующие условия равносильны.
инъективно.
Столбцы линейно независимы в .
Столбцы порождают .
Строки порождают .
Строки линейно независимы в .
Здесь означает .
Пусть обратимо. Покажите, что обратимо и
Пусть и — оба обратимые линейные отображения. Докажите, что обратимо и .
Пусть конечномерно и . Докажите, что следующие условия равносильны.
обратимо.
является базисом для каждого базиса пространства .
является базисом для некоторого базиса пространства .
Пусть конечномерно и . Докажите, что множество необратимых линейных отображений из в себя не является подпространством .
Пусть конечномерно, — подпространство и . Докажите, что существует обратимое линейное отображение из в себя, такое что для каждого , тогда и только тогда, когда инъективно.
Пусть конечномерно и . Докажите, что тогда и только тогда, когда существует обратимое , такое что .
Пусть конечномерно и . Докажите, что образ образ тогда и только тогда, когда существует обратимое , такое что .
Пусть и конечномерны и . Докажите, что существуют обратимые и , такие что , тогда и только тогда, когда .
Пусть конечномерно и — сюръективное линейное отображение на . Докажите, что существует подпространство пространства , такое что является изоморфизмом на .
Здесь означает функцию , ограниченную на . Таким образом, — это функция с областью определения , где определяется как для каждого .
Пусть и конечномерны и — подпространство . Пусть
Покажите, что является подпространством .
Найдите формулу для через и .
Пусть конечномерно и . Докажите, что
Пусть конечномерно и и . Покажите, что обратимо и .
Покажите, что результат задачи 12 может не выполняться без предположения о конечномерности .
Задача 12: пусть конечномерно, и . Тогда обратим и .
Докажите или приведите контрпример: если — конечномерное векторное пространство и таковы, что сюръективно, то инъективно.
Пусть и — набор в , такой что порождают . Докажите, что порождают .
Докажите, что каждое линейное отображение из в задаётся умножением на матрицу. Другими словами, докажите, что если , то существует матрица размера -на-, такая что для каждого .
Пусть конечномерно и . Определим формулой
для .
Покажите, что .
Покажите, что образ образ .
Покажите, что и — изоморфные векторные пространства.
Пусть конечномерно и . Докажите, что имеет одну и ту же матрицу относительно каждого базиса тогда и только тогда, когда является скалярным кратным тождественного оператора.
Пусть . Докажите, что существует многочлен , такой что
для всех .
Пусть — натуральное число и для всех . Докажите, что следующие условия равносильны (заметьте, что в обеих частях ниже число уравнений равно числу переменных).
Тривиальное решение является единственным решением однородной системы уравнений
Для каждых существует решение системы уравнений
Пусть и — базис . Докажите, что
Пусть и — базисы . Пусть таково, что для каждого . Докажите, что
Пусть и — квадратные матрицы одного размера и . Докажите, что .
Пусть — функция из в . Графиком называется подмножество , определённое как
Докажите, что является линейным отображением тогда и только тогда, когда график является подпространством . > Формально, функция из в — это подмножество пространства , такое что для каждого существует ровно один элемент . Другими словами, формально функция — это то, что выше называется её графиком. Обычно мы не мыслим о функциях таким формальным образом. Однако, если формализовать это, данную задачу можно переформулировать так: докажите, что функция из в является линейным отображением тогда и только тогда, когда является подпространством .
Пусть — векторные пространства, такие что конечномерно. Докажите, что конечномерно для каждого .
Пусть — векторные пространства. Докажите, что и — изоморфные векторные пространства.
Пусть — векторные пространства. Докажите, что и — изоморфные векторные пространства.
Для натурального числа определим формулой
Докажите, что и — изоморфные векторные пространства.
Пусть — векторы в и — подпространства , такие что . Докажите, что .
Пусть . Пусть . Докажите, что является сдвигом тогда и только тогда, когда существует , такое что
Пусть и . Докажите, что является либо пустым множеством, либо сдвигом .
Объясните, почему множество решений системы линейных уравнений, подобной 3.27, является либо пустым множеством, либо сдвигом некоторого подпространства .
Докажите, что непустое подмножество пространства является сдвигом некоторого подпространства тогда и только тогда, когда для всех и всех .
Пусть и для некоторых и некоторых подпространств пространства . Докажите, что пересечение является либо сдвигом некоторого подпространства , либо пустым множеством.
Пусть .
Покажите, что является подпространством .
Докажите, что бесконечномерно.
Пусть . Пусть
Докажите, что является сдвигом некоторого подпространства .
Докажите, что если — сдвиг некоторого подпространства и , то .
Докажите, что является сдвигом некоторого подпространства размерности меньше .
Пусть — подпространство , такое что конечномерно. Докажите, что изоморфно .
Пусть и — подпространства и . Пусть — базис . Докажите, что — базис .
Пусть — подпространство , — базис и — базис . Докажите, что — базис .
Пусть и . Докажите, что .
Пусть — подпространство , такое что . Докажите, что существует , такое что .
Пусть — подпространство , такое что конечномерно.
Покажите, что если — конечномерное подпространство и , то .
Докажите, что существует конечномерное подпространство пространства , такое что и .
Пусть и — подпространство . Обозначим через фактор-отображение из на . Докажите, что существует , такое что , тогда и только тогда, когда .
Объясните, почему каждый линейный функционал либо сюръективен, либо является нулевым отображением.
Приведите три различных примера линейных функционалов на .
Пусть конечномерно и , причём . Докажите, что существует , такой что .
Пусть конечномерно и — подпространство , такое что . Докажите, что существует , такой что для каждого , но .
Пусть и — базис range . Тогда для каждого существуют единственные числа , такие что
тем самым определяя функции из в . Покажите, что каждая из функций является линейным функционалом на .
Пусть . Докажите, что тогда и только тогда, когда существует , такое что .
Пусть — векторные пространства. Докажите, что и — изоморфные векторные пространства.
Пусть — базис , а — двойственный базис . Определим и равенствами
Объясните, почему и являются обратными друг к другу.
Пусть — натуральное число. Покажите, что двойственным базисом к базису пространства является , где
Здесь обозначает -ю производную , при этом -я производная считается равной .
Пусть — натуральное число.
Покажите, что — базис .
Что представляет собой двойственный базис к базису из (a)?
Пусть — базис , а — соответствующий двойственный базис . Пусть . Докажите, что
Пусть .
Докажите, что .
Докажите, что для всех .
Это упражнение просит вас проверить (a) и (b) из 3.120.
Покажите, что двойственное отображение тождественного оператора на является тождественным оператором на .
Определим равенством
Пусть обозначает двойственный базис к стандартному базису , а обозначает двойственный базис к стандартному базису .
Опишите линейные функционалы и .
Запишите и в виде линейных комбинаций .
Определим равенством
для каждого .
Пусть определён равенством . Опишите линейный функционал на .
Пусть определён равенством . Вычислите .
Пусть конечномерно и . Докажите, что
Пусть и конечномерны и . Докажите, что обратим тогда и только тогда, когда обратим.
Пусть и конечномерны. Докажите, что отображение, переводящее в , является изоморфизмом на .
Пусть . Объясните, почему
Пусть конечномерно и — подпространство . Покажите, что
Пусть конечномерно, а и — подпространства .
Докажите, что тогда и только тогда, когда .
Докажите, что тогда и только тогда, когда .
Пусть конечномерно, а и — подпространства .
Покажите, что .
Покажите, что .
Пусть конечномерно и . Докажите, что следующие три множества равны друг другу.
Пусть конечномерно и . Определим линейное отображение равенством .
Докажите, что порождает тогда и только тогда, когда инъективно.
Докажите, что линейно независим тогда и только тогда, когда сюръективно.
Пусть конечномерно и . Определим линейное отображение равенством .
Докажите, что порождает тогда и только тогда, когда инъективно.
Докажите, что линейно независим тогда и только тогда, когда сюръективно.
Пусть конечномерно и — подпространство . Докажите, что
Пусть и , где — линейный функционал на , определённый равенством . Докажите, что
Пусть конечномерно и — линейно независимый список в . Докажите, что
Пусть и конечномерны и .
Докажите, что если и , то range .
Докажите, что если и range , то .
Пусть конечномерно и — базис . Покажите, что существует базис , двойственным базисом к которому является .
Пусть — подпространство . Пусть — отображение включения, определённое равенством . Таким образом, .
Покажите, что .
Докажите, что если конечномерно, то range .
Докажите, что если конечномерно, то является изоморфизмом на .
Изоморфизм в (c) естественен в том смысле, что он не зависит от выбора базиса ни в одном из векторных пространств.
Двойственное пространство к двойственному пространству , обозначаемое , определяется как двойственное пространство к . Иными словами, . Определим равенством
для каждого и каждого .
Покажите, что — линейное отображение из в .
Покажите, что если , то , где .
Покажите, что если конечномерно, то является изоморфизмом на .
Пусть конечномерно. Тогда и изоморфны, но нахождение изоморфизма из на , как правило, требует выбора базиса . В противоположность этому, изоморфизм из на не требует выбора базиса и потому считается более естественным.
Пусть — подпространство . Пусть — обычное фактор-отображение. Таким образом, .
Покажите, что инъективно.
Покажите, что range .
Заключите, что является изоморфизмом на .
Изоморфизм в (c) естественен в том смысле, что он не зависит от выбора базиса ни в одном из векторных пространств. Более того, здесь не предполагается, что какое-либо из этих векторных пространств конечномерно.