حزمة طبيعية

في الهندسة التفاضلية ، وهو فرع من فروع الرياضيات ، تُعرف الحزمة الطبيعية بأنها أي حزمة ليفية مرتبطة بحزمة الإطار من الرتبة الأعلى.Fر(م){\displaystyle F^{r}(M)}بالنسبة للبعضر1{\displaystyle r\geq 1}بمعنى آخر، تعتمد دوال الانتقال الخاصة بها وظيفيًا على التغيرات المحلية للإحداثيات في الفضاء الأساسي.م{\displaystyle M}بالإضافة إلى مشتقاتها الجزئية حتى رتبة على الأكثرر{\displaystyle r}[ 1 ] [ 2 ]

تم تقديم مفهوم الحزمة الطبيعية في عام 1972 من قبل ألبرت ناينهاوس كإعادة صياغة حديثة للمفهوم الكلاسيكي للحزمة العشوائية من الأشكال الهندسية. [ 3 ]

تعريف

يتركمو{\displaystyle {\mathcal {M}}f}تشير إلى فئة المشعبات الملساء والخرائط الملساء ومون{\displaystyle {\mathcal {M}}f_{n}}فئة السلاسةن{\displaystyle n}المشعبات ذات الأبعاد n والتشاكلات التفاضلية المحلية . ضع في اعتبارك أيضًا الفئةFم{\displaystyle {\mathcal {FM}}}من متعددات الألياف وتشكلات الحزم، والدالةب:Fممو{\displaystyle B:{\mathcal {FM}}\to {\mathcal {M}}f}ربط أي مشعب ليفي بمشعب قاعدته.

الحزمة الطبيعية (أو دالة الحزمة) هي دالةF:مونFم{\displaystyle F:{\mathcal {M}}f_{n}\to {\mathcal {FM}}}تحقيق الخصائص الثلاث التالية:

  1. بF=أناد{\displaystyle B\circ F=\mathrm {id} }، أيF(م){\displaystyle F(M)}عبارة عن مشعب ليفي فوقم{\displaystyle M}، مع الإشارة إلى الإسقاط بواسطةصم:F(م)م{\displaystyle p_{M}:F(M)\to M}؛
  2. لويوم{\displaystyle U\subseteq M}هي فضاء فرعي مفتوح ، مع خريطة تضمينأنا:يوم{\displaystyle i:U\hookrightarrow M}، ثمF(يو){\displaystyle F(U)}يتزامن معصم-1(يو)F(م){\displaystyle p_{M}^{-1}(U)\subseteq F(M)}، وF(أنا):F(يو)F(م){\displaystyle F(i):F(U)\to F(M)}هل التضمينص-1(يو)F(م){\displaystyle p^{-1}(U)\hookrightarrow F(M)}؛
  3. لأي خريطة سلسةو:P×مشمال{\displaystyle f:P\times M\to N}بحيثو(ص،):مشمال{\displaystyle f(p,\cdot ):M\to N}هو تماثل موضعي لكلصP{\displaystyle p\in P}ثم الدالةP×F(م)F(شمال)،(ص،x)F(و(ص،))(x){\displaystyle P\times F(M)\to F(N),(p,x)\mapsto F(f(p,\cdot ))(x)}سلس.

ونتيجة للشرط الأول، يحدث تحول طبيعيص:Fأنادمون{\displaystyle p:F\to \mathrm {id} _{{\mathcal {M}}f_{n}}}.

الحزم الطبيعية ذات الرتبة المحدودة

مجموعة طبيعيةF:مونFم{\displaystyle F:{\mathcal {M}}f_{n}\to {\mathcal {FM}}}يُطلق عليه اسم ذو رتبة محدودةر{\displaystyle r}إذا، لكل تحويل تفاضلي محليو:مشمال{\displaystyle f:M\to N}وكل نقطةxم{\displaystyle x\in M}الخريطةF(و)x:F(م)xF(شمال)و(x){\displaystyle F(f)_{x}:F(M)_{x}\to F(N)_{f(x)}}يعتمد فقط على الطائرة النفاثةجxرو{\displaystyle j_{x}^{r}f}بصورة مكافئة، لكل تحويلات تفاضلية محليةو،ز:مشمال{\displaystyle f,g:M\to N}وكل نقطةxم{\displaystyle x\in M}، لدى المرءجxرو=جxرزF(و)|F(م)x=F(ز)|F(م)x.{\displaystyle j_{x}^{r}f=j_{x}^{r}g\Rightarrow F(f)|_{F(M)_{x}}=F(g)|_{F(M)_{x}}.}حزم طبيعية من النظامر{\displaystyle r}تتطابق مع حزم الألياف المرتبطة بهار{\displaystyle r}حزم الإطارات من الرتبة -thFر(م){\displaystyle F^{r}(M)}.

بعد عدة حالات وسيطة، [ 1 ] [ 4 ] أثبت إبستين وثورستون أن جميع الحزم الطبيعية لها رتبة محدودة. [ 2 ]

طبيعيΓ{\displaystyle \Gamma }-حزم

مفهوم الطبيعيΓ{\displaystyle \Gamma }تنشأ الحزمة من الحزمة الطبيعية عن طريق حصرها في الفئات المناسبة منΓ{\displaystyle \Gamma }-مشعبات و منΓ{\displaystyle \Gamma }- مشعبات ليفية، حيثΓ{\displaystyle \Gamma }هي زمرة زائفة . الحالة عندماΓ{\displaystyle \Gamma }هي الزمرة الزائفة لجميع التشاكلات التفاضلية بين المجموعات الفرعية المفتوحة منRن{\displaystyle \mathbb {R} ^{n}}يستعيد المفهوم العادي للحزمة الطبيعية.

في ظل افتراضات مناسبة، طبيعيΓ{\displaystyle \Gamma }تتمتع الحزم بترتيب محدود أيضًا. [ 5 ] [ 6 ] [ 7 ]

أمثلة

من أمثلة الحزم الطبيعية (من الدرجة الأولى) حزمة المماستيم{\displaystyle TM}من مشعبم{\displaystyle M}.

ومن الأمثلة الأخرى حزم الظل التمام ، وحزم مقاييس التوقيع(ر،s){\displaystyle (r,s)}وحزمة الاتصالات الخطية . [ 8 ]

ملحوظات

  1. 1 2 باليه، ريتشارد ستيرنغ، تشو ليان (1977-01-01). "للحزم الطبيعية رتبة محدودة" . الطوبولوجيا . 16 (3): 271-277 . doi : 10.1016/0040-9383(77)90008-8 . ISSN 0040-9383 . 
  2. 1 2 إبستين، دكتوراه في إدارة الأعمال ؛ ثورستون، دبليو بي (1979). "مجموعات التحويل والحزم الطبيعية" . وقائع الجمعية الرياضية في لندن . s3-38 (2): 219– 236. doi : 10.1112/plms/s3-38.2.219 .
  3. ^ ألبرت ، نيجينهويس (1972). "الحزم الطبيعية وخصائصها العامة" (PDF) . الهندسة التفاضلية (على شرف كينتارو يانو) . طوكيو: كينوكونيا : 317- 334.
  4. تيرنغ، تشو ليان (1978). "حزم المتجهات الطبيعية والمؤثرات التفاضلية الطبيعية" . المجلة الأمريكية للرياضيات . 100 (4): 775-828 . doi : 10.2307/2373910 . ISSN 0002-9327 . 
  5. سلوفاك، يان (1991). "دوال الحزم على المشعبات الليفية" . حوليات التحليل والهندسة العالمية . 9 (2): 129-143 . doi : 10.1007/BF00776852 . ISSN 0232-704X . 
  6. كولار، إيفان؛ سلوفاك، يان؛ ميخور، بيتر دبليو. (1993). العمليات الطبيعية في الهندسة التفاضلية . برلين، هايدلبرغ: سبرينغر برلين هايدلبرغ. doi : 10.1007/978-3-662-02950-3 . ISBN 978-3-642-08149-1.
  7. ^ بنعليلي، محمد (1994/09/01). "Fibrés Naturels sur la catégorie des Γ-variétés" [ الحزم الطبيعية من فئة المشعبات Γ ] . Rendiconti del Circolo Matematico di Palermo Series 2 (باللغة الفرنسية). 43 (3): 309-328 . دوى : 10.1007 / BF02844245 . ردمك 1973-4409 . 
  8. فاتيبين، لورينزو؛ فرانكافيليا، ماورو (2003). الشكلية الطبيعية والقياسية الطبيعية لنظرية الحقول الكلاسيكية . سبرينغر. doi : 10.1007/978-94-017-2384-8 . ISBN 978-1-4020-1703-2.

مراجع

  • كولار، إيفان؛ ميخور، بيتر؛ سلوفاك، يان (1993)، المؤثرات الطبيعية في الهندسة التفاضلية (ملف PDF) ، سبرينغر-فيرلاغ، مؤرشف من النسخة الأصلية (ملف PDF) بتاريخ 30 مارس 2017 ، تم استرجاعه بتاريخ 15 أغسطس 2017
  • كروبكا، ديميتر؛ جانيسكا، جوزيف (1990)، محاضرات عن الثوابت التفاضلية ، Univerzita JE Purkyně V Brně، ISBN 80-210-0165-8
  • ساوندرز، دي جيه (1989)، هندسة حزم النفاثات ، مطبعة جامعة كامبريدج، رقم ISBN 0-521-36948-7