Octonion

Trong toán học, các octonion là một đại số chia định chuẩn trên các số thực. Hệ quả: nó là một hệ thống số siêu phức.Octonion thường được biểu thị bằng chữ in hoa O, chữ đậm O hoặc chữ đậm bảng đen ${\displaystyle \mathbb {O} }$. Octonion có tám chiều; gấp đôi các quaternion. Nó không giao hoán và không kết hợp, nhưng thỏa mãn một hình thức kết hợp yếu hơn gọi là kết hợp thay phiên.

Định nghĩa

Các octonions có thể được coi như là các octet (bộ tám) của các số thực. Mỗi octonion là một tổ hợp tuyến tính của các octon đơn vị:

${\displaystyle \{e_{0},e_{1},e_{2},e_{3},e_{4},e_{5},e_{6},e_{7}\},}$

Nếu ta đồng nhất ${\displaystyle e_{0}}$ với số 1, ta cũng có thể viết

${\displaystyle x=x_{0}e_{0}+x_{1}e_{1}+x_{2}e_{2}+x_{3}e_{3}+x_{4}e_{4}+x_{5}e_{5}+x_{6}e_{6}+x_{7}e_{7},\,}$

với các hệ số thực ${\displaystyle \{x_{i}\}}$.

Phép cộng được cho bởi cộng từng số hạng. Phép nhân đựoc cho bởi bảng nhân của các đơn vị (Cayley, 1845 và Graves, 1843):^[1]

		${\displaystyle e_{j}}$
	${\displaystyle e_{i}e_{j}}$	${\displaystyle e_{0}}$	${\displaystyle e_{1}}$	${\displaystyle e_{2}}$	${\displaystyle e_{3}}$	${\displaystyle e_{4}}$	${\displaystyle e_{5}}$	${\displaystyle e_{6}}$	${\displaystyle e_{7}}$
${\displaystyle e_{i}}$	${\displaystyle e_{0}}$	${\displaystyle e_{0}}$	${\displaystyle e_{1}}$	${\displaystyle e_{2}}$	${\displaystyle e_{3}}$	${\displaystyle e_{4}}$	${\displaystyle e_{5}}$	${\displaystyle e_{6}}$	${\displaystyle e_{7}}$
	${\displaystyle e_{1}}$	${\displaystyle e_{1}}$	${\displaystyle -e_{0}}$	${\displaystyle e_{3}}$	${\displaystyle -e_{2}}$	${\displaystyle e_{5}}$	${\displaystyle -e_{4}}$	${\displaystyle -e_{7}}$	${\displaystyle e_{6}}$
	${\displaystyle e_{2}}$	${\displaystyle e_{2}}$	${\displaystyle -e_{3}}$	${\displaystyle -e_{0}}$	${\displaystyle e_{1}}$	${\displaystyle e_{6}}$	${\displaystyle e_{7}}$	${\displaystyle -e_{4}}$	${\displaystyle -e_{5}}$
	${\displaystyle e_{3}}$	${\displaystyle e_{3}}$	${\displaystyle e_{2}}$	${\displaystyle -e_{1}}$	${\displaystyle -e_{0}}$	${\displaystyle e_{7}}$	${\displaystyle -e_{6}}$	${\displaystyle e_{5}}$	${\displaystyle -e_{4}}$
	${\displaystyle e_{4}}$	${\displaystyle e_{4}}$	${\displaystyle -e_{5}}$	${\displaystyle -e_{6}}$	${\displaystyle -e_{7}}$	${\displaystyle -e_{0}}$	${\displaystyle e_{1}}$	${\displaystyle e_{2}}$	${\displaystyle e_{3}}$
	${\displaystyle e_{5}}$	${\displaystyle e_{5}}$	${\displaystyle e_{4}}$	${\displaystyle -e_{7}}$	${\displaystyle e_{6}}$	${\displaystyle -e_{1}}$	${\displaystyle -e_{0}}$	${\displaystyle -e_{3}}$	${\displaystyle e_{2}}$
	${\displaystyle e_{6}}$	${\displaystyle e_{6}}$	${\displaystyle e_{7}}$	${\displaystyle e_{4}}$	${\displaystyle -e_{5}}$	${\displaystyle -e_{2}}$	${\displaystyle e_{3}}$	${\displaystyle -e_{0}}$	${\displaystyle -e_{1}}$
	${\displaystyle e_{7}}$	${\displaystyle e_{7}}$	${\displaystyle -e_{6}}$	${\displaystyle e_{5}}$	${\displaystyle e_{4}}$	${\displaystyle -e_{3}}$	${\displaystyle -e_{2}}$	${\displaystyle e_{1}}$	${\displaystyle -e_{0}}$

Phương pháp xây dựng Cayley-Dickson

Một octonion có thể được xác định như một cặp hai số phức. Tích của hai cặp (a, b) và (c, d) được xác định bởi

${\displaystyle (a,b)(c,d)=(ac-d^{*}b,da+bc^{*}),}$

Ở đây ${\displaystyle z^{*}}$ biểu thị liên hợp quaternion của z. Định nghĩa này tương đương với định nghĩa được đưa ra ở trên.

Tính chất

Giao hoán tử và tích chéo

Ứng dụng

Octonion nguyên

Ghi chú

1. G Gentili, C Stoppato, DC Struppa và F Vlacci (2009), "Recent developments for regular functions of a hypercomplex variable", trong Irene Sabadini; M Shapiro; F Sommen (eds.), Hypercomplex analysis (Conference on quaternionic and Clifford analysis; proceedings ed.), Birkhäuser, tr. 168, ISBN 978-3-7643-9892-7

Tham khảo