في نظرية المُعامل، تشير متباينة فون نيومان von Neumann's inequality، (نسبة إلى جون فون نيومان)، إلى أن خريطة حساب التفاضل والتكامل الوظيفية المتعددة الحدود هي في حد ذاتها تقلص بالنسبة للتقلص الثابت T.
للتقلص T الذي يعمل على فضاء هيلبرت ومتعددة الحدود p، نظيم p(T) مُحددة بالحد العلوي الأصغر supremum لكثيرة الحدود |p(z)| حيث z في قرص الوحدة."[1]
يمكن إثبات المتباينة من خلال النظر في التمدد الوحدوي لـ T ، والذي يوضح التباين.
هذه المتباينة هي حالة محددة من تخمين ماتساييف Matsaev's conjecture. وهو لأي متعددة حدود P وتقلص T على
حيث S هي مُعامل الإزاحة لليمين. متباينة فون نيومان تثبت أن ذلك صحيحا لـ ولـ و هذا صحيح عن طريق حساب مباشر.وقد أظهرت دروري S.W. Drury في عام 2011 أن التخمين فشل في الحالة العامة.[2]