نظام التشغيل

بالنظر إلى جبر C* أحادي${\displaystyle {\mathcal {A}}}$يُطلق على الفضاء الجزئي المغلق * -S الذي يحتوي على 1 اسم نظام المؤثرات . ويمكن ربط كل فضاء جزئي بـ${\displaystyle {\mathcal {M}}\subseteq {\mathcal {A}}}$نظام مؤثرات من جبر C* أحادي عبر${\displaystyle S:={\mathcal {M}}+{\mathcal {M}}^{*}+\mathbb {C} 1}$.

إن التشكلات المناسبة بين أنظمة المؤثرات هي خرائط موجبة تمامًا .

بحسب نظرية تشوي وإفروس، يمكن وصف أنظمة المؤثرات بأنها فضاءات متجهة * مزودة بترتيب مصفوفة أرخميدس. ^{[ 1 ]}

• مساحة المشغل