تسطح موضعي

في البداية، في الطوبولوجيا، أحد فروع الرياضيات، يعتبر التسطح الموضعي أحد الميزات لمتعدد الشعب الفرعي في متعدد شعب طوبولجي لديه بعد أكبر. ففي سلسلة متعددي الشعب الطوبولوجية، يلعب التسطح الموضعي دورًا مشابهًا لدور متعددي شعب مضمّنة في سلسلة متعدد الشعب الأملس.

وفي هذا الصدد، لـx حيث إن الزوج الطوبولجي يعتبر دالة هميوفرمية , حيث إن نصف فراغ ثابت و متضمن كفراغ فرعي على حدها. وبتفصيل أكثر، يمكن أن نضع

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

كذلك، حيث نسمي N مسطحة موضعيًا في M إذا كانت N مسطحة موضعيًا في كل نقطة. وبالمثل، فإن الرسم يسمى مسطح موضعيًا، ولو لم يكن مضمّنًا، إذا كان كل x في N لديه مجاور U الذي صورته ؛ يعتبر مسطح موضعيًا في M.

ومن جهة أخرى، يعرض التسطح الموضعي لأحد المضمّنات خصائص قوية لا يشاركه فيها جميع المضمّنات. لقد أثبت «براون» عام (1962) أنه إذا كان d = n - 1، فإن N تعتبر مطوّقة، يعني أن لديها مجاورًا يعتبر دالة هميوفرمية لـN × [0,1] حيث إن N ذاتها مطابقة لـN × 1/2 (إذا كانت N داخل M) أو N × 0 (إذا كانت N في حدود M).

و.

ومن جهة أخرى، بافتراض أن d متعدد الشعب البعدي N تم تضمينه في n متعدد الشعب البعدي M (حيث إن d <n). إذا فنقول أن N تعتبر مسطحة موضعيًا عند x إذا وجد مجاورًا لـx حيث إن الـزوج الطوبولوجي is دالة هميومرفية للزوج , مع شمول ثابت لـ كفضاء فرعي لـ . وبناء على ذلك, يوجد دالة هميوفرمية حيث إن صورة تتطابق معwith .