مسألة كوراتويسكي للغلق-التكملة

في طوبولوجيا تحديد النقاط، تطلب مسألة كوراتويسكي للغلق-التكملة أكبر عدد من المجموعات المتميزة التي يمكن الحصول عليها بواسطة التطبيق المتكرر لعمليات المجموعة الخاصة بالغلق والتكملة على مجموعة فرعية افتتاحية معينة من الفضاء الطوبولوجي. الإجابة هي 14. وقد تم نشر هذه النتيجة لأول مرة من قِبل كازيميرز كوراتويسكي في عام 1922.[1] وحظيت المسألة بعرض واسع النطاق بعد ثلاثة عقود، حيث وردت كتمرين في كتاب جون إل كيلي المدرسي الكلاسيكي الطوبولوجيا العامة (General Topology).[2]

البرهانعدل

تسويغ S يدل على مجموعة فرعية اعتباطية لفضاء طوبولوجي، اكتب kS لغلق S وcS لتكملة S. الهويات الثلاث التالية تعني أنه لا يمكن الحصول على أكثر من 14 مجموعة متميزة:

(1) kkS = kS. (عملية الغلق هي عديمة التغير عند الضرب في نفسها.)

(2) ccS = S. (عملية التكملة هي زيادة الكمية.)

(3) kckckckcS = kckcS.(أو بشكل متساوٍ kckckckS=kckckckccS=kckS. استخدام الهوية (2).)

أول اثنين هما عديمو الأهمية. والثالث يتبع من الهوية kikiS = kiS حيث إن iS هي الزاوية الداخلية لـ S التي تعادل تكملة غلق S وiS = ckcS. (العملية ki = kckc هي عديمة التغير عند الضرب في نفسها.)

المجموعة الفرعية التي تحقق حدًا أقصى من 14 تُسمى المجموعة المكونة من 14. فضاء الأعداد الحقيقية تحت الطوبولوجيا العادية تحتوي على مجموعات مكونة من 14. وإليك مثالاً:

 

حيث إن   تدل على فاصل مفتوح و  تدل على فاصل مغلق.

نتائج إضافيةعدل

على الرغم من أن أصلها متجذر في سياق الفضاء الطوبولوجي، فإن مسألة كوراتويسكي للغلق-التكملة هي في الواقع جبرية أكثر من كونها طوبولوجية. وظهرت مجموعات وفيرة بشكل مذهل من المسائل والنتائج وثيقة الصلة منذ عام 1960، الكثير منها له علاقة بسيطة أو ليس له علاقة كليًا بطوبولوجيا تحديد النقاط.[3]

المراجععدل

  1. ^ Kuratowski, Kazimierz (1922). "Sur l'operation A de l'Analysis Situs" (PDF). Fundamenta Mathematicae. Warsaw: Polish Academy of Sciences. 3: 182–199. ISSN 0016-2736. مؤرشف من الأصل (PDF) في 20 يوليو 2018. الوسيط |CitationClass= تم تجاهله (مساعدة)
  2. ^ Kelley, John (1955). General Topology. Van Nostrand. صفحة 57. ISBN 0-387-90125-6. الوسيط |CitationClass= تم تجاهله (مساعدة)
  3. ^ Hammer, P. C. (1960). "Kuratowski's Closure Theorem". Nieuw Archief voor Wiskunde. Royal Dutch Mathematical Society. 8: 74–80. ISSN 0028-9825. الوسيط |CitationClass= تم تجاهله (مساعدة)

وصلات خارجيةعدل