إحداثيات متجانسة

في الرياضيات ، تُعرف الإحداثيات المتجانسة أو الإحداثيات الإسقاطية ، التي قدمها أوغست فرديناند موبيوس في كتابه "حساب مركز الثقل " عام 1827 ، [ 1 ] [ 2 ] [ 3 ]، بأنها نظام إحداثيات يُستخدم في الهندسة الإسقاطية ، تمامًا كما تُستخدم الإحداثيات الديكارتية في الهندسة الإقليدية . تتميز هذه الإحداثيات بإمكانية تمثيل إحداثيات النقاط، بما في ذلك النقاط عند اللانهاية ، باستخدام إحداثيات محدودة. غالبًا ما تكون الصيغ التي تتضمن الإحداثيات المتجانسة أبسط وأكثر تناظرًا من نظيراتها الديكارتية. للإحداثيات المتجانسة تطبيقات واسعة، تشمل رسومات الحاسوب والرؤية الحاسوبية ثلاثية الأبعاد ، حيث تُسهّل تمثيل التحويلات الأفينية ، والتحويلات الإسقاطية عمومًا، باستخدام مصفوفة . كما تُستخدم أيضًا في خوارزميات التشفير الأساسية للمنحنيات الإهليلجية . [ 4 ]
إذا ضُربت الإحداثيات المتجانسة لنقطة ما بعدد قياسي غير صفري ، فإن الإحداثيات الناتجة تُمثل النقطة نفسها. وبما أن الإحداثيات المتجانسة تُعطى أيضًا للنقاط في اللانهاية، فإن عدد الإحداثيات اللازمة للسماح بهذا الامتداد يزيد بواحد عن بُعد الفضاء الإسقاطي قيد الدراسة. على سبيل المثال، يلزم إحداثيان متجانسان لتحديد نقطة على الخط الإسقاطي، وثلاثة إحداثيات متجانسة لتحديد نقطة في المستوى الإسقاطي.
مقدمة
يمكن اعتبار المستوى الإسقاطي الحقيقي بمثابة المستوى الإقليدي مع إضافة نقاط إضافية تُسمى نقاط اللانهاية ، وتُعتبر هذه النقاط واقعة على خط جديد يُسمى خط اللانهاية . توجد نقطة في اللانهاية تُقابل كل اتجاه (يُحدد عدديًا بميل الخط)، وتُعرف هذه النقطة بشكل غير رسمي بأنها نهاية النقطة التي تتحرك في ذلك الاتجاه بعيدًا عن نقطة الأصل. يُقال إن الخطوط المتوازية في المستوى الإقليدي تتقاطع عند نقطة في اللانهاية تُقابل اتجاهها المشترك. بفرض نقطةعلى المستوى الإقليدي، لأي عدد حقيقي غير صفريالثلاثيةتُسمى هذه المجموعة مجموعة إحداثيات متجانسة للنقطة. وبناءً على هذا التعريف، فإن ضرب الإحداثيات المتجانسة الثلاث بعامل مشترك غير صفري يُعطي مجموعة جديدة من الإحداثيات المتجانسة لنفس النقطة. على وجه الخصوص،هل هذا نظام إحداثيات متجانسة للنقطة؟على سبيل المثال، النقطة الديكارتيةيمكن تمثيلها في إحداثيات متجانسة على النحو التالي:أوتُستعاد الإحداثيات الديكارتية الأصلية بقسمة أول موضعين على الموضع الثالث. وبالتالي، على عكس الإحداثيات الديكارتية، يمكن تمثيل نقطة واحدة بعدد لا نهائي من الإحداثيات المتجانسة.
معادلة الخط المستقيم المار بنقطة الأصلقد يكتبأينوليس كلاهمايمكن كتابة ذلك في شكل بارامتري. يتركلذا يمكن كتابة إحداثيات نقطة على الخط على النحو التاليفي الإحداثيات المتجانسة يصبح هذافي النهاية، كمابمعنى آخر، كلما ابتعدت النقطة عن نقطة الأصل، تقترب من اللانهاية.الأساليبوتصبح الإحداثيات المتجانسة للنقطةوهكذا نُعرّفباعتبارها الإحداثيات المتجانسة للنقطة عند اللانهاية التي تتوافق مع اتجاه الخطبما أن أي خط من المستوى الإقليدي موازٍ لخط يمر عبر نقطة الأصل، وبما أن الخطوط المتوازية لها نفس النقطة عند اللانهاية، فقد تم إعطاء النقطة اللانهائية على كل خط من المستوى الإقليدي إحداثيات متجانسة.
باختصار:
- أي نقطة في المستوى الإسقاطي يتم تمثيلها بثلاثيةوتسمى هذه الإحداثيات "الإحداثيات المتجانسة" أو "الإحداثيات الإسقاطية" للنقطة، حيث،وليست كلها.
- تظل النقطة التي تمثلها مجموعة معينة من الإحداثيات المتجانسة دون تغيير إذا تم ضرب الإحداثيات بعامل مشترك.
- وعلى العكس من ذلك، فإن مجموعتين من الإحداثيات المتجانسة تمثلان نفس النقطة إذا وفقط إذا تم الحصول على إحداهما من الأخرى عن طريق ضرب جميع الإحداثيات بنفس الثابت غير الصفري.
- متىليسالنقطة الممثلة هي النقطةفي المستوى الإقليدي.
- متىيكونالنقطة الممثلة هي نقطة في اللانهاية.
الثلاثيتم حذفها ولا تمثل أي نقطة. يتم تمثيل أصل المستوى الإقليدي بواسطة[ 5 ]
الترميز
يستخدم بعض المؤلفين رموزًا مختلفة للإحداثيات المتجانسة، مما يساعد على تمييزها عن الإحداثيات الديكارتية. على سبيل المثال، استخدام النقطتين الرأسيتين بدلًا من الفواصل.بدلاً منيؤكد على ضرورة اعتبار الإحداثيات نسبًا. [ 6 ] الأقواس المربعة، كما فييؤكد على أن نقاطًا واحدة ترتبط بمجموعات متعددة من الإحداثيات. [ 7 ] يستخدم بعض المؤلفين مزيجًا من النقطتين الرأسيتين والأقواس المربعة، كما في[ 8 ]
أبعاد أخرى
ينطبق النقاش الوارد في القسم السابق بشكل مماثل على الفضاءات الإسقاطية الأخرى غير المستوى. لذا، يمكن تمثيل النقاط على الخط الإسقاطي بأزواج من الإحداثيات.ليس كلاهما صفرًا. في هذه الحالة، النقطة عند اللانهاية هيوبالمثل، فإن النقاط في الإسقاطيتم تمثيل المسافات بواسطة-tuples. [ 9 ]
مساحات عرض أخرى
يُتيح استخدام الأعداد الحقيقية الحصول على إحداثيات متجانسة للنقاط في الحالة الكلاسيكية للفضاءات الإسقاطية الحقيقية، ومع ذلك، يُمكن استخدام أي حقل ، وخاصةً الأعداد المركبة في الفضاء الإسقاطي المركب . على سبيل المثال، يستخدم الخط الإسقاطي المركب إحداثيتين مركبتين متجانستين، ويُعرف باسم كرة ريمان . كما يُمكن استخدام حقول أخرى، بما في ذلك الحقول المنتهية .
يمكن أيضًا إنشاء إحداثيات متجانسة للفضاءات الإسقاطية باستخدام عناصر من حلقة القسمة (حقل معكوس). ومع ذلك، في هذه الحالة، يجب مراعاة أن عملية الضرب قد لا تكون تبديلية . [ 10 ]
بالنسبة للحلقة العامة A ، يمكن تعريف خط إسقاطي فوق A بعوامل متجانسة تعمل على اليسار ومجموعة خطية إسقاطية تعمل على اليمين.
تعريف بديل
يمكن تقديم تعريف آخر للمستوى الإسقاطي الحقيقي بدلالة فئات التكافؤ . بالنسبة للعناصر غير الصفرية من، يُعرِّفبمعنى أن هناك قيمة غير صفريةلهذا السبب.. ثمهي علاقة تكافؤ ، ويمكن تعريف المستوى الإسقاطي على أنه فئات التكافؤ لـلويُعد أحد عناصر فئة التكافؤثم تُعتبر هذه إحداثيات متجانسة لـ.
تُعرَّف الخطوط في هذا الفضاء بأنها مجموعات من حلول المعادلات من الشكلحيث لا يكون كل،وتساوي صفرًا. تحقق الشرطيعتمد فقط على فئة التكافؤ لـإذن، تحدد المعادلة مجموعة من النقاط في المستوى الإسقاطي.يُعرّف هذا المفهوم عملية تضمين من المستوى الإقليدي إلى المستوى الإسقاطي، ومُكمّل الصورة هو مجموعة النقاط التيالمعادلةهي معادلة خط في المستوى الإسقاطي ( انظر تعريف الخط في المستوى الإسقاطي )، وتسمى الخط عند اللانهاية.
فئات التكافؤ،هي الخطوط المارة بنقطة الأصل بعد إزالة نقطة الأصل. لا تلعب نقطة الأصل دورًا أساسيًا في المناقشة السابقة، لذا يمكن إضافتها مرة أخرى دون تغيير خصائص المستوى الإسقاطي. ينتج عن ذلك تعريف مختلف، وهو أن المستوى الإسقاطي يُعرَّف بأنه مجموعة الخطوط في التي تمر عبر نقطة الأصل وإحداثيات عنصر غير صفري تُعتبر إحداثيات الخط متجانسة بالنسبة له. وتُفسَّر هذه الخطوط الآن على أنها نقاط في المستوى الإسقاطي.
ومرة أخرى، ينطبق هذا النقاش بشكل مماثل على الأبعاد الأخرى. لذا يمكن تعريف الفضاء الإسقاطي ذي البعد n على أنه مجموعة الخطوط المارة بنقطة الأصل في[ 11 ]
تجانس
لا يتم تحديد الإحداثيات المتجانسة بشكل فريد بواسطة نقطة، لذا فإن الدالة المعرفة على الإحداثيات، على سبيل المثال لا يحدد هذا الشرط دالة معرفة على النقاط كما هو الحال مع الإحداثيات الديكارتية.يُحدد تعريف الدالة على الإحداثيات، كما هو الحال عند وصف منحنى، شرطًا على النقاط لتحديد ما إذا كانت الدالة متجانسة . على وجه التحديد، لنفترض وجودبحيث
إذا كانت مجموعة من الإحداثيات تمثل نفس النقطة مثلثم يمكن كتابتها لبعض القيم غير الصفرية لـ. ثم
متعدد الحدوددرجة علميةيمكن تحويلها إلى متعددة حدود متجانسة عن طريق استبدالمع،معوالضرب فيبمعنى آخر، من خلال تعريف
الدالة الناتجةهي دالة متعددة الحدود، لذا من المنطقي توسيع نطاقها ليشمل الثلاثيات حيثيمكن عكس العملية عن طريق ضبط، أو
المعادلةويمكن اعتبارها بعد ذلك الشكل المتجانس لـ وهي تُحدد المنحنى نفسه عند تقييدها بالمستوى الإقليدي. على سبيل المثال، الشكل المتجانس لمعادلة الخطيكون[ 12 ]
إحداثيات الخط والازدواجية
يمكن التعبير عن معادلة الخط المستقيم في المستوى الإسقاطي على النحو التالي:أين، وهي ثوابت. كل ثلاثيةيحدد خطًا، ويبقى الخط المحدد دون تغيير إذا ضُرب في عدد قياسي غير صفري، وواحد على الأقل مما يلي:،ويجب أن يكون غير صفري. لذا فإن الثلاثيةيمكن اعتبارها إحداثيات متجانسة لخط في المستوى الإسقاطي، أي إحداثيات خطية وليست إحداثيات نقطية. إذا كان فيالحروف،وتُعتبر متغيرات و ،وإذا اعتبرنا هذه القيم ثوابت، فإن المعادلة تصبح معادلة لمجموعة من الخطوط في فضاء جميع الخطوط في المستوى. هندسيًا، تمثل هذه المعادلة مجموعة الخطوط التي تمر بالنقطة.ويمكن تفسيرها على أنها معادلة النقطة في إحداثيات الخط. وبالمثل، يمكن إعطاء المستويات في الفضاء ثلاثي الأبعاد مجموعات من أربع إحداثيات متجانسة، وهكذا بالنسبة للأبعاد الأعلى. [ 13 ]
العلاقة نفسها،يمكن اعتبار المعادلة إما معادلة خط مستقيم أو معادلة نقطة. عمومًا، لا يوجد فرق، جبريًا أو منطقيًا، بين الإحداثيات المتجانسة للنقاط والخطوط. لذا، فإن الهندسة المستوية التي تُعتبر فيها النقاط العناصر الأساسية والهندسة المستوية التي تُعتبر فيها الخطوط العناصر الأساسية متكافئتان باستثناء التفسير. يقودنا هذا إلى مفهوم الازدواجية في الهندسة الإسقاطية، وهو مبدأ إمكانية تبديل أدوار النقاط والخطوط في نظرية في الهندسة الإسقاطية، وستكون النتيجة أيضًا نظرية. وبالمثل، فإن نظرية النقاط في الفضاء الإسقاطي ثلاثي الأبعاد هي نظيرة لنظرية المستويات في الفضاء الإسقاطي ثلاثي الأبعاد، وهكذا بالنسبة للأبعاد الأعلى. [ 14 ]
إحداثيات بلوكر
يُعدّ تحديد إحداثيات الخطوط في الفضاء الإسقاطي ثلاثي الأبعاد أكثر تعقيدًا، إذ يبدو ظاهريًا أنه يتطلب ثماني إحداثيات، إما إحداثيات نقطتين تقعان على الخط أو إحداثيات مستويين يتقاطعان مع الخط. لكنّ طريقةً مفيدةً، من ابتكار يوليوس بلوكر ، تُنشئ مجموعةً من ست إحداثيات كمحددات. من الإحداثيات المتجانسة لنقطتينوعلى الخط. يُعد تضمين بلوكر تعميمًا لهذا لإنشاء إحداثيات متجانسة لعناصر من أي بُعدفي فضاء إسقاطي ذي بُعد[ 15 ] [ 16 ]
النقاط الدائرية
الصيغة المتجانسة لمعادلة الدائرة في المستوى الإسقاطي الحقيقي أو المركب هي يمكن إيجاد نقطة تقاطع هذا المنحنى مع الخط عند اللانهاية عن طريق وضعوهذا ينتج عنه المعادلة والتي لها حلان على الأعداد المركبة، مما يؤدي إلى ظهور النقاط ذات الإحداثيات المتجانسةوفي المستوى الإسقاطي المركب. تُسمى هذه النقاط بالنقاط الدائرية عند اللانهاية ، ويمكن اعتبارها نقاط التقاطع المشتركة لجميع الدوائر. ويمكن تعميم ذلك على المنحنيات ذات الرتب الأعلى كمنحنيات جبرية دائرية . [ 17 ]
تغيير أنظمة الإحداثيات
كما أن اختيار المحاور في نظام الإحداثيات الديكارتية أمرٌ اعتباطي إلى حدٍ ما، فإن اختيار نظام إحداثيات متجانسة واحد من بين جميع الأنظمة الممكنة هو أيضاً أمرٌ اعتباطي إلى حدٍ ما. لذلك، من المفيد معرفة كيفية ارتباط الأنظمة المختلفة ببعضها البعض.
يترك) إحداثيات متجانسة لنقطة في المستوى الإسقاطي. مصفوفة ثابتة بمحدد غير صفري ، يُعرّف نظام إحداثيات جديد.بحسب المعادلة ضربينتج عن ضرب عدد قياسي فيبنفس المقياس، و،ولا يمكن أن يكون كل شيءإلا إذا،وجميعها أصفار لأنغير منفرد. لذاهي نظام جديد من الإحداثيات المتجانسة لنفس النقطة في المستوى الإسقاطي.
إحداثيات مركزية
حددت صياغة موبيوس الأصلية للإحداثيات المتجانسة موقع نقطة ما على أنه مركز كتلة (أو مركز ثقل) نظام مكون من ثلاث كتل نقطية موضوعة عند رؤوس مثلث ثابت. تُمثل النقاط داخل المثلث بكتل موجبة، بينما تُمثل النقاط خارجه بكتل سالبة. لا يؤثر ضرب الكتل في النظام بعدد قياسي على مركز الكتلة، لذا تُعد هذه حالة خاصة من نظام الإحداثيات المتجانسة.
إحداثيات ثلاثية الخطوط
يترك،ولنفترض ثلاثة خطوط في المستوى ونحدد مجموعة من الإحداثيات،ونقطة حيث أن المسافات المحددة منإلى هذه الخطوط الثلاثة. وتسمى هذه الإحداثيات ثلاثية الخطوط لـ بالنسبة للمثلث الذي تمثل رؤوسه نقاط تقاطع الخطوط. وبالمعنى الدقيق، هذه ليست متجانسة، لأن قيم،ويتم تحديدها بدقة، وليس فقط بنسبة تناسبية. ومع ذلك، توجد علاقة خطية بينهما، لذا يمكن جعل هذه الإحداثيات متجانسة عن طريق السماح بمضاعفات لتمثيل نفس الفكرة. وبشكل أعم،،ويمكن تعريفها على أنها ثوابت،ومضروبة في المسافات إلى،ومما ينتج عنه نظام إحداثيات متجانسة مختلف مع نفس مثلث المرجع. وهذا، في الواقع، هو النوع الأكثر عمومية لنظام الإحداثيات المتجانسة للنقاط في المستوى إذا لم يكن أي من الخطوط هو الخط الموجود في اللانهاية. [ 18 ]
يُستخدم في رسومات الحاسوب ورؤية الحاسوب
| 1 | 0 | 0 | ||
| 0 | 1 | 0 | ||
| 0 | 0 | 1 |
تُعدّ الإحداثيات المتجانسة شائعة الاستخدام في رسومات الحاسوب، لأنها تسمح بتمثيل عمليات المتجهات الشائعة ، مثل الإزاحة والدوران والتحجيم والإسقاط المنظوري، كمصفوفة يُضرب بها المتجه. وبحسب قاعدة السلسلة ، يمكن ضرب أي تسلسل من هذه العمليات في مصفوفة واحدة، مما يُتيح معالجة بسيطة وفعّالة. في المقابل، باستخدام الإحداثيات الديكارتية، لا يمكن التعبير عن الإزاحات والإسقاط المنظوري كعمليات ضرب مصفوفات، على الرغم من إمكانية التعبير عن عمليات أخرى. تستفيد بطاقات الرسومات الحديثة OpenGL و Direct3D من الإحداثيات المتجانسة لتنفيذ مُظلِّل الرؤوس بكفاءة باستخدام معالجات المتجهات ذات سجلات رباعية العناصر. [ 19 ] [ 20 ]
على سبيل المثال، في الإسقاط المنظوري، يُربط موضع في الفضاء بالخط الواصل بينه وبين نقطة ثابتة تُسمى مركز الإسقاط . ثم تُسقط هذه النقطة على مستوى ثنائي الأبعاد من خلال إيجاد نقطة تقاطع هذا المستوى مع الخط. ينتج عن ذلك تمثيل دقيق لكيفية ظهور جسم ثلاثي الأبعاد للعين. في أبسط الحالات، يكون مركز الإسقاط هو نقطة الأصل، وتُسقط النقاط على المستوى الثنائي الأبعاد.أعمل حاليًا باستخدام الإحداثيات الديكارتية. بالنسبة لنقطة معينة في الفضاء،النقطة التي يتقاطع عندها الخط والمستوى هي. إسقاط ما أصبح الآن زائداً عن الحاجةيصبح هذا التنسيقفي الإحداثيات المتجانسة، النقطةيمثلهاوالنقطة التي تُمثلها على المستوى يتم تمثيلها بواسطةلذا يمكن تمثيل الإسقاط في شكل مصفوفة كما يلي: يمكن دمج المصفوفات التي تمثل تحويلات هندسية أخرى مع هذه المصفوفة ومع بعضها البعض عن طريق ضرب المصفوفات . ونتيجة لذلك، يمكن تمثيل أي إسقاط منظور للفضاء كمصفوفة واحدة. [ 21 ] [ 22 ]
ملحوظات
- ^ أغسطس فرديناند موبيوس: Der barycentrische Calcul ، Verlag von Johann Ambrosius Barth، Leipzig، 1827.
- ↑ أوكونور، جون جيه؛ روبرتسون، إدموند إف ، "أوغست فرديناند موبيوس" ، أرشيف ماك تيوتور لتاريخ الرياضيات ، جامعة سانت أندروز
- ↑ سميث، ديفيد يوجين (1906). تاريخ الرياضيات الحديثة . جون وايلي وأولاده. ص 53 .
- ↑ إيغو، كيفن؛ ماكغرو، ديفيد؛ سالتر، مارغريت (فبراير 2011). "خوارزميات التشفير الأساسية للمنحنيات الإهليلجية" .
- ↑ للاطلاع على القسم: جونز 1912 ، الصفحات 120-122
- ↑ وودز 1922
- ↑ غارنر 1981
- ↑ ميراندا 1995
- ^ بوشر 1907 ، ص 13-14
- ↑ غارنر 1981 ، الصفحات 32-33
- ↑ للاطلاع على القسم: كوكس، ليتل وأوشيا 2007 ، الصفحات 360-362
- ↑ للاطلاع على القسم: ميراندا 1995 ، ص 14 وجونز 1912 ، ص 120
- ↑ Bôcher 1907 ، ص 107-108 (معدل للمستوى وفقًا للحاشية في الصفحة 108)
- ↑ وودز 1922 ، ص 2، 40
- ↑ ويلكزينسكي 1906 ، ص 50
- ↑ Bôcher 1907 ، ص 110
- ↑ جونز 1912 ، ص 204
- ↑ جونز 1912 ، ص 452 وما بعدها
- ↑ "منافذ العرض والقص (Direct3D 9) (Windows)" . msdn.microsoft.com . تم الاطلاع عليه بتاريخ 10 أبريل 2018 .
- ^ شراينر ، ديف. وو ميسون. نيدر، جاكي؛ ديفيس، توم. "دليل برمجة OpenGL"، الطبعة الرابعة، رقم ISBN 978-0-321-17348-5نُشر في ديسمبر 2004. الصفحة 38 والملحق F (الصفحات 697-702) يناقشان كيفية استخدام OpenGL للإحداثيات المتجانسة في مسار العرض الخاص به. تشير الصفحة 2 إلى أن OpenGL عبارة عن واجهة برمجية لأجهزة الرسومات .
- ↑ مورتنسون ، مايكل إي. (1999). الرياضيات لتطبيقات رسومات الحاسوب . دار النشر الصناعية. ص 318. ISBN 0-8311-3111-X.
- ↑ ماكونيل ، جيفري ج. (2006). رسومات الحاسوب: من النظرية إلى التطبيق . جونز وبارتليت للتعليم. ص 120. ISBN 0-7637-2250-2.
مراجع
- بوشيه، ماكسيم (1907). مقدمة في الجبر العالي . ماكميلان. ص 11 وما بعدها.
- بريو، تشارلز؛ بوكيه، جان كلود (1896). عناصر الهندسة التحليلية ثنائية الأبعاد . ترجمة جيه إتش بويد. شركة ويرنر للكتب المدرسية. ص 380 .
- كوكس، ديفيد أ .؛ ليتل، جون ب .؛ أوشيا، دونال (2007). المُثُل، والأنواع، والخوارزميات . سبرينغر. ص 357. ISBN 978-0-387-35650-1.
- غارنر، لين إي. (1981)، موجز في الهندسة الإسقاطية ، نورث هولاند، ISBN 0-444-00423-8
- جونز، ألفريد كليمنت (1912). مقدمة في الهندسة الجبرية . كلارندون.
- ميراندا، ريك (1995). المنحنيات الجبرية وأسطح ريمان . مكتبة الجمعية الأمريكية للرياضيات. ص 13. ISBN 0-8218-0268-2.
- ويلكزينسكي، إرنست يوليوس (1906). الهندسة التفاضلية الإسقاطية للمنحنيات والأسطح المسطرة . بي جي توبنر.
- وودز، فريدريك س. (1922). الهندسة العليا . جين وشركاه. ص 27 وما بعدها.
للمزيد من القراءة
- ستيلويل، جون (2002). الرياضيات وتاريخها . سبرينغر. ص 134 وما بعدها. ISBN 0-387-95336-1.
- روغرز، ديفيد ف. (1976). العناصر الرياضية لرسومات الحاسوب . ماكجرو هيل. ISBN 0070535272.
روابط خارجية
- جول بلومنتال وجون روكن، الإحداثيات المتجانسةأُرشف بتاريخ 26 فبراير 2021 في أرشيف الإنترنت (Wayback Machine) .
- تشينغ كوانغ شين، إحداثيات متجانسة
- وولفرام ماث وورلد
- الجبر الخطي
- الهندسة الإسقاطية
- 1827 في العلوم
