Изоморфные фактор-пространства

[Brukvalub]

MaхVT в сообщении #169487 писал(а):

Муха меня укусила тогда, когда Brukvalub написал:
Цитата:
Предлагаю воспользоваться тем фактом, что для каждого подпространства $V \subset U$ векторного пространства U существует линейный опрератор $\varphi :U \to U\;,\;\ker \varphi = V$ Этот оператор и реализует изоморфизм пространства и его фактор-пространства.

Ну ни за что в жизни я так не скажу.

Одного не пойму - почему Вы требуете от данных Вам разъяснений полноты и предельной точности. Ведь суть данного раздела - не давать решения типа "я у Петьки списал, я на форуме списал", а дать вопрошающему путь для размышлений. Вам не понравилась неконкретность моих слов - я дал дальнейшие указания:

Brukvalub в сообщении #169221 писал(а):

Я подразумеваю под этим тот факт, что образ линейного пространства при линейном отображении изоморфен факторпространству этого пространства по ядру линейного отображения, а само это отображение естественным образом задает изоморфизм образа и фактор-пространства: все элементы пространства, составляющие один класс в фактор-пространстве, попадают под действием отображения в один элемент образа.

Вы же закусили удила и упорно обвиняете меня в некомпетентности..
"А судьи кто...?"