ثنائية إيزاكيا

في الرياضيات، يتم تعريف ثنائية إيزاكيا بأنها التكافؤ الثنائي بين تصنيف جبر هيتينج وتصنيف فضاء إيزاكيا. وتوفر ثنائية إيزاكيا تمثيلاً طوبولوجيًا مرتبًا لجبر هيتينج عن طريق فضاءات إيزاكيا.

تدل Esa على تصنيف فضاءات إيزاكيا وشكل إيزاكيا.

افترض أن  تمثل جبر هيتينج، وأن  تدل على مجموعة من المرشحات الأولية لـ ، وأن  تدل على تضمين المجموعة نظريًا في المرشحات الأولية لـ . كذلك، لكل ، افترض أن ، وافترض أن  تدل على الطوبولوجيا في  الناتجة عن }.

النظرية الرياضية:  هي فضاء إيزاكيا، المُسمَّى بـ ثنائية إيزاكيا لـ . كما أن،  هي تَساوي شكل جبر هيتينج من  على جبر هيتينج من جميع المجموعات العلوية المفتوحة والمغلقة الخاصة بـ . بالإضافة إلى أن كل فضاء إيزاكيا متساوي الشكل في Esa مع ثنائية إيزاكيا لبعض نواحي جبر هيتينج.

هذا التمثيل لجبر هيتينج بواسطة فضاء إيزاكيا مدلل، ويؤدي إلى التكافؤ الثنائي بين التصنيف HA لـ تشاكل (تشابه شكل) جبر هيتينج وتصنيف Esa لفضاء إيزاكيا وشكل إيزاكيا.

النظرية الرياضية: HA هي المكافئ الثنائي لـ Esa.

ملاحظات

المراجع

 Esakia, L. (1974). Topological Kripke models. Soviet Math. Dokl., 15 147—151.
 Esakia, L. (1985). Heyting Algebras I. Duality Theory (Russian). Metsniereba, Tbilisi.
 Bezhanishvili, N. (2006). Lattices of Intermediate and Cylindric Modal Logics. ILLC, University of Amsterdam.

انظر أيضًا

 نظرية الثنائية للشبيكات التوزيعية

طوبولوجيا