Изменения
Нет описания правки
Итак, семейство <tex>\mathfrak I</tex> удовлетворяет аксиомам матроида. Следовательно, существует матроид <tex>M</tex> на множестве <tex>E</tex>, для которого семейство <tex>\mathfrak I</tex> является семейством независимых множеств. Из определения <tex>\mathfrak C</tex>-независимости легко следует, что семейство <tex>\mathfrak C</tex> совпадает с множеством циклов матроида <tex>M</tex>
Докажем, что матроид <tex>M</tex> определен однозначно. Пусть есть два матроида <tex>M_1 \neq M_2</tex> с носителем <tex>E</tex>, семейством циклов <tex>\mathfrak C</tex> и множествами баз <tex>B_1, B_2</tex> соответственно. Не ограничивая общности можно считать, что существует <tex>A \in B_1, A \notin B_2</tex>. Тогда для всех <tex>e \in E, e \notin A: (A \cup e) = C \in \mathfrak C</tex>, но <tex>\mathfrak С</tex> семейство циклов <tex>M_2</tex>, следовательно для всех <tex>p \in C</tex> <tex>(С C \setminus p) \in B_2</tex>, что невозможно.
}}
