супрааддитивность ядер
Nov. 17th, 2009 12:09 am![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
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) может
иметь ядро и целое будет тернарным.
а если равно, ядра не связаны и
ядро суммы распадается на их сумму.
т.е. системы нет.
Если T - целое и A - его часть, то T = A + (-A) и
- либо T = k(A) + k(-A), т.е. целого нет и k(A)=A;
- либо T = k(A) + b(A)+ k(-A), т.е. целое есть.
В последнем случае граница b(A) может
иметь ядро и целое будет тернарным.
