Bilangan hiperkompleks

istilah tradisional untuk elemen dari satuan aljabar di atas bidang

Dalam matematika, bilangan hiperkompleks adalah istilah tradisional untuk elemen dari satuan aljabar di atas bidang. Studi tentang bilangan hiperkompleks pada akhir abad ke-19 membentuk dasar teori representasi grup modern.

Sejarah

sunting

Pada abad kesembilan belas sistem bilangan disebut kuaternion, tessarin, kokuaternion, bikuaternion, dan oktonion menjadi konsep dalam literatur matematika, ditambahkan ke riil dan bilangan kompleks. Konsep bilangan hiperkompleks mencakup semuanya, dan disiplin untuk menjelaskan dan mengklasifikasikannya.

Proyek pembuatan katalog dimulai pada tahun 1872 ketika Benjamin Peirce pertama kali menerbitkan Aljabar asosiatif linear , dan dibawa oleh putranya Charles Sanders Peirce.[1] Mengidentifikasi nilpoten dan elemen idempoten sebagai bilangan hiperkompleks yang berguna untuk klasifikasi. Konstruksi Cayley–Dickson menggunakan involusi untuk menghasilkan bilangan kompleks, kuaternion, dan oktonion dari sistem bilangan riil. Hurwitz dan Frobenius membuktikan teorema yang membatasi hiperkompleksitas: Teorema Hurwitz menyatakan bahwa komposisi aljabar riil berdimensi-hingga adalah riil ℝ, kompleks ℂ, kuartenion ℍ, dan oktonion 𝕆, dan Teorema Frobenius menyatakan bahwa satu-satunya aljabar pembagian asosiatif adalah ℝ, ℂ, dan ℍ. Pada tahun 1958 J. Frank Adams menerbitkan generalisasi lebih lanjut dalam hal invarian Hopf pada ruang- H yang masih membatasi dimensinya menjadi 1, 2, 4, atau 8.[2]

Aljabar matriks yang memanfaatkan sistem hiperkompleks. Pertama, matriks memberikan kontribusi bilangan hiperkompleks baru seperti matriks real 2 × 2. Segera paradigma matriks mulai menjelaskan yang lain ketika mereka diwakili oleh matriks dan operasi mereka. Pada tahun 1907 Joseph Wedderburn menunjukkan bahwa sistem hiperkompleks asosiatif dapat diwakili oleh matriks, atau jumlah langsung dari sistem matriks.[3][4] Sejak tanggal itu istilah yang lebih disukai untuk sistem hiperkompleks menjadi aljabar asosiatif seperti yang terlihat pada judul tesis Wedderburn di Universitas Edinburgh. Namun perlu dicatat, bahwa sistem non-asosiatif seperti oktonion dan kuaternion hiperbolik mewakili jenis bilangan hiperkompleks lainnya.

Sebagai Hawkins[5] menjelaskan, bilangan hypercomplex adalah batu loncatan untuk mempelajari teori grup Lie dan representasi grup. Misalnya, pada tahun 1929 Emmy Noether menulis tentang "kuantitas hiperkompleks dan teori representasi".[6] Pada tahun 1973 Kantor dan Solodovnikov menerbitkan buku teks tentang bilangan hiperkompleks yang diterjemahkan pada tahun 1989.[7][8]

Karen Parshall telah menulis penjelasan terperinci tentang masa kejayaan bilangan hiperkompleks,[9] termasuk peran matematikawan termasuk Theodor Molien[10] dan Eduard Study.[11] Untuk transisi ke aljabar modern, Bartel van der Waerden menyediakan tiga puluh halaman untuk bilangan hiperkompleks dalam Sejarah Aljabar .[12]

Definisi

sunting

Definisi dari bilangan hiperkompleks oleh (Kantor & Solodovnikov 1989) sebagai elemen aljabar berdimensi hingga atas bilangan sebenarnya adalah unital tetapi tidak harus asosiatif atau komutatif. Elemen dihasilkan dengan koefisien bilangan riil   untuk dasar  . Jika memungkinkan, adalah konvensional untuk memilih basis tersebut  . Pendekatan teknis untuk bilangan hypercomplex mengarahkan perhatian pertama ke dimensi dua.

Aljabar riil dua dimensi

sunting

Teorema — [7]:14,15[13][14] Sampai dengan isomorfisme, terdapat tepat tiga aljabar unital 2 dimensi di atas riil: biasa bilangan kompleks, bilangan kompleks terpisah, dan bilangan ganda. Secara khusus, setiap aljabar unital 2 dimensi di atas real adalah asosiatif dan komutatif.

Bukti: Karena aljabar adalah 2-dimensi, kita dapat memilih basis {1, u }. Karena aljabar tertutup di bawah kuadrat, elemen basis non-riil u persegi menjadi kombinasi linear 1 dan u :

 

untuk beberapa bilangan riil a0 dan a1. Menggunakan metode umum kuadrat kompleks dengan mengurangi a1u dan menambahkan komplemen kuadrat a21 / 4 untuk kedua sisi hasil

 

Thus   dimana   Ketiga kasus tersebut bergantung pada nilai riil:

  • Bila 4a0 = −a12, hasil rumus di atas ũ2 = 0. Oleh karena itu, ũ dapat langsung diidentifikasi dengan elemen nilpoten   dari dasar   dari dua angka.
  • Bila 4a0 > −a12, rumus di atas menghasilkan ũ2 > 0. Hal ini mengarah pada bilangan kompleks terbagi yang memiliki basis yang dinormalisasi   dengan  . Untuk mendapatkan j dari ũ , yang terakhir harus dibagi dengan bilangan riil positif   yang memiliki kotak yang sama dengan ũ .
  • Bila 4a0 < −a12, rumus di atas menghasilkan ũ2 < 0. Bilangan kompleks yang memiliki basis yang dinormalisasi   with  . Untuk menghasilkan i dari ũ , yang terakhir harus dibagi dengan bilangan riil positif   yang kuadratkan ke negatif ũ2.

Bilangan kompleks adalah satu-satunya aljabar hiperkompleks 2 dimensi yang merupakan bidang. Aljabar seperti bilangan kompleks terbagi yang menyertakan akar non-nyata dari 1 juga mengandung idempoten   dan pembagi nol  , jadi aljabar seperti itu tidak bisa aljabar pembagian s. Namun, properti ini ternyata bisa menjadi sangat berarti, misalnya dalam mendeskripsikan transformasi Lorentz dari relativitas khusus.

Dalam edisi 2004 Majalah Matematika, aljabar nyata 2 dimensi telah diberi gaya "bilangan kompleks umum".[15] The idea of cross-ratio of four complex numbers can be extended to the 2-dimensional real algebras.[16]

Lihat pula

sunting

Referensi

sunting
  1. ^ Peirce, Benjamin (1881), "Linear Associative Algebra", American Journal of Mathematics, 4 (1): 221–6, JSTOR 2369153 
  2. ^ Adams, J. F. (July 1960), "On the Non-Existence of Elements of Hopf Invariant One" (PDF), Annals of Mathematics, 72 (1): 20–104, CiteSeerX 10.1.1.299.4490 , doi:10.2307/1970147, JSTOR 1970147 
  3. ^ J.H.M. Wedderburn (1908), "On Hypercomplex Numbers", Proceedings of the London Mathematical Society, 6: 77–118, doi:10.1112/plms/s2-6.1.77 
  4. ^ Emil Artin kemudian menggeneralisasikan hasil Wedderburn sehingga dikenal sebagai Teorema Artin–Wedderburn
  5. ^ Hawkins, Thomas (1972), "Hypercomplex numbers, Lie groups, and the creation of group representation theory", Archive for History of Exact Sciences, 8 (4): 243–287, doi:10.1007/BF00328434 
  6. ^ Noether, Emmy (1929), "Hyperkomplexe Größen und Darstellungstheorie" [Hypercomplex Quantities and the Theory of Representations], Mathematische Annalen (dalam bahasa Jerman), 30: 641–92, doi:10.1007/BF01187794, diarsipkan dari versi asli tanggal 2016-03-29, diakses tanggal 2016-01-14 
  7. ^ a b Kantor, I.L., Solodownikow (1978), Hyperkomplexe Zahlen, BSB B.G. Teubner Verlagsgesellschaft, Leipzig
  8. ^ Kantor, I. L.; Solodovnikov, A. S. (1989), Hypercomplex numbers , Berlin, New York: Springer-Verlag, ISBN 978-0-387-96980-0, MR 0996029 
  9. ^ Parshall, Karen (1985), "Wedderburn and the Structure of Algebras", Archive for History of Exact Sciences, 32: 223–349, doi:10.1007/BF00348450 
  10. ^ Molien, Theodor (1893), "Ueber Systeme höherer complexer Zahlen", Mathematische Annalen, 41 (1): 83–156, doi:10.1007/BF01443450 
  11. ^ Study, Eduard (1898), "Theorie der gemeinen und höhern komplexen Grössen", Encyclopädie der mathematischen Wissenschaften, I A (4), hlm. 147–183 
  12. ^ van der Waerden, B.L. (1985), "10. The discovery of algebras, 11. Structure of algebras", A History of Algebra, Springer, ISBN 3-540-13610X 
  13. ^ Yaglom, Isaak (1968), Complex Numbers in Geometry, hlm. 10–14 
  14. ^ Ewing editor, John H., ed. (1991), Numbers, Springer, hlm. 237, ISBN 3-540-97497-0 
  15. ^ Harkin, Anthony A.; Harkin, Joseph B. (2004), "Geometry of Generalized Complex Numbers" (PDF), Mathematics Magazine, 77 (2): 118–129, doi:10.1080/0025570X.2004.11953236 
  16. ^ Brewer, Sky (2013), "Projective Cross-ratio on Hypercomplex Numbers", Advances in Applied Clifford Algebras, 23 (1): 1–14, arXiv:1203.2554 , doi:10.1007/s00006-012-0335-7 

Bacaan lebih lanjut

sunting

Pranala luar

sunting