متعدد الشعب المتوازي
في الرياضيات ، يُطلق على متعدد الشعب القابل للاشتقاق ذي البعد n اسم القابل للتوازي [1] إذا كانت هناك حقول متجهية سلسة على متعدد الشعب، بحيث توفر كل نقطة من متجهات الظل أساسًا لمساحة الظل عند . وعلى نحو مكافئ، تكون الحزمة الظلية حزمة تافهة ، [2] بحيث تحتوي الحزمة الرئيسية المرتبطة من الإطارات الخطية على مقطع عالمي على
يُطلق على الاختيار الخاص لمثل هذا الأساس لحقول المتجهات اسم التوازي (أو التوازي المطلق ) لـ .
أمثلة
- مثال على ذلك هو الدائرة : يمكننا أن نأخذ V 1 ليكون حقل متجه الظل الوحدوي، على سبيل المثال يشير في اتجاه عكس عقارب الساعة. يمكن أيضًا موازاة طور البعد ، كما يمكن رؤيته من خلال التعبير عنه كحاصل ضرب ديكارتي للدوائر. على سبيل المثال، خذ طورًا وقم ببنائه من مربع من ورق الرسم البياني مع حافتين متقابلتين ملتصقتين معًا، للحصول على فكرة عن اتجاهي الظل في كل نقطة. بشكل عام، يمكن موازاة كل مجموعة لي G ، حيث يمكن تحريك أساس الفضاء المماس عند عنصر الهوية من خلال عمل مجموعة الترجمة G على G (كل ترجمة هي تماثل تفاضلي وبالتالي فإن هذه الترجمات تسبب تماثلات خطية بين الفضاءات المماسية للنقط في G ).
- كانت المشكلة الكلاسيكية هي تحديد أي من الكرات S n قابلة للتوازي. الحالة ذات البعد الصفري S 0 قابلة للتوازي بسهولة. الحالة S 1 هي الدائرة، والتي يمكن موازاتها كما تم شرحه بالفعل. تُظهر نظرية الكرة المشعرة أن S 2 غير قابلة للتوازي. ومع ذلك، يمكن موازاة S 3 ، لأنها مجموعة لي SU(2) . الكرة الوحيدة الأخرى القابلة للتوازي هي S 7 ؛ وقد أثبت ذلك في عام 1958، بواسطة فريدريش هيرزيبروخ وميشيل كيرفاير وراؤول بوت وجون ميلنور ، في عمل مستقل. تتوافق الكرات القابلة للتوازي بدقة مع عناصر معيار الوحدة في جبر القسمة المعياري للأعداد الحقيقية والأعداد المركبة والرباعيات والثمانيات ، مما يسمح للمرء ببناء التوازي لكل منها. إن إثبات عدم قابلية موازاة الكرات الأخرى أكثر صعوبة، ويتطلب طوبولوجيا جبرية .
- حاصل ضرب المتشعبات القابلة للتوازي هو قابل للتوازي.
- كل متعدد الشعب ثلاثي الأبعاد مغلق وقابل للتوجيه يمكن تنفيذه بالتوازي. [3]
ملاحظات
- أي متعدد الشعب قابل للتوازي يكون قابلاً للتوجيه .
- يتم تطبيق مصطلح متعدد الشعب المؤطر (أحيانًا متعدد الشعب المجهز ) عادةً على متعدد الشعب المضمن مع تبسيط معين للحزمة الطبيعية ، وأيضًا على متعدد الشعب المجرد (أي غير المضمن) مع تبسيط مستقر معين للحزمة المماسية .
- هناك مفهوم ذو صلة وهو مفهوم متعدد الشعب π . [4] يسمى متعدد الشعب السلس متعدد الشعب π إذا كانت الحزمة الطبيعية الخاصة به تافهة عند تضمينه في فضاء إقليدي عالي الأبعاد. وعلى وجه الخصوص، كل متعدد شعب قابل للتوازي هو متعدد شعب π.
انظر أيضا
- المخطط (الطوبولوجيا)
- متعدد قابل للتفاضل
- حزمة الإطار
- ثابت كيرفاير
- مجموعة إطارات متعامدة
- الحزمة الرئيسية
- الاتصال (رياضيات)
- البنية G
ملحوظات
- ^ بيشوب، ريتشارد ل.؛ جولدبرج، صامويل آي. (1968)، تحليل الموتر على المتشعبات ، نيويورك: ماكميلان، ص. 160
- ^ Milnor, John W.; Stasheff, James D. (1974), Characteristic Classes , Annals of Mathematics Studies, المجلد 76، مطبعة جامعة برينستون، ص 15، ISBN 0-691-08122-0
- ^ بينيديتي ، ريكاردو. ليسكا ، باولو (2019/07/23). "تأطير 3 مشعبات بأيدٍ عارية". L'Enseignement Mathématique . 64 (3): 395-413. أرخايف : 1806.04991 . دوى :10.4171/LEM/64-3/4-9. ISSN 0013-8584. S2CID 119711633.
- ^ ميلنور، جون دبليو. (1958)، المتشعبات القابلة للتفاضل والتي هي عبارة عن كرات متجانسة الشكل (PDF)
مراجع
- بيشوب، ريتشارد إل .؛ جولدبرج، صامويل آي. (1968)، تحليل الموتر على المتشعبات (الطبعة الأولى من دوفر عام 1980)، شركة ماكميلان، رقم ISBN 0-486-64039-6
- ميلنور، جون دبليو ؛ ستاشيف، جيمس دي. (1974)، الفئات المميزة ، مطبعة جامعة برينستون
- ميلنور، جون دبليو. (1958)، المتشعبات القابلة للتفاضل والتي هي عبارة عن كرات متجانسة الشكل (PDF) ، ملاحظات منسوخة
Original text
Rate this translation
Your feedback will be used to help improve Google Translate
