انكماش تشويهي
في الطوبولوجيا، وهو أحد فروع الرياضيات، فإن الانكماش، كما يشير الاسم، "يؤدي إلى تقليص" فضاء كامل وتحويله إلى فضاء ثانوي. والانكماش التشويهي عبارة عن دالة رياضية تسجل فكرة الانكماش المستمر لفضاء إلى أن يصبح فضاءً ثانويًا.
لنفترض أن "X" هي فضاء طوبولوجي و"A" هي فضاء فرعي من "X". وبالتالي تكون الدالة الرياضية المستمرة
عبارة عن انكماش إذا كانت قيود "r" لـ "A" هي دالة رياضية محايدة في "A"، أي أن "r"("a") = "a" لكل "a" في "A". وفي المقابل، ومن خلال
التضمين، يكون الانكماش عبارة عن دالة رياضية مستمرة "r" وبالتالي يكون
وهذا يعني أن تكوين "r" مع التضمين يشير إلى هوية "A". لاحظ أن الانكماش يؤدي إلى تعيين "X" على "A"، بحسب التعريف. ويطلق على الفضاء الثانوي"A" اسم انكماش لـ "X" في حالة تواجد مثل هذا الانكماش. على سبيل المثال، يمكن أن ينكمش أي فضاء إلى نقطة في المسار الواضح (يمكن أن ينتج الثابت انكماشًا). إذا كان "X" عبارة عن فضاء هاوسدورف، فإن "A" يجب أن تكون مغلقة.
إذا كان formula_1 عبارة عن انكماش، فإن تكوين formula_5 يكون عبارة عن دالة تماثل رياضية مستمرة من "X" إلى "X". وعلى العكس، ومع الوضع في الاعتبار أي دالة تماثل رياضية مستمرة، formula_6، فإننا نحصل على انكماش في صورة "s" من خلال تقييد المجال المقابل.
يعرف الفضاء "X" على أنه انكماش مطلق إذا كان لكل فضاء عادي Y يحتوي على X كفضاء ثانوي مغلق، يكون X انكماشًا لـ Y. ويكون مكعب الوحدة In بالإضافة إلى مكعب هيلبرت Iω عبارة عن انكماشات مطلقة.
في حالة تواجد مجموعة مفتوحة "U" بحيث يكون
وكانت "A" عبارة عن انكماش لـ "U"، فإن "A" يطلق عليها اسم انكماش مجاور لـ "X".
ويكون الفضاء "X" عبارة عن انكماش مجاور مطلق (أو ANR) إذا كان لكل فضاء عادي طبيعي "Y" يتضمن "X" كمجموعة فرعية مغلقة، تكون "X" عبارة عن انكماش مجاور لـ "Y". وتكون دائرة "n" "S" عبارة عن انكماش مجاور مطلق.
الدالة الرياضية المستمرة
عبارة عن "انكماش تشويهي" للفضاء "X" لتكوين فضاء ثانوي "A" إذا كان، لكل "x" في "X" و"a" في "A"،
وبمعنى آخر، فإن الانكماش التشويهي عبارة عن تطابق بين الانكماش والدالة الرياضية للهوية في "X". ويطلق على الفضاء الفرعي "A" اسم الانكماش التشويهي لـ "X". ويعد الانكماش التشويهي عبارة عن حالة من حالات تكافؤ التطابق.
ويجب ألا يكون الانكماش عبارة عن انكماش تشويهي. على سبيل المثال، يمكن أن يشير تواجد نقطة واحدة عبارة عن انكماش تشويهي إلى أن الفضاء متصل من ناحية المسار (في الواقع، يمكن أن يشير ذلك إلى إمكانية انكماش الفضاء).
"ملاحظة:" يكون التعريف المكافئ لانكماش التشويه كما يلي. الدالة الرياضية المستمرة "r": "X" → "A" تكون عبارة عن انكماش تشويهي إذا كانت عبارة عن انكماش وكان تكوينها مع التضمين متطابقًا مع الدالة الرياضية للهوية في "X". وفي هذه المعادلة، يحمل الانكماش التشويهي معه تطابقًا بين الدالة الرياضية للهوية في "X" وبين ذاتها.
إذا قمنا، في تعريف انكماش تشويهي، بإضافة مطلب كالتالي
لكل "t" في [0، 1]، يطلق على "F" اسم الانكماش التشويهي القوي. وبمعنى آخر، يترك الانكماش التشويهي القوي النقاط في "A" ثابتة في حالة التطابق ككل. (بعض الكتاب، مثل آلين هاتشر، يعتبر ذلك تعريفًا للانكماش التشويهي).
وكمثال على ذلك، فإن "الكرة ذات البعد"النوني "S" عبارة عن انكماش تشويهي قوي لـ R\{0}; وكانكماش تشويهي قوي، يمكن اختيار الدالة الرياضية
الفضاء الثانوي "A" عبارة عن انكماش تشويهي مجاور لـ "X" في حالة تواجد دالة رياضية مستمرة formula_12 (حيث formula_13) وبالتالي يكون formula_14 والتطابق
formula_15 وبالتالي formula_16 لكل formula_17, formula_18 لكل
formula_19،وformula_20 لكل formula_21.
يعد الانكماش التشويهي عبارة عن حالة خاصة من حالات تكافؤ التطابق. وفي واقع الأمر، يكون الفضاءان متكافئين من ناحية التطابق في حالة، وفقط في حالة، أن يكون كلا الفضاءين عبارة عن انكماشين تشويهيين لنفس الفضاء الأكبر.
وأي فضاء طوبولوجي ينكمش فيه التشويه إلى نقطة يكون قابلاً للانكماش والعكس صحيح. ومع ذلك، توجد فضاءات قابلة للانكماش لا تحقق الانكماش التشويهي القوي لنقطة ما.