689
правок
Изменения
м
Нет описания правки
<tex> [x] = \{ y \in X \mid y \sim x \} </tex> — '''классы смежности''' по <tex>Y</tex>.
<tex> X /_Y </tex> — совокупность всех классов классов смежности — '''фактор-множество''' по <tex>Y</tex>.
}}
|statement=
Если <tex> f </tex> не является тождественно равным нулю, то <tex>\mathrm{Codim}\, \mathrm{Ker}\, f = 1 </tex>.
|proof=