تحليل وظيفي, رياضيات, فيزياء الكم, معلومات كمية, نظرية المشغلاتمبرهنة تشوي حول التطبيقات الموجبة تمامًا (Choi’s theorem on completely positive maps)