قابلية التوجيه

معظم الأسطح التي نصادفها في العالم المادي قابلة للتوجيه. فالكرات والمستويات والأشكال الحلقية قابلة للتوجيه، على سبيل المثال. لكن شرائط موبيوس والمستويات الإسقاطية الحقيقية وزجاجات كلاين غير قابلة للتوجيه. وهي، كما هو موضح في${\displaystyle 3}$جميعها ذات أبعاد، ولها جانب واحد فقط. لا يمكن تضمين المستوى الإسقاطي الحقيقي وزجاجة كلاين في${\displaystyle \mathbb {R} ^{3}}$، فقط مع تقاطعات جميلة.

لاحظ أن السطح المدمج محليًا له دائمًا وجهان، لذا فإن النملة قصيرة النظر التي تزحف على سطح ذي وجه واحد ستظن أن هناك "وجهًا آخر". يكمن جوهر أحادية الوجه في أن النملة تستطيع الزحف من أحد وجهي السطح إلى "الوجه الآخر" دون المرور عبر السطح أو الانقلاب فوق حافته، بل بمجرد الزحف لمسافة كافية.

بشكل عام، لا تُعادل خاصية قابلية التوجيه خاصية ثنائية الجوانب؛ ومع ذلك، ينطبق هذا عندما يكون الفضاء المحيط (مثل${\displaystyle R^{3}}$ الشكل أعلاه قابل للتوجيه. على سبيل المثال، يمكن توجيه حلقة مضمنة في

${\displaystyle K^{2}\times S^{1}}$

يمكن أن يكون ذا وجه واحد، ويمكن أن تكون زجاجة كلاين في نفس المساحة ذات وجهين؛ هنا${\displaystyle K^{2}}$يشير إلى زجاجة كلاين.

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

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

يمكن تعميم هذا النهج على أي${\displaystyle n}$متعدد الشعب ذو التثليث. ومع ذلك، فإن بعض متعددات الشعب الرباعية لا تحتوي على تثليث، وبشكل عام بالنسبة لـ${\displaystyle n>4}$ بعض${\displaystyle n}$-المشعبات لها تثليثات غير متكافئة.

لو${\displaystyle H_{1}(S)}$يشير إلى مجموعة التماثل الأولى لسطح مغلق${\displaystyle S}$، ثم${\displaystyle S}$يكون قابلاً للتوجيه إذا وفقط إذا${\displaystyle H_{1}(S)}$يحتوي على مجموعة فرعية تافهة للالتواء . بتعبير أدق، إذا${\displaystyle S}$إذا كان قابلاً للتوجيه${\displaystyle H_{1}(S)}$هي مجموعة أبيلية حرة ، وإذا لم تكن كذلك...${\displaystyle H_{1}(S)=F+\mathbb {Z} /2\mathbb {Z} }$أين${\displaystyle F}$هو أبيلي حر، و${\displaystyle \mathbb {Z} /2\mathbb {Z} }$يتم توليد العامل بواسطة المنحنى الأوسط في شريط موبيوس المضمن في${\displaystyle S}$.

تتطلب التعريفات الأكثر بديهية ما يلي:${\displaystyle M}$أن تكون متعددة الشعب قابلة للتفاضل. هذا يعني أن دوال الانتقال في أطلس${\displaystyle M}$نكون${\displaystyle C^{1}}$الدوال. تقبل هذه الدالة محددًا جاكوبيًا . عندما يكون المحدد الجاكوبي موجبًا، يُقال إن دالة الانتقال تحافظ على التوجيه . أطلس موجه على${\displaystyle M}$هو أطلس تحافظ فيه جميع وظائف الانتقال على الاتجاه. ${\displaystyle M}$يكون قابلاً للتوجيه إذا كان يقبل أطلسًا موجهًا. عندما${\displaystyle n>0}$، اتجاه​${\displaystyle M}$هو أطلس موجه بأقصى قدر. (عندما${\displaystyle n=0}$، أي${\displaystyle M}$هي نقطة، اتجاه لـ${\displaystyle M}$هي دالة${\displaystyle M\to \{\pm 1\}}$.)

يمكن أيضًا التعبير عن قابلية التوجيه والاتجاهات بدلالة الحزمة المماسية. الحزمة المماسية هي حزمة متجهة ، لذا فهي حزمة ليفية ذات مجموعة هيكلية.${\displaystyle \operatorname {GL} (n,\mathbb {R} )}$أي أن دوال الانتقال للمتشعب تحث دوال انتقال على الحزمة المماسية، وهي تحويلات خطية ليفية. إذا أمكن اختزال مجموعة البنية إلى المجموعة${\displaystyle \operatorname {GL} ^{+}(n,\mathbb {R} )}$من مصفوفات المحددات الموجبة، أو بصورة مكافئة إذا وُجد أطلس تحدد دوال انتقاله تحويلاً خطياً يحافظ على الاتجاه على كل فضاء مماس، فإن المتشعب${\displaystyle M}$قابل للتوجيه. على العكس من ذلك،${\displaystyle M}$تكون قابلة للتوجيه إذا وفقط إذا أمكن اختزال مجموعة البنية للحزمة المماسية بهذه الطريقة. ويمكن ملاحظة نتائج مماثلة بالنسبة لحزمة الإطار.

هناك طريقة أخرى لتحديد الاتجاهات على مشعب قابل للتفاضل وهي من خلال أشكال الحجم . شكل الحجم هو مقطع لا يتلاشى في أي مكان${\displaystyle \omega }$ل${\displaystyle {\bigwedge }^{\!n}T^{*}M}$، أعلى قوة خارجية لحزمة ظل التمام لـ${\displaystyle M}$. على سبيل المثال،${\displaystyle \mathbb {R} ^{n}}$له شكل حجم قياسي معطا بواسطة${\displaystyle dx^{1}\wedge \cdots \wedge dx^{n}}$. بالنظر إلى شكل حجمي على${\displaystyle M}$، مجموعة جميع الرسوم البيانية${\displaystyle U\to \mathbb {R} ^{n}}$والتي عندها يعود شكل الحجم القياسي إلى مضاعف موجب لـ${\displaystyle \omega }$هو أطلس موجه. وبالتالي فإن وجود شكل حجمي يعادل قابلية توجيه المتشعب.

يمكن دمج أشكال الحجم ومتجهات المماس لإعطاء وصف آخر للتوجيه. إذا${\displaystyle X_{1},\ldots ,X_{n}}$هي أساس متجهات المماس عند نقطة${\displaystyle p}$إذاً، يُقال إن الأساس يميني إذا${\displaystyle \omega (X_{1},\ldots ,X_{n})>0}$تكون دالة الانتقال حافظة للاتجاه إذا وفقط إذا كانت تُرسل القواعد اليمينية إلى قواعد يمينية أخرى. وجود شكل حجمي يستلزم اختزال مجموعة البنية للحزمة المماسية أو حزمة الإطار إلى${\displaystyle \operatorname {GL} ^{+}(n,\mathbb {R} )}$وكما كان الحال سابقًا، فإن هذا يعني إمكانية توجيه${\displaystyle M}$. على العكس من ذلك، إذا${\displaystyle M}$إذا كان قابلاً للتوجيه، فيمكن حينها ربط أشكال الحجم المحلية معًا لإنشاء شكل حجم عالمي، حيث أن قابلية التوجيه ضرورية لضمان عدم اختفاء الشكل العالمي في أي مكان.

يكمن جوهر جميع التعريفات السابقة لقابلية توجيه متعدد الشعب التفاضلي في مفهوم دالة الانتقال الحافظة للتوجيه. وهذا يثير التساؤل حول ما الذي تحافظ عليه هذه الدوال الانتقالية تحديدًا. لا يمكنها أن تحافظ على توجيه متعدد الشعب لأن توجيه متعدد الشعب هو أطلس، ومن غير المنطقي القول بأن دالة انتقالية تحافظ على أطلس تنتمي إليه أو لا تحافظ عليه.

يمكن حل هذه المسألة بتحديد التوجهات المحلية. على مشعب أحادي البعد، يكون التوجه المحلي حول نقطة ما${\displaystyle p}$يتوافق ذلك مع اختيار اليسار واليمين بالقرب من تلك النقطة. على سطح ثنائي الأبعاد، يتوافق ذلك مع اختيار اتجاه عقارب الساعة وعكس اتجاه عقارب الساعة. تشترك هاتان الحالتان في سمة مشتركة، وهي أنهما تُوصفان من حيث السلوك ذي الأبعاد العليا بالقرب من${\displaystyle p}$لكن ليس في${\displaystyle p}$أما بالنسبة للحالة العامة، فلنفترض${\displaystyle M}$ليكن طوبولوجيًا${\displaystyle n}$متعدد الشعب. توجيه محلي لـ${\displaystyle M}$حول نقطة${\displaystyle p}$هو اختيار مولد المجموعة

${\displaystyle H_{n}\left(M,M\setminus \{p\};\mathbb {Z} \right).}$

لإدراك الأهمية الهندسية لهذه المجموعة، اختر مخططًا حولها${\displaystyle p}$يوجد في ذلك المخطط نطاق من${\displaystyle p}$وهي كرة مفتوحة${\displaystyle B}$حول الأصل${\displaystyle O}$بحسب نظرية الاستئصال ،${\displaystyle H_{n}\left(M,M\setminus \{p\};\mathbb {Z} \right)}$متماثل مع${\displaystyle H_{n}\left(B,B\setminus \{O\};\mathbb {Z} \right)}$الكرة${\displaystyle B}$قابلة للانكماش، لذا فإن مجموعات التماثل الخاصة بها تتلاشى باستثناء الدرجة الصفرية، والفضاء${\displaystyle B\setminus O}$هو${\displaystyle (n-1)}$-sphere، لذا تختفي مجموعات التماثل الخاصة بها إلا في الدرجات${\displaystyle n-1}$و${\displaystyle 0}$تُظهر عملية حسابية باستخدام التسلسل الدقيق الطويل في علم التماثل النسبي أن مجموعة التماثل المذكورة أعلاه متماثلة مع${\displaystyle H_{n-1}\left(S^{n-1};\mathbb {Z} \right)\cong \mathbb {Z} }$وبالتالي، فإن اختيار المولد يتوافق مع قرار ما إذا كانت الكرة المحيطة بـ في المخطط المعطى${\displaystyle p}$إيجابي أو سلبي. انعكاس لـ${\displaystyle \mathbb {R} ^{n}}$من خلال الأصل، يعمل عن طريق النفي على${\displaystyle H_{n-1}\left(S^{n-1};\mathbb {Z} \right)}$لذا فإن الأهمية الهندسية لاختيار المولد هي أنه يميز المخططات عن انعكاساتها.

على مشعب طوبولوجي، تكون دالة الانتقال حافظة للاتجاه إذا كانت، عند كل نقطة${\displaystyle p}$في نطاق اختصاصها، تحدد مولدات${\displaystyle H_{n}\left(M,M\setminus \{p\};\mathbb {Z} \right)}$ومن هنا، تكون التعريفات ذات الصلة هي نفسها كما في حالة التفاضل. الأطلس الموجه هو أطلس تكون فيه جميع دوال الانتقال محافظة على التوجيه.${\displaystyle M}$يكون قابلاً للتوجيه إذا كان يقبل أطلسًا موجهًا، وعندما${\displaystyle n>0}$، اتجاه​${\displaystyle M}$هو أطلس موجه بأقصى قدر.

بشكل بديهي، توجه${\displaystyle M}$ينبغي أن يحدد ذلك توجهاً محلياً فريداً لـ${\displaystyle M}$عند كل نقطة. ويتضح ذلك من خلال ملاحظة أن أي مخطط في الأطلس الموجه حول${\displaystyle p}$يمكن استخدامها لتحديد كرة حول${\displaystyle p}$وهذه الكرة تحدد مولدًا لـ${\displaystyle H_{n}\left(M,M\setminus \{p\};\mathbb {Z} \right)}$علاوة على ذلك، أي مخطط آخر حول${\displaystyle p}$يرتبط هذا المخطط بالمخطط الأول من خلال دالة انتقال تحافظ على الاتجاه، وهذا يعني أن المخططين ينتجان نفس المولد، ومن ثم يكون المولد فريدًا.

التعريفات الهومولوجية البحتة ممكنة أيضاً. بافتراض أن${\displaystyle M}$مغلق ومتصل،${\displaystyle M}$يكون قابلاً للتوجيه إذا وفقط إذا${\displaystyle n}$مجموعة التماثل th${\displaystyle H_{n}(M;\mathbb {Z} )}$متماثل مع الأعداد الصحيحة${\displaystyle \mathbb {Z} }$اتجاه​​${\displaystyle M}$يُعد اختيار المولد خيارًا${\displaystyle \alpha }$من هذه المجموعة. يحدد هذا المولد أطلسًا موجهًا عن طريق تثبيت مولد المجموعة الدورية اللانهائية${\displaystyle H_{n}(M;\mathbb {Z} )}$وباعتبار المخططات الموجهة هي تلك التي${\displaystyle \alpha }$يدفع للأمام نحو المولد الثابت. وعلى العكس من ذلك، يحدد أطلس موجه مثل هذا المولد حيث يمكن لصق التوجهات المحلية المتوافقة معًا لإعطاء مولد لمجموعة التماثل.${\displaystyle H_{n}(M;\mathbb {Z} )}$[ ^{4 ]​}

متعدد الشعب${\displaystyle M}$تكون قابلة للتوجيه إذا وفقط إذا كانت فئة ستيفل-ويتني الأولى${\displaystyle w_{1}(M)\in H^{1}(M;\mathbb {Z} /2\mathbb {Z} )}$تتلاشى. على وجه الخصوص، إذا كانت مجموعة التماثل الأولى مع${\displaystyle \mathbb {Z} /2\mathbb {Z} }$إذا كانت المعاملات تساوي صفرًا، فإن المتشعب يكون قابلاً للتوجيه. علاوة على ذلك، إذا${\displaystyle M}$قابل للتوجيه و${\displaystyle w_{1}}$يختفي، ثم${\displaystyle H^{0}(M;\mathbb {Z} /2\mathbb {Z} )}$يُحدد هذا التوصيف لقابلية التوجيه خيارات التوجهات. ^{[ 5 ]} ويمتد هذا التوصيف لقابلية التوجيه ليشمل قابلية توجيه حزم المتجهات العامة على${\displaystyle M}$، وليس فقط حزمة المماس.

حول كل نقطة من${\displaystyle M}$هناك اتجاهان محليان. وبشكل بديهي، توجد طريقة للانتقال من اتجاه محلي عند نقطة معينة.${\displaystyle p}$إلى توجيه محلي في نقطة قريبة${\displaystyle p^{\prime }}$: عندما تقع النقطتان على نفس مخطط الإحداثيات${\displaystyle U\to \mathbb {R} ^{n}}$يحدد مخطط الإحداثيات هذا التوجهات المحلية المتوافقة عند${\displaystyle p}$و${\displaystyle p^{\prime }}$وبالتالي يمكن إعطاء مجموعة التوجهات المحلية طوبولوجيا، وهذه الطوبولوجيا تجعلها متعددة الشعب.

بتعبير أدق، دع${\displaystyle O}$لتكن مجموعة جميع التوجهات المحلية لـ${\displaystyle M}$. لتكوين الطوبولوجيا${\displaystyle O}$سنحدد قاعدة فرعية لطوبولوجيتها. ليكن${\displaystyle U}$ليكن مجموعة فرعية مفتوحة من${\displaystyle M}$تم اختيارها بحيث${\displaystyle H_{n}(M,M\setminus U;\mathbb {Z} )}$متماثل مع${\displaystyle \mathbb {Z} }$افترض أن${\displaystyle \alpha }$هو مولد هذه المجموعة. لكل${\displaystyle p}$في${\displaystyle U}$، هناك وظيفة دفع للأمام${\displaystyle H_{n}(M,M\setminus U;\mathbb {Z} )\to H_{n}\left(M,M\setminus \{p\};\mathbb {Z} \right)}$المجال المقابل لهذه المجموعة له مولدان، و${\displaystyle \alpha }$الخرائط إلى أحدها. الطوبولوجيا على${\displaystyle O}$يتم تعريفها بحيث

${\displaystyle \{{\text{Image of }}\alpha {\text{ in }}H_{n}\left(M,M\setminus \{p\};\mathbb {Z} \right)\colon p\in U\}}$

مفتوح.

توجد خريطة أساسية${\displaystyle \pi :O\to M}$وهذا يرسل توجيهًا محليًا في${\displaystyle p}$ل${\displaystyle p}$من الواضح أن كل نقطة من${\displaystyle M}$يوجد بالضبط صورتان أصليتان تحت${\displaystyle \pi }$. في الحقيقة،${\displaystyle \pi }$بل إنها تماثل موضعي، لأن الصور العكسية للمجموعات المفتوحة${\displaystyle U}$العناصر المذكورة أعلاه متماثلة شكليًا مع الاتحاد المنفصل لنسختين من${\displaystyle U}$. لو${\displaystyle M}$إذا كان قابلاً للتوجيه،${\displaystyle M}$هي نفسها واحدة من هذه المجموعات المفتوحة، لذلك${\displaystyle O}$هو اتحاد منفصل لنسختين من${\displaystyle M}$. لو${\displaystyle M}$غير قابل للتوجيه، إذن${\displaystyle O}$متصل وقابل للتوجيه. المشعب${\displaystyle O}$يُطلق عليه اسم الغطاء المزدوج الموجه .

لو${\displaystyle M}$إذا كان متعدد الشعب ذو حدود، فإن اتجاه${\displaystyle M}$يُعرَّف بأنه اتجاه داخلي. ويؤدي هذا الاتجاه إلى اتجاه لـ${\displaystyle \partial M}$في الواقع، لنفترض أن اتجاه${\displaystyle M}$ثابت. ليكن${\displaystyle U\to \mathbb {R} _{+}^{n}}$لنفترض وجود مخطط عند نقطة حدودية لـ${\displaystyle M}$والتي، عند اقتصارها على الجزء الداخلي من${\displaystyle M}$, is in the chosen oriented atlas. The restriction of this chart to ${\displaystyle \partial M}$ is a chart of ${\displaystyle \partial M}$. Such charts form an oriented atlas for ${\displaystyle \partial M}$.

When ${\displaystyle M}$ is smooth, at each point ${\displaystyle p}$ of ${\displaystyle \partial M}$, the restriction of the tangent bundle of ${\displaystyle M}$ to ${\displaystyle \partial M}$ is isomorphic to ${\displaystyle T_{p}\partial M\oplus \mathbb {R} }$, where the factor of ${\displaystyle \mathbb {R} }$ is described by the inward pointing normal vector. The orientation of ${\displaystyle T_{p}\partial M}$ is defined by the condition that a basis of ${\displaystyle T_{p}\partial M}$ is positively oriented if and only if it, when combined with the inward pointing normal vector, defines a positively oriented basis of ${\displaystyle T_{p}M}$.

في الهندسة اللورنتزية ، يوجد نوعان من التوجيه: التوجيه المكاني والتوجيه الزمني . يلعب هذان النوعان دورًا في البنية السببية للزمكان. ^{[ 6 ]} في سياق النسبية العامة ، يكون الزمكان قابلًا للتوجيه المكاني إذا كان، كلما انطلق مراقبان يمينيان في مركبتين فضائيتين من نفس نقطة الزمكان، ثم التقيا مرة أخرى عند نقطة أخرى، يظلان يمينيين بالنسبة لبعضهما البعض. أما إذا كان الزمكان قابلًا للتوجيه الزمني، فسيتفق المراقبان دائمًا على اتجاه الزمن عند نقطتي التقائهما. في الواقع، يكون الزمكان قابلًا للتوجيه الزمني إذا وفقط إذا استطاع أي مراقبين الاتفاق على أي من اللقاءين سبق الآخر. ^{[ 7 ]}

بشكل رسمي، المجموعة شبه المتعامدة${\displaystyle \operatorname {O} (p,q)}$يحتوي على زوج من الأحرف : حرف توجيه المسافة${\displaystyle \sigma _{+}}$وطابع التوجه الزمني${\displaystyle \sigma _{-}}$،

${\displaystyle \sigma _{\pm }:\operatorname {O} (p,q)\to \{-1,+1\}.}$

منتجهم${\displaystyle \sigma =\sigma _{+}\sigma _{-}}$المحدد هو الذي يُعطي خاصية التوجيه. يُعرَّف التوجيه المكاني لمتشعب شبه ريماني بأنه مقطع من الحزمة المرتبطة به.

${\displaystyle \operatorname {O} (M)\times _{\sigma _{+}}\{-1,+1\}}$

أين${\displaystyle \operatorname {O} (M)}$هي حزمة من الإطارات شبه المتعامدة. وبالمثل، فإن التوجيه الزمني هو جزء من الحزمة المرتبطة به.

${\displaystyle \operatorname {O} (M)\times _{\sigma _{-}}\{-1,+1\}.}$