 Ілюстрація визначення множини сум на прикладі декількох 4-елементних множин  з різними розмірами . Одинаковим кольором позначено різні значення. У таблиці першими виділяються кольором значення з кількома різними поданнями.
Множина сум — поняття адитивної комбінаторики, що відповідає сумі Мінковського скінченних множин.

Визначення
Нехай  — будь-яка група,  — скінченні множини. Тоді їх сумою називають множину

: 

Для однієї множини  її множиною сум називають . Кратні суми позначають скорочено

: 

Пов'язані визначення
Аналогічно визначають множину різниць, множину добутків, множину часток тощо для будь-якої операції. Наприклад, множину добутків визначають так:

: 

Величину  називають сталою подвоєння, а про множини, в яких вона обмежена, кажуть, що вони мають мале подвоєння. У зв'язку з теоремою сум-добутків часто розглядають множини з малим мультиплікативним подвоєнням, тобто для яких є обмеженою величина .

Властивості
Потужність множини сум  пов'язана з адитивною енергією  нерівністю , тому останню часто використовують для її оцінення.

Суми однієї множини
Теорема Фреймана розглядає розмір  як показник структурованості множини (якщо стала подвоєння обмежена, то структура  схожа на узагальнену арифметичну прогресію).

Теорема сум-добутків пов'язує розмір множини сум та множини добутків. Основна гіпотеза каже, що  для . Поєднання підсумовування та добутку в одному виразі привело до виникнення арифметичної комбінаторики.

Вивчається вплив поелементного застосування опуклої функції до множин, що підсумовуються, на розмір множини сум. Для опуклих послідовностей відомі нижні оцінки на  і . Загальніше, для опуклої функції  і множини  задачу оцінки  і деякі схожі іноді розглядають як узагальнення теореми сум-добутків, оскільки  і тому , а функція  опукла.

Суми кількох множин
Нерівність Плюннеке — Ружі стверджує, що розростання (збільшення розміру відносно множин, що додаються) кратних сум  в середньому (відносно ) не дуже перевищує розростання .

Нерівність трикутника Ружі пов'язує розміри  для будь-яких множин  і показує, що нормалізований розмір різниці множин  можна розглядати як псевдометрику, що відбиває близькість структури цих множин.

Структура
Одне з фундаментальних питань адитивної комбінаторики: яку структуру можуть або повинні мати множини сум. Станом на початок 2020 року не відомо якогось нетривіально швидкого алгоритму, що дозволяє визначити, чи подавана задана велика множина у вигляді  або . Однак відомі деякі окремі результати про структуру множин сум.

Наприклад, множини сум дійсних чисел не можуть мати малого мультиплікативного подвоєння, тобто якщо , то  для деякого . А в групі лишків за простим модулем  є лише  множин, подаваних у вигляді .

Відомо, що якщо  — щільні множини натуральних чисел, то  містить довгі арифметичні прогресії. Проте, в  відомі приклади щільних множин із сильною верхньою оцінкою на довжину таких прогресій.

Див. також
* Сума Мінковського
* Теорема сум-добутків
* Теорема Шнірельмана

Примітки


Література
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
