اوكتونيون

أوكتونيون Octonion في الرياضيات هي امتداد كعملية غير تجميعية للكواتيرنيون. أبعادها الثمانية الحقيقية الجبرية في حقل الأعداد الحقيقية هو أوسع حقل بعدي من الممكن الحصول عليه باستخدام إنشاء كايلي-ديكسون. يرمز جبرياً إلى الأوكتونيون بالرمز O أو بالحرف العريض خطأ رياضيات (SVG مع PNG احتياطي (يمكن تمكين MathML عبر المكوِّن الإضافي للمتصفح): رد غير صحيح ("Math extension cannot connect to Restbase.") من الخادم "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mathbb{O}} .

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

التاريخ

تم اكتشاف الأوكتونيون في عام 1843 من قبل العالم جون ت. غرافس، صديق وليام روان هاملتون مكتشف الكواتيرنيون.

التعريف

من الممكن اعتبار الأوكتونيون على أنها مجموعات ثمانية (مثل الألحان الثمانية المعد لثماني آلات موسيقية أو مغنينن) من الأعداد الحقيقية. كل أوكتونيون هي اندماج خطي حقيقي لوحدات الزمرة الثمانية البسيطة {1, i, j, k, l, il, jl, kl}، وعليه فإن أي أوكتونيون x يكون ممكن الكتابة على الشكل التالي:

خطأ رياضيات (SVG مع PNG احتياطي (يمكن تمكين MathML عبر المكوِّن الإضافي للمتصفح): رد غير صحيح ("Math extension cannot connect to Restbase.") من الخادم "https://wikimedia.org/api/rest_v1/":): {\displaystyle x = x_0 + x_1\,i + x_2\,j + x_3\,k + x_4\,l + x_5\,il + x_6\,jl + x_7\,kl.}

ذات مكافئ حقيقي x_a.

عملية جمع الأوكتونيون تتم بجمع المكافئات المتوافقة، تماماً مثل الأعداد العقدية وكواتيرنيون. عملية الضرب في الأوكتونيون محددة بشكل كامل بجدول الضرب التالي:

1	i	j	k	l	il	jl	kl
i	−1	k	−j	il	−l	−kl	jl
j	−k	−1	i	jl	kl	−l	−il
k	j	−i	−1	kl	−jl	il	−l
l	−il	−jl	−kl	−1	i	j	k
il	l	−kl	jl	−i	−1	−k	j
jl	kl	l	−il	−j	k	−1	−i
kl	−jl	il	l	−k	−j	i	−1

إنشاء كايلي-ديكسون

هناك طريقة أكثر منطقية في تعريف الأوكتونيون باستخدام إنشاء كايلي-ديكسون. حيث كما أنه من الممكن تعريف الكواتيرنيون على أنها زوج من الأعداد العقدية، يمكن تعريف الأوكتونيون على أنها زوج من الكواتيرنيون. حيث يعطى جداء زوجين من الكواتيرنيون (a, b) و(c, d) على النحو التالي:

خطأ رياضيات (SVG مع PNG احتياطي (يمكن تمكين MathML عبر المكوِّن الإضافي للمتصفح): رد غير صحيح ("Math extension cannot connect to Restbase.") من الخادم "https://wikimedia.org/api/rest_v1/":): {\displaystyle (a,b)(c,d)=(ac-d^{*}b,da+bc^{*})}

حيث خطأ رياضيات (SVG مع PNG احتياطي (يمكن تمكين MathML عبر المكوِّن الإضافي للمتصفح): رد غير صحيح ("Math extension cannot connect to Restbase.") من الخادم "https://wikimedia.org/api/rest_v1/":): {\displaystyle z^{*}} هو نظير الكواتيرنيون z.

النظير، الطويلة، المقلوب

يعطى نظير الأوكتونيون التالية

خطأ رياضيات (SVG مع PNG احتياطي (يمكن تمكين MathML عبر المكوِّن الإضافي للمتصفح): رد غير صحيح ("Math extension cannot connect to Restbase.") من الخادم "https://wikimedia.org/api/rest_v1/":): {\displaystyle x = x_0 + x_1\,i + x_2\,j + x_3\,k + x_4\,l + x_5\,il + x_6\,jl + x_7\,kl}

بالعلاقة:

خطأ رياضيات (SVG مع PNG احتياطي (يمكن تمكين MathML عبر المكوِّن الإضافي للمتصفح): رد غير صحيح ("Math extension cannot connect to Restbase.") من الخادم "https://wikimedia.org/api/rest_v1/":): {\displaystyle x^* = x_0 - x_1\,i - x_2\,j - x_3\,k - x_4\,l - x_5\,il - x_6\,jl - x_7\,kl.}

يعرف الجزء الحقيقي للأوكتونيون x بالعلاقة:

½x + x^*) = x₀)

كما يعرف الجزء التخيلي بالعلاقة:

½(x - x^*)

تعطى طويلة الأوكتونيون x بالعلاقة:

خطأ رياضيات (SVG مع PNG احتياطي (يمكن تمكين MathML عبر المكوِّن الإضافي للمتصفح): رد غير صحيح ("Math extension cannot connect to Restbase.") من الخادم "https://wikimedia.org/api/rest_v1/":): {\displaystyle \|x\| = \sqrt{x^{*} x}}

يعطى الجذر التربيعي هنا بالعلاقة: خطأ رياضيات (SVG مع PNG احتياطي (يمكن تمكين MathML عبر المكوِّن الإضافي للمتصفح): رد غير صحيح ("Math extension cannot connect to Restbase.") من الخادم "https://wikimedia.org/api/rest_v1/":): {\displaystyle x^{*}x=xx^{*}} وهو دائماً عدد حقيقي غير سالب:

خطأ رياضيات (SVG مع PNG احتياطي (يمكن تمكين MathML عبر المكوِّن الإضافي للمتصفح): رد غير صحيح ("Math extension cannot connect to Restbase.") من الخادم "https://wikimedia.org/api/rest_v1/":): {\displaystyle \|x\|^2 = x^{*}x = x_0^2 + x_1^2 + x_2^2 + x_3^2 + x_4^2 + x_5^2 + x_6^2 + x_7^2}

وهذه الطويلة تتوافق مع الطويلة في الفضاء الإقليدي من البعد الثامن R⁸.

إن وجود طويلة للأوكتونيون يتطلب وجود مقلوب لكل أوكتونيون غير صفري. حيث يعطى مقلوب x ≠ 0 بالعلاقة:

خطأ رياضيات (SVG مع PNG احتياطي (يمكن تمكين MathML عبر المكوِّن الإضافي للمتصفح): رد غير صحيح ("Math extension cannot connect to Restbase.") من الخادم "https://wikimedia.org/api/rest_v1/":): {\displaystyle x^{-1} = \frac{x^{*}}{\|x\|^2}}

وهي تحقق

خطأ رياضيات (SVG مع PNG احتياطي (يمكن تمكين MathML عبر المكوِّن الإضافي للمتصفح): رد غير صحيح ("Math extension cannot connect to Restbase.") من الخادم "https://wikimedia.org/api/rest_v1/":): {\displaystyle xx^{-1}=x^{-1}x=1} .