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

learn more… | top users | synonyms

2
votes
1answer
60 views

Why and how are quaternions 'bilinear'?

What does it mean when we say that quaternion composition is 'bilinear'? I have observed that some authors write quaternion multiplication as: While others specify: Excuse the poor images, ...
1
vote
1answer
70 views

Show that the the multipliction and inverse operations on the quaternion unit sphere are continuous

This is a bit of a tricky question, we define the real Quaternions as: $$H=\left\{ a+bi+cj+dk\mid a,b,c,d\in\mathbb{R}\right\}$$ With the rule that: $$ij=-ji=k\:,\: jk=-kj=i\:,\: ki=-ik=\, j\;,\: ...
2
votes
1answer
365 views

Rotation by quaternion conjugation and quaternion matrix

A rotation of vector $v$ can be done by matrix multiplication $Q^{*}Qv$ where $Q=\begin{pmatrix}w & -z & y & x \\ z & w & -x & y \\ -y &x &w& z\\ -x& -y ...
0
votes
1answer
18 views

Reference for the polar parameterization of quaternions

I would like to find the original reference in which the polar parameterization of quaternions was given (i.e. the relationship between the components of a unit quaternion and the polar angles of an ...
0
votes
1answer
71 views

Automorphism of $Q_8$ [duplicate]

Is there anyone could help me to prove that $Aut(Q_8)=S_4$? Someone told me that there's an isomorphism between the rigid motions of cube and $Aut(Q_8)$, any ideas? Thank you!
0
votes
1answer
90 views

Show exponential function maps any line through the origin onto a circle of radius 1 in $\mathbb{S}^3$.

Show that the exponential function maps any line through the origin in $\mathbb{R}$i +$\mathbb{R}$j + $\mathbb{R}$k onto a circle of radius 1 in $\mathbb{S}^3$. I know that for any element v $\in$ ...
2
votes
2answers
2k views

How to rotate one vector about another?

Breif Having given 2 non-parallel vectors: a and b, is there any way by which I may rotate a about b such that b acts as the axis about which a is rotating. Question Given: vector a and b To find: ...
7
votes
2answers
130 views

Is it possible to use the imaginary components of quaternions to facilitate calculation of vector cross products?

It has come to my attention that the cross products of the vectors $\mathbf{i}$, $\mathbf{j}$, and $\mathbf{k}$ are almost identical to the products of the imaginary components of quaternions $i$, ...
1
vote
1answer
37 views

Set of rotations necessary to connect two points in R³ using a thin cylinder

I have been scratching my head for days trying to answer this question. Suppose i have 2 points on three-dimensional space, say, $A(x_1, y_1, z_1)$ and $B(x_2, y_2, z_2)$, and they are separated by ...
1
vote
0answers
60 views

Present-day uses of quaternions [duplicate]

"Everybody knows" that quaternions are not used for the purposes for which they were originally intended. They are, however, used in computer graphics, and perhaps in astrogation. Besides that, what ...
0
votes
1answer
180 views

Understanding quaternions & gradient descent in a paper on inertial / magnetic sensor arrays

I hope this question is appropriate here! I and a friend at work are trying to understand Sebastian Madgwick's paper, "An efficient orientation for inertial and inertial/magnetic sensor arrays" ...
4
votes
1answer
143 views

Relationship between two maps from $SU(2)$ to $SO(3)$

I have two maps from $SU(2) \to SO(3)$. For the first map, think of $SU(2)$ as the group of unit quaternions. Under this identification, we can give a map $f: SU(2) \to SO(3)$ given by $SU(2)$ ...
4
votes
2answers
181 views

Why is $x_1 i = i x_1$ for quaternions?

According to Wikipedia, $$x+y = (x_0+y_0)+(x_1+y_1) i+(x_2+y_2) j+(x_3+y_3) k$$ and $$\begin{align} x y &=( x_0 y_0 - x_1 y_1 - x_2 y_2 - x_3 y_3)\\ &+( x_0 y_1 + x_1 y_0 + x_2 y_3 - x_3 ...
5
votes
2answers
116 views

Why is $(-1) \cdot j = j \cdot (-1)$ for quaternions?

I'm currently trying to understand the following part of a script (translated from German to English). It is the first part where quaternions get introduced, so I don't know anything about them except ...
4
votes
2answers
242 views

Trinonions, Quaternions, Quinonions, Sextonions, Septonions, Octonions

There are quaternions and octonions and even sextonions but what about trinonions, quinonions and septonions. Are there 3, 5, and 7 dimensional algebras which could be called trinonions, quinonions ...
1
vote
1answer
257 views

Small angular displacements with a quaternion representation

I have the orientation of a 3D spatial object represented by a unit quaternion: $$ q = a_1 + a_2 i + a_3 j + a_4 k $$ $$ \|q\| = (a_1^2 + a_2^2 + a_3^2 + a_4^2)^{1/2} = 1 $$ I'd like to perturb this ...
3
votes
2answers
258 views

Learning track for quaternions?

I've been out of the math loop for the last decade (although I'm a programmer, I've not done anything with calculus or above for this long) and I'd like to learn about quaternions (particularly ...
0
votes
1answer
60 views

Pfister's 16-Square Identity and the norm of sedenions

Consider the sequence of numbers: complex numbers $\Bbb C$, quaternions $\Bbb H$, octonions $\Bbb O$, and sedenions $\Bbb S$. The Brahmagupta-Fibonacci 2-Square identity implies that the norm of the ...
0
votes
1answer
223 views

3D Positioning Vectors to Matrix & Quaternions

This is also programming related, but I think it's more about math than anything else. I have an Object which I want to represent it's 3d position, rotation and scale with vectors, and then I need to ...
3
votes
1answer
64 views

Mean value of the rotation angle is 126.5°

In the paper "Applications of Quaternions to Computation with Rotations" by Eugene Salamin, 1979 (click here), they get 126.5 degrees as the mean value of the rotation angle of a random rotation (by ...
2
votes
1answer
255 views

Getting cumulative Euler angle from a single Quaternion

I've got an app that uses quaternions, and I'd like to convert each quaternion to the corresponding Euler angles. The issue is, when I convert them, the roll and yaw are bounded within 360 degrees ...
11
votes
1answer
298 views

The Quaternions and $SO(4)$

I am interested in the map $\phi:S^3 \times S^3 \to GL_4(\mathbb{R})$ given as follows: Let $(p,q) \in S^3 \times S^3$. We identify $p$ and $q$ as real quaternions with unit norms and define ...
0
votes
0answers
97 views

Update rotation matrix

Imagine you have a two noded beam in space, defined by extreme nodes 1 and 2. Image is owned by Jean-Marc Battini. To ...
3
votes
2answers
233 views

Sylow 2-Groups of a Special Linear Group

Let $SL_2(\mathbb{F}_3)$ be the special linear group over the finite field $\mathbb{F}_3$. Show that any Sylow 2-group of $SL_2(\mathbb{F}_3)$ is isomorphic to the quaternion group of order 8.
1
vote
2answers
72 views

Immersion of Quaternions

Does there exist an immersion of the Quaternion Group in the Symmetric Groups $S_6$ and $S_7$? If it does exist, can you give me an explicit description of that immersion?
4
votes
2answers
399 views

Quaternions vs Axis angle

Whats the use of representing rotation with quaternions compared to normal axis angle representation? I've been trying to learn quaternions and they make enough sense but as far as I can tell ...
1
vote
0answers
49 views

Quaternion Hermitian diagonalization

How do I go about diagonalizing such a matrix. For example let $D$ be the quaternion algebra over $\mathbb{Q}$ with $i^2 = -1, j^2 = -11$ and take the matrix: $A = \begin{pmatrix} 11 & -j-3k \\ ...
4
votes
1answer
116 views

Is there a name for a function whose square is an involution?

An involution is a function $f:X\to X$ such that $f\circ f=\text{id}$. Is there a name for a function $g:X\to X$ such that $f\equiv g\circ g$ is an involution? An example is multiplication by $\pm i$ ...
5
votes
3answers
227 views

How to understand and create quaternions?

I have to multiply two quaternions to calculate a so called spherical linear interpolation between two $R^3$ coordinate systems within the interval $t = [0, 1]$. I understand how to do the ...
2
votes
0answers
34 views

Computing a particular finite set of quaternion matrices.

Let $B = \left(\frac{-1,-11}{\mathbb{Q}}\right)$ be a choice of quaternion algebra ramifying at $11$ and consider the maximal order ...
18
votes
2answers
579 views

Is the set of quaternions $\mathbb{H}$ algebraically closed?

A skew field $K$ is said to be algebraically closed if it contains a root for every non-constant polynomial in $K[x]$. I know that this is true for $\mathbb{C}$, which is the algebraic closure of ...
1
vote
0answers
87 views

Quaternion barycentric interpolation

Let's say that i have a set of quaternions, each representing a 3-angle orientation. And with each quaternion is associated a real value (let's say a speed value for explanation's sake). Now with an ...
1
vote
1answer
52 views

limit with quaternion

Let $v\in \mathbb{H}$ and $q:t\in\mathbb{R}\rightarrow q(t)\in \mathbb{H}$. That $q(t) \neq 0$ for all $t\in \mathbb{R}$ and $q^{-1}(t) = \frac{1}{q(t)}$. So don't confuse $q^{-1}(t)$ with inverse ...
2
votes
1answer
133 views

Algorithm for finding orientation of each face on a polyhedron?

I am working on making a dice rolling application and I need to find out how far in each of the three dimensions I must rotate each of the dice to make the correct side face the camera so the user can ...
0
votes
1answer
87 views

Quaternion Matrix Multiply

My question is about applying rules of quaternions to quaternion matrices. I know that for some rotation quaternion q = [w, x, y, z], I can find the rotation of ...
1
vote
1answer
92 views

faithful irreducible representation of $A_{4} \times Q_{8}$

Construct a faithful irreducible representation of the group $A_4 \times Q_8$ $A_{4}$ is the alternating group $Q_{8}$ is the quaternions
7
votes
1answer
197 views

Quaternion group associativity

Consider the eight objects $\pm 1, \pm i, \pm j, \pm k$ with multiplication rules: $ij=k,jk=i,ki=j,ji=-k,kj=-i,ik=-j,i^2=j^2=k^2=-1$, where the minus signs behave as expected and $1$ and $-1$ ...
13
votes
1answer
217 views

Why is the dimension of $SL(2,\mathbb{H})$ equal to $15$?

Let me ask a very basic question which is inspired by reading M. Atiyah's "Geometry and physics of knots". Could you explain me (or give a reference to) the definition of the special linear group ...
1
vote
1answer
235 views

Quaternion exponential map, rotations and interpolation

A code snippet I need to optimize is performing something peculiar. It seems that it's somehow related to transforming from a frame of reference to another. This is what it does, in mathematical ...
2
votes
2answers
420 views

Rotate the axis of rotation of a quaternion by another quaternion

I have two quaternions, $q_1$ and $q_2$. I want to rotate the axis of rotation of $q_1$ by $q_2$. Is there any way of doing this directly, without extracting the axis of rotation from $q_1$, rotating ...
4
votes
2answers
108 views

Does the square root of $i$ necessitate quaternions?

The square root of i is $\frac{\sqrt{2} + i \sqrt{2}}{2}$. But how is it valid to use a number in expressing the square root of that number?
3
votes
3answers
234 views

Are there different conventions for representing rotations as quaternions?

I am trying to understand how quaternions are represented as rotations, in particular how to convert from a quaternion representation to a rotation matrix. The following paper by Diebel gives an ...
2
votes
3answers
1k views

Composition of two axis-angle rotations

Please note that I am not referring to Euler angles of the form (α,β,γ). I am referring to the axis-angle representation, in which a unit vector indicates the direction axis of a rotation and a scalar ...
1
vote
1answer
197 views

Orthogonal procrustes problem using quaternions

Hello I'm trying solve orthogonal procrustes problem in 3d with a help of quaternions. Original problem is: For matrix $A$ find orthogonal matrix $Q$ that $$||A-Q||_F =\min_{\Omega \in SO(3)} ...
1
vote
0answers
38 views

“adding” numbers $\in\mathbb{U\left(2\right)}\times \mathbb{R}^+_0$

Let a unitary number be one that corresponds to a matrix of the form: $$\left( \begin{array}{cc} w+i x & y+i z \\ -e^{i p} (y-i z) & e^{i p} (w-i x) \end{array} \right)$$ This is analogous to ...
6
votes
3answers
258 views

4 dimensional numbers

I've tought using split complex and complex numbers toghether for building a 3 dimensional space (related to my previous question). I then found out using both together, we can have trouble on the ...
1
vote
1answer
676 views

Coordinate Transformation on Local coordinate system

I am having a point $P(x,y,z)$ in $3D$ with respect to global coordinate system. I want to create an another Local Coordinate System by picking three points $N1, N2, N3$ in 3D. Now I want to know the ...
8
votes
2answers
326 views

Binary tetrahedral group and $\rm{SL}_2(\mathbb F_3)$

The binary tetrahedral group $\mathbb T$ is an interesting 24-element group. For instance it can be expressed as the subgroup $$ \mathbb T = \left\{ \pm 1, \pm i, \pm j, \pm k, \dfrac{\pm 1 \pm i \pm ...
3
votes
0answers
119 views

Fractal derivative of complex order and beyond

Is there some precise definition of "complex (fractal) order derivative" for all complex number? I am aware of the Riemann-Liouville fractional definition given here: Complex derivative but I would ...
2
votes
0answers
124 views

Understanding quaternions and axis angle representations

I have a sensor that gives me a quaternion. I convert the quaternion to an axis-angle representation using http://www.euclideanspace.com/maths/geometry/rotations/conversions/quaternionToAngle/. When I ...