نظرية المجال

كما ذُكر سابقًا، تتعامل نظرية المجال مع المجموعات المرتبة جزئيًا لنمذجة مجال حسابي. والهدف هو تفسير عناصر هذا الترتيب على أنها معلومات أو نتائج (جزئية) لعملية حسابية ، حيث تُوسّع العناصر الأعلى في الترتيب معلومات العناصر الأدنى منها بطريقة متسقة. من هذا الحدس البسيط، يتضح أن المجالات غالبًا لا تحتوي على عنصر أعظم ، لأن ذلك يعني وجود عنصر يحتوي على معلومات جميع العناصر الأخرى، وهو وضع غير مُجدٍ.

يُعد مفهوم المجموعة الجزئية الموجهة من مجال ما مفهومًا أساسيًا في هذه النظرية ؛ فالمجموعة الجزئية الموجهة هي مجموعة جزئية غير فارغة من الرتبة التي يكون لأي عنصرين فيها حد أعلى ينتمي إلى هذه المجموعة. وبناءً على فهمنا البديهي للمجالات، يعني هذا أن أي معلومتين داخل المجموعة الجزئية الموجهة يمكن توسيعهما بشكل متسق بواسطة عنصر آخر في المجموعة نفسها. وبالتالي، يمكننا اعتبار المجموعات الجزئية الموجهة مواصفات متسقة ، أي مجموعات من النتائج الجزئية التي لا يوجد فيها عنصران متناقضان. يمكن مقارنة هذا التفسير بمفهوم المتتالية المتقاربة في التحليل ، حيث يكون كل عنصر أكثر تحديدًا من العنصر الذي يسبقه. في الواقع، في نظرية الفضاءات المترية ، تؤدي المتتاليات دورًا مشابهًا في جوانب عديدة لدور المجموعات الموجهة في نظرية المجالات.

الآن، كما هو الحال مع المتتاليات، نهتم بنهاية مجموعة موجهة. وفقًا لما ذُكر سابقًا، تُمثل هذه النهاية عنصرًا يُمثل المعلومة الأكثر عمومية التي تُوسّع معلومات جميع عناصر المجموعة الموجهة، أي العنصر الوحيد الذي يحتوي تحديدًا على المعلومات الموجودة في المجموعة الموجهة، لا أكثر. في صياغة نظرية الترتيب، تُعرف هذه النهاية ببساطة بأنها الحد الأدنى الأعلى للمجموعة الموجهة. وكما هو الحال مع نهاية المتتالية، فإن الحد الأدنى الأعلى للمجموعة الموجهة ليس موجودًا دائمًا.

بطبيعة الحال، يولي المرء اهتمامًا خاصًا بمجالات الحسابات التي تتقارب فيها جميع المواصفات المتسقة ، أي في الترتيبات التي يكون لجميع المجموعات الموجهة حد أدنى أعلى. تُعرّف هذه الخاصية فئة الترتيبات الجزئية الموجهة الكاملة ، أو dcpo اختصارًا. في الواقع، لا تُعنى معظم دراسات نظرية المجال إلا بالترتيبات الموجهة الكاملة على الأقل.

انطلاقاً من الفكرة الأساسية القائلة بأن النتائج المحددة جزئياً تمثل معرفة غير مكتملة، تُستنتج خاصية مرغوبة أخرى: وجود عنصر أدنى . يُمثل هذا العنصر حالة انعدام المعلومات - وهي الحالة التي تبدأ عندها معظم العمليات الحسابية. كما يمكن اعتباره ناتج عملية حسابية لا تُرجع أي نتيجة على الإطلاق.

بعد أن تعرفنا على بعض الأوصاف الرسمية الأساسية لما ينبغي أن يكون عليه مجال الحساب، يمكننا الآن الانتقال إلى العمليات الحسابية نفسها. من الواضح أن هذه العمليات يجب أن تكون دوالًا، تأخذ مدخلات من مجال حسابي معين وتُخرج نتائج في مجال آخر (قد يكون مختلفًا). مع ذلك، من المتوقع أيضًا أن تحتوي مخرجات الدالة على معلومات أكثر كلما زادت المعلومات المُدخلة. وهذا يعني، بشكل رسمي، أننا نريد أن تكون الدالة رتيبة .

عند التعامل مع الدوال الموجهة ذات المصفوفة المزدوجة (dcpos) ، قد يرغب المرء أيضًا في أن تكون الحسابات متوافقة مع تكوين نهايات مجموعة موجهة. يعني هذا رسميًا أنه بالنسبة لدالة ما f ، فإن صورة f ( D ) لمجموعة موجهة D (أي مجموعة صور كل عنصر من عناصر D ) هي أيضًا موجهة ولها حد أعلى أدنى يساوي صورة الحد الأعلى الأدنى لـ D. يمكن القول أيضًا أن f تحافظ على القيم العليا الموجهة . تجدر الإشارة أيضًا إلى أنه عند النظر إلى مجموعات موجهة مكونة من عنصرين، يجب أن تكون هذه الدالة رتيبة. تُؤدي هذه الخصائص إلى مفهوم الدالة المتصلة سكوتيًا . ولأن هذا المفهوم غالبًا ما يكون واضحًا، يمكن أيضًا الحديث عن الدوال المتصلة .

تُعدّ نظرية المجال منهجًا نوعيًا بحتًا لنمذجة بنية حالات المعلومات. يمكن القول إن شيئًا ما يحتوي على معلومات إضافية، لكن مقدار هذه المعلومات الإضافية غير مُحدد. مع ذلك، توجد بعض الحالات التي نرغب فيها بالحديث عن عناصر أبسط بكثير (أو أقل اكتمالًا) من حالة معلومات مُعينة. على سبيل المثال، في ترتيب احتواء المجموعات الجزئية الطبيعي على مجموعة قوى ما ، يكون أي عنصر لانهائي (أي مجموعة) أكثر "إفادة" من أي من مجموعاته الجزئية المنتهية .

إذا أردنا نمذجة مثل هذه العلاقة، فقد نرغب أولًا في النظر في الترتيب الصارم المُستحث < لمجال ذي ترتيب ≤. مع ذلك، ورغم أن هذا مفهوم مفيد في حالة الترتيبات الكلية، إلا أنه لا يُفيدنا كثيرًا في حالة المجموعات المرتبة جزئيًا. وبالنظر مجددًا إلى ترتيبات احتواء المجموعات، فإن مجموعة ما تكون أصغر تمامًا من مجموعة أخرى، قد تكون لانهائية، إذا احتوت على عنصر واحد أقل. ومع ذلك، يصعب الاتفاق على أن هذا يُجسد مفهوم كونها "أبسط بكثير".

يؤدي اتباع نهج أكثر تفصيلاً إلى تعريف ما يُسمى برتبة التقريب ، والتي تُسمى أيضًا، بشكلٍ أكثر دلالة، علاقة الانحدار الشديد . يكون العنصر x أدنى بكثير من العنصر y ، إذا كان لكل مجموعة موجهة D ذات قيمة عليا بحيث

$${\displaystyle y\sqsubseteq \sup D,}$$

يوجد عنصر ما d في D بحيث

$${\displaystyle x\sqsubseteq d.}$$

ثم يقول المرء أيضًا أن x تقارب y ويكتب

$${\displaystyle x\ll y.}$$

وهذا يعني ضمناً أن

$${\displaystyle x\sqsubseteq y,}$$

بما أن المجموعة الأحادية { y } موجهة. على سبيل المثال، في ترتيب المجموعات، تكون المجموعة اللانهائية أعلى بكثير من أي من مجموعاتها الجزئية المنتهية. من ناحية أخرى، لننظر إلى المجموعة الموجهة (في الواقع، سلسلة المجموعات المنتهية)

$${\displaystyle \{0\},\{0,1\},\{0,1,2\},\ldots }$$

بما أن الحد الأعلى لهذه السلسلة هو مجموعة جميع الأعداد الطبيعية N ، فإن هذا يدل على أنه لا توجد مجموعة لانهائية تقع أسفل N بكثير .

مع ذلك، فإن كون العنصر أدنى بكثير من عنصر آخر هو مفهوم نسبي ولا يكشف الكثير عن العنصر وحده. على سبيل المثال، قد يرغب المرء في توصيف المجموعات المنتهية بطريقة نظرية الترتيب، ولكن حتى المجموعات غير المنتهية يمكن أن تكون أدنى بكثير من مجموعة أخرى. الخاصية المميزة لهذه العناصر المنتهية x هي أنها أدنى بكثير من نفسها، أي

$${\displaystyle x\ll x}$$

يُطلق على العنصر الذي يتمتع بهذه الخاصية اسم " متراص ". ومع ذلك، لا يشترط أن تكون هذه العناصر "محدودة" أو "متراصة" في أي استخدام رياضي آخر للمصطلحات. ومع ذلك، فإن هذا الترميز مستوحى من بعض أوجه التشابه مع المفاهيم المقابلة في نظرية المجموعات والطوبولوجيا . تتميز العناصر المتراصة في مجال ما بخاصية خاصة مهمة ، وهي أنه لا يمكن الحصول عليها كحد لمجموعة موجهة لم تكن موجودة فيها مسبقًا.

تدعم العديد من النتائج المهمة الأخرى المتعلقة بعلاقة "الطريق الأدنى" الادعاء بأن هذا التعريف مناسب لالتقاط العديد من الجوانب المهمة للمجال.

تثير الأفكار السابقة سؤالاً آخر: هل من الممكن ضمان إمكانية الحصول على جميع عناصر مجال ما كحد لعناصر أبسط بكثير؟ هذا الأمر ذو أهمية بالغة من الناحية العملية، إذ لا يمكننا حساب عدد لا نهائي من العناصر، ولكن لا يزال بإمكاننا تقريبها بدقة متناهية.

بشكلٍ أعم، نرغب في حصر البحث في مجموعة فرعية معينة من العناصر باعتبارها كافية للحصول على جميع العناصر الأخرى كحدود عليا دنيا. لذا، يُعرَّف أساس المجموعة المرتبة جزئيًا P بأنه مجموعة فرعية B من P ، بحيث تحتوي مجموعة العناصر في B التي تقلّ عن x بكثير، لكل x في P ، على مجموعة موجهة ذات قيمة عليا x . تُسمى المجموعة المرتبة جزئيًا P مجموعة مرتبة جزئيًا متصلة إذا كان لها أساس. على وجه الخصوص، تُعتبر P نفسها أساسًا في هذه الحالة. في العديد من التطبيقات، يُقتصر البحث على المجموعات المرتبة جزئيًا المتصلة (d)cpos كهدف رئيسي.

أخيرًا، يُفرض قيدٌ أقوى على المجموعة المرتبة جزئيًا باشتراط وجود قاعدة من العناصر المنتهية . تُسمى هذه المجموعة المرتبة جزئيًا جبرية . من منظور الدلالات الوصفية، تتميز المجموعات المرتبة جزئيًا الجبرية بسلوكها الجيد، إذ تسمح بتقريب جميع العناصر حتى عند الاقتصار على العناصر المنتهية. وكما ذُكر سابقًا، ليس كل عنصر منتهٍ "منتهيًا" بالمعنى الكلاسيكي، وقد تُشكل العناصر المنتهية مجموعة غير قابلة للعد .

في بعض الحالات، تكون قاعدة المجموعة المرتبة جزئيًا قابلة للعد . في هذه الحالة، يُطلق عليها اسم مجموعة مرتبة جزئيًا متصلة من النوع ω . وبناءً على ذلك، إذا كانت القاعدة القابلة للعد تتكون بالكامل من عناصر منتهية، فإننا نحصل على ترتيب جبري من النوع ω .

يُعرف أحد الحالات الخاصة البسيطة للمجال باسم المجال الأولي أو المجال المسطح . ويتكون هذا المجال من مجموعة من العناصر غير القابلة للمقارنة، مثل الأعداد الصحيحة، بالإضافة إلى عنصر "أدنى" واحد يُعتبر أصغر من جميع العناصر الأخرى.

يمكن الحصول على عدد من الفئات الخاصة الأخرى المثيرة للاهتمام من البنى المرتبة التي قد تكون مناسبة كـ"مجالات". وقد ذكرنا سابقًا المجموعات المرتبة الجزئية المتصلة والمجموعات المرتبة الجزئية الجبرية. ومن بين الإصدارات الخاصة الأخرى لكليهما المجموعات المرتبة الجزئية المتصلة والجبرية . وبإضافة المزيد من خصائص الاكتمال، نحصل على الشبكات المتصلة والشبكات الجبرية ، وهي ببساطة شبكات كاملة ذات خصائص محددة. أما في الحالة الجبرية، فتوجد فئات أوسع من المجموعات المرتبة الجزئية التي لا تزال جديرة بالدراسة: تاريخيًا، كانت مجالات سكوت أولى البنى التي دُرست في نظرية المجالات. وتتكون فئات أوسع من المجالات من مجالات SFP ، ومجالات L ، والمجالات ثنائية النهاية .

يمكن تصنيف جميع هذه الفئات من الرتب إلى فئات مختلفة من الدوال متعددة الحدود، باستخدام دوال رتيبة، أو متصلة وفقًا لسكوت، أو حتى دوال أكثر تخصصًا مثل التشكلات . وأخيرًا، تجدر الإشارة إلى أن مصطلح " المجال " ليس دقيقًا تمامًا، وبالتالي يُستخدم فقط كاختصار عندما يُقدّم تعريف رسمي مسبقًا أو عندما تكون التفاصيل غير ذات صلة.