Quaternion

Bảng nhân quaternion

↓ × →	Bản mẫu:Math	Bản mẫu:Math	Bản mẫu:Math	Bản mẫu:Math
Bản mẫu:Math	Bản mẫu:Math	Bản mẫu:Math	Bản mẫu:Math	Bản mẫu:Math
Bản mẫu:Math	Bản mẫu:Math	Bản mẫu:Math	Bản mẫu:Math	Bản mẫu:Math
Bản mẫu:Math	Bản mẫu:Math	Bản mẫu:Math	Bản mẫu:Math	Bản mẫu:Math
Bản mẫu:Math	Bản mẫu:Math	Bản mẫu:Math	Bản mẫu:Math	Bản mẫu:Math
Cột trái là phần tử đứng trước, hàng đầu là phần tử đứng sau. Bên cạnh đó, $a𝐛=𝐛a$ và $-𝐛=(-1)𝐛$ với $a\in ℝ$, $𝐛=𝐢,𝐣,𝐤$.

Đồ thị Cayley Q8 cho thấy sáu chu trình nhân bởi Bản mẫu:Red, Bản mẫu:Green và Bản mẫu:Blue. (Nếu ảnh được mở trong Wikimedia Commons bằng cách nhấn đúp vào nó thì các chu trình có thể được tô đậm bằng cách kéo chuột qua hoặc nhấn vào

Trong toán học, hệ quaternion mở rộng tiếp số phức. Các số quaternion được lần đầu mô tả bởi nhà toán học người Ireland William Rowan Hamilton trong 1843 và áp dụng cho cơ học trong không gian ba chiều. Đại số của quaternion thường được ký hiệu bằng Bản mẫu:Math (cho Hamilton), hoặc trong phông chữ bảng đen in đậm $ℍ.$ Mặc dù phép nhân của quaternion không có tính giao hoán, nó đưa ra định nghĩa của thương của hai vectơ trong không gian ba chiều. Quaternion thường được biểu diễn dưới dạng

$$a+b𝐢+c𝐣+d𝐤,$$

trong đó các hệ số Bản mẫu:Mvar, Bản mẫu:Mvar, Bản mẫu:Mvar, Bản mẫu:Mvar đều là các số thực, và Bản mẫu:Math, Bản mẫu:Math được gọi là vectơ cơ sở hay phần tử cơ sở.

Quaternion được sử dụng trong toán học thuần tuý, nhưng cũng có áp dụng thực tiễn trong toán học ứng dụng, đặc biệt là cho tính toán bao gồm quay trong không gian ba chiều, chẳng hạn như trong đồ hoạ máy tính 3D, thị giác máy tính, và phân tích kiến trúc tinh thể. Chúng được dùng bên cạnh các phương pháp quay khác, chẳng hạn như góc Euler và ma trận quay, hoặc thay các phương pháp đó, tuỳ thuộc vào cách ứng dụng.

Trong thuật ngữ hiện đại, các quaternion lập thành đại số chia định chuẩn và hợp thành trên tập số thực, do đó lập thành 1 vành và đồng thời cũng là vành chia và miền. Nó là trường hợp đặc biệt của đại số Clifford, xếp thuộc loại ${\mathrm{Cl}}_{0,2}(ℝ)\cong {\mathrm{Cl}}_{3,0}^{+}(ℝ).$ Nó là đại số chia không giao hoán đầu tiên được phát hiện.

Theo định lý Frobenius, đại số $ℍ$ là một trong duy nhất hai vành chia hữu hạn số chiều có vành con chân chính đẳng cấu với các số thực; cái còn lại là của số phức. Các vành này đồng thời đều là đại số Euclidean Hurwitz, trong đó quaternion là đại số kết hợp lớn nhất và do đó là vành lớn nhất. Mở rộng tiếp các số quaternion sẽ ra các số octonion không kết hợp, các số này là đại số chia định chuẩn cuối cùng trên các số thực. Mở rộng thêm lần nữa ra các số sedenion, các số này có ước của không nên không thể lập thành đại số chia định chuẩn.

Các quaternion đơn vị có cấu trúc nhóm trên 3-cầu (mặt cầu trong không gian bốn chiều) Bản mẫu:Math đẳng cấu với nhóm Spin(3) và SU(2), nhóm phủ phổ quát của SO(3). Các phần tử cơ sở âm và dương cùng nhau lập thành nhóm quaternion 8 phần tử.

Biểu diễn đồ họa của tích các đơn vị quaternion bằng các phép quay 90° trong các mặt phẳng của không gian 4 chiều, span bởi hai trong Bản mẫu:Math Phần tử trái được xem là quay bởi phần tử phải để chạm tới giá trị tích. Bên cạnh đó Bản mẫu:Math. Bản mẫu:Bulleted list

Lịch sử

Tấm quaternion trên cầu Brougham (Broom), Dublin, viết: <poem> Here as he walked by on the 16th of October 1843 Sir William Rowan Hamilton in a flash of genius discovered the fundamental formula for quaternion multiplication Bản mẫu:Math & cut it on a stone of this bridge </poem> Dịch: Tại đây vào ngày 16 tháng 10 năm 1843, ngài William Rowan Hamilton trong một cơn chớp thiên tài đã phát hiện ra công thức nền tảng cho phép nhân quaternion Bản mẫu:Math và khắc nó lại trên một hòn đá của cây cầu này

Quaternion được giới thiệu bởi Hamilton vào năm 1843. Những kết quả quan trọng đi trước công trình này bao định thức bốn số chính phương của Euler (1748) và phương pháp tham số hóa các phép quay chung bằng bốn tham số của Olinde Rodrigues' (1840), nhưng không tác giả nào trong đây đã xét tới các phép quay bốn tham số có thể lập thành thành một đại số. Carl Friedrich Gauss cũng đồng thời phát hiện ra quaternion trong 1819, nhưng công trình của ông phải mãi đến 1900 mới được xuất bản.

Hamilton đã biết rằng các số phức có thể được coi là các điểm trong một mặt phẳng, và ông lúc đó đang tìm cách định nghĩa tương tự cho không gian ba chiều. Các điểm trong không gian có thể được biểu diễn bằng tọa độ của chúng, tức một bộ ba số, và trong nhiều năm ông đã biết các để cách để cộng và trừ chúng. Tuy nhiên, cũng trong nhiều năm đó, ông cũng bị khựng lại trong vấn đề nhân và chia chúng. Ông không thể hình dung hay tưởng tượng ra cách nhân hai điểm trong một không gian (chỉ từ ba số). Quả thật, sau này Ferdinand Georg Frobenius đã chứng minh trong 1877 rằng để đại số chia trên các số thực vừa hữu hạn chiều vừa kết hợp, thì nó không thể ba chiều được, và chỉ có ba đại số chia như thế: $ℝ,ℂ$ (số phức) và $ℍ$ (quaternion) với số chiều 1, 2, và 4 tương ứng.

Phát minh quan trọng với các số quaternion cuối cùng cũng đến vào ngày thứ hai, mùng 16 tháng 10 năm 1843 tại Dublin, khi Hamilton đang trên đường tới học viện Hoàng gia Irish để chủ trì tại một cuộc họp hội đồng. Khi ông đang đi trên đường kéo tàu trên kênh Hoàng gia với vợ, các khái niệm đằng sau quaternion bắt đầu hiện hình trong đầu ông, và khi câu trả lời xuất hiện trong đầu, Hamilton đã không thể ngăn bản thân khỏi khắc lại công thức nhân các quaternion,

$${𝐢}^2={𝐣}^2={𝐤}^2=𝐢𝐣𝐤=-1$$

vào đá của cầu Brougham khi ông dừng trên đó. Mặc dù vết khắc đã phai mờ đi, vẫn có cuộc hành hương diễn ra hằng năm kể từ năm 1989 được gọi là Hamilton Walk cho các nhà khoa học và các nhà toán học đi từ đài quan sát Dunsink cho tới cầu kênh hoàng gia để tưởng nhớ tới phát hiện của Hamilton.

Trong ngày hôm sau, Hamilton viết một bức thư cho bạn và đồng thời là nhà toán học, John T. Graves, mô tả dòng tư tưởng dẫn tới phát hiện này. Bức thư này sau được xuất bản trong bức thư gửi đến báo khoa học và tạp chí triết học London, Edinburgh, và Dublin; Hamilton đã nói rằng: Bản mẫu:Blockquote Tạm dịch: Và ngay khi đó, tôi nhận ra rằng chúng ta phải chấp nhận rằng, theo một cách nào đó, ta cần chiều thứ tư trong không gian để có thể tính toán với bộ ba số ... Một mạch điện đã đóng và từ đó một tia lửa đã được tóe ra.

Hamilton gọi bộ bốn số này cùng với quy tắc nhân là quaternion, và ông dành hầu như toàn bộ phần còn lại của cuộc đời để nghiên cứu và dạy chúng. Phương pháp xử lý của Hamilton nghiêng về hình học nhiều hơn hướng tiếp cận hiện đại sử dụng các tính chất đại số. Ông thành lập trường của các "quaternionist", và ông cũng đã gắng sức dạy và truyền bá quaternion trong nhiều sách. Cuốn cuối cùng và dài nhất của ông, Elements of Quaternions, dài 800 trang; nó được con trai ông biên tập và được xuất bản không lâu sau khi ông mất đi.

Sau khi Hamilton mất đi, nhà toán học vật lý người Scotland Peter Tait trở thành người đứng đầu. Tại thời điểm đó, quaternion trở thành chủ đề bắt buộc trong các bài thi ở Dublin. Các chủ đề trong vật lý và hình học mà ngày nay thường được diễn giải bằng vectơ (chẳng hạn như chuyển động học trong không gian hay phương trình Maxwell thì lúc đó được mô tả toàn bộ bằng các quaternion. Thậm chí còn có một hiệp hội các chuyên gia nghiên cứu, Hiệp hội Quaternion tập trung nghiên cứu các số quaternion và các hệ số siêu phức khác.

Kể từ giữa khoảng 1880s, quaternion bắt đầu được thay dần bằng giải tích vectơ, nhánh này được phát triển bởi Josiah Willard Gibbs, Oliver Heaviside, và Hermann von Helmholtz. Giải tích vectơ mô tả cùng một hiện tượng với các quaternion, do đó nó lấy một số ý tưởng và thuật ngữ từ các bài viết của quaternion sang. Tuy nhiên, giải tích vectơ đơn giản hơn khi nói về khái niệm hay ký hiệu và do đó, quaternion chỉ còn đóng vai trò nhỏ trong toán học và vật lý. Một hiệu ứng phụ trong sự chuyển đổi này là công trình của Hamilton trở nên khó hiểu cho nhiều người đọc đương đại. Định nghĩa ban đầu của Hamilton không quen thuộc với hiện tại và cách viết của ông dài và rất khó có thể theo.

May mắn thay, quaternion được hồi sinh lại kể từ cuối thế kỉ 20, chủ yếu do ứng dụng của nó trong mô tả quay không gian. Biểu diễn của phép quay bằng quaternion gọn hơn và dễ tính hơn biểu diễn của ma trận. Bên cạnh đó, không như góc Euler, nó không bị dính "khóa gimbal". Bởi lý do này, quaternion được sử dụng trong đồ họa máy tính, thị giác máy tính, robotics, lý thuyết điều khiển, xử lý tín hiệu, điều khiển phương hướng, vật lý, tin sinh học, động lực phân tử, mô phỏng máy tính, và cơ học quỹ đạo. Thí dụ chẳng hạn, thường thì các hệ thống điều khiển phương hướng của các phi thuyền sẽ sử dụng quaternion. Quaternion có ứng dụng khác với lý thuyết số bởi quan hệ của chúng với dạng toàn phương.

Quaternion trong vật lý

Bài viết năm 1984 của P.R. Girard The quaternion group and modern physics (dịch: nhóm quaternion và vật lý hiện đại) thảo luận về một số vai trò của quaternion trong vật lý. Bài viết cho thấy một số nhóm hiệp phương sai trong vật lý, chẳng hạn như Bản mẫu:Math, nhóm Lorentz, lý thuyết tổng quát của nhóm tương đối, đại số Clifford Bản mẫu:Math và nhóm bảo giác, đều có thể liên hệ dễ dàng với nhóm quaternion trong đại số trừu tượng. Trong 1999, Girard cho thấy rằng cách các phương trình Einstein trong thuyết tương đối rộng có thể viết lại trong khuôn khổ của một đại số Clifford liên kết trực tiếp với các quaternion.

Phát hiện trong 1924 rằng trong cơ học lượng tử, spin của một electron và các hạt khác (được gọi là spinor) có thể mô tả bằng quaternion (dưới dạng ma trận spin Pauli nổi tiếng) làm tăng độ nổi bật của quaternion; quaternion giúp hiểu cách các phép quay các electron trong 360° có thể phân biệt với những cái trong 720° ("mẹo Plate"). Bản mẫu:As of, ứng dụng của nó vẫn chưa vượt qua nhóm quay.

Định nghĩa

Quaternion là các con số được biểu diễn dưới dạng

$$a+b𝐢+c𝐣+d𝐤,$$

trong đó Bản mẫu:Mvar, Bản mẫu:Mvar, Bản mẫu:Mvar, Bản mẫu:Mvar, là các số thực, và Bản mẫu:Math, Bản mẫu:Math, Bản mẫu:Math, ký hiệu cho các vectơ đơn vị trên ba trục không gian. Trong thực tiễn, nếu như một trong Bản mẫu:Mvar, Bản mẫu:Mvar, Bản mẫu:Mvar, Bản mẫu:Mvar bằng 0 thì ta bỏ phần tử tương ứng với nó; nếu Bản mẫu:Mvar, Bản mẫu:Mvar, Bản mẫu:Mvar, Bản mẫu:Mvar đều bằng không, thì quaternion được gọi là quaternion không, hay là 0; nếu một trong Bản mẫu:Mvar, Bản mẫu:Mvar, Bản mẫu:Mvar bằng với 1, thì có thể bỏ số 1 đó đi trong biểu diễn.

Hamilton mô tả quaternion $q=a+b𝐢+c𝐣+d𝐤$ bao gồm hai phần đó là phần vô hướng và phần vectơ. Quaternion $b𝐢+c𝐣+d𝐤$ được gọi là phần vectơ (đôi khi gọi là phần ảo) của Bản mẫu:Mvar, và Bản mẫu:Mvar là phần vô hướng (đổi khi phần thực) của Bản mẫu:Mvar. Quaternion mà bằng với phần thực của nó (nghĩa là phần vectơ của nó là vectơ không) được gọi là quaternion vô hướng hoặc quaternion thực, và được xác định bằng số thực tương ứng. Tức là, các số thực được nhúng trong các quaternion. (Nói rõ hơn, nghĩa là trường các số thực đẳng cấu với một tập con của tập các quaternion. Trường các số phức đẳng cấu với ba tập con của tập các quaternion.) Quaternion mà bằng với phần vectơ thì được gọi là quaternion vectơ .

Tập các quaternion lập thành không gian vectơ 4 chiều trên các số thực, với $\{1,𝐢,𝐣,𝐤\}$ làm cơ sở, theo phép cộng từng phần

$$\begin{array}{cc}& (a_1+b_1𝐢+c_1𝐣+d_1𝐤)+(a_2+b_2𝐢+c_2𝐣+d_2𝐤)\\ & =(a_1+a_2)+(b_1+b_2)𝐢+(c_1+c_2)𝐣+(d_1+d_2)𝐤,\end{array}$$

và phép nhân vô hướng

$$\lambda (a+b𝐢+c𝐣+d𝐤)=\lambda a+(\lambda b)𝐢+(\lambda c)𝐣+(\lambda d)𝐤.$$

Phép nhân, hay còn gọi là tích Hamilton, có thể định nghĩa trên các quaternion như sau:

• Quaternion thực Bản mẫu:Math là phần tử trung hòa (phần tử đơn vị).
• Các quaternion thực thì sẽ giao hoán với các quaternion khác, tức là Bản mẫu:Math cho mọi quaternion Bản mẫu:Mvar và cho mọi quaternion thực Bản mẫu:Mvar. Trong đại số trừu tượng, cái này tương ứng với việc nói rằng trường các quaternion thực là tâm của đại số quaternion.
• Phép nhân đầu tiên định nghĩa trước cho các phần tử cơ sở (xem mục dưới), rồi mở rộng cho tất cả quaternion bằng cách dùng tính chất phân phối và tính chất tâm của các quaternion thực. Tích Hamilton không giao hoán nhưng có tính kết hợp, và do vậy các quaternion lập thành đại số kết hợp trên các số thực.
• Bên cạnh đó, mỗi quaternion khác không đều có nghịch đảo tương ứng với tích Hamilton: $$(a+b𝐢+c𝐣+d𝐤{)}^{-1}=\frac{1}{a^2+b^2+c^2+d^2}(a-b𝐢-c𝐣-d𝐤).$$

Do đó các số quaternion cũng lập thành đại số chia.

Nhân các phần tử cơ sở

Bảng nhân

Tính không giao hoán được nhấn mạnh bởi các ô tô màu

×	Bản mẫu:Math	Bản mẫu:Math	Bản mẫu:Math	Bản mẫu:Math
Bản mẫu:Math	Bản mẫu:Math	Bản mẫu:Math	Bản mẫu:Math	Bản mẫu:Math
Bản mẫu:Math	Bản mẫu:Math	Bản mẫu:Math	Bản mẫu:Math	Bản mẫu:Math
Bản mẫu:Math	Bản mẫu:Math	Bản mẫu:Math	Bản mẫu:Math	Bản mẫu:Math
Bản mẫu:Math	Bản mẫu:Math	Bản mẫu:Math	Bản mẫu:Math	Bản mẫu:Math

Phép nhân của Bản mẫu:Math với các phần tử còn lại Bản mẫu:Math, và Bản mẫu:Math được định nghĩa dựa trên nội dung Bản mẫu:Math là phần tử trung hòa, nghĩa là

$$𝐢1=1𝐢=𝐢,𝐣1=1𝐣=𝐣,𝐤1=1𝐤=𝐤.$$

Tích của các phần tử cơ sở khác là

$$\begin{array}{cc}{𝐢}^2& ={𝐣}^2={𝐤}^2=-1,\\ 𝐢𝐣& =-𝐣𝐢=𝐤,𝐣𝐤=-𝐤𝐣=𝐢,𝐤𝐢=-𝐢𝐤=𝐣.\end{array}$$

Kết hợp các luật này lại,

$$\begin{array}{cc}𝐢𝐣𝐤& =-1.\end{array}$$

Tâm

Tâm của vành không giao hoán là vành con của các phần tử Bản mẫu:Mvar thỏa mãn Bản mẫu:Math với mọi Bản mẫu:Mvar. Tâm của đại số quaternion là trường con của các quaternion thực. Thậm chí, nó còn là một phần của định nghĩa rằng các quaternion thuộc về tâm. Ngược lại, nếu Bản mẫu:Math thuộc về tâm, thì

$$0=𝐢q-q𝐢=2c𝐢𝐣+2d𝐢𝐤=2c𝐤-2d𝐣,$$

và Bản mẫu:Math. Tính toán tương tự với Bản mẫu:Math thay cho Bản mẫu:Math cho thấy Bản mẫu:Math. Do đó Bản mẫu:Math là quaternion thực.

Các quaternion lập thành đại số chia. Điều này có nghĩa là chỉ có duy nhất tính không giao hoán của quaternion khiến cho chúng không thể lập thành một trường. Tính không giao hoán này có một số hệ quả, trong đó bao gồm phương trình đa thức trên các quaternion có thể có nhiều nghiệm phân biệt hơn số bậc trong đa thức. Ví dụ, phương trình Bản mẫu:Nowrap có vô số nghiệm quaternion, là các quaternion Bản mẫu:Math thỏa mãn Bản mẫu:Math. Do đó "căn bậc hai của –1" lập thành mặt cầu đơn vị trong không gian ba chiều của các quaternion vectơ.

Tích Hamilton

Cho hai phần tử Bản mẫu:Math and Bản mẫu:Math, tích của chúng, được gọi là tích Hamilton (Bản mẫu:Math) (Bản mẫu:Math), được xác định bởi tích các phần tử cơ sở và luật phân phối. Nhờ có luật phân phối mà ta có thể khai triển tích thành tổng của tích các phần tử cơ sở. Ta được kết quả sau:

$$\begin{array}{cccccccc}& a_1{a}_2& & +a_1{b}_2𝐢& & +a_1{c}_2𝐣& & +a_1{d}_2𝐤\\ +& b_1{a}_2𝐢& & +b_1{b}_2{𝐢}^2& & +b_1{c}_2𝐢𝐣& & +b_1{d}_2𝐢𝐤\\ +& c_1{a}_2𝐣& & +c_1{b}_2𝐣𝐢& & +c_1{c}_2{𝐣}^2& & +c_1{d}_2𝐣𝐤\\ +& d_1{a}_2𝐤& & +d_1{b}_2𝐤𝐢& & +d_1{c}_2𝐤𝐣& & +d_1{d}_2{𝐤}^2\end{array}$$

Sau đó, các phần tử cơ sở có thể nhân với nhau theo luật trên để thu được:

$$\begin{array}{cccccccc}& a_1{a}_2& & -b_1{b}_2& & -c_1{c}_2& & -d_1{d}_2\\ +(& a_1{b}_2& & +b_1{a}_2& & +c_1{d}_2& & -d_1{c}_2)𝐢\\ +(& a_1{c}_2& & -b_1{d}_2& & +c_1{a}_2& & +d_1{b}_2)𝐣\\ +(& a_1{d}_2& & +b_1{c}_2& & -c_1{b}_2& & +d_1{a}_2)𝐤\end{array}$$

Tích của hai quaternion quay sẽ tương ứng với phép quay Bản mẫu:Nowrap theo sau bởi phép quay với Bản mẫu:Nowrap

Phần vô hướng và phần thực

Quaternion dưới dạng Bản mẫu:Math, trong đó phần tử Bản mẫu:Mvar là số thực và được gọi là phần tử vô hướng,còn quaternion dạng Bản mẫu:Math, trong đó Bản mẫu:Mvar, Bản mẫu:Mvar, và Bản mẫu:Mvar là số thực và có ít nhất một trong Bản mẫu:Mvar, Bản mẫu:Mvar, hoặc Bản mẫu:Mvar khác không, thì được gọi là quaternion vector. Nếu Bản mẫu:Math là quaternion tuỳ ý, thì Bản mẫu:Mvar được gọi là phần vô hướng và Bản mẫu:Math được gọi là phần vector của nó. Mặc dù mọi quaternion có thể xem là vector trong không gian vectơ bốn chiều, người ta thường hay xem phần vector là vectơ trong không gian ba chiều hơn. Với cách quy ước này, phần vector tương tự với phần tử của không gian vectơ ba chiều ${ℝ}^3.$Bản mẫu:Efn

Hamilton còn gọi quaternion vectơ là các quaternion phải và gọi các số thực (được coi là các quaternion có phần vectơ là vectơ không) là quaternion vô hướng.

Nếu một quaternion được chia thành phần vô hướng và phần vectơ:

$$𝐪=(r,\overrightarrow{v}),𝐪\in ℍ,r\in ℝ,\overrightarrow{v}\in {ℝ}^3,$$

thì công thức cho phép cộng, phép nhân và nghịch đảo của phép nhân sẽ là

$$\begin{array}{cc}(r_1,{\overrightarrow{v}}_1)+(r_2,{\overrightarrow{v}}_2)& =(r_1+r_2,{\overrightarrow{v}}_1+{\overrightarrow{v}}_2),\\ (r_1,{\overrightarrow{v}}_1)(r_2,{\overrightarrow{v}}_2)& =(r_1{r}_2-{\overrightarrow{v}}_1\cdot {\overrightarrow{v}}_2,r_1{\overrightarrow{v}}_2+r_2{\overrightarrow{v}}_1+{\overrightarrow{v}}_1\times {\overrightarrow{v}}_2),\\ (r,\overrightarrow{v}{)}^{-1}& =(\frac{r}{r^2+\overrightarrow{v}\cdot \overrightarrow{v}},\frac{-\overrightarrow{v}}{r^2+\overrightarrow{v}\cdot \overrightarrow{v}}),\end{array}$$

trong đó "$\cdot$" và "$\times$" ký hiệu tương ứng tích vô hướng và tích có hướng.

Liên hợp, chuẩn và nghịch đảo phép nhân

Liên hợp của quaternion giống với liên hợp của số phức và giống với chuyển vị (hay còn gọi là đảo chiều ) của các phần tử của đại số Clifford. Để định nghĩa, gọi $q=a+b𝐢+c𝐣+d𝐤$ là quaternion. liên hợp của Bản mẫu:Mvar là quaternion $q^{*}=a-b𝐢-c𝐣-d𝐤$. Nó được ký hiệu bằng Bản mẫu:Math, q^t, $\tilde{q}$, hay Bản mẫu:Overline. Phép liên hợp là phép đối hợp, nghĩa là nó là nghịch đảo của chính nó, do đó liên hợp lại một quaternion đã được liên hợp sẽ ra quaternion gốc. Liên hợp của tích hai quaternion là tích của hai liên hợp theo thứ tự ngược lại. Tức là nếu Bản mẫu:Mvar và Bản mẫu:Mvar là quaternion, thì Bản mẫu:Math, chứ không phải Bản mẫu:Math.

Liên hợp của quaternion trái ngược bên ngoài với các số phức ở chỗ các liên hợp của chúng đều có thể biểu diễn bằng phép nhân và cộng của quaternion:

$$q^{*}=-\frac{1}{2}(q+𝐢q𝐢+𝐣q𝐣+𝐤q𝐤).$$

Phép liên hợp có thể dùng để lấy phần vô hướng và phần vectơ của quaternion. Phần vô hướng của Bản mẫu:Mvar là Bản mẫu:Math, còn phần vectơ của Bản mẫu:Mvar là Bản mẫu:Math.

Căn bậc hai của tích của một quaternion với liên hợp của chính nó được gọi là chuẩn và được ký hiệu là Bản mẫu:Math (Hamilton gọi giá trị này là tensor của q, song điều này dẫn tới mâu thuẫn với định nghĩa đương đại của "tensor"). Trong các công thức, nó được biểu diễn như sau:

$$\Vert q\Vert =\sqrt{q{q}^{*}}=\sqrt{q^{*}q}=\sqrt{a^2+b^2+c^2+d^2}$$

Kết quả luôn là số thực không âm, và nó tương tự với chuẩn Euclid khi $ℍ$ được xét là không gian vectơ${ℝ}^4$. Nhân quaternion bằng một số thực thì cũng sẽ nhân lên giá trị tuyệt đối của số thực đó vào chuẩn. Nghĩa là, nếu Bản mẫu:Mvar thực, thì

$$\Vert \alpha q\Vert =\left|\alpha \right|\Vert q\Vert .$$

Đây là trường hợp đặc biệt của nội dung chuẩn có tính nhân tính, tức là

$$\Vert pq\Vert =\Vert p\Vert \Vert q\Vert$$

với mọi quaternion Bản mẫu:Mvar và Bản mẫu:Mvar. Tính nhân tính là hệ quả của công thức liên hợp của tích. Hoặc ta có thể chứng minh từ định thức.

$$\det \left(\begin{array}{cc}a+ib& id+c\\ id-c& a-ib\end{array}\right)=a^2+b^2+c^2+d^2,$$

(trong đó Bản mẫu:Mvar là đơn vị ảo quen thuộc) và từ tính nhân tính của định thức của các ma trận vuông.

Chuẩn này cho phép ta định nghĩa khoảng cách Bản mẫu:Math giữa Bản mẫu:Mvar và Bản mẫu:Mvar là chuẩn của hiệu giữa chúng:

$$d(p,q)=\Vert p-q\Vert .$$

Từ đây, $ℍ$ là không gian mêtric. Phép cộng và phép nhân liên tục tương ứng với tô pô mêtric. Cái này có thể lập luận từ cùng một bài chứng minh cho số thực $ℝ$ từ nội dung $ℍ$ là đại số định chuẩn.

Quaternion đơn vị

Bản mẫu:Main Quaternion đơn vị là quaternion có chuẩn 1. Chia quaternion Bản mẫu:Mvar khác không cho chuẩn không của nó sẽ ra quaternion đơn vị Bản mẫu:Math được gọi là versor của Bản mẫu:Mvar:

$$𝐔q=\frac{q}{\Vert q\Vert }.$$

Mỗi quaternion khác không đều có dạng phân tích cực duy nhất $q=\Vert q\Vert \cdot 𝐔q$, trong khi quaternion không có thể lập thành từ bất kỳ quaternion đơn vị.

Sử dụng liên hợp và chuẩn giúp định nghĩa nghịch đảo của quaternion đơn vị. Tích của quaternion với nghịch đảo của nó phải bằng 1, và từ các nội dung trên sẽ suy ra rằng tích của $q$ và $q^{*}/{\Vert q\Vert }^2$ bằng 1 (theo cả hai hướng nhân). Do đó nghịch đảo của Bản mẫu:Mvar được định nghĩa là

$$q^{-1}=\frac{q^{*}}{\Vert q{\Vert }^2}.$$

Bởi phép nhân không giao hoán, các giá trị Bản mẫu:Math hoặc Bản mẫu:Math  khác nhau (trừ khi Bản mẫu:Mvar và Bản mẫu:Mvar là bội của nhau hoặc một trong số chúng vô hướng): ký hiệu Bản mẫu:Math không xác định và do đó không nên dùng.

Tính chất đại số

Đồ thị Cayley của Bản mẫu:Math. Mũi tên màu đỏ biểu diễn phép nhân bên phải với Bản mẫu:Math, còn mũi tên màu xanh biểu diễn phép nhân bên phải với Bản mẫu:Math.

Tập hợp $ℍ$ của tất cả quaternion là không gian vectơ trên số thực với số chiều 4.Bản mẫu:Efn Phép nhân các quaternion có tính kết hợp và phân phối trên phép cộng vectơ. Trừ khi là nhân với phần tử trong tập các phần tử vô hướng, phép nhân không có tính giao hoán . Do đó, tập các quaternion $ℍ$ là đại số kết hợp và không giao hoán trên số thực. Mặc dù $ℍ$ có chứa bản sao của số phức, nó không phải đại số kết hợp trên số phức.

Bởi có thể chia quaternion, chúng lập thành đại số chia. Cấu trúc tương tự với trường ngoại trừ tính không giao hoán của phép nhân. Đại số chia, kết hợp mà hữu hạn chiều trên số thực cực kỳ hiếm. Định lý Frobenius phát biểu chỉ có ba đại số như thế: $ℝ$, $ℂ$, và $ℍ$. Định nghĩa chuẩn khiến cho tập các quaternion lập đại số định chuẩn. Đại số định chuẩn trên số thực cũng rất hiếm, định lý Hurwitz nói rằng chỉ có đúng bốn: $ℝ$, $ℂ$, $ℍ$, và $𝕆$ (octonion). Các quaternion còn là ví dụ của đại số hợp thành và của đại số Banach unita.

Đồ thị ba chiều của Q₈. Mũi tên màu đỏ, xanh lá và xanh dương biểu diễn nhân tương ứng với Bản mẫu:Math, Bản mẫu:Math, và Bản mẫu:Math. Để dễ nhìn, trong hình đã bỏ đi nhân với số âm.

Bởi tích của hai vectơ cơ sở hoặc ra giá trị âm hoặc ra giá trị dương của vectơ cơ sở còn lại, tập Bản mẫu:Math lập thành một nhóm dưới phép nhân. Nhóm không giao hoán này được gọi là nhóm quaternion và ký hiệu là Bản mẫu:Math. Vành nhóm thực của Bản mẫu:Math là vành $ℝ[{\mathrm{Q}}_8]$ và cũng đồng thời là không gian vectơ 8 chiều trên $ℝ.$ Nó có một vectơ cơ sở cho mỗi phần tử của ${\mathrm{Q}}_8.$ Các quaternion đẳng cấu với vành thương của $ℝ[{\mathrm{Q}}_8]$ chia bởi ideal sinh bởi các phần tử Bản mẫu:Math, Bản mẫu:Math, Bản mẫu:Math, và Bản mẫu:Math. Ở đây phần tử đầu tiên trong mỗi hiệu là một trong các phần tử cơ sở Bản mẫu:Math, và Bản mẫu:Math, còn phần tử cơ sở thứ hai là một trong Bản mẫu:Math, và Bản mẫu:Math, chứ không phải nghịch đảo phép cộng của Bản mẫu:Math, và Bản mẫu:Math.

Quaternion và hình học ba chiều

Phần vectơ của quaternion có thể xem là vectơ toạ độ trong ${ℝ}^3;$ do đó các phép toán đại số với quaternion phản ánh hình học của ${ℝ}^3.$ Các phép toán như phép nhân vô hướng và phép nhân có hướng có thể định nghĩa bằng quaternion, và do đó ta có thể áp dung chúng bất cứ khi nào xuất hiện vectơ không gian. Một ứng dụng hữu ích của quaternion đó là nội suy giữa các hướng của khung chính trong đồ hoạ máy tính.

Trong phần còn lại của mục này, Bản mẫu:Math, Bản mẫu:Math, và Bản mẫu:Math sẽ đồng thời ký hiệu ba vectơ cơ sở ảo của $ℍ$ và là cơ sở của ${ℝ}^3.$ Thay Bản mẫu:Math bằng Bản mẫu:Math, Bản mẫu:Math bằng Bản mẫu:Math, và Bản mẫu:Math bằng Bản mẫu:Math sẽ đổi vectơ thành nghịch đảo phép cộng của nó, do đó nghịch đảo phép cộng của vectơ tương ứng với liên hợp của quaternion. Vì vậy, đôi khi liên hợp được gọi là nghịch đảo không gian.

Cho hai quaternion Bản mẫu:Nowrap và Bản mẫu:Nowrap, tích vô hướng của chúng tương ứng với vectơ trong ${ℝ}^3,$ là

$$p\cdot q=b_1{b}_2+c_1{c}_2+d_1{d}_2.$$

Nó cũng có thể biểu diễn như sau mà không phải phân tích ra

$$p\cdot q=\frac{1}{2}(p^{*}q+q^{*}p)=\frac{1}{2}(p{q}^{*}+q{p}^{*}).$$

Giá trị này bằng với phần vô hướng của Bản mẫu:Math. Lưu ý phần vectơ của chúng khác nhau.

Tích có hướng của Bản mẫu:Mvar và Bản mẫu:Mvar tương ứng với hướng xác định bởi Bản mẫu:Math, và Bản mẫu:Math là

$$p\times q=(c_1{d}_2-d_1{c}_2)𝐢+(d_1{b}_2-b_1{d}_2)𝐣+(b_1{c}_2-c_1{b}_2)𝐤.$$

(Lưu ý hướng được dùng để xác định dấu.) Giá trị này bằng với phần vectơ của Bản mẫu:Math, và cũng bằng phần vectơ của Bản mẫu:Math. Nó có công thức sau

$$p\times q=\frac{1}{2}(pq-qp).$$

Đối với giao hoán tử, Bản mẫu:Math, ta cũng có thể suy ra rằng

$$[p,q]=2p\times q.$$

Tổng quát, gọi Bản mẫu:Mvar và Bản mẫu:Mvar là quaternion và viết

$$\begin{array}{cc}p& =p_{\text{s}}+p_{\text{v}},\\ q& =q_{\text{s}}+q_{\text{v}},\end{array}$$

trong đó Bản mẫu:Math và Bản mẫu:Math là phần vô hướng, còn Bản mẫu:Math là Bản mẫu:Math là phần vectơ của Bản mẫu:Mvar và Bản mẫu:Mvar, thì ta có công thức

$$pq=(pq{)}_{\text{s}}+(pq{)}_{\text{v}}=(p_{\text{s}}{q}_{\text{s}}-p_{\text{v}}\cdot q_{\text{v}})+(p_{\text{s}}{q}_{\text{v}}+q_{\text{s}}{p}_{\text{v}}+p_{\text{v}}\times q_{\text{v}}).$$

Công thức cho thấy tính không giao hoán của phép nhân quaternion đến từ phép nhân phần vectơ của chúng. Nó cũng cho thấy hai quaternion giao hoán với nhau khi phần vectơ của chúng đối tuyến tính. Hamilton chứng minh rằng tích này tính ra toạ độ thứ ba của hình tam giác cầu từ hai đỉnh cho trước và độ dài góc tương ứng của chúng, và cũng đồng thời là đại số điểm trong hình học elliptic.

Quaternion đơn vị đồng nhất với phép quay trong ${ℝ}^3$ và được gọi là versor bởi Hamilton. Để hiểu rõ hơn, xem quaternion và phép quay không gian về mô hình hoá quay ba chiều sử dụng quaternion.

Xem Hanson (2005) cách hiển thị quaternion.

Biểu diễn ma trận

Tương tự như số phức, quaternion có thể biểu diễn bằng ma trận. Có ít nhất hai cách biểu diễn các quaternion sao cho phép cộng và phép nhân của quaternion tương ứng với phép cộng và phép nhân của ma trận. Một trong số đó là dùng ma trận phức 2 × 2, và một cách khác là dùng ma trận thực 4 × 4.Trong mỗi cách, biểu diễn thu được là một trong họ các biểu diễn tuyến tính tương tự. Sử dụng đại số trừu tượng, đây là các đơn cấu từ $ℍ$ tới vành ma trận Bản mẫu:Math và Bản mẫu:Math, tương ứng.

Quaternion Bản mẫu:Math có thể biểu diễn thành ma trận phức 2 × 2 như sau

$\left[\begin{array}{cc}a+bi& c+di\\ -c+di& a-bi\end{array}\right].$

Cách biểu diễn này có các tính chất sau:

• Buộc hai trong Bản mẫu:Mvar, Bản mẫu:Mvar và Bản mẫu:Mvar bằng 0 sẽ ra số phức.Ví dụ, đặt Bản mẫu:Math sẽ ra biểu diễn ma trận chéo phức của số phức, còn nếu dùng Bản mẫu:Math thì sẽ ra biểu diễn ma trận thực.
• Chuẩn của quaternion (căn bậc hai của tích với liên hợp, giống với số phức) là căn bậc hai của định thức của ma trận tương ứng.
• Liên hợp của quaternion tương ứng với chuyển hợp của ma trận.
• Khi giới hạn, biểu diễn này ra đẳng cấu giữa nhóm các quaternion đơn vị với ảnh của chúng SU(2). Trong tô pô, tập các quaternion đơn vị lập 3-cầu, do đó không gian nền của SU(2) cũng là 3-cầu. Nhóm Bản mẫu:Math quan trọng cho mô tả spin trong vật lý lượng tử; xem ma trận Pauli.
• Có mối quan hệ mạnh mẽ giữa các quaternion đơn vị với các ma trận Pauli. Ta thu về tám ma trận quaternion đơn vị bằng cách xét Bản mẫu:Mvar, Bản mẫu:Mvar, Bản mẫu:Mvar và Bản mẫu:Mvar, đặt một trong số chúng bằng 0 và cái còn lại lấy 1 hoặc −1. Nhân bất kỳ hai trong ba ma trận Pauli sẽ luôn ra ma trận quaternion đơn vị, tất cả ngoại trừ -1. Ta thu −1 qua Bản mẫu:Nowrap; tức đẳng thức cuối là$$ijk={\sigma }_1{\sigma }_2{\sigma }_3{\sigma }_1{\sigma }_2{\sigma }_3=-1.$$

Sử dung các ma trận thực 4 × 4, cũng cùng quaternion đó có thể viết như sau

$$\begin{array}{cc}\left[\begin{array}{cccc}a& -b& -c& -d\\ b& a& -d& c\\ c& d& a& -b\\ d& -c& b& a\end{array}\right]& =a\left[\begin{array}{cccc}1& 0& 0& 0\\ 0& 1& 0& 0\\ 0& 0& 1& 0\\ 0& 0& 0& 1\end{array}\right]+b\left[\begin{array}{cccc}0& -1& 0& 0\\ 1& 0& 0& 0\\ 0& 0& 0& -1\\ 0& 0& 1& 0\end{array}\right]\\ & +c\left[\begin{array}{cccc}0& 0& -1& 0\\ 0& 0& 0& 1\\ 1& 0& 0& 0\\ 0& -1& 0& 0\end{array}\right]+d\left[\begin{array}{cccc}0& 0& 0& -1\\ 0& 0& -1& 0\\ 0& 1& 0& 0\\ 1& 0& 0& 0\end{array}\right].\end{array}$$

Tuy nhiên, biểu diễn của quaternion trong Bản mẫu:Math không độc nhất. Chẳng hạn, vẫn cùng quaternion trên, nó có thể biểu diễn thành

$$\begin{array}{cc}\left[\begin{array}{cccc}a& d& -b& -c\\ -d& a& c& -b\\ b& -c& a& -d\\ c& b& d& a\end{array}\right]& =a\left[\begin{array}{cccc}1& 0& 0& 0\\ 0& 1& 0& 0\\ 0& 0& 1& 0\\ 0& 0& 0& 1\end{array}\right]+b\left[\begin{array}{cccc}0& 0& -1& 0\\ 0& 0& 0& -1\\ 1& 0& 0& 0\\ 0& 1& 0& 0\end{array}\right]\\ & +c\left[\begin{array}{cccc}0& 0& 0& -1\\ 0& 0& 1& 0\\ 0& -1& 0& 0\\ 1& 0& 0& 0\end{array}\right]+d\left[\begin{array}{cccc}0& 1& 0& 0\\ -1& 0& 0& 0\\ 0& 0& 0& -1\\ 0& 0& 1& 0\end{array}\right].\end{array}$$

Có 48 cách biểu diễn ma trận riêng biệt dưới dạng này trong đó một trong số các ma trận biểu diễn phần vô hướng còn ba ma trận còn lại đều phản đối xứng. Cụ thể hơn, có 48 tập các bộ bốn ma trận với ràng buộc đối xứng sao cho hàm gửi Bản mẫu:Math, và Bản mẫu:Math đến các ma trận trong bộ bốn là đồng cấu, tức là nó gửi tổng và tích của quaternion tới tổng và tích của ma trận. Trong cách biểu diễn này, liên hợp của quaternion tương ứng với chuyển vị của ma trận. Luỹ thừa bậc bốn của chuẩn của quaternion là định thức của ma trận tương ứng . Giống với biểu diễn phức 2 × 2 ở trên, có thể viết biểu diễn các số phức bằng cách ràng buộc hợp lý các giá trị; ví dụ, biểu diễn thành ma trận khối chéo với hai khối 2 × 2 bằng cách đặt Bản mẫu:Math.

Mỗi biểu diễn ma trận 4×4 của quaternion tương ứng với một bảng nhân của các quaternion đơn vị. Ví dụ chẳng hạn, biểu diễn thứ hai ở trên tương ứng với bảng nhân

×	a	d	−b	−c
a	a	d	−b	−c
−d	−d	a	c	−b
b	b	−c	a	−d
c	c	b	d	a

đẳng cấu — qua $\{a\mapsto 1,b\mapsto i,c\mapsto j,d\mapsto k\}$ — với

×	1	k	−i	−j
1	1	k	−i	−j
−k	−k	1	j	−i
i	i	−j	1	−k
j	j	i	k	1

Buộc bất kỳ bảng nhân phải để phần tử trung hoà ở hàng đầu và cột đầu và dấu của các đầu hàng phải trái với dấu của đầu cột, thì có 3 lựa chọn khả thi cho cột thứ hai (không quan tâm dấu), 2 lựa chọn khả thi cho cột thứ ba (không quan tâm dấu) và 1 lựa chọn khả thi (không quan tâm dấu) cho cột thứ tư; ta được sáu lựa chọn khả thi. Sau đó khi quan tâm dấu, mỗi cột có thể âm hoặc dương, có ba cột và vì vậy có 2³=8 lựa chọn cho dấu mỗi cột. Nhân số lựa chọn phần tử với số lựa chọn dấu sẽ ra 48. Sau đó thay Bản mẫu:Math bằng Bản mẫu:Mvar, Bản mẫu:Math bằng Bản mẫu:Mvar, Bản mẫu:Math bằng Bản mẫu:Mvar, và Bản mẫu:Math bằng Bản mẫu:Mvar rồi bỏ các hàng đầu và cột đầu sẽ ra biểu diễn ma trận của Bản mẫu:Math.

Định lý bốn số chính phương của Lagrange

Bản mẫu:Main Quaternion cũng được dùng trong một trong trong các bài chứng minh cho định lý bốn số chính phương của Lagrange trong lý thuyết số, định lý này phát biểu rằng mọi số nguyên không âm là tổng của bốn số chính phương. Bên cạnh việc định lý này rất là gọn, định lý còn có ứng dụng hữu ích trong các nhánh toán học ngoài lý thuyết số, chẳng hạn như trong lý thuyết thiết kế tổ hợp. Bài chứng minh dựa trên quaternion sử dụng các quaternion Hurwitz, các quaternion này là vành con của vành các quaternion có chứa thuật toán với thuật toán Euclid.

Quaternion là cặp số phức

Bản mẫu:Main Quaternion có thể biểu diễn bằng cặp hai số phức. Từ góc nhìn này, các quaternion là kết quả của việc áp dụng xây dựng Cayley–Dickson đến số phức. Đây là dạng tổng quát của xây dựng số phức từ cặp hai số thực.

Gọi ${ℂ}^2$ là không gian vectơ hai chiều trên số phức. Chọn cơ sở bao gồm hai phần tử Bản mẫu:Math và Bản mẫu:Math. Một vectơ trong ${ℂ}^2$ có thể viết thành tổ hợp của các phần tử cơ sở Bản mẫu:Math và Bản mẫu:Math như sau

$$(a+bi)1+(c+di)𝐣.$$

Nếu ta định nghĩa Bản mẫu:Math và Bản mẫu:Math, thì ta có thể định nghĩa phép nhân vectơ sử dụng luật phân phối. Sử dụng Bản mẫu:Math làm ký hiệu viết tắt cho tích Bản mẫu:Math dẫn tới cùng luật cho phép nhân của quaternion. Do đó, vectơ trên của các số phức tương ứng với quaternion Bản mẫu:Math. Nếu ta viết phần tử của ${ℂ}^2$ là cặp được sắp và các quaternion là bộ bốn, thì tương ứng giữa chúng

$$(a+bi,c+di)\leftrightarrow (a,b,c,d).$$

Căn bậc hai

Căn bậc hai của −1

Trong số phức, $ℂ,$ có đúng hai số, Bản mẫu:Mvar và Bản mẫu:Math, cho ra −1 khi bình phương lên. Trong $ℍ$, có vô hạn giá trị cho căn bậc hai của -1: nghiệm quaternion cho căn bậc hai của −1 là mặt cầu đơn vị trong ${ℝ}^3.$Để hiểu rõ, gọi Bản mẫu:Nowrap là quaternion và là căn bậc hai của −1. Khi đó, xét Bản mẫu:Mvar, Bản mẫu:Mvar, Bản mẫu:Mvar, và Bản mẫu:Mvar, ta được

$$\begin{array}{cc}{a}^2-b^2-c^2-d^2& =-1,\phantom{x^{|}}\\ 2ab& =0,\\ 2ac& =0,\\ 2ad& =0.\end{array}$$

Để thoả mãn ba phương trình cuối, hoặc Bản mẫu:Nowrap hoặc Bản mẫu:Mvar, Bản mẫu:Mvar, và Bản mẫu:Mvar đều bằng 0. Lựa chọn sau bất khả thi bởi a là số thực và nếu chọn như thế thì sẽ suy ra Bản mẫu:Nowrap Do đó, Bản mẫu:Nowrap và Bản mẫu:Nowrap Nói cách khác: quaternion có bình phương bằng −1 khi và chỉ khi nó là quaternion vectơ với chuẩn 1. Theo định nghĩa, mọi vectơ như thế lập thành mặt cầu đơn vị.

Chỉ có số quaternion thực và âm mới có vô hạn số căn bậc hai. Những giá trị còn lại chỉ có hai (hoặc một trong trường hợp của 0).Bản mẫu:Citation neededBản mẫu:Efn

Khi là hợp của các mặt phẳng phức

Mỗi cặp đối cực của căn bậc hai của −1 tạo một bản sao phân biệt của số phức trong các quaternion. Nếu Bản mẫu:Nowrap thì bản sao là ảnh của hàm số

$$a+bi\mapsto a+bq.$$

Đây là đơn cấu vành từ $ℂ$ đến $ℍ,$ định nghĩa đẳng cấu trường từ $ℂ$ đến ảnh của nó. Ảnh của phép nhúng tương ứng với Bản mẫu:Mvar và −Bản mẫu:Mvar bằng nhau.

Mọi quaternion không thực sinh đại số con của các quaternion mà đẳng cấu với $ℂ,$ và do đó là không gian con phẳng của $ℍ:$ viết Bản mẫu:Mvar thành tổng của phần vô hướng và phần vectơ:

$$q=q_s+{\overrightarrow{q}}_v.$$

Phân tích phần vectơ thành tích của chuẩn của nó với versor:

$$q=q_s+\Vert {\overrightarrow{q}}_v\Vert \cdot 𝐔{\overrightarrow{q}}_v=q_s+\Vert {\overrightarrow{q}}_v\Vert \frac{{\overrightarrow{q}}_v}{\Vert {\overrightarrow{q}}_v\Vert }.$$

(Cái này khác với $q_s+\Vert q\Vert \cdot 𝐔q$.) Versor của phần vectơ Bản mẫu:Mvar, $𝐔{\overrightarrow{q}}_v$, là versor phải với –1 là bình phương của nó. Dễ kiểm chứng rằng $$a+bi\mapsto a+b𝐔{\overrightarrow{q}}_v$$ định nghĩa đồng cấu đại số có tính đơn ánh của các đại số định chuẩn từ $ℂ$ đến các quaternion. Dưới đồng cấu này, Bản mẫu:Mvar là ảnh của số phức $q_s+\Vert {\overrightarrow{q}}_v\Vert i$.

Bởi $ℍ$ là hợp của tất cả các ảnh của đồng cấu, ta có thể xem các quaternion là chùm các mặt phẳng giao nhau trên đường số thực. Mỗi mặt phẳng phức này chỉ chứa cặp hai điểm đối cực của mặt cầu của căn bậc hai của -1.

Vành con giao hoán

Mối quan hệ của các quaternion với nhau trong mặt phẳng phức của $ℍ$ có thể xác định và biểu diễn bằng các vành con giao hoán. Cụ thể, bởi hai quaternion Bản mẫu:Mvar và Bản mẫu:Mvar giao hoán (tức Bản mẫu:Math) chỉ khi chúng nằm trong cùng mặt phẳng phức của $ℍ$, ý tưởng $ℍ$ là hợp của các mặt phức nảy sinh khi ta muốn tìm tất cả vành con giao hoán của vành quaternion.

Căn bậc hai của quaternion tuỳ ý

Bất kỳ quaternion $𝐪=(r,\overrightarrow{v})$ (biểu diễn dưới dạng cặp vô hướng và vectơ) có ít nhất một căn bậc hai $\sqrt{𝐪}=(x,\overrightarrow{y})$ giải phương trình ${\sqrt{𝐪}}^2=(x,\overrightarrow{y}{)}^2=𝐪$. Nhìn riêng biệt vào phần vô hướng và vectơ trong phương trình sẽ ra hai phương trình, sau khi giải chúng sẽ ra nghiệm

$$\sqrt{𝐪}=\sqrt{(r,\overrightarrow{v})}=\pm (\sqrt{\frac{\Vert 𝐪\Vert +r}{2}},\frac{\overrightarrow{v}}{\Vert \overrightarrow{v}\Vert }\sqrt{\frac{\Vert 𝐪\Vert -r}{2}}),$$

trong đó $\Vert \overrightarrow{v}\Vert =\sqrt{\overrightarrow{v}\cdot \overrightarrow{v}}=\sqrt{-{\overrightarrow{v}}^2}$ là chuẩn của $\overrightarrow{v}$ và $\Vert 𝐪\Vert =\sqrt{{𝐪}^{*}𝐪}=r^2+\Vert \overrightarrow{v}{\Vert }^2$ là chuẩn của $𝐪$. Đối với quaternion vô hướng $𝐪$, phương trình này cho đúng giá trị căn bậc hai nếu $\frac{\overrightarrow{v}}{\Vert \overrightarrow{v}\Vert }$ được coi là vectơ đơn vị tuỳ ý.

Do đó, các quaternion không vô hướng và khác không hoặc các quaternion dương có chính xác hai căn bậc hai, trong khi 0 chỉ có một (0), còn quaternion vô hướng và âm thì có vô số căn bậc hai, và là các quaternion vectơ nằm trên $\{0\}\times S^2(\sqrt{-r})$,tức phần vô hướng bằng 0 còn phần vectơ thì nằm trên 2-cầu có bán kinh $\sqrt{-r}$.

Hàm với biến quaternion

Các tập Julia và tập Mandelbrot có thể mở rộng sang các quaternion, nhưng chúng phải dùng mặt cắt để có thể hình dung trong không gian 3 chiều. Tập Julia này được cắt bởi mặt phẳng Bản mẫu:Mvar.

Giống hàm số với biến phức, các hàm với biến quaternion gợi ý đến mô hình vật lý hữu dụng. Chẳng hạn, mô tả gốc của Maxwell về từ trường và điện trường sử dụng hàm biến quaternion. Các ví dụ khác bao gồm mở rộng tập Mandelbrot và tập Julia sang không gian bốn chiều.

Hàm mũ, hàm lôgarit và hàm luỹ thừa

Cho quaternion,

$$q=a+b𝐢+c𝐣+d𝐤=a+𝐯,$$

hàm mũ được tính như sau

$$\exp (q)=\sum _{n=0}^{\mathrm{\infty }}\frac{q^n}{n!}=e^a(\cos \Vert 𝐯\Vert +\frac{𝐯}{\Vert 𝐯\Vert }\sin \Vert 𝐯\Vert ),$$

còn hàm lôgarit là

$$\ln (q)=\ln \Vert q\Vert +\frac{𝐯}{\Vert 𝐯\Vert }\arccos \frac{a}{\Vert q\Vert }.$$

Từ đây, ta có thể viết dạng cực (dạng lượng giác) của quaternion

$$q=\Vert q\Vert e^{\hat{n}\phi }=\Vert q\Vert (\cos (\phi )+\hat{n}\sin (\phi )),$$

trong đó góc đến từBản mẫu:Efn

$$a=\Vert q\Vert \cos (\phi )$$

còn vectơ đơn vị $\hat{n}$ định nghĩa bởi:

$$𝐯=\hat{n}\Vert 𝐯\Vert =\hat{n}\Vert q\Vert \sin (\phi ).$$

Bất kỳ quaternion đơn vị có thể biểu diễn dưới dạng cực như sau:

$$q=\exp (\hat{n}\phi ).$$

Luỹ thừa của quaternion với bậc Bản mẫu:Mvar thực tuy ý là:

$$q^x=\Vert q{\Vert }^x{e}^{\hat{n}x\phi }=\Vert q{\Vert }^x(\cos (x\phi )+\hat{n}\sin (x\phi )).$$

Chuẩn trắc địa

Khoảng cách trắc địa Bản mẫu:Nowrap giữa quaternion đơn vị Bản mẫu:Mvar và Bản mẫu:Mvar được định nghĩa là:

$$d_{\text{g}}(p,q)=\Vert \ln (p^{-1}q)\Vert .$$

và tương ứng với giá trị tuyệt đối của một nửa góc đối diện bởi Bản mẫu:Mvar và Bản mẫu:Mvar trên cung lớn của mặt Bản mẫu:Math-cầu. Góc này cũng có thể tính từ tích vô hướng của quaternion mà không sử dụng lôgarit:

$$\arccos (2(p\cdot q{)}^2-1).$$

Nhóm quay ba chiều và nhóm quay bốn chiều

Bản mẫu:Unreferenced section Bản mẫu:Main Từ "liên hợp", ngoài nghĩa ở trên còn có nghĩa là biến đổi phần tử Bản mẫu:Mvar thành Bản mẫu:Math trong Bản mẫu:Mvar là quaternion khác không nào đó. Tất cả phần tử liên hợp với một phần tử cho trước (theo nghĩa của "liên hợp" trong đây) có cùng phần thực và cùng giá trị chuẩn của phần vectơ. (Do đó liên hợp ở trên là một trong họ các phần tử "liên hợp" dưới đây.)

Do vậy, nhóm nhân tính của quaternion khác không tác động bằng liên hợp lên bản sao của ${ℝ}^3$ bao gồm các quaternion có phần thực bằng không. Liên hợp bởi quaternion đơn vị (quaternion có chuẩn 1) với phần thực Bản mẫu:Math là phép quay với góc Bản mẫu:Math, trục quay là hướng của phần vectơ. Các ưu điểm của phép quay bằng quaternion này là:

• Tránh khoá gimbal (gimbal lock), một vấn đề với các hệ thống như góc Euler.
• Nhanh hơn và gọn hơn khi tính với ma trận.
• Biểu diễn không kỳ dị (so sánh với góc Euler chẳng hạn).
• Cặp quaternion đơn vị có thể biểu diễn phép quay trong không gian bốn chiều (xem Quay trong không gian Euclid 4 chiều).

Tập các quaternion đơn vị (versor) lập thành 3-cầu Bản mẫu:Math và nhóm (nhóm Lie) dưới phép nhân, phủ hai lần nhóm $\text{SO}(3,ℝ)$ của các ma trận trực giao thực 3×3 với định thức 1 bởi hai quaternion đơn vị tương ứng với phép quay dưới tương ứng trên. Xem mẹo đĩa. Bản mẫu:Further Ảnh của nhóm con các versor là nhóm điểm, và ngược lại, tạo ảnh của nhóm điểm là nhóm con các versor. Tạo ảnh của nhóm điểm hữu hạn được gọi cùng tên nhưng thêm hậu tố nhị phân. Lấy ví dụ, tạo ảnh của nhóm icosahedral là nhóm icosahedral nhị phân.

Nhóm các versor đẳng cấu với Bản mẫu:Math, nhóm các ma trận unita 2×2  có định thức 1.

Gọi Bản mẫu:Mvar là tập các quaternion dưới dạng Bản mẫu:Nowrap trong đó Bản mẫu:Mvar và Bản mẫu:Mvar hoặc đều là số nguyên hoặc đều là số bán nguyên. Tập Bản mẫu:Mvar này là vành (thậm chí còn là miền) và là lưới, được gọi là vành các quaternion Hurwitz . Có 24 quaternion đơn vị này và chúng đều là đỉnh của 24-cell đều (hình 24 đỉnh trong không gian 4 chiều) với dấu Schläfli Bản mẫu:Math

Đại số quaternion

Các quaternion có tổng quát hơn nữa thành đại số gọi là đại số quaternion. Gọi Bản mẫu:Mvar là bất kỳ có đặc trưng khác 2, và Bản mẫu:Mvar và Bản mẫu:Mvar là các phần tử của Bản mẫu:Mvar; đại số kết hợp, unita và bốn chiều có thể định nghĩa trên Bản mẫu:Mvar với cơ sở Bản mẫu:Math và Bản mẫu:Math, trong đó Bản mẫu:Nowrap, Bản mẫu:Nowrap và Bản mẫu:Nowrap (nên Bản mẫu:Nowrap).

Đại số quaternion đẳng cấu với đại số các ma trận 2×2 trên Bản mẫu:Mvar .

Quaternion là phần chẵn của Bản mẫu:Math

Bản mẫu:Main Tính hữu dụng của quaternion cho tính toán hình học có thể tổng quát cho các chiều khác bằng việc xác định quaternion là phần chẵn ${\mathrm{Cl}}_{3,0}^{+}(ℝ)$ của đại số Clifford ${\mathrm{Cl}}_{3,0}(ℝ).$ Đây là đại số đa vectơ kết hợp được xây từ các phần tử cơ sở nền tảng Bản mẫu:Math sử dụng quy tắc tính tích sau

$${\sigma }_1^2={\sigma }_2^2={\sigma }_3^2=1,$$ $${\sigma }_i{\sigma }_j=-{\sigma }_j{\sigma }_i(j\ne i).$$

Nếu các phần tử cơ sở này được dùng để biểu diễn vectơ trong không gian 3D, thì ta có thể nhận ra rằng phản xạ của vectơ Bản mẫu:Mvar trong mặt phẳng vuông góc với vectơ đơn vị Bản mẫu:Mvar có thể viết thành:

$$r^{\prime }=-wrw.$$

Hai phản xạ sẽ tạo phép quay bởi góc gấp đối góc giữa hai mặt phẳng phản xạ, do đó

$$r^{\prime \prime }={\sigma }_2{\sigma }_{1}r{\sigma }_1{\sigma }_2$$

tương ứng với quay 180° trong mặt phẳng chứa σ₁ và σ₂. Điều này rất tương tự với công thức quaternion tương ứng,

$$r^{\prime \prime }=-𝐤r𝐤.$$

Thật vậy, hai cấu trúc ${\mathrm{Cl}}_{3,0}^{+}(ℝ)$ và $ℍ$ đẳng cấu với nhau. Một ánh xạ dễ tìm đó là

$$1\mapsto 1,𝐤\mapsto {\sigma }_2{\sigma }_1,𝐢\mapsto {\sigma }_3{\sigma }_2,𝐣\mapsto {\sigma }_1{\sigma }_3,$$

và dễ kiểm chứng lại nó bảo toàn các quan hệ của Hamilton

$${𝐢}^2={𝐣}^2={𝐤}^2=𝐢𝐣𝐤=-1.$$

Xem thêm

• Bản mẫu:Annotated link
• Bản mẫu:Annotated link
• Bản mẫu:Annotated link
• Bản mẫu:Annotated link
• Bản mẫu:Annotated link
• Bản mẫu:Annotated link
• Bản mẫu:Annotated link
• Bản mẫu:Annotated link
• Bản mẫu:Annotated link
• Bản mẫu:Annotated link
• Bản mẫu:Annotated link
• Bản mẫu:Annotated link
• Bản mẫu:Annotated link
• Bản mẫu:Annotated link
• Bản mẫu:Annotated link
• Bản mẫu:Annotated link

Đọc thêm

Sách và xuất bản

• Bản mẫu:Chú thích tạp chí
• Hamilton, William Rowan (1853), "Lectures on Quaternions". Royal Irish Academy.
• Hamilton (1866) Elements of Quaternions University of Dublin Press. Edited by William Edwin Hamilton, son of the deceased author.
• Hamilton (1899) Elements of Quaternions volume I, (1901) volume II. Edited by Charles Jasper Joly; published by Longmans, Green & Co.
• Tait, Peter Guthrie (1873), "An elementary treatise on quaternions". 2d ed., Cambridge, [Eng.] : The University Press.
• Maxwell, James Clerk (1873), "A Treatise on Electricity and Magnetism". Clarendon Press, Oxford.
• Tait, Peter Guthrie (1886), "Bản mẫu:Chú thích web". M.A. Sec. R.S.E. Encyclopædia Britannica, Ninth Edition, 1886, Vol. XX, pp. 160–164. (bzipped PostScript file)
• Bản mẫu:Chú thích sách
• Bản mẫu:Chú thích sách
• Bản mẫu:Cite EB1911 (See section on quaternions.)
• Bản mẫu:Chú thích tạp chí
• Bản mẫu:Chú thích sách
• Michael J. Crowe (1967), A History of Vector Analysis: The Evolution of the Idea of a Vectorial System, University of Notre Dame Press. Surveys the major and minor vector systems of the 19th century (Hamilton, Möbius, Bellavitis, Clifford, Grassmann, Tait, Peirce, Maxwell, Macfarlane, MacAuley, Gibbs, Heaviside).
• Bản mẫu:Chú thích tạp chí
• Bản mẫu:Chú thích tạp chí
• Bản mẫu:Chú thích sách
• Bản mẫu:Chú thích sách
• Bản mẫu:Chú thích sách
• Bản mẫu:Chú thích sách
• Bản mẫu:Chú thích sách
• Bản mẫu:Chú thích sách (review).
• Bản mẫu:Cite arXiv
• Bản mẫu:Chú thích sách
• Bản mẫu:Chú thích sách
• Bản mẫu:Chú thích sách
• Bản mẫu:Chú thích sách
• Bản mẫu:Chú thích sách
• Bản mẫu:Chú thích sách
• For molecules that can be regarded as classical rigid bodies molecular dynamics computer simulation employs quaternions. They were first introduced for this purpose by Bản mẫu:Chú thích tạp chí
• Bản mẫu:Chú thích tạp chí
• Bản mẫu:Chú thích sách
• Bản mẫu:Citation
• Bản mẫu:Chú thích sách

Liên kết và chuyên khảo

• Bản mẫu:Chú thích web Notices and materials related to Quaternion conference presentations
• Bản mẫu:Springer
• Bản mẫu:Chú thích web
• Bản mẫu:Chú thích web
• Quaternions for Computer Graphics and Mechanics (Gernot Hoffman)
• Bản mẫu:Cite arXiv
• Bản mẫu:Chú thích web
• Bản mẫu:Chú thích web 3D Raytraced Quaternion Julia Fractals
• Bản mẫu:Chú thích web Great page explaining basic math with links to straight forward rotation conversion formulae.
• Bản mẫu:Chú thích web
• Bản mẫu:Chú thích web
• Bản mẫu:Chú thích web
• Bản mẫu:Chú thích tạp chí
• Bản mẫu:Cite arXiv
• Bản mẫu:Cite arXiv
• Bản mẫu:Chú thích web
• Bản mẫu:Chú thích web
• David Erickson, Defence Research and Development Canada (DRDC), Complete derivation of rotation matrix from unitary quaternion representation in DRDC TR 2005-228 paper.
• Bản mẫu:Chú thích web
• Bản mẫu:Chú thích web
• Bản mẫu:Cite arXiv describes how the quaternions can be made into a skew-commutative algebra graded by Bản mẫu:Nowrap.
• Bản mẫu:Chú thích web
• Bản mẫu:Chú thích web Part II (PDF; using Hamilton's terminology, which differs from the modern usage)
• Bản mẫu:Chú thích tạp chí
  Bản mẫu:Chú thích tạp chí two expository papers about continuous functional calculus and spectral theory in quanternionic Hilbert spaces useful in rigorous quaternionic quantum mechanics.
• Quaternions the Android app shows the quaternion corresponding to the orientation of the device.
• Rotating Objects Using Quaternions article speaking to the use of Quaternions for rotation in video games/computer graphics.

Liên kết ngoài

• Bản mẫu:Thể loại Commons nội dòng
• Paulson, Lawrence C. Quaternions (Formal proof development in Isabelle/HOL, Archive of Formal Proofs)
• Quaternions – Visualisation