数学における四元数(しげんすう、英: quaternion)とは、複素数を拡張した数体系であり、虚数単位 i, j, k を用いて a + bi + cj + dk と表せる数のことである。ここで、a, b, c, d は実数であり、虚数単位 i, j, k は以下の関係を満たす。 このとき 1, i, j, k は実数体上線型独立である。 四元数は純粋数学のみならず応用数学、特に3Dグラフィクスやコンピュータビジョンにおいて三次元での回転の計算(英語版)でも用いられる。これはオイラー角や回転行列あるいはそれらに代わる道具などとともに、必要に応じて利用される。 四元数についての最初の記述は、1843年にアイルランドの数学者ウィリアム・ローワン・ハミルトンによってなされ[1][2]、3次元空間の力学に応用された。 四元数の特徴は、積について非可換であることである。ハミルトンは、四元数を三次元