Позволять быть конечномерными векторными пространствами над . Позволять быть линейными преобразованиями.
(i) Докажите, что и сделать вывод, что
(ii) Если 1-1 доказать, что и что
(iii) Предположим является основой для , является основой для и что определяется . Докажи это карты на всю но затем не 1-1.
Мое решение:
(я) . Если 1-1 тогда . Но если не 1-1, то для некоторых у нас есть , с . Мы можем иметь и так с . Как таковой . Теорема ранга недействительности говорит, что по предыдущей строке. Как таковой как заявлено.
(ii) Если 1-1 тогда . .Но с тех пор 1-1 и у нас есть . Как таковой , как не может быть 1-1. так . Но мы доказали ранее противоположный результат, и их объединение дает .
(iii) Я не уверен в этом решении, поскольку оно не использует в любом месте. а также . Итак, у нас есть скаляры такой, что что является условием охвата . Я не знаю, как показать, что это не 1-1.
Правильно ли мое решение?
(i) Нет необходимости рассматривать инъективен отдельно. Если , затем , следовательно . Знак неравенства в заключении части написано неправильно.
(ii) не верно в общем. Я не могу уследить за вашими рассуждениями. Чтобы ответить на него, обратите внимание, что если , то имеем , с предполагается , делаем вывод, что , то есть . То есть .
(iii) Доказать, что это не так. .
У нас есть
Следовательно
но , следовательно, он не инъективен.