Questions tagged [quaternions]

For questions about the quaternions: a noncommutative four dimensional division algebra over the real numbers. Also for questions about quaternion algebras.

The ring of quaternions is a four dimensional division algebra over the real numbers. They are usually denoted as $\Bbb H$ in honor of the discoverer, William Rowan Hamilton.

The construction of the quaternions was given by Hamilton as follows: take three symbols $i,j,k$ and define $i^2=j^2=k^2=ijk=-1$. As a result, $ij=k$, and $jk=i$ and $ki=j$. Furthermore, $ji=-k$ and $kj=-i$ and $ik=-j$, so $kji=1$.

A quaternion is a linear combination $q=\alpha+\beta i+\gamma j +\delta k$ where $\alpha, \beta,\gamma,\delta\in \Bbb R$. Multiplication between quaternions is carried out by using the distributive rule and the rules for $i,j$ and $k$.

The quaternions turn out to be a noncommutative division ring. In fact, $\Bbb R$ and $\Bbb C$ and $\Bbb H$ are the only associative finite dimensional division rings over $\Bbb R$. They are also the only normed division algebras over $\Bbb R$.

1455 questions
127
votes
6 answers

Why are the solutions of polynomial equations so unconstrained over the quaternions?

An $n$th-degree polynomial has at most $n$ distinct zeroes in the complex numbers. But it may have an uncountable set of zeroes in the quaternions. For example, $x^2+1$ has two zeroes in $\mathbb C$, but in $\mathbb H$, ${\bf i}\cos x + {\bf…
MJD
  • 62,206
  • 36
  • 276
  • 489
118
votes
7 answers

Why are There No "Triernions" (3-dimensional analogue of complex numbers / quaternions)?

Since there are complex numbers (2 dimensions) and quaternions (4 dimensions), it follows intuitively that there ought to be something in between for 3 dimensions ("triernions"). Yet no one uses these. Why is this?
thecat
  • 1,740
  • 3
  • 12
  • 19
62
votes
4 answers

What lies beyond the Sedenions

In the construction of types of numbers, we have the following sequence: $$\mathbb{R} \subset \mathbb{C} \subset \mathbb{H} \subset \mathbb{O} \subset \mathbb{S}$$ or: $$2^0 \mathrm{-ions} \subset 2^1 \mathrm{-ions} \subset 2^2 \mathrm{-ions}…
Willem Noorduin
  • 2,613
  • 1
  • 16
  • 20
55
votes
4 answers

Why are the only division algebras over the real numbers the real numbers, the complex numbers, and the quaternions?

Why are the only (associative) division algebras over the real numbers the real numbers, the complex numbers, and the quaternions? Here a division algebra is an associative algebra where every nonzero number is invertible (like a field, but without…
Noah Snyder
  • 9,445
  • 3
  • 37
  • 58
53
votes
5 answers

How do you rotate a vector by a unit quaternion?

Given a 3-variable right-handed vector v that is a translation measured in local space and a unit quaternion representing an orientation from local to world space, how do you use the quaternion to rotate the vector from local space to world…
Narf the Mouse
  • 703
  • 2
  • 7
  • 8
43
votes
8 answers

Why is the complex number $z=a+bi$ equivalent to the matrix form $\left(\begin{smallmatrix}a &-b\\b&a\end{smallmatrix}\right)$

Possible Duplicate: Relation of this antisymmetric matrix $r = \!\left(\begin{smallmatrix}0 &1\\-1 & 0\end{smallmatrix}\right)$ to $i$ On Wikipedia, it says that: Matrix representation of complex numbers Complex numbers $z=a+ib$ can also be…
NFDream
  • 453
  • 1
  • 5
  • 5
42
votes
5 answers

Can Euler's identity be extended to quaternions?

Euler's identity is $e^{i \pi} + 1 = 0$, a special case of the Euler's formula $e^{i\theta} = \cos\theta + i\sin\theta$, where $\theta = \pi$ (half-turn of the unit circle). It is commonly described as "beautiful" because it is simple and includes a…
endolith
  • 1,305
  • 14
  • 29
41
votes
8 answers

Real world uses of Quaternions?

I've recently started reading about Quaternions, and I keep reading that for example they're used in computer graphics and mechanics calculations to calculate movement and rotation, but without real explanations of the benefits of using them. I'm…
Paul B
  • 798
  • 1
  • 12
  • 10
37
votes
7 answers

How can one intuitively think about quaternions?

Quaternions came up while I was interning not too long ago and it seemed like no one really know how they worked. While eventually certain people were tracked down and were able to help with the issue, it piqued my interest in quaternions. After…
Anthony
  • 475
  • 5
  • 6
36
votes
6 answers

What is the motivation for quaternions?

I know imaginary numbers solve $x^2 +1=0$, but what is the motivation for quaternions?
zerosofthezeta
  • 5,419
  • 10
  • 37
  • 53
36
votes
1 answer

Quaternion distance

I am using quaternions to represent orientation as a rotational offset from a global coordinate frame. Is it correct in thinking that quaternion distance gives a metric that defines the closeness of two orientations? i.e. similar orientations give…
Josh
  • 463
  • 1
  • 4
  • 5
35
votes
5 answers

Why should quaternions exist?

Why do quaternions exist? I want to believe they exist, but all I can think of are reasons they should not exist. These are my reasons. The quaternions are defined by the following equation: $$i^2 = j^2 = k^2 = ijk = -1$$ There are four equalities…
The Turtle
  • 658
  • 6
  • 12
33
votes
2 answers

What specific algebraic properties are broken at each Cayley-Dickson stage beyond octonions?

I'm starting to come around to an understanding of hypercomplex numbers, and I'm particularly fascinated by the fact that certain algebraic properties are broken as we move through each of the $2^n$ dimensions. I think I understand the first $n<4$…
33
votes
1 answer

Exponential Function of Quaternion - Derivation

The equation for the exponential function of a quaternion $q = a + b i + c j + dk$ is supposed to be $$e^{q} = e^a \left(\cos(\sqrt{b^2+c^2+d^2})+\frac{(b i + c j + dk)}{\sqrt{b^2+c^2+d^2}} \sin(\sqrt{b^2+c^2+d^2})\right)$$ I'm having a difficult…
Jade196
  • 463
  • 1
  • 4
  • 9
32
votes
2 answers

What do we lose passing from the reals to the complex numbers?

As normed division algebras, when we go from the complex numbers to the quaternions, we lose commutativity. Moving on to the octonions, we lose associativity. Is there some analogous property that we lose moving from the reals to the complex…
1
2 3
96 97