التماثل

يقيس التماثل (Homology) الثقوب في الفضاء في كل بُعد عن طريق عد الدورات التي ليست حدودًا، مما ينتج عنه تسلسل من المجموعات الأبيلية القابلة للحساب والقوية تحت التشوه المستمر.

Definition

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

Scope

يطور هذا الموضوع المركبات السلسلية والمفهوم الجبري للتماثل كدورات مقسومة على الحدود، ويتم تحقيقها بشكل ملموس من خلال التماثل التبسيطي (simplicial)، والفردي (singular)، والخلوي (cellular)، ويُظهر توافقها في الفضاءات المعقولة. ويغطي الخصائص الأساسية — ثبات التشاكل (homotopy invariance)، والمتتالية الدقيقة الطويلة للزوج (long exact sequence of a pair)، والاستئصال (excision)، ومتتالية ماير-فيتوريس (Mayer-Vietoris sequence) — التي تجعل التماثل قابلاً للحساب، بالإضافة إلى نظرية الدرجة (degree theory)، وأعداد بيتي (Betti numbers)، والخاصية الأويلرية (Euler characteristic). ويتضمن الموضوع تكافؤ الإنشاءات المختلفة والحساب للأكر، والأسطح، ومركبات CW.

Core questions

• كيف تُضفي الدورات مقسومة على الحدود طابعًا رسميًا على الفكرة البديهية للثقب ذي الأبعاد n؟
• لماذا تتفق أنواع التماثل التبسيطي والفردي والخلوي، وأيها الأفضل للحساب؟
• كيف يقلل الاستئصال ومتتالية ماير-فيتوريس تماثل الفضاء إلى تماثل أجزاء أبسط؟
• ما هي المعلومات الطوبولوجية التي تلتقطها أعداد بيتي والخاصية الأويلرية؟

Key concepts

• المركبات السلسلية، الدورات، والحدود
• التماثل التبسيطي، الفردي، والخلوي وتوافقها
• المتتالية الدقيقة الطويلة للزوج والاستئصال
• متتالية ماير-فيتوريس
• أعداد بيتي، الخاصية الأويلرية، ودرجة الخريطة

Clinical relevance

التماثل هو الثابت الأساسي في الطوبولوجيا: فهو يدعم نظرية النقطة الثابتة ونظرية التقاطع، وتصنيف المشعبات (manifolds)، والخاصية الأويلرية في الهندسة والتوافقيات، والتطبيقات الحديثة مثل التماثل المستمر (persistent homology) في تحليل البيانات الطوبولوجي.

History

أُعيد تفسير أعداد بيتي ومعاملات الالتواء (torsion coefficients) لبوانكاريه كمجموعات حاصل قسمة بعد أن أكدت إيمي نوثر على بنية المجموعة في عشرينيات القرن الماضي؛ وقد أعطت الصياغات الفردية والبديهية (إيلينبرغ-ستينرود) في الأربعينيات والخمسينيات التماثل الشكل الدالي (functorial) والبديهي المستخدم اليوم.

Key figures

• Henri Poincaré
• Emmy Noether
• Leopold Vietoris

Seminal works

• hatcher2002
• bredon1993

Frequently asked questions

ما الفرق بين الدورة والحد؟

الدورة هي سلسلة حدودها صفر (حلقة مغلقة أو سطح)؛ والحد هو سلسلة تمثل هي نفسها حد سلسلة ذات أبعاد أعلى. يقيس التماثل الدورات التي ليست حدودًا — أي الثقوب الحقيقية.

لماذا التماثل أسهل في الحساب من التشاكل (homotopy)؟

يلبي التماثل شرط الاستئصال ويتناسب مع المتتاليات الدقيقة الطويلة، لذا يمكن تجميع تماثل الفضاء من أجزاء أبسط؛ بينما لا تلبي مجموعات التشاكل أي مبدأ قطع من هذا القبيل وتقاوم الحساب المنهجي.