المتشعبات
بالتعريف المتشعب manifold هو فضاء يشبه فى جوار اى نقطة منه الفضاء الاقليدى $R^n$...
تذكر ان $R^1$ هو الخط...$R^2$ هو السطح...$R^3$ هو الحجم ..وهكذا..
حد boundary اى متشعب $M$ بعده $n$ هو متشعب آخر بعده $n-1$ نرمز له ب $\partial M$ ...
مثلا حد الخط هما نقطتا البداية و النهاية وحد القرص هو الدائرة المحيطة به..
حد boundary اى متشعب $M$ بعده $n$ هو متشعب آخر بعده $n-1$ نرمز له ب $\partial M$ ...
مثلا حد الخط هما نقطتا البداية و النهاية وحد القرص هو الدائرة المحيطة به..
نأخذ مباشرة بعض الامثلة..
-الكرة sphere فى بعد $n$ و نرمز لها ب $S^n$ ...من اجل $n=1$ نحصل على الدائرة ومن اجل $n=2$ نحصل على الكرة التى نعرفها...
-الفضاءات الاسقاطية المركبة complex projective spaces و نرمز لها ب $CP^n$ و الفضاءات الاسقاطية الحقيقية real projective spaces و نرمز لها ب $RP^n$..
الفضاء الاسقاطى الحقيقى $RP^n$ هو الكرة حيث كل نقطتان متعاكستان قطبيا antipodal نعتبرهما نفس النقطة...
أما الفضاء الاسقاطى المركب $CP^n$ فهو أكثر اهمية و نترك تعريفه الى فرصة اخرى..
ومن الامثلة ايضا على المتشعبات...
-متشعبات الزمر group manifolds ... كمثال نأخذ الزمرة $SU(2)$..عناصر الزمرة $SU(2)$ هى جميع المصفوفات $2\times 2$ التى تحقق شرط الاحادية $gg^+=g^+g=1$ و لها محدد يساوى واحد $det g=1$...
يمكن ان نبين بدون صعوبة كبيرة ان الزمرة
$SU(2)$
هى بالضبط الكرة
$S^3$....
دائما ما نستعمل على المتشعبات جمل احداثيات coordinate systems...
نفترض اولا انه لدينا غطاء covering للمتشعب يعطى بالمجموعة $\{U_i\}$ ...
المجموعة $U_i$ تسمى جوار neighborhood وهى جزء من $R^n$ او $C^n$ تغطى المتشعب حول نقطة ما...ليكن $\phi_i$ تطبيق من $U_i$ الى $R^n$..هذا التطبيق هو جملة الاحداثيات فى الجوار $U_i$ ...
ليكن $U_j$ جوار آخر مع تطبيق مرفق آخر $\phi_j$...نفترض ان الجوارين $U_i$ و $U_j$ متقاطعان ...انظر الصورة...
التحويل من الاحداثيات $\phi_i$ الى الاحداثيات $\phi_j$ فى التقاطع $U_i\cap U_j$ يعطى بدالة الانتقال
نأخذ كمثال الكرة $S^2$...ليكن $U_1$ الجوار الذى يغطى النصف الشمالى للكرة و ليكن $U_2$ الجوار الذى يغطى النصف الجنوبى للكرة...نعرف $z=x+iy$ ...فى هذه الحالة دالة الانتقال على التقاطع $U_1\cap U_2$ تعطى ب
جمل الاحداثيات
دائما ما نستعمل على المتشعبات جمل احداثيات coordinate systems...
نفترض اولا انه لدينا غطاء covering للمتشعب يعطى بالمجموعة $\{U_i\}$ ...
المجموعة $U_i$ تسمى جوار neighborhood وهى جزء من $R^n$ او $C^n$ تغطى المتشعب حول نقطة ما...ليكن $\phi_i$ تطبيق من $U_i$ الى $R^n$..هذا التطبيق هو جملة الاحداثيات فى الجوار $U_i$ ...
ليكن $U_j$ جوار آخر مع تطبيق مرفق آخر $\phi_j$...نفترض ان الجوارين $U_i$ و $U_j$ متقاطعان ...انظر الصورة...
التحويل من الاحداثيات $\phi_i$ الى الاحداثيات $\phi_j$ فى التقاطع $U_i\cap U_j$ يعطى بدالة الانتقال
\[\phi_{ji}=\phi_j.\phi_i^{-1}.\]
هذه الدالة يجب ان تنتمى الى $C^{\infty}$ بمعنى انها قابلة للاشتقاق عدد غير منته من المرات اى ان كل مشتقاتها من كل الرتب هى دوال مستمرة...
اذا كانت $\phi_{ji}$ دالة حقيقية فان المتشعب حقيقى تحليلى real analytic manifold...أما اذا كانت $\phi_{ji}$ مركبة هولومورفية holomorphic فان المتشعب يسمى متشعب مركب complex manifold...نأخذ كمثال الكرة $S^2$...ليكن $U_1$ الجوار الذى يغطى النصف الشمالى للكرة و ليكن $U_2$ الجوار الذى يغطى النصف الجنوبى للكرة...نعرف $z=x+iy$ ...فى هذه الحالة دالة الانتقال على التقاطع $U_1\cap U_2$ تعطى ب
\[\phi_{12}(z)=\frac{1}{z}.\]
من الواضح اذن ان الكرة متشعب مركب...
No comments:
Post a Comment