22
правки
Изменения
м
Зададим Определим функцию <tex>P_1</tex> : <tex> X \times Y \rightarrow X</tex> : <tex>P_1((x, y)) = x</tex>, а для множества <tex>B \in X \times Y</tex> выполняется <tex>P_1(B) = \{A \subset X \mid \forall x \in A </tex> <tex> \exists b \in B : P_1(b) = x\}</tex>.
Нет описания правки
==Проверка множества на независимость==
Преобразуем каждый элемент множества <tex>X</tex> в матроиде <tex>M_1</tex> в <tex>(x, 1)</tex>, а каждый элемент множества <tex>X</tex> в матроиде <tex>M_2</tex> в <tex>(x, 2)</tex>. Мы получили два матроида <tex>M'_1 = \langle (X \times \{1\}), \mathcal{I}_1 \rangle </tex> и <tex> M'_2 = \langle (X \times \{2\}), \mathcal{I}_2 \rangle </tex>. Наша функция <tex>P_1</tex> будет являться естественным отображением <tex>(x, i) \rightarrow x</tex>, где <tex>i \in \{1, 2\}</tex>.
