مثلية التوضع

  هذه المقالة عن topology. لchemistry، طالع Homotopic groups.

The two dashed paths shown above are homotopic relative to their endpoints. The animation represents one possible homotopy.

في علم الطوبولوجيا, إذا كان هناك دالتين مُتصلتين من فضاء طوبولوجي واحد لفضاء آخر فتُسمَّى مِثليَّة التوضُّع (اليونانية ὁμός (homós) = same, similar, and τόπος (tópos) = place) وإذا كانت إحدى الدالَّتين "معدَّلة التشكيل باستمرار" للأخرى، فمثل هذا التعديل يُسمَّى مِثليَّة التوضُّع بين هاتين الدالتَّين. من الاستخدامات البارزة لمفهوم مِثليَّة التوضُّع هو تحديد وتعريف زمر الهموتوبي (homotopy) وزمر الكوهموتوبي (cohomotopy), وهما من أهمَّ الثوابت الجبرية في الطوبولوجيا الجبرية.

عمليًا، يوجد بعض الصعوبات التقنية في استخدام مِثليَّة التوضُّع مع فضاءات مُعيَّنة. يتعامل علماء الطوبولوجيا الجبرية مع الفضاء المُولِّد المُترَّاص، مركبات سي دباليو (CW complex), أو الأطياف.

التعريف الاصطلاحي

An isotopy of a coffee cup into a doughnut (طارة).

اصطلاحيًا، إذا ُوُجِدت مِثليَّة التوضُّع بين الدالتَّين المُتَّصلتين f وg من فضاء طوبولوجي X للفضاء الطوبولوجي Y إذًا فهذه دالَّة مُتَّصلة H : X × [0,1] → Y ناتجة من حاصل ضرب الفضاء X مع فترة المجموعة المُتكاملة [0,1] إلى Y حيث، إذا x ∈ X إذًا H(x,0) = f(x) وأيضًا H(x,1) = g(x).

وإذا اعتبرنا الوسيط الثاني للقيمة H على أنها تُمثِّل الوقت إذًا القيمة H توصف التعديل المُستمِّر للقيمة f في g: فعندما يكون الوقت 0 تكون الدالَّة f وحين يكون الوقت 1 تكون الدالَّة g.

إحدى الملاحظات البديلة هي أنه إذا وُجِدت مِثليَّة التوضُّع بين دالتَّين مُتَّصلتين f, g : X → Y هي مجموعة من الدالَّات المُتَّصلة h_t : X → Y للقيمة t ∈ [0,1] حيث h₀ = f وh₁ = g, والرسم البياني t ↦ h_t تصبح مُتَّصلة من [0,1] وحتى فضاء الدالَّات المُتَّصلة X → Y. وتتطابق الصيغتان من خلال تحديد h_t(x) = H(x,t).

المراجع

• Armstrong، M.A. (1979). Basic Topology. Springer.
• Spanier، Edwin (1994). Algebraic Topology. Springer. {{استشهاد بكتاب}}: الوسيط غير المعروف |شهر= تم تجاهله يقترح استخدام |تاريخ= (مساعدة)

انظر أيضًا

• زمرة ارتباط الصفوف
• مِثليَّة التوضُّع
• إتش بلاين لاوسن
• مِثليَّة التوضُّع المُنتظمة
• حدسية بوانكاريه
• الطريقة التحلِّيليَّة لنظرية مِثليَّة التوضُّع