34
правки
Изменения
→Теорема о рангах
|statement=Пусть дан матроид <tex> M = \langle X, I \rangle</tex>, и <tex>r: 2^X \to \{0\} \cup \mathbb{N}</tex> {{---}} его ранговая функция. Тогда для любых <tex>A, B \subseteq 2^X</tex> выполняется следующее:
#<tex> 0 \leqslant r(A) \leqslant |A| </tex>
#<tex> A \subseteq B \implies Rightarrow r(A) \leqslant r(B) </tex>
#Неравенство полумодулярности: <tex>\forall A, B \subset X,</tex> <tex>r(A \cup B) + r(A \cap B) \leqslant r(A) + r(B)</tex>
|proof=
