Kuaternion ganda

Dalam bidang matematika, kuaternion ganda adalah sebuah aljabar real berdimensi 8 yang isomorfik terhadap hasil kali tensor dari kuaternion dan bilangan ganda. Dengan demikian, entitas ini dapat dikonstruksikan dengan cara yang sama seperti kuaternion biasa, kecuali menggunakan bilangan ganda sebagai koefisien alih-alih bilangan real. Sebuah kuaternion ganda dapat direpresentasikan dalam bentuk , dengan A dan B adalah kuaternion biasa dan ε adalah unit ganda, yang memenuhi  dan komutatif terhadap setiap elemen dalam aljabar tersebut. 
Tidak seperti kuaternion biasa, kuaternion ganda tidak membentuk sebuah aljabar pembagian.

Dalam bidang mekanika, kuaternion ganda diterapkan sebagai sistem bilangan untuk merepresentasikan transformasi kaku dalam tiga dimensi.A.T. Yang, Application of Quaternion Algebra and Dual Numbers to the Analysis of Spatial Mechanisms, Ph.D thesis, Columbia University, 1963. Karena ruang kuaternion ganda berdimensi 8 dan transformasi kaku memiliki enam derajat kebebasan real (tiga untuk translasi dan tiga untuk rotasi), kuaternion ganda yang mematuhi dua batasan aljabarlah yang digunakan dalam penerapan ini. Karena kuaternion satuan tunduk pada dua batasan aljabar tersebut, kuaternion satuan menjadi standar untuk merepresentasikan transformasi kaku.

Sama halnya dengan rotasi dalam ruang 3D yang dapat direpresentasikan oleh kuaternion dengan panjang satuan, gerak kaku dalam ruang 3D juga dapat direpresentasikan oleh kuaternion ganda dengan panjang satuan. Fakta ini digunakan dalam kinematika teoretis (lihat McCarthy
), dan dalam berbagai penerapannya pada grafika komputer 3D, robotika, serta visi komputer.A. Torsello, E. Rodolà and A. Albarelli, Multiview Registration via Graph Diffusion of Dual Quaternions, Proc. of the XXIV IEEE Conference on Computer Vision and Pattern Recognition, pp. 2441-2448, June 2011. Polinomial dengan koefisien yang dinyatakan dalam kuaternion ganda (norma real tak nol) juga telah digunakan dalam konteks perancangan pautan mekanis.

 Sejarah 
W. R. Hamilton memperkenalkan kuaternionW. R. Hamilton, "On quaternions, or on a new system of imaginaries in algebra", Phil. Mag. 18, installments July 1844 – April 1850, ed. by D. E. Wilkins (2000)W. R. Hamilton, Elements of Quaternions, Longmans, Green & Co., London, 1866 pada tahun 1843, dan menjelang tahun 1873 W. K. Clifford memperoleh perumuman luas dari bilangan-bilangan ini yang ia sebut sebagai bikuaternion,W. K. Clifford, "Preliminary sketch of bi-quaternions, Proc. London Math. Soc. Vol. 4 (1873) pp. 381–395W. K. Clifford, Mathematical Papers, (ed. R. Tucker), London: Macmillan, 1882. yang merupakan sebuah contoh dari apa yang sekarang disebut sebagai aljabar Clifford.

Pada tahun 1898, Alexander McAulay menggunakan Ω dengan Ω2 = 0 untuk menghasilkan aljabar kuaternion ganda.Alexander McAulay (1898) Octonions: a development of Clifford's Biquaternions, link from Internet Archive Namun, terminologi "oktonion" yang ia gunakan tidak bertahan karena oktonion saat ini merujuk pada aljabar yang berbeda.

Pada tahun 1891, Eduard Study menyadari bahwa aljabar asosiatif ini ideal untuk mendeskripsikan grup gerak dari ruang tiga dimensi. Ia lebih lanjut mengembangkan gagasan tersebut dalam Geometrie der Dynamen pada tahun 1901.Eduard Study (1901) Geometrie der Dynamen, Teubner, Leipzig 
B. L. van der Waerden menyebut struktur tersebut sebagai "bikuaternion Study", satu dari tiga aljabar berdimensi delapan yang disebut sebagai bikuaternion.

Pada tahun 1895, matematikawan Rusia Aleksandr Kotelnikov mengembangkan vektor ganda dan kuaternion ganda untuk digunakan dalam studi mekanika.A. P. Kotelnikov (1895) Screw calculus and some applications to geometry and mechanics, Annal. Imp. Univ. Kazan

 Rumus 
Untuk mendeskripsikan operasi pada kuaternion ganda, ada baiknya untuk terlebih dahulu meninjau kuaternion.O. Bottema and B. Roth, Theoretical Kinematics, North Holland Publ. Co., 1979

Sebuah kuaternion adalah kombinasi linear dari elemen-elemen basis 1, i, j, dan k. Aturan hasil kali Hamilton untuk i, j, dan k sering dituliskan sebagai

Hitung , untuk mendapatkan , dan  atau . Sekarang karena , kita melihat bahwa hasil kali ini menghasilkan , yang menghubungkan kuaternion dengan sifat-sifat determinan.

Cara yang praktis untuk bekerja dengan hasil kali kuaternion adalah dengan menuliskan sebuah kuaternion sebagai jumlah dari sebuah skalar dan sebuah vektor (secara lebih tepat, sebuah bivektor), yaitu , di mana a0 adalah bilangan real dan  adalah vektor tiga dimensi. Operasi titik dan silang vektor kini dapat digunakan untuk mendefinisikan hasil kali kuaternion dari  dan  sebagai


Kuaternion ganda biasanya dideskripsikan sebagai kuaternion dengan bilangan ganda sebagai koefisiennya. Sebuah bilangan ganda adalah pasangan terurut . Dua bilangan ganda dijumlahkan secara per komponen dan dikalikan berdasarkan aturan . Bilangan ganda sering dituliskan dalam bentuk , di mana ε adalah unit ganda yang komutatif dengan i, j, k dan memiliki sifat .

Hasilnya adalah sebuah kuaternion ganda dapat dituliskan sebagai pasangan terurut dari kuaternion . Dua kuaternion ganda dijumlahkan secara per komponen dan dikalikan berdasarkan aturan,

Adalah praktis untuk menuliskan kuaternion ganda sebagai jumlah dari skalar ganda dan vektor ganda, , di mana  dan  adalah vektor ganda yang mendefinisikan sebuah ulir. Notasi ini memungkinkan kita untuk menuliskan hasil kali dua kuaternion ganda sebagai


 Referensi 

Kategori:Kuaternion