درصورتیکه ? ? ? ? : یک تابع محدب ، b یک عملگر خودالحاق ، p یک تصویر متعامد در یک فضای تفکیک پذیر هیلبرت h باشد ، آنگاه به نامساوی tr ?(p b|p h ) ? tr (p ?(b)|p h ) نامساوی برزین ( berezin ) گفته می شود. برای فضای سوبولوف hk(?) که r^n ? ? و برای هر , ?? u از این فضا اگر dx ?? (x) d^? ?? (x) d^? ] = ?_?(@0?|?|,|?|?k)???_??a_?? (x) ? ?? و ?? b[باشد ،
آنگاه برای هر hk(?) u ? ، ثابت های c , g ...