Независимые множества матроида

Независимые множества матроида (Independent sets of a matroid) - семейство [math]\displaystyle{ {\cal I} }[/math] подмножеств элементов из [math]\displaystyle{ E }[/math], удовлетворяющих следующим аксиомам:

(I0) [math]\displaystyle{ \emptyset \in {\cal I} }[/math];

(I1) если [math]\displaystyle{ X \in {\cal I} }[/math] и [math]\displaystyle{ Y \subseteq X }[/math], то [math]\displaystyle{ Y \in {\cal I} }[/math];

(I2) если [math]\displaystyle{ X, \, Y }[/math] --- элементы из [math]\displaystyle{ {\cal I} }[/math] такие, что [math]\displaystyle{ |X| = |Y| + 1 }[/math], то существует [math]\displaystyle{ x \in X \setminus Y }[/math] такой, что [math]\displaystyle{ Y \cup \{x\} \in {\cal I} }[/math].

Подмножество из [math]\displaystyle{ E }[/math], не принадлежащее [math]\displaystyle{ {\cal I} }[/math], называется {\it зависимым}.

Так как (I0) следует из (I1), то в качестве системы аксиом можно взять (I1) (I2). Кроме того, существуют варианты аксиомы (I'2), (I2), эквивалентные (I2):

(I'2) Если [math]\displaystyle{ X, Y \in {\cal I} }[/math] и [math]\displaystyle{ |Y| \lt |X| }[/math], то в [math]\displaystyle{ X \setminus Y }[/math] существует элемент [math]\displaystyle{ x }[/math] такой, что [math]\displaystyle{ Y \cup \{x\} \in {\cal I} }[/math].

(I2) Если [math]\displaystyle{ X, Y \in {\cal I} }[/math] и [math]\displaystyle{ |Y| \lt |X| }[/math], то в [math]\displaystyle{ X }[/math] существует такое подмножество [math]\displaystyle{ Z }[/math], что [math]\displaystyle{ Y \cup Z \in {\cal I} }[/math] и [math]\displaystyle{ |Y \cup Z| = |X| }[/math].

Литература

[Лекции],

[Welsh]