Planck pressure: Difference between revisions

From formulasearchengine
Jump to navigation Jump to search
en>Lambiam
use roman subscript P
 
en>Coreyemotela
 
Line 1: Line 1:
I would like to introduce myself to you, I am Andrew and my spouse doesn't like it at all. The favorite hobby for him and his  psychic readings online ([http://brazil.amor-amore.com/irboothe http://brazil.amor-amore.com/irboothe]) children is to perform lacross and he would never give it up. I am an invoicing officer and I'll be promoted soon. For years she's been living in Kentucky but her spouse desires them to transfer.<br><br>Have a look  [http://www.Onbizin.co.kr/xe/?document_srl=320614 accurate psychic predictions] at my web page; online psychic reading ([http://1.234.36.240/fxac/m001_2/7330 simply click the up coming webpage])
In [[mathematics]], the '''split-octonions''' are an 8-dimensional [[nonassociative]] algebra over the [[real number]]s. Unlike the standard [[octonion]]s, they contain non-zero elements which are non-invertible. Also the [[signature (quadratic form)|signature]]s of their [[quadratic form]]s differ: the split-octonions have a split-signature (4,4) whereas the octonions have a positive-definite signature (8,0).
 
Up to isomorphism, the octonions and the split-octonions are the only two [[octonion algebra]]s over the real numbers. There are corresponding split octonion algebras over any [[field (mathematics)|field]] ''F''.
 
==Definition==
===Cayley–Dickson construction===
 
The octonions and the split-octonions can be obtained from the [[Cayley–Dickson construction]] by defining a multiplication on pairs of quaternions. We introduce a new imaginary unit ℓ and write a pair of quaternions (''a'', ''b'') in the form ''a'' + ℓ''b''. The product is defined by the rule:
:<math>(a + \ell b)(c + \ell d) = (ac + \lambda d\bar b) + \ell(\bar a d + c b)</math>
where
:<math>\lambda = \ell^2.</math>
If λ is chosen to be &minus;1, we get the octonions. If, instead, it is taken to be +1 we get the split-octonions. One can also obtain the split-octonions via a Cayley–Dickson doubling of the [[split-quaternion]]s. Here either choice of λ (±1) gives the split-octonions. See also [[split-complex]] numbers in general.
 
===Multiplication table===
[[File:SplitFanoPlane.svg|thumb|A mnemonic for the products of the split octonions.]]
 
A [[basis (linear algebra)|basis]] for the split-octonions is given by the set {1, ''i'', ''j'', ''k'', ℓ, ℓ''i'', ℓ''j'', ℓ''k''}. Every split-octonion ''x'' can be written as a [[linear combination]] of the basis elements,
:<math>x = x_0 + x_1\,i + x_2\,j + x_3\,k + x_4\,\ell + x_5\,\ell i + x_6\,\ell j + x_7\,\ell k,</math>
with real coefficients ''x''<sub>''a''</sub>. By linearity, multiplication of split-octonions is completely determined by the following [[multiplication table]]:
 
{| border=1 align=center style="text-align: center; border-collapse: collapse;"
|-
| <math>1\,</math> || <math>i\,</math> || <math>j\,</math> || <math>k\,</math> || <math>\ell\,</math> || <math>\ell i\,</math> || <math>\ell j\,</math> || <math>\ell k\,</math>
|-
| <math>i\,</math> || <math>-1\,</math> || <math>k\,</math> || <math>-j\,</math> || <math>-\ell i\,</math> || <math>\ell\,</math> || <math>-\ell k\,</math> || <math>\ell j\,</math>
|-
| <math>j\,</math> || <math>-k\,</math> || <math>-1\,</math> || <math>i\,</math> || <math>-\ell j\,</math> || <math>\ell k\,</math> || <math>\ell\,</math> || <math>-\ell i\,</math>
|-
| <math>k\,</math> || <math>j\,</math> || <math>-i\,</math> || <math>-1\,</math> || <math>-\ell k\,</math> || <math>-\ell j\,</math> || <math>\ell i\,</math> || <math>\ell\,</math>
|-
| <math>\ell\,</math> || <math>\ell i\,</math> || <math>\ell j\,</math> || <math>\ell k\,</math> || <math>1\,</math> || <math>i\,</math> || <math>j\,</math> || <math>k\,</math>
|-
| <math>\ell i\,</math> || <math>-\ell\,</math> || <math>-\ell k\,</math> || <math>\ell j\,</math> || <math>-i\,</math> || <math>1\,</math> || <math>k\,</math> || <math>-j\,</math>
|-
| <math>\ell j\,</math> || <math>\ell k\,</math> || <math>-\ell\,</math> || <math>-\ell i\,</math> || <math>-j\,</math> || <math>-k\,</math> || <math>1\,</math> || <math>i\,</math>
|-
| <math>\ell k\,</math> || <math>-\ell j\,</math> || <math>\ell i\,</math> || <math>-\ell\,</math> || <math>-k\,</math> || <math>j\,</math> || <math>-i\,</math> || <math>1\,</math>
|}
 
A convenient [[mnemonic]] is given by the diagram at the right which represents the multiplication table for the split octonion. This one is derived from its parent octonion (one of 480 possible), which is defined by:
 
:<math>e_i e_j = - \delta_{ij}e_0 + \varepsilon _{ijk} e_k,\, </math>
 
where <math>\varepsilon _{ijk}</math> is a [[completely antisymmetric tensor]] with value +1 when ''ijk'' = 123, 154, 176, 264, 257, 374, 365, and:
 
:<math>e_ie_0 = e_0e_i = e_i;\,\,\,\,e_0e_0 = e_0,\,</math>
 
with ''e''<sub>0</sub> the scalar element, and ''i'', ''j'', ''k'' = 1 ... 7.
 
The red arrows indicate possible direction reversals imposed by negating the lower right quadrant of the parent creating a split octonion with this multiplication table.
 
===Conjugate, norm and inverse===
 
The ''conjugate'' of a split-octonion ''x'' is given by
:<math>\bar x = x_0 - x_1\,i - x_2\,j - x_3\,k - x_4\,\ell - x_5\,\ell i - x_6\,\ell j - x_7\,\ell k</math>
just as for the octonions. The [[quadratic form]] (or ''square norm'') on ''x'' is given by
:<math>N(x) = \bar x x = (x_0^2 + x_1^2 + x_2^2 + x_3^2) - (x_4^2 + x_5^2 + x_6^2 + x_7^2)</math>
This norm is the standard pseudo-Euclidean norm on '''R'''<sup>4,4</sup>. Due to the split signature the norm ''N'' is isotropic, meaning there are nonzero ''x'' for which ''N''(''x'') = 0. An element ''x'' has an (two-sided) [[inverse element|inverse]] ''x''<sup>&minus;1</sup> if and only if ''N''(''x'') ≠ 0. In this case the inverse is given by
:<math>x^{-1} = \frac{\bar x}{N(x)}.</math>
 
==Properties==
 
The split-octonions, like the octonions, are noncommutative and nonassociative. Also like the octonions, they form a [[composition algebra]] since the quadratic form ''N'' is multiplicative. That is,
:<math>N(xy) = N(x)N(y).\,</math>
The split-octonions satisfy the [[Moufang identities]] and so form an [[alternative algebra]]. Therefore, by [[Artin's theorem]], the subalgebra generated by any two elements is associative. The set of all invertible elements (i.e. those elements for which ''N''(''x'') ≠ 0) form a [[Moufang loop]].
 
==Zorn's vector-matrix algebra==
 
Since the split-octonions are nonassociative they cannot be represented by ordinary [[matrix (mathematics)|matrices]] (matrix multiplication is always associative). [[Max August Zorn|Zorn]] found a way to represent them as "matrices" containing both scalars and vectors using a modified version of matrix multiplication. Specifically, define a ''vector-matrix'' to be a 2&times;2 matrix of the form
:<math>\begin{bmatrix}a & \mathbf v\\ \mathbf w & b\end{bmatrix}</math>
where ''a'' and ''b'' are real numbers and '''v''' and '''w''' are vectors in '''R'''<sup>3</sup>. Define multiplication of these matrices by the rule
:<math>\begin{bmatrix}a & \mathbf v\\ \mathbf w & b\end{bmatrix} \begin{bmatrix}a' & \mathbf v'\\ \mathbf w' & b'\end{bmatrix} = \begin{bmatrix}aa' + \mathbf v\cdot\mathbf w' & a\mathbf v' + b'\mathbf v + \mathbf w \times \mathbf w'\\ a'\mathbf w + b\mathbf w' - \mathbf v\times\mathbf v'  & bb' + \mathbf v'\cdot\mathbf w \end{bmatrix}</math>
where · and &times; are the ordinary [[dot product]] and [[cross product]] of 3-vectors. With addition and scalar multiplication defined as usual the set of all such matrices forms a nonassociative unital 8-dimensional algebra over the reals, called '''Zorn's vector-matrix algebra'''.
 
Define the "[[determinant]]" of a vector-matrix by the rule
:<math>\det\begin{bmatrix}a & \mathbf v\\ \mathbf w & b\end{bmatrix} = ab - \mathbf v\cdot\mathbf w</math>.
This determinant is a quadratic form on the Zorn's algebra which satisfies the composition rule:
:<math>\det(AB) = \det(A)\det(B).\,</math>
 
Zorn's vector-matrix algebra is, in fact, isomorphic to the algebra of split-octonions. Write an octonion ''x'' in the form
:<math>x = (a + \mathbf a) + \ell(b + \mathbf b)</math>
where <math>a</math> and ''b'' are real numbers and '''a''' and '''b''' are pure quaternions regarded as vectors in '''R'''<sup>3</sup>. The isomorphism from the split-octonions to the Zorn's algebra is given by
:<math>x\mapsto \phi(x) = \begin{bmatrix}a + b & \mathbf a + \mathbf b \\ -\mathbf a + \mathbf b & a - b\end{bmatrix}.</math>
This isomorphism preserves the norm since <math>N(x) = \det(\phi(x))</math>.
 
==Applications==
 
Split-octonions are used in the description of physical law. For example, (a) the [[Dirac equation]] in physics (the equation of motion of a free spin 1/2 particle, like e.g. an electron or a proton) can be expressed on native split-octonion arithmetic, (b) the supersymmetric quantum mechanics has an octonionic extension  (see references below).
 
==References==
 
*{{cite book
| first      = F. Reese
| last      = Harvey
| year      = 1990
| title      = Spinors and Calibrations
| publisher  = Academic Press
| location  = San Diego
| isbn        = 0-12-329650-1
}}
*{{cite book
| first      = T. A.
| last      = Springer
| coauthors  = F. D. Veldkamp
| year      = 2000
| title      = Octonions, Jordan Algebras and Exceptional Groups
| publisher  = Springer-Verlag
| isbn        = 3-540-66337-1
}}
 
For physics on native split-octonion arithmetic see e.g.
 
* M. Gogberashvili, Octonionic Electrodynamics, ''J. Phys. A: Math. Gen.'' 39 (2006) 7099-7104. {{doi|10.1088/0305-4470/39/22/020}}
* V. Dzhunushaliev, Non-associativity, supersymmetry and hidden variables, ''J. Math. Phys.'' 49, 042108 (2008); {{doi|10.1063/1.2907868}}; {{arxiv|0712.1647}} [quant-ph].
 
[[Category:Octonions]]

Latest revision as of 18:33, 15 September 2013

In mathematics, the split-octonions are an 8-dimensional nonassociative algebra over the real numbers. Unlike the standard octonions, they contain non-zero elements which are non-invertible. Also the signatures of their quadratic forms differ: the split-octonions have a split-signature (4,4) whereas the octonions have a positive-definite signature (8,0).

Up to isomorphism, the octonions and the split-octonions are the only two octonion algebras over the real numbers. There are corresponding split octonion algebras over any field F.

Definition

Cayley–Dickson construction

The octonions and the split-octonions can be obtained from the Cayley–Dickson construction by defining a multiplication on pairs of quaternions. We introduce a new imaginary unit ℓ and write a pair of quaternions (a, b) in the form a + ℓb. The product is defined by the rule:

(a+b)(c+d)=(ac+λdb¯)+(a¯d+cb)

where

λ=2.

If λ is chosen to be −1, we get the octonions. If, instead, it is taken to be +1 we get the split-octonions. One can also obtain the split-octonions via a Cayley–Dickson doubling of the split-quaternions. Here either choice of λ (±1) gives the split-octonions. See also split-complex numbers in general.

Multiplication table

A mnemonic for the products of the split octonions.

A basis for the split-octonions is given by the set {1, i, j, k, ℓ, ℓi, ℓj, ℓk}. Every split-octonion x can be written as a linear combination of the basis elements,

x=x0+x1i+x2j+x3k+x4+x5i+x6j+x7k,

with real coefficients xa. By linearity, multiplication of split-octonions is completely determined by the following multiplication table:

1 i j k i j k
i 1 k j i k j
j k 1 i j k i
k j i 1 k j i
i j k 1 i j k
i k j i 1 k j
j k i j k 1 i
k j i k j i 1

A convenient mnemonic is given by the diagram at the right which represents the multiplication table for the split octonion. This one is derived from its parent octonion (one of 480 possible), which is defined by:

eiej=δije0+εijkek,

where εijk is a completely antisymmetric tensor with value +1 when ijk = 123, 154, 176, 264, 257, 374, 365, and:

eie0=e0ei=ei;e0e0=e0,

with e0 the scalar element, and i, j, k = 1 ... 7.

The red arrows indicate possible direction reversals imposed by negating the lower right quadrant of the parent creating a split octonion with this multiplication table.

Conjugate, norm and inverse

The conjugate of a split-octonion x is given by

x¯=x0x1ix2jx3kx4x5ix6jx7k

just as for the octonions. The quadratic form (or square norm) on x is given by

N(x)=x¯x=(x02+x12+x22+x32)(x42+x52+x62+x72)

This norm is the standard pseudo-Euclidean norm on R4,4. Due to the split signature the norm N is isotropic, meaning there are nonzero x for which N(x) = 0. An element x has an (two-sided) inverse x−1 if and only if N(x) ≠ 0. In this case the inverse is given by

x1=x¯N(x).

Properties

The split-octonions, like the octonions, are noncommutative and nonassociative. Also like the octonions, they form a composition algebra since the quadratic form N is multiplicative. That is,

N(xy)=N(x)N(y).

The split-octonions satisfy the Moufang identities and so form an alternative algebra. Therefore, by Artin's theorem, the subalgebra generated by any two elements is associative. The set of all invertible elements (i.e. those elements for which N(x) ≠ 0) form a Moufang loop.

Zorn's vector-matrix algebra

Since the split-octonions are nonassociative they cannot be represented by ordinary matrices (matrix multiplication is always associative). Zorn found a way to represent them as "matrices" containing both scalars and vectors using a modified version of matrix multiplication. Specifically, define a vector-matrix to be a 2×2 matrix of the form

[avwb]

where a and b are real numbers and v and w are vectors in R3. Define multiplication of these matrices by the rule

[avwb][avwb]=[aa+vwav+bv+w×waw+bwv×vbb+vw]

where · and × are the ordinary dot product and cross product of 3-vectors. With addition and scalar multiplication defined as usual the set of all such matrices forms a nonassociative unital 8-dimensional algebra over the reals, called Zorn's vector-matrix algebra.

Define the "determinant" of a vector-matrix by the rule

det[avwb]=abvw.

This determinant is a quadratic form on the Zorn's algebra which satisfies the composition rule:

det(AB)=det(A)det(B).

Zorn's vector-matrix algebra is, in fact, isomorphic to the algebra of split-octonions. Write an octonion x in the form

x=(a+a)+(b+b)

where a and b are real numbers and a and b are pure quaternions regarded as vectors in R3. The isomorphism from the split-octonions to the Zorn's algebra is given by

xϕ(x)=[a+ba+ba+bab].

This isomorphism preserves the norm since N(x)=det(ϕ(x)).

Applications

Split-octonions are used in the description of physical law. For example, (a) the Dirac equation in physics (the equation of motion of a free spin 1/2 particle, like e.g. an electron or a proton) can be expressed on native split-octonion arithmetic, (b) the supersymmetric quantum mechanics has an octonionic extension (see references below).

References

  • 20 year-old Real Estate Agent Rusty from Saint-Paul, has hobbies and interests which includes monopoly, property developers in singapore and poker. Will soon undertake a contiki trip that may include going to the Lower Valley of the Omo.

    My blog: http://www.primaboinca.com/view_profile.php?userid=5889534
  • 20 year-old Real Estate Agent Rusty from Saint-Paul, has hobbies and interests which includes monopoly, property developers in singapore and poker. Will soon undertake a contiki trip that may include going to the Lower Valley of the Omo.

    My blog: http://www.primaboinca.com/view_profile.php?userid=5889534

For physics on native split-octonion arithmetic see e.g.

  • M. Gogberashvili, Octonionic Electrodynamics, J. Phys. A: Math. Gen. 39 (2006) 7099-7104. 21 year-old Glazier James Grippo from Edam, enjoys hang gliding, industrial property developers in singapore developers in singapore and camping. Finds the entire world an motivating place we have spent 4 months at Alejandro de Humboldt National Park.
  • V. Dzhunushaliev, Non-associativity, supersymmetry and hidden variables, J. Math. Phys. 49, 042108 (2008); 21 year-old Glazier James Grippo from Edam, enjoys hang gliding, industrial property developers in singapore developers in singapore and camping. Finds the entire world an motivating place we have spent 4 months at Alejandro de Humboldt National Park.; Template:Arxiv [quant-ph].