الفضاءات المماسية والحقول المتجهة
يربط الفضاء المماسي فضاءً متجهًا للسرعات بكل نقطة من متعدد الشعب، ويُسند الحقل المتجه هذه السرعة بسلاسة عبر متعدد الشعب، مما يرمز للتدفقات والتناظرات المتناهية في الصغر.
Definition
الفضاء المماسي عند نقطة من متعدد شعب أملس هو الفضاء المتجه لمتجهات السرعة للمنحنيات التي تمر عبر تلك النقطة (بشكل مكافئ، اشتقاقات الدوال الملساء عند النقطة)؛ والحقل المتجه هو إسناد أملس لمتجه مماسي لكل نقطة، أي قسم من الحزمة المماسية.
Scope
يُعرّف هذا الموضوع الفضاء المماسي — بشكل مكافئ عبر متجهات السرعة للمنحنيات، أو الاشتقاقات، أو المجموعات المتوافقة مع الانتقال — ويجمع الفضاءات المماسية في الحزمة المماسية. كما يطور تفاضل الخريطة الملساء، والحقول المتجهة كأقسام للحزمة المماسية، ومنحنياتها التكاملية وتدفقاتها، وقوس لي (Lie bracket) والمشتقة لي (Lie derivative)، ونظرية فروبينيوس (Frobenius) حول قابلية تكامل التوزيعات. وتظهر الفضاءات المماسية المزدوجة (Cotangent spaces) والأشكال الأحادية (one-forms) كبنية مزدوجة تؤدي إلى الأشكال التفاضلية.
Core questions
- ما هي التعريفات المتكافئة للمتجه المماسي، ولماذا تتفق؟
- كيف يؤثر تفاضل الخريطة الملساء على الفضاءات المماسية؟
- كيف تولد الحقول المتجهة التدفقات، وماذا يقيس قوس لي (Lie bracket) حول تدفقين؟
- متى يمكن تكامل عائلة من التوزيعات المماسية في متعددات شعب فرعية (نظرية فروبينيوس)؟
Key concepts
- الفضاء المماسي والمتجهات المماسية كاشتقاقات
- الحزمة المماسية وتفاضل الخريطة الملساء
- الحقول المتجهة، المنحنيات التكاملية، والتدفقات
- قوس لي (Lie bracket) والمشتقة لي (Lie derivative)
- التوزيعات ونظرية فروبينيوس (Frobenius) لقابلية التكامل
Clinical relevance
تُضفي المتجهات المماسية والحقول المتجهة طابعًا رسميًا على السرعة والقوة والتناظر المتناهي في الصغر؛ وهي الركيزة للأنظمة الديناميكية على متعددات الشعب، وجبر لي (Lie algebra) لمجموعة لي (Lie group)، وتراكيب الجيوديسيا والانحناء في الهندسة الريمانية.
History
ظهر التعريف الجوهري، الخالي من الإحداثيات، للفضاء المماسي كاشتقاقات في منتصف القرن العشرين، بناءً على نظرية لي (Lie) لمجموعات التحويل المستمرة وحساب كارتان (Cartan) للأشكال التفاضلية، مما أعطى الهندسة التفاضلية صياغتها الوظيفية الحديثة.
Key figures
- Élie Cartan
- Sophus Lie
- John M. Lee
Related topics
Seminal works
- lee2012
- warner1983
Frequently asked questions
- لماذا تُعرّف المتجهات المماسية كاشتقاقات؟
- تعريف الاشتقاق جوهري وخالٍ من الإحداثيات: المتجه المماسي هو مؤثر خطي على الدوال الملساء يرضي قاعدة لايبنتس (Leibniz rule)، مما يتجنب الإشارة إلى أي تضمين ويعمل على متعددات الشعب المجردة.
- ماذا يقيس قوس لي (Lie bracket) لحقلين متجهين؟
- يقيس مدى فشل تدفقات الحقلين المتجهين في التبادل؛ ويعني تلاشي القوس أنه يمكن اتباع التدفقات بأي ترتيب للوصول إلى نفس النقطة.