Теорема Шура (теория Рамсея): различия между версиями

[непроверенная версия][непроверенная версия]
Содержимое удалено Содержимое добавлено
→‎Формулировка: Если пишем тройку чисел, как множество, то оно подмножество N_i, а не его элемент!
 
Строка 14:
== Формулировка ==
{{рамка}}
Если <math>{\mathbb N} = {\mathcal N}_1 \cup {\mathcal N}_2 \cup \dots \cup {\mathcal N}_k</math>, то <math>\exists i, x, y:\ \left\lbrace{x, y, x + y}\right\rbrace \insubset {\mathcal N}_i</math>
{{конец рамки}}
 
Строка 22:
'''Конечный вариант'''
 
Для всякого <math>k</math> существует <math>S=S(k)</math> такое, что если <math>\{ 1, 2, \dots, S \} = {\mathcal N}_1 \cup {\mathcal N}_2 \cup \dots \cup {\mathcal N}_k</math>, то <math>\exists i, x, y:\ \left\lbrace{x, y, x + y}\right\rbrace \insubset {\mathcal N}_i</math>
{{конец рамки}}