Бюрократы, editor, Администраторы
422
правки
Изменения
м
Нет описания правки
|proof=
Рассмотрим <tex>B \in I</tex> - множество минимального веса среди независимых подмножеств <tex>X</tex> мощности <tex>k + 1</tex>.
<br>Очевидно, что Из определения матроида <tex>\exists y \in B\setminus A : A \cup y \in I</tex>.
<br>Тогда верны два неравенства:
<br><tex>\omega (A \cup y) = \omega (A) + \omega (y) \ge \omega (B) \Rightarrow \omega (A) \ge \omega (B) - \omega (y)</tex>
