We construct a new kind of measures, called projection families, which generalize the classical notion of vector and operator-valued measures. The maximal class of reasonable functions admits an integral with respect to a projection family, where the integral is defined as an element of the second dual instead of the original space. We show that projection families possess strong enough properties to satisfy the theorems of Monotone Convergence and Dominated convergence, but are much easier to come by than the more restrictive operator-valued measures.
يقدم هذا البحث بناء مقياس جديد يُسمى عائلات الإسقاطات (projection families)، والذي يعمم المفاهيم الكلاسيكية للمقاييس ذات القيم الموجهة والمقاييس ذات القيم الموجهة بالمؤثرات. تقبل أكبر فئة من الدوال المنطقية المناسبة التكامل بالنسبة لعائلات الإسقاطات، حيث يُعرّف التكامل كعنصر في الفضاء الثنائي المزدوج وليس في الفضاء الأصلي. يثبت المؤلفون أن عائلات الإسقاطات تمتلك خصائص قوية كافية لتحقيق نظرية التقارب الرتيب ونظرية التقارب المهيمن، لكنها أسهل في الحصول عليها من المقاييس ذات القيم الموجهة بالمؤثرات الأكثر تقييداً.
الحاجة إلى نظرية موحدة: تطورت ثلاث نظريات تكاملية بشكل مستقل—نظرية المقاييس الطيفية، ونظرية المقاييس الموجبة ذات القيم الموجهة بالمؤثرات (POVM)، ونظرية المقاييس ذات القيم الموجهة بالعمليات—لكن خصائصها المشتركة تجعل البحث عن نظرية مقاييس موجهة بالمؤثرات أكثر عمومية أمراً طبيعياً.
مشكلة الاختلاف في الفضاءات: تأخذ المقاييس الطيفية ونظرية POVM قيماً في فضاء المؤثرات المحدودة على فضاء هيلبرت، بينما تعمل المقاييس ذات القيم الموجهة بالعمليات على فضاءات باناخ، مما يجعل نظرية التكامل للمقاييس ذات القيم الموجهة بالعمليات غير قابلة للنسخ البسيط من نظرية المقاييس الطيفية.
قيود نظرية التكامل الموجه: يعتمد التكامل الكلاسيكي Dunford-Schwartz والتكامل Bochner على عملية تقريب الدوال البسيطة، مما يجعل الحساب معقداً وفئة الدوال القابلة للتكامل صغيرة. يتمتع التكامل Lewis والتكامل Pettis بتعريفات أبسط، لكنهما يعانيان من مشاكل الوجود.
التكامل في الفضاء الثنائي المزدوج: بتعريف التكامل في X**، يتم تجنب مشاكل الوجود وتوسيع فئة الدوال القابلة للتكامل.
طريقة إعادة البناء بالإسقاطات: بدلاً من تعريف المقياس الموجه بالمؤثرات مباشرة، يتم إعادة بناء المؤثر من خلال عائلات الإسقاطات، وهذه الطريقة أكثر مرونة.
الاستمرارية المنفصلة: الاستفادة من خاصية أن الاستمرارية في فضاء باناخ تكافئ الاستمرارية المنفصلة، مما يبسط الإثباتات.
نظرية التباين النصفي: إدخال مفهوم التباين النصفي للتحكم في محدودية عائلات المقاييس.