7
правок
Изменения
Нет описания правки
{{Лемма
|statement = <tex>M = \langle X, I \rangle</tex> — [[Определение матроида|матроид]], <tex> f \colon X \to Y</tex>. Также <tex>\exists f^{-1} \colon Y \to X</tex>. Тогда <tex>M_1 = \langle Y, I_1 = \mathcal \{ f(A) \mid A \in I \mathcal \} \rangle </tex> является матроидом.
|proof =
Докажем аксиомы независимости для <tex> I_1 </tex>.
== См. также==
* [[Определение матроида]]
* [[Объединение матроидов, проверка множества на независимость]]
* [[Алгоритм построения базы в объединении матроидов]]
