انتقل إلى المحتوى

A093 · الطور والجبر

لماذا تظهر الكواترنيونات في إعادة البناء

ينتقي المعيار الضربي الموجب ومحدودية البعد والتجميعية وطوران دائريان غير متبادلين فضاءً حاملًا كواترنيونيًا. والنتيجة الجبرية دقيقة ضمن هذه الفرضيات، بينما يبقى انتقاؤها الفيزيائي مفتوحًا.

4 دقائق تقريبًا للقراءةاقرأ المقال المقابل بالإنجليزية EN

01لماذا يدخل الجبر في نظرية للتوليد

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

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

02الفرضيات ووظائفها

ليكن A جبرًا حقيقيًا تجميعيًا ذا وحدة، وN معيارًا تربيعيًا موجبًا يحقق N(xy)=N(x)N(y). إذا كان x غير صفري، فرضت xy=0 أن N(y)=0 ومن ثم y=0. لذلك يكون الضرب من اليسار بـx أحاديًا، وتجعله محدودية البعد شاملًا. وتنطبق الحجة نفسها على اليمين.

يتفق المعكوسان الأيسر والأيمن بالتجميعية، فيكون A جبر قسمة حقيقيًا تجميعيًا. ولا يبقي التصنيف الكلاسيكي المحدود الأبعاد إلا R, C, H. ويستبعد اشتراط عنصرين j₁,j₂ يحققان j₁²=j₂²=−1 وj₁j₂≠j₂j₁ الخيارين R وC، فتبقى H.

N(xy)=N(x)N(y), N(x)>0 عندما يكون x≠0
j₁²=j₂²=−1; j₁j₂≠j₂j₁
يُفكَّك كواترنيون a + bi + cj + dk إلى مركبة حقيقية مركزية وثلاث مركبات تخيلية. وتمثل ثلاثة محاور القراءة التخيلية الناتجة.
الشكل 1. القراءة الكواترنيونية غير الحساسة للمركز. تحت فرضيات التجميعية والمعيار الموجب وعدم التبادل المذكورة، يكون الفضاء الحامل كواترنيونيًا. ويُبقي أخذ الفضاء القسمي بالنسبة إلى المركز الحقيقي القطاع التخيلي الثلاثي الأبعاد. وهذه نتيجة مشروطة للقراءة، وليست ديناميكا مكانية قائمة بذاتها. عرض بالحجم الكامل ↗ الرسم بالعربيةالرسم بالإنجليزيةعرض النسختين والمقالات المرتبطة

03لا يلزم أن يبدأ الطوران متعامدين

مربع الكواترنيون التخيلي الوحدي −1. لتكن η الجداء الداخلي الإقليدي لاتجاهي الطور. يعني عدم التبادل |η|<1. ويمكن جعل الزوج متعامدًا بتعريف e₁=j₁ وe₂=(j₂−ηj₁)/√(1−η²)، ثم وضع e₃=e₁e₂.

الإطار التخيلي الناتج متعامد معياري ويحقق eₐ²=−1 وeₐe_b=−e_beₐ للمحاور المختلفة. لذلك ينتج الاتجاه الثالث المتعامد من الضرب والزوج غير المتوافق. وتبقى زاوية الطور الأصلية η مدخلًا؛ فلا تنتقيها المبرهنة.

e₁=j₁; e₂=(j₂−ηj₁)/√(1−η²); e₃=e₁e₂

04ما الذي يتغير إذا تغيرت فرضية

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

ليست البدائل عيوبًا في البرهان؛ بل تحدد التزامات الانتقاء الفيزيائي. فعلى نموذج الجوهر الفرد ونظرية ازدواجية الزمن تفسير امتلاك حامل عملياته خواص المعيار والتجميعية المذكورة وإتاحة طورين دائريين غير متوافقين. وتختلف الفرادة الجبرية داخل فئة منتقاة عن إثبات انتقاء الطبيعة لهذه الفئة.

05اختلاف الطور الدائري عن الزمن المركّب الانشطاري

مربعات وحدات الطور المستخدمة في إعادة البناء ذات المعيار الموجب تساوي −1. أما وحدة الإحداثي المركّب الانشطاري j ذات j²=+1 فلها دور آخر: صيغتها التربيعية غير محددة الإشارة ولها قواسم صفر. ولا تُستبدل بوحدة طور كمومي دائري في حجة القسمة السابقة.

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

06من الحامل الجبري إلى المكان الفيزيائي

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

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

احتفظ بالصلة

أفكار أساسية

  • ينتقي التركيب المعياري الموجب التجميعي مع طورين دائريين غير متوافقين H.
  • يُبنى الإطار المتعامد من زوج طور غير متعامد.
  • للطور الدائري والإحداثيات الزمنية المركّبة الانشطارية دوران رياضيان متمايزان.

نطاق الحجة. تصنيف جبري مشروط، وليس برهانًا لفرضيات المصدر الفيزيائية أو لنشوء المكان الكلي.

المصادر والقراءة

تستند هذه النسخة العربية إلى المقال الإنجليزي المقابل. تُحفظ هوية الأعمال والمراجع ودرجة الاستدلال الواردة في المصدر.

  1. smm_dtt_quaternionic_rank3_hopf_reconstruction_v8.pdfمسودة عمل، ص. 8–12
  2. smm_dtt_alpha0_137_v3.pdfمسودة عمل، ص. 3–15