في نظرية الم عامل تشير متباينة فون نيومان    نسبة إلى جون فون نيومان إلى أن خريطة حساب التفاضل والتكامل الوظيفية المتعددة الحدود هي في حد ذاتها تقلص بالنسبة للتقلص الثابت الصيغة للتقلص الذي يعمل على فضاء هيلبرت ومتعددة الحدود نظيم حددة بالحد العلوي الأصغر  لكثيرة الحدود حيث في قرص الوحدة الإثبات يمكن إثبات المتباينة من خلال النظر في التمدد الوحدوي ل والذي يوضح التباين التعميمات هذه المتباينة هي حالة محددة من تخمين ماتساييف   وهو لأي متعددة حدود وتقلص على حيث هي عامل الإزاحة لليمين متباينة فون نيومان تثبت أن ذلك صحيحا ل ول هذا صحيح عن طريق حساب مباشر وقد أظهرت دروري  في عام أن التخمين فشل في الحالة العامة المراجع تصنيف جون فون نيومان تصنيف متباينات تصنيف نظرية المؤثرات