Kwaterniony

Kwaterniony, dawniej czwarki Hamiltona^[a][2] – struktura algebraiczna (liczby) będąca rozszerzeniem ciała liczb zespolonych^[3], należąca do klasy zbiorów liczb hiperzespolonych. Kwaterniony zostały wprowadzone przez irlandzkiego matematyka Williama Hamiltona w 1843 i służyły opisowi mechaniki w przestrzeni trójwymiarowej. Początkowo kwaterniony były uważane za twór patologiczny, ponieważ nie spełniały reguły przemienności (należy mieć na uwadze, iż kwaterniony pojawiły się przed macierzami). Kwaterniony znajdują zastosowanie w matematyce teoretycznej, jak i stosowanej, zobacz sekcję Zastosowania.

Współczesna matematyka traktuje kwaterniony jako czterowymiarową, unormowaną algebrę z dzieleniem nad liczbami rzeczywistymi. Algebra kwaternionów jest oznaczana przez ${\displaystyle \mathbb {H} }$ od pierwszej litery nazwiska twórcy. Zajmuje ona specjalne miejsce w algebrze, ponieważ zgodnie z twierdzeniem Frobeniusa jest jednym z trzech skończenie wymiarowych pierścieni z dzieleniem zawierających liczby rzeczywiste jako podpierścień.