Факторпространство по подпространству: различия между версиями

[отпатрулированная версия][непроверенная версия]
Содержимое удалено Содержимое добавлено
Строка 29:
<!-- за поправки спасибо, только единственное что восклицательный знак _после_ значка существования означает единственность, а до - отрицание, так что думаю он был по существу -->
* Существование снижения на кообраз:
: <math>\forall T\in\mathcal{L}(X,\;Y)\,\exists{!}\,T_c\in\mathcal{L}(\mathrm{coim}\,T,\;Y)\colon T=T_c\varphi,\;\ker TT_c=\{0\}.</math>
* [[Теоремы об изоморфизме]]:
: <math>\mathrm{coim}\,T\simeq\mathrm{im}\,T</math>