- #1

- 22

- 1

are spacelike and timelike orthogonal?what is the mathematical proof

- Thread starter koustav
- Start date

- #1

- 22

- 1

are spacelike and timelike orthogonal?what is the mathematical proof

- #2

- 16,829

- 6,643

Not in general, no.

- #3

- 446

- 159

Spacelike just means that the magnitude of the three-vector spatial component is greater than the time component. Timelike means the opposite. And two vectors are orthogonal if their dot product is zero. So let's say we have the following two four-vectors:

##\mathbf{A} = (A_t, \mathbf{a}) \qquad \mathbf{B} = (B_t, \mathbf{b})##.

If they are orthogonal, then their dot product is zero:

##\mathbf{A} \cdot \mathbf{B} = (A_t)(B_t) - (a)(b) = 0##,

which means that:

##\dfrac{A_t}{a} = \dfrac{b}{B_t}##.

Assuming that ##\mathbf{A}## and ##\mathbf{B}## aren't lightlike (magnitude of zero), then this result can only occur if one of them is spacelike and the other is timelike. In other words, it must be the case that if ##A_t > a##, then ##b > B_t## (and vice versa).

- #4

- 16,829

- 6,643

This is incorrect. Let ##V = (0,1,0,0)## and ##W = (0,0,1,0)##. Then ##V\cdot W = 0## and both ##V## and ##W## are space-like.but any four-vector that's orthogonal to a spacelike vector must be timelike, and vice versa

- #5

- 446

- 159

Retracted!

I need to rethink the conditions/exceptions for that "rule."

I need to rethink the conditions/exceptions for that "rule."

- #6

- 16,829

- 6,643

Any vector orthogonal to a time-like vector is space-like. Any vector orthogonal to a light-like vector is either proportional to the light-like vector itself or space-like. A vector orthogonal to a space-like vector may be time-like, space-like, or light-like.Retracted!

I need to rethink the conditions/exceptions for that "rule."

- #7

- 446

- 159

Thanks for setting me straight on that. I hadn't thought through it rigorously enough.

- #8

- 22

- 1

can you help me with the mathematical proofAny vector orthogonal to a time-like vector is space-like. Any vector orthogonal to a light-like vector is either proportional to the light-like vector itself or space-like. A vector orthogonal to a space-like vector may be time-like, space-like, or light-like.

- #9

- 446

- 159

Aside from the error I made that @Orodruin pointed out, I'd add that I assumed here that ##a \neq 0## and ##B_t \neq 0##, which certainly may not be the case.

Spacelike just means that the magnitude of the three-vector spatial component is greater than the time component. Timelike means the opposite. And two vectors are orthogonal if their dot product is zero. So let's say we have the following two four-vectors:

##\mathbf{A} = (A_t, \mathbf{a}) \qquad \mathbf{B} = (B_t, \mathbf{b})##.

If they are orthogonal, then their dot product is zero:

##\mathbf{A} \cdot \mathbf{B} = (A_t)(B_t) - (a)(b) = 0##,

which means that:

##\dfrac{A_t}{a} = \dfrac{b}{B_t}##.

Assuming that ##\mathbf{A}## and ##\mathbf{B}## aren't lightlike (magnitude of zero), then this result can only occur if one of them is spacelike and the other is timelike. In other words, it must be the case that if ##A_t > a##, then ##b > B_t## (and vice versa).

- #10

- 16,829

- 6,643

In the case of a time-like vector, go to a reference frame where it is proportional to (1,0,0,0). Do the corresponding thing for space-like and null vectors.can you help me with the mathematical proof

- #11

DrGreg

Science Advisor

Gold Member

- 2,294

- 918

This should beIf they are orthogonal, then their dot product is zero:

##\mathbf{A} \cdot \mathbf{B} = (A_t)(B_t) - (a)(b) = 0##,

$$\mathbf{A} \cdot \mathbf{B} = A_tB_t - \mathbf{a} \cdot \mathbf{b} = A_tB_t - a_x b_x - a_y b_y- a_z b_z=0$$

- #12

- 446

- 159

Yes, dot product.

I got a lot wrong there!

I got a lot wrong there!

- #13

- 15,687

- 7,022

$$x \cdot y=\eta_{\mu \nu} x^{\mu} y^{\nu}=x^0 y^0-\vec{x} \cdot \vec{y},$$

where ##\vec{x} \cdot \vec{y}## is the usual Euclidean product built with the three spatial components.

A four-vector ##x## is now called timelike if ##x \cdot x>0##, lightlike if ##x \cdot x=0##, and spaclike if ##x \cdot x<0##.

You can prove that any non-zero vector which is Minkowski-orthogonal to a timelike vector is spacelike (the opposite is of course wrong as shows above). So let ##x## be space like and ##y## and arbitrary vector such that ##x \cdot y=0##. We have to show that from ##x \cdot x>0## one necessarily then has ##y \cdot y<0##. The trick is to write the product out and use that the usual scalar product of the spaclike components is positive definite. From that you get

$$|\vec{x} \cdot \vec{y}| \leq |\vec{x}| |\vec{y}| \; \Rightarrow \; (\vec{x} \cdot \vec{y})^2 \geq \vec{x}^2 \vec{y}^2,$$

which is known as the Cauchy-Schwarz inequality. Now we have

$$x \cdot y=x^0 y^0 -\vec{x} \cdot \vec{y}=0 \; \Rightarrow \; x^0 y^0=\vec{x} \cdot \vec{y} \; \Rightarrow y^0=\frac{\vec{x} \cdot \vec{y}}{x^0} \qquad (*) $$

and

$$x \cdot x=(x^0)^2-\vec{x}^2>0 \; \Rightarrow \; |x^0|>|\vec{x}|.$$

This implies that ##|x^0|>0## and thus we can indeed use (*):

$$y \cdot y=(y^0)^2-\vec{y}^2=\frac{(\vec{x} \cdot \vec{y})^2}{(x^0)^2}-\vec{y}^2=\frac{(\vec{x} \cdot \vec{y})^2-(x^0)^2 \vec{y}^2}{(x^0)^2}.$$

Now use the Cauchy-Schwarz inequality above to get

$$y \cdot y \leq \frac{(|\vec{x}|^2 -(x^0)^2) \vec{y}^2}{(x^0)^2}.$$

If ##\vec{y} \neq 0##, then since ##x## is assumed to be timelike we get ##y \cdot y<0##, i.e., ##y## is indeed spacelike.

Now assume ##\vec{y}=0##, but then because of ##x \cdot y=0## we have ##x^0 y^0=\vec{x} \cdot \vec{y}=0##. Since ##x## was assumed to be timelike, this implies that then also ##y^0=0##, i.e., then ##y=0##, but we assumed ##y## not to be the null vector. So ##y## must be timelike. QED.

- Last Post

- Replies
- 6

- Views
- 1K

- Replies
- 3

- Views
- 813

- Last Post

- Replies
- 8

- Views
- 7K

- Last Post

- Replies
- 4

- Views
- 1K

- Last Post

- Replies
- 9

- Views
- 977

- Last Post

- Replies
- 19

- Views
- 2K

- Last Post

- Replies
- 4

- Views
- 3K

- Last Post

- Replies
- 7

- Views
- 397

- Last Post

- Replies
- 4

- Views
- 2K

- Last Post

- Replies
- 3

- Views
- 2K