ثبات المجال

ثبات المجال، هو عبارة عن نظرية في الطوبولوجيا حول المجموعات الجزئية المتطابقة من الفضاء الإقليدي . وينص على:

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

يرجع الفضل في النظرية وبرهانها إلى لويتسن براور، والتي نُشرت في عام 1912. Beweis der Invarianz des -dimensionalen Gebiets, Mathematische Annalen 71 (1912), pages 305–315; see also 72 (1912), pages 55–56 والبرهان يستخدم أدوات الطوبولوجيا الجبرية، ولا سيما نظرية النقطة الثابتة لبراور.

 ملحوظات 
من الممكن صياغة استنتاج النظرية بشكل مكافئ على النحو التالي:  " عبارة عن خريطة مفتوحة ".

وعادة، من أجل التحقق من أن  عبارة عن تماثل شكلي، يجب على المرء أن يتحقق من أن كل من ، ودالتها العكسية  متصلة ومستمرة؛ تنص النظرية على أنه: إذا كان المجال عبارة عن مجموعة فرعية مفتوحة من، والصورة موجودة أيضا في ، إذن استمرارية  هو أمر تلقائي. بالإضافة إلى ذلك، ترى النظرية أنه إذا كانت مجموعتان فرعيتان  و  من متماثلتان في الشكل، و  مفتوحة ؛ إذن  يجب أن تكون مفتوحة أيضًا. (لاحظ أن  مفتوحة كمجموعة فرعية من  وليس فقط في طوبولوجيا الفضاء الفرعي. وانفتاح  في طوبولوجيا الفضاء الفرعي هو أمر تلقائي) كلا العبارتين ليس واضحًا على الإطلاق، ولا تكونان صحيحتين بشكل عام إذا تركنا الفضاء الإقليدي.
بديل=Not a homeomorphism onto its image|تصغير| خريطة لا تمثل تماثلاً لصورتها:  مع 
من الأهمية بمكان أن يكون كل من المجال والصورة  توجد في الفضاء الإقليدي على نفس البعد. خذ على سبيل المثال الخريطة ، تم تعريفها بواسطة  هذه الخريطة متباينة ومتواصلة، والمجال عبارة عن مجموعة فرعية مفتوحة من ، ولكن الصورة ليست مفتوحة في .

مثال آخر أكثر قوة يتمثل في: الخريطة ، والتي تم تعريفها بواسطة  ، لأن  هنا متباينة ومستمرة، غير أنها لا تقدم حتى تماثلًا لصورتها.

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

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

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

وهناك أيضًا تعميمات لأنواع معينة من الخرائط المستمرة من فضاء باناخ إلى نفسه. Topologie des espaces abstraits de M. Banach. C. R. Acad. Sci. Paris, 200 (1935) pages 1083–1093

 انظر ايضًا 
 دالة متباينة.
 دالة مستمرة.
 فضاء باناخ.
 فضاء إقليدس.

 المراجع 






  (see p. 72–73 for Hirsch's proof utilizing non-existence of a differentiable retraction)








تصنيف:نظرية الدوال المستمرة
تصنيف:مبرهنات في الطوبولوجيا
تصنيف:طوبولوجيا جبرية
تصنيف:تصاكلات