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

learn more… | top users | synonyms

1
vote
0answers
33 views

Division algebra over 2-adic fields

Let $D$ be the quaternion division algebra and $O$ be a maximal $\mathbb{Z}$-order in $D$, say the Hurwitz quaternion integers. It can be proved that $D$ and $O$ split at odd primes, that is ...
0
votes
1answer
45 views

2d indicator for turning a spacecraft in 3d space

For the admins Please look at the tags.... I have no idea where to put this in math I also posted this here http://www.gamedev.net/topic/666267-2d-indicator-for-turning-a-spacecraft-in-3d-space/ ...
1
vote
1answer
85 views

Rotate the segment by quaternion - how to find actual segment's end position?

I have an segment from [0,0,0] to [0,1,0] (left-handed coordinate system, with Y axis up) which is non-rotated. The rotation is ...
1
vote
1answer
121 views

Solving a transformation equation involving vectors and quaternions

I'd like to solve the following equation for $c$, where $a$, $c$, and $d$ are position vectors represented by quaternions with $w$ (the real component) set to $0$ and $b$ is a unit quaternion: ...
1
vote
0answers
65 views

Clifford algebra and Spin group of 4-dimensional Euclidean space

I’m seeking for a straightforward construction of well-known $\mathrm{Spin}(4) = \mathrm{Spin}(3)\times\mathrm{Spin}(3)$ isomorphism using geometric algebra-based definition of “Spin”, without ...
0
votes
2answers
87 views

How can one intuit complex numbers from quaternions?

I understand that quaternions are sort of an extension of complex numbers in higher dimensions. If that's really the case conceptually (is it?), it must be possible to get back from the higher ...
1
vote
1answer
260 views

Vector spaces over quaternions

Let $V$ be an $n$-dimensional vector space over the quaternions $\mathbb{H}$, and let $G$ be the multiplicative quaternion group. How would one show that $V$ would then be a $4n$-dimensional ...
0
votes
1answer
47 views

THE positive half-spin space of quaternion vector space

I have the following information: $T$ is the one-dimensional quaternion vector space with the canonical action of $\Gamma$, a finite subgroup of SU$(2)$. This makes sense as SU$(2)$ is the unit ...
0
votes
1answer
186 views

How to find rotation quaternion for a model so that it is perpendicular to a line in 3D space?

How to find the target rotation quaternion for a model when one of its faces need to be aligned perpendicular to a line in 3D space. For example, if the model is a cube and if two 3D points connecting ...
1
vote
2answers
156 views

Handedness in Quaternion multiplication

I've received some code (which I didn't write) and decided at some point to write test cases for the Quaternion math implementation. I used Wolfram alpha to get the result q1 * q2, where: q1 = (4.0 ...
2
votes
1answer
84 views

Rotate a vector about a given axis by the use of a quaternion

I encountered a problem in programming where I need to rotate a given vector about a given angle. To be precise, I need to change it to a quaternion so that I can later change it to a 4x4 matrix to ...
2
votes
0answers
133 views

Jacobian Matrix of 6DOF Body (with IMU)

I am trying to derive the analytical Jacobian for a system that is essentially the equations of motion of a body (6 degrees of freedom) with gyro and accelerometer measurements. This is part of an ...
1
vote
2answers
109 views

How is it possible that a single Quaternion can be expanded into it's forward, up and right vector components?

So, I've been writing this raytracer for my own entertainment and recently I discovered Quaternions so I decided to implement a camera that uses them. After a lot of struggle I finally managed to ...
1
vote
0answers
115 views

Has the Riemann Hypothesis been generalized to the Octonions and the Quaternions?

I've noticed that it uses imaginary numbers. I know that sometimes when I have too few dimensions like (-1)^n, dots show where I might expect lines due to imaginary numbers. So perhaps there is a ...
1
vote
2answers
122 views

Can we describe quaternions using bra-ket in quantum mechanics?

For example, the rotation plus translation of a point using the language of quaternions is written as $Q(0,x,y,z)Q^* + T$ where $Q$ is the unit quaternion, $(x,y,z)$ is the point, and $T$ is some ...
0
votes
2answers
80 views

Quaternion relation proofs (e.g.: $ik=-j$)

How do you prove that these relations are correct $(ij = k, jk = i, \ldots)$? I tried to prove some of them, and I could, but for example: ...
1
vote
0answers
60 views

Determinant over $\mathbb{C}$ of an $\mathbb{H}$-linear mapping.

Let $V = \mathbb{C}^n$ and let let $u$ be a $\mathbb{C}$-linear endomorphism of $V$. Then $u$ can also be considered as an $\mathbb{R}$-linear mapping $u_{\mathbb{R}}$. It is well known that $$\det ...
1
vote
1answer
139 views

Rotating a point in space about another via quaternion

I have a system that is giving me a point in 3D space (call it (x, y, z)) and a quaternion (call it (qw, qx, qy, qz)). I want to create a point at (x+1, y, z), and then rotate that point using the ...
2
votes
1answer
52 views

Series does not converge [closed]

How would I go about showing that the series$$\sum_{n + m\tau \in \Lambda} {1\over{{|n + m\tau|}^2}}$$does not converge, where $\tau \in \mathbb{H}$?
6
votes
2answers
195 views

Alternative quaternion multiplication method

Given two quaternions, $a+bi+cj+dk$ and $e+fi+gj+hk$, their product (w.r.t. their given order) would normally be given by ...
2
votes
1answer
445 views

Converting quaternion or $4\times 4$ matrix to $3\times 3$ matrix representation.

I'm working on some code that manipulates an Axis-Aligned Bounding Box (AABB), so it always encompasses the object it borders. I use a $3\times 3$ matrix to re-size the box when it rotates. The ...
3
votes
2answers
59 views

What is the right name for the space occupied by a quaternion

I have a little problem wrapping my head around quaternions, in particular I have problems about how to pair the usual "3D algebra" with the theoretic vision of a quaternion. I know that informally a ...
0
votes
0answers
58 views

Conjugation of quaternions

This proof is extreeeeemely boring, but still I must get it right. Let $x = x_0 + x_1 i + x_2 j + x_3 k \in \mathbb{H}$ (the Hamilton quaternions). Conjugation is defined as: $$x^\ast = x_0 - x_1 i - ...
0
votes
1answer
78 views

Velocity vector transformations with respect to a global frame of reference

This seems like it should be a simple problem, but I've been stuck on it for about a day now. It's technically a programming problem, but I'm posting it here because the root of the problem is really ...
1
vote
1answer
121 views

The major differences between dual-quaternions and screw theory

I am working on a project involving the motion of rigid body. From the literatures, I found two main tools, namely the dual-quaternions and screw theory. May I ask what are the major differences ...
0
votes
1answer
55 views

Align the cube's nearest face to the camera

I have a cube and 4x4 transformation matrix Cube is rotated randomly I need to find the nearest face of cube regarding to camera and rotate the cube by aligning that face to the camera. How can I do ...
15
votes
2answers
375 views

Is there an algebraic closure for the quaternions?

This post is a sequel of: Is the set of quaternions $\mathbb{H}$ algebraically closed? This answer shows that: 1. $\mathbb{H}$ is algebraically closed for the polynomials of the form $\sum a_r ...
1
vote
1answer
210 views

Determine Euler Angles from look, up, and cross vectors

I have a spaceship flying through a $3D$ space. The flight is determined by applying a quaternion to the look, up, and cross vectors with the following scheme (this is working perfectly): starting ...
0
votes
1answer
107 views

Determine similarity between two sequence of quaternions while allowing a degree of freedom around Z axis

A person holds his phone and rotates it in space in a sequence. I am able to obtain a sequence of quaternions from the phone's motion sensors representing the rotation of the phone from the phone ...
0
votes
2answers
56 views

Find all Quaternions Satisfying..

Let H be the skew field of quaternions. Find all quaternions x satisfying $(i + j)x(i + k) = 2$ I'm having trouble figuring out what to do with this question. I know the "i j k i j k" formula for ...
1
vote
1answer
58 views

Solution of $ax+xb=c$ in a division ring

The equation $ax+xb=c$ in the quaternions skew field ($a,b,c,x \in \mathbb{H}$) has solution: $$ x= \left(|b|^2+2b_0a +a^2\right)^{-1} \left( ac +c \bar b\right) $$ Where $|b|,b_0,\bar b$ are ...
7
votes
1answer
152 views

Can quaternions be useful for integrals?

Lets assume we want to find a closed form for $\int_0^1 f(x) dx$ where $f(x)$ is a real-analytic function. There are many techniques to find that. Some include contour integration on the complex ...
2
votes
1answer
173 views

Isomorphism of Quaternion group

Prove that $Q_{8} \cong H \rtimes G \Rightarrow H=\{e\}$ or $G=\{e\}$. My proof (is it correct?): We know that (it's a fact from the lecture): If $M \cong H\rtimes G$, then $H \cong K \unlhd M$ ...
1
vote
1answer
116 views

Know if a 4x4 matrix is a composition of rotations and translations (quaternions)

I am using quaternions to describe 3D transformations. A position in space is representated by a (x,y,z,1) vector, and a transformation by a 4x4 matrix, following quaternions logics as far as I could ...
1
vote
1answer
107 views

What is the general definition of the conjugate of a multiple-component number?

I know that the conjugate of a binomial is the negation of the second part. So the conjugate of (a + b) would be (a - b). I know that the conjugate of a complex number (a + bi), similarly, is (a - ...
1
vote
1answer
150 views

What is the magnitude of a dual number? I'm not finding information on this.

I'm investigating dual quaternions and am having to learn a lot of stuff myself because I'm finding very few resources on the mathematical background. I know that the magnitude of a dual quaternion ...
0
votes
2answers
188 views

Rotation Equivalence using Quaternions

I'm given a statement to prove: A rotation of π/2 around the z-axis, followed by a rotation of π/2 around the x-axis = A rotation of 2π/3 around (1,1,1) Where z-axis is the unit vector (0,0,1) ...
1
vote
0answers
66 views

Inverse of a $2\times2$ matrix with noncommuting entries

I want to invert a $2 \times 2$ matrix with quaternionic entries. Since non-commutativity, the determinant is not well defined and I've seen in http://en.wikipedia.org/wiki/Quaternionic_matrix that, ...
5
votes
2answers
1k views

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 (\cos(\sqrt{b^2+c^2+d^2})+\frac{(b i + c j + dk)}{\sqrt{b^2+c^2+d^2}} ...
3
votes
1answer
108 views

Finding $J$ such that this diagram commutes

DISCLAIMER: This is not homework. I did this exercise here and need someone to check if my work is correct: Is it possible to find a matrix $J\in M_{2n}(\mathbb C)$ such that the following diagram ...
5
votes
2answers
209 views

One more question about mapping quaternionic matrices into real matrices

Real matrices that lie in the image of the inclusion homomorphism $\rho_n: M_n(\mathbb C) \to M_{2n}(\mathbb R)$ are called complex linear real matrices. It is easy to see that a real matrix is ...
1
vote
2answers
57 views

On the inclusion homomorphism for quaternionic matrices into complex matrices

My thoughts / background information: It is easy to find an inclusion homomorphism for complex matrices into real matrices: considering the one dimensional case note that multiplying a complex number ...
0
votes
1answer
33 views

Quaternion Negative Unity

I'm reading Hamilton's Paper on Quaternions. Found here http://www.emis.de/classics/Hamilton/OnQuat.pdf. On page 5, the first statement of 7, says that there are only two different square roots of ...
0
votes
1answer
35 views

Question about Hamilton's Quaternion Paper

So I was reading Hamilton's paper on quaternions. http://www.emis.de/classics/Hamilton/OnQuat.pdf. On page 2, I'm having trouble following how QQ' and equations A,B,C lead to equation D. My main ...
0
votes
0answers
33 views

Basis for quaternionic functions

We know that the set of functions $\{1,\cos x, \sin x, \cos 2x, \sin 2x, ... \; | \,x \in \mathbb{R} \}$ is a basis in the space $L^2_\mathbb{R}[-\pi,\pi]$ . Given a quaternion $z \in \mathbb{H}$ ...
1
vote
0answers
43 views

A corollary of Niven

Please proof corollary of Niven: For $a \in D\backslash R$, the equation ${t^n} = a$ has exactly $n$ solutions in $D$, all of which lie in $R\left( a \right)$, in there $R$ is a real-closed field and ...
2
votes
2answers
92 views

Why is this algebraic manipulation of quaternions incorrect?

I know that for quaternions, $$i^2=j^2=k^2=ijk=-1$$ I've tried to understand this intuitively as having $i$, $j$ and $k$ represent a rotation about each of three axes. But when I do a bit of ...
1
vote
1answer
52 views

3D Extension of a Fun Geometric Series Puzzle

After being inspired by this question, and in particular Semiclassical's excellent response and generalisation, I thought of another generalisation to a 3-dimensional plane.: Suppose you start at ...
2
votes
0answers
76 views

Explaining Spin(3)

I’m going to discuss the action of Spin(3) on Euclidean vectors. This thing has several alternative names: “versors”/“rotation quaternions”, “quaternionic adjoint representation”, “quaternion action ...
0
votes
1answer
29 views

Given unit quaternions $q_0,q_1$, find $q$ such that $q_1 = q^* q_0 q$

I rotate an object in space and find two orientation (unit) quaternions. $q_0 = {}^{M_2}_{M_1} q$ is the orientation at the 2nd position relative to the 1st position, measured in frame M. $q_1 = ...