01سببان مختلفان لمساواة المسارات
قد يختلف إجراءا تحضير فيزيائيًا ويتركان السجل نفسه. وقد يعجز جهاز محدود عن التمييز بين سجلين مكتملين مختلفين. تميز المسودة الحالتين لاختلاف نتائجهما على التجارب المستقبلية. يتعلق تكافؤ الاكتمال بما صار إليه المسار، ويتعلق التكافؤ الرصدي بما تستطيع عائلة اختبارات معتمدة تمييزه.
يعطي هذا التمييز مبدأ الوحدة في نموذج الجوهر الفرد استعمالًا إجرائيًا ملموسًا. فقد يولد مصدر واحد مسارات كثيرة، بينما لا يحتفظ العالم المتاح للرصد إلا ببعض فروقها. ولا تعني وحدة المصدر تطابق كل مسار متولد، ولا يعني قصور الرصد زوال الأهمية الديناميكية للفروق الخفية.
02تعيين السجلات المكتملة أولًا
ليكن h وk مسارين من نوعي الدخل والخرج نفسيهما. نكتب h≡c k عندما تسند إليهما قاعدة الاكتمال المحددة السجل نفسه. ولكي تتركب هذه السجلات باتساق، يجب أن تكون العلاقة علاقة تطابق متوافقة مع التركيب: فوضع مسارين متكافئين داخل التحضير والمتابعة المسموحين نفسيهما يجب أن يحفظ تكافؤهما.
يحتوي الفضاء القسمي R=A/≡c فئات السجلات المكتملة. ويعتمد وجوده كنموذج تركيبي مفيد على خاصية التطابق. وقد يفشل تجميع اعتباطي للمسارات في تحقيقها: فمساران أُعلنا متكافئين منفردين قد ينتجان سجلين مختلفين بعد العملية اللاحقة نفسها.
03ثم تعيين ما لا تميزه الاختبارات
للسجلين المكتملين r وs نعرّف r≡o s عندما يعطي كل اختبار سياقي معتمد النتيجة نفسها. ويشمل الاختبار السياقي التحضير السابق للسجل والمعالجة اللاحقة له. وهذا أقوى من فحص بعض قيم العرض الآنية.
شرط السياق هو ما يجعل التكافؤ الرصدي متوافقًا مع التركيب. فإذا كشفت عملية لاحقة فرق طور، كانت تلك العملية متبوعة بالقياس اختبارًا سياقيًا بالفعل. ولا يجوز للنموذج محو الطور ثم الادعاء في الوقت نفسه أنه يتنبأ بذلك الاختبار من السجل الذي مُحي طوره.
04مثال محدود صغير
لننظر في مسارات موسومة ببت b وإشارة داخلية σ. ولنفترض أن الاكتمال يحتفظ بالوسمين، لكن الكاشف الآني الوحيد يقرأ b. لا يميز هذا الاختبار المحدود السجلين (0,+) و(0,−). وإذا لم يحول أي تحضير أو عملية لاحقة مسموحة σ إلى فرق مقروء، كانت مساواتهما متسقة.
لنُجِز الآن تحويلًا يقلب b بالضبط عندما تكون σ سالبة. يفصل تطبيقه قبل كاشف البت السجلين. ولذلك يكون للغة الاختبارات الموسعة فضاء قسمي رصدي أدق. لم يتغير سجل الاكتمال؛ بل تغير الوصول الإجرائي للراصد. ويوضح المثال لماذا تحتاج عبارة «الرصد نفسه» دائمًا إلى فئة اختبارات صريحة.
05جمع الفضاءين القسميين
نعرّف المسارين h وk متكافئين رصديًا عندما c(h)≡o c(k). ويعطي أخذ هذا الفضاء القسمي المركب مباشرة النموذج الرصدي نفسه الناتج من الاكتمال أولًا ثم مساواة السجلات غير المتميزة. والبرهان بنائي: نرسل الفئة المباشرة للمسار h إلى الفئة الرصدية لسجله المكتمل.
الخريطة معرَّفة جيدًا لأن الوصفين يستخدمان شرط المساواة نفسه تمامًا. وهي شاملة لأن كل سجل رصدي يأتي من مسار، وأحادية لأن تساوي الصور الرصدية يعني التكافؤ المركب. وهذه مبرهنة اتساق للبنية، ولا تحدد فروق المسارات الفيزيائية التي ينبغي إهمالها.
06المعنى في نموذج الجوهر الفرد ونظرية ازدواجية الزمن والتحفظ التنبؤي
تفسر نظرية ازدواجية الزمن التوليد الداخلي بوصفه الجانب الحساس للمسار، والرصد الخارجي بوصفه الوصول إلى الفروق المكتملة. ويوضح بناء الفضاءين القسميين كيف يحتوي عالم رصدي فروقًا أقل من وصفه التوليدي دون إنكار واقعية ذلك الوصف. كما يوفر لغة دقيقة للهوية المستمرة: يستمر الشيء عندما تستمر فئة سجله المعنية.
يتطلب التنبؤ فحصًا إضافيًا. فإذا تعذر تمييز مسارين الآن ثم تطورا إلى خرجين قابلين للتمييز، لم يكن الفضاء القسمي الحالي وصف حالة مستقلًا لذلك التطور. ويجب حفظ ذاكرة أكثر، أو تقييد العمليات المعتمدة، أو استخدام نموذج غير ماركوفي. والاستجابة الصحيحة هي تعيين المعلومات الناقصة، لا تفسير كل فشل تنبؤي دليلًا على إحداثي زمني جديد.
احتفظ بالصلة
أفكار أساسية
- تجيب مساواة الاكتمال والمساواة بحسب الاختبارات عن سؤالين مختلفين.
- الاختبارات السياقية ضرورية للتركيب المتسق.
- قد لا يحفظ الفضاء القسمي الرصدي كل المعلومات اللازمة للتنبؤ.
نطاق الحجة. التكافؤ الرياضي نسبي إلى قواعد اكتمال واختبار مقدمة صراحة.
المصادر والقراءة
تستند هذه النسخة العربية إلى المقال الإنجليزي المقابل. تُحفظ هوية الأعمال والمراجع ودرجة الاستدلال الواردة في المصدر.
- SMM_DTT_Axioms_v4.pdfمسودة عمل، ص. 13–15، 17–21