Теорема Шура (теория Рамсея): различия между версиями
[непроверенная версия] | [непроверенная версия] |
Содержимое удалено Содержимое добавлено
Jonah.ru (обсуждение | вклад) →Формулировка: Если пишем тройку чисел, как множество, то оно подмножество 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 \
{{конец рамки}}
Строка 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 \
{{конец рамки}}
|