супрааддитивность ядер

[az118]

Ядро суммы не меньше суммы ядер: k(A+B) >= k(A) + k(B)

а если равно, ядра не связаны и
ядро суммы распадается на их сумму.
т.е. системы нет.

Если T - целое и A - его часть, то T = A + (-A) и
- либо T = k(A) + k(-A), т.е. целого нет и k(A)=A;
- либо T = k(A) + b(A)+ k(-A), т.е. целое есть.

В последнем случае граница b(A) может
иметь ядро и целое будет тернарным.