متعدد شعب

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

في الرياضيات، متعدد الشعب أو الشتيتة (بالإنجليزية: Manifold) هو فضاء طوبولوجي يشبه الفضاء الإقليدي حول كل نقطة.[1][2][3] بشكل أدق، لكل نقطة في متعدد شعب نونيّ -الأبعاد جوار هوميمورفي للفضاء الإقليدي النونيّ الأبعاد.

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

ورغم أن متعدد الشعب يبدو كالفضاء الإقليدي محليًا (أي في جوار كل نقطة) إلا أنه قد لا يكون كذلك شموليًا. على سبيل المثال، سطح الكرة ليس فضاء إقليديًا، ولكن في منطقة معينة يمكن إحداثه بواسطة إسقاط خرائط للمنطقة على الفضاء الإقليدي (في سياق متعددات الشعب تسمّى نظم إحداثيّات). في حال أن تندرج منطقة تحت نظامين إحداثيين، لا تتطابق الإحداثيات تمامًا وبالتالي يتطلّب تحويل للانتقال من واحد للآخر يسمى «دالة انتقالية».

مفهوم متعدد الشعب هو مفهوم جوهري لعديد من فروع الهندسة والفيزياء الرياضية لأنها تسمح بوصف وفهم العديد من البنى المعقدة باستخدام خواص الفضاء الإقليدي الأكثر فهمًا نسبيًا. تطرأ متعددات الشعب تلقائيًا كمجموعات حل لنظم المعادلات وكرسوم بيانية للدوال. لمتعددات الشعب خواص إضافية. أحد الأصناف الهامة من متعددات الشعب هو متعددات الشعب التفاضلية. هذه البنية التفاضلية تسمح باستخدام أساليب التفاضل على متعددات الشعب. المقياس الريماني على متعدد شعب يسمح بقياس المسافات والزوايا. متعددات الشعب الجدلية (Symplectic manifolds) تخدم كفضاءات طورية في الميكانيكا الهاميلتونية، بينما تمثّل متعددات الشعب اللورنتزية (Lorentzian manifolds) الرباعية الأبعاد الزمكان في النسبية العامة.

الأمثلة المحفّزة

الدائرة

الشكل 1: النظم البيانية الأربعة كل منها تربط جزءًا من الدائرة إلى فترة مفتوحة، ومعًا يغطون الدائرة بأكملها.

غير الخط، تعتبر الدائرة أبسط مثال على متعدد شعب. تتجاهل الطوبولوجيا الانحناء، ولذلك فإن قطعة صغيرة من الدائرة تُعامل تمامًا كما تُعامل قطعة صغيرة من خط. على سبيل المثال، انظر إلى الجزء العلوي من دائرة الوحدة، حيث الإحداثية y موجبة (القوس الأصفر في الشكل 1).  أي نقطة في هذا القوس يمكن التعبير عنها بإحداثيتها  x. لذلك، الإسقاط على الإحداثيّ الأول يمثّل دالة مستمرّة وتقابلية من القوس العلوي للفترة المفتوحة (-1، 1):

χtop(x,y)=x.

دوال كهذه مع المناطق المفتوحة التي يدلّون عليها تسمى نظمًا إحداثية.  بشكل مماثل، هناك نظم إحداثية للأقواس الأيسر  (أزرق) والأسفل (أحمر) والأيمن (أخضر) من الدائرة:

χbottom(x,y)=x
χleft(x,y)=y
χright(x,y)=y.

معًا، تغطي جميع هذه النظم البيانية الدائرة ومجموعة هذه النظم تسمى أطلسًا.

النظام البياني العلوي والأيمن يتداخلان، حيث تقاطعهم يقع في ربع الدائرة حيث كلا الإحداثيين x وy موجبان. النظامان χtop و  χright كلاهما يدلّان هذا المقطع إلى الفترة (0,1). إذًا، بالإمكان إنشاء دالة T من الفترة (0,1) لنفسها، والتي تستخدم معاكس دالّة النظام العلوي للوصول للدائرة ومن ثم العودة للفترة عن طريق دالّة النظام الأيمن. ليكن a أي عدد في (0,1). لدينا أن:

T(a)=χright(χtop1[a])=χright(a,1a2)=1a2

تسمى هذه الدالة دالة انتقالية.

شكل 2: نظام بياني لمتعدد شعب الدائرة مبني على الميل، يغطي جميع نقط الدائرة سوى نقطة واحدة (الزرقاء).

النظم البيانية العلوية والسفلية واليمنى واليسرى توضّح أن الدائرة متعدد شعب، ولكنها لا تكوّن الأطلس الوحيد للدائرة. لا يجب أن تكون النظم البيانية إسقاطات هندسية، وعدد النظم هو مسألة اختيار. انظر لدوال النظم:

χminus(x,y)=s=y1+x

و

χplus(x,y)=t=y1x

هنا، s هو ميل الخط الذي يمر بالنقطة (x,y) ونقطة المحور الثابتة (−1, 0)، وبالمثل t هو الميل ولكن بنقطة المحور (+1, 0). الدالة العكسية من s إلى (x, y) تعطى من خلال

x=1s21+s2y=2s1+s2

من السهل تأكيد بأن x2 + y2 = 1 لجميع قيم الميل s. هذان النظامان يوفّران أطلسًا آخر للدائرة، حيث

t=1s

كل من النظم يحذف نقطة واحدة، إما (−1, 0) لـs أو (+1, 0) لـt. من الممكن إثبات أنه لا يمكن تغطية كل الدائرة بنظام بياني واحد.

تركيبات أخرى

زمرة لاي (Lie Group)

من أشهر الأمثلة لمتعدد الشعب هي زمر لاي، وهي عبارة عن متعدد شعب ناعم (قابل للتفاضل لانهائياً)، ولديها أيضا بنية الزمرة. مثلاً، تعد الزمرة المتعامدة الخاصة SO(n,R) متعدد شعب حيث يتم اعتبار المصفوفات ARn×n كنقاط في الفضاء Rn2 وإثبات خصائص متعدد الشعب باستخدام المبرهنة عبر الدوال الضمنية.[4]

مراجع

  1. ^ Sikorski، R. (1967). "Abstract covariant derivative". Coll. Math. ج. 18: 251–272. مؤرشف من الأصل في 2014-10-23.
  2. ^ Shigeyuki Morita؛ Teruko Nagase؛ Katsumi Nomizu (2001). Geometry of Differential Forms. American Mathematical Society Bookstore. ص. 12. ISBN:0-8218-1045-6. مؤرشف من الأصل في 2019-12-15.
  3. ^ Whitney، H. (1936). "Differentiable Manifolds". Ann. of Math. 2. ج. 37 ع. 3: 645–680. JSTOR:1968482.
  4. ^ Classical Mathematical Physics - Dynamical Systems and Field | Walter Thirring | Springer (بEnglish). Archived from the original on 2018-02-19.