34
правки
Изменения
м
Нет описания правки
# В силу (1) выполняется <tex>r(\emptyset)=0</tex>, следовательно <tex> \emptyset \subseteq \mathcal{I}</tex>.
# Пусть <tex> I \subseteq \mathcal{I}</tex> и <tex>J \subseteq I</tex>. Предположим от противного, что <tex>r(J) < |J|</tex>. Тогда, используя (1) и (3), получаем: <tex>|I| = r(I) = r(J \cup (I \setminus J)) \leqslant r(J) + r(I \setminus J) - r(\emptyset) < |J| + |I \setminus J| = |I|</tex>, что невозможно. Следовательно, <tex>r(J) = |J|</tex>, т.е. <tex> J \subseteq \mathcal{I} </tex>
# Пусть <tex>I, J \subseteq \mathcal{I}</tex> и <tex>|I| < |J|</tex>. Положим <tex>J \setminus I = \{p_1, \ldots,p_t\}</tex>. Пусть, от противного, <tex>I \cup p_i \notin nsubseteq \mathcal{I}</tex> для любого <tex>i = 1, \ldots,t</tex>. Тогда для <tex>i = 1, \ldots,t</tex> имеет место: <tex> |I| = r(I) \leqslant r(I \cup p_i) < |I \cup p_i| = |I| + 1</tex>, т.е. <tex> r(I \cup p_i) = |I|</tex>. Отсюда, в силу доказанной раннее леммы, получаем <tex> r(I \cup J) = |I|</tex>. С другой стороны, <tex>|I| < |J| = r(J) \leqslant r(I \cup J)</tex>. Противоречие.
