Изменения
Нет описания правки
У нас есть <tex>s \in T</tex> и <tex>(I + s) \cap T = (\cup I_i + s)\cap T = \cup(I_i \cap T) + s</tex>. Из определния функции ранга объединения матроидов имеем :
<tex>r_M(I + s) \le (|(I + s)\setminus T| + \sum _\limits_{k=1}^{n}r_i(T))</tex>
<tex>r_M(I + s) \le |(I + s)\setminus T| + \sum _\limits_{k=1}^{n} |I_i \cap T| = |I\setminus T| + \sum _\limits_{k=1}^{n} |I_i \cap T| = |I| < |I + s|</tex>
и значит <tex>(I + s) \notin J</tex> - противоречие.
}}
