Vector Space Algebra of Minkowski Space

thermobum
Messages
2
Reaction score
0
Consider the Minkowski space of 4 dimensions with signature (- + + +). How does the vector space algebra work here? More specifically given 3 space like orthonormal vectors how do we define fourth vector orthogonal to these vectors? I am looking for an appropriate vector product like it is in the case of 3-dimesnsions: i ^ j = k etc.
 
Physics news on Phys.org
Three "space like" vectors? Obviously, any vector orthogonal to all three would be time like: <a, 0, 0, 0>.

The nearest you can come to the cross product in 4 dimensions is the "alternating product" z_i= \epsilon_{ijkl}u_jv_kw_l} where \epsilon is defined by \epsilon_{ijkl}= 1 if ijkl is an even permutation of 1234, \epsilon_{ijkl}= -1 if ijkl is an odd permutation of 1234, \epsilon_{ijkl}= 0 if ijkl is not a permutation of 1234 (i.e. at least two indices are the same). Notice that that involves the product of 3 vectors (which is what you want).
 
HallsofIvy's construction is essentially the computation of the [4-]volume determined by four vectors (as edges of a parallelepiped).

To complete your problem, you could do this...
given an orthonormal set x^a, y^a, and z^a,
choose any vector u^a so that e_{abcd}u^a x^b y^c z^d &lt;&gt;0 (so that u^a is linearly independent of the set you have).
With this u^a, subtract out all of the components parallel to the orthonormal set... t^a=u^a- (g_{bc}u^b \hat x^c) \hat x^a - (g_{bc}u^b \hat y^c) \hat y^a - (g_{bc}u^b \hat z^c) \hat z^a.

Check the signs with your metric signature conventions.
 
Spacetime Algebra

For an excellent and thorough formulation of the algebra, go to the link
http://modelingnts.la.asu.edu/html/STC.html
and click on the link at the very top of the page, Spacetime Calculus, to download a pdf file.
 
Last edited by a moderator:
pkleinod, the link you provided is really an excellent source and is proving to very useful to me. Thanks and a Happy New Year to all the blokes who responded to this thread !
 
I asked online questions about Proposition 2.1.1: The answer I got is the following: I have some questions about the answer I got. When the person answering says: ##1.## Is the map ##\mathfrak{q}\mapsto \mathfrak{q} A _\mathfrak{p}## from ##A\setminus \mathfrak{p}\to A_\mathfrak{p}##? But I don't understand what the author meant for the rest of the sentence in mathematical notation: ##2.## In the next statement where the author says: How is ##A\to...
The following are taken from the two sources, 1) from this online page and the book An Introduction to Module Theory by: Ibrahim Assem, Flavio U. Coelho. In the Abelian Categories chapter in the module theory text on page 157, right after presenting IV.2.21 Definition, the authors states "Image and coimage may or may not exist, but if they do, then they are unique up to isomorphism (because so are kernels and cokernels). Also in the reference url page above, the authors present two...
When decomposing a representation ##\rho## of a finite group ##G## into irreducible representations, we can find the number of times the representation contains a particular irrep ##\rho_0## through the character inner product $$ \langle \chi, \chi_0\rangle = \frac{1}{|G|} \sum_{g\in G} \chi(g) \chi_0(g)^*$$ where ##\chi## and ##\chi_0## are the characters of ##\rho## and ##\rho_0##, respectively. Since all group elements in the same conjugacy class have the same characters, this may be...
Back
Top