Timelike and lightlike/null vectors

[purakanui]

I have another problem that I am stuck on.

Show that a timelike vector cannot be orthogonal to a null vector.

Timelike:
X^{2} = g(sub a b)X^{a}X^{b} > 0

Null:
X^{2} = g(sub a b)X^{a}X^{b} = 0

In order for them to be orthogonal...

g(sub a b)X^{a}Y^{a} = 0

I know from the line element of Minkowski space-time you have

ds^{2} = dt^{2} - dx^{2} - dy^{2} - dz^{2}

I have played around with substituting the line element into the equation that specifies if it is orthogonal, but to no success. Any help would be great!

Sorry for the bad writting, I couldn't get latex to do subscripts, it only did them in superscripts...

Thanks,

Chris

 

[PAllen]

Here's a possible argument. Treat each 4 vector as e.g. (x0, r) where r is a 3 vector, x0 the timelike component. Let Y be a null vector, X be timelike vector. Then we have:

(1) Y0^2 - ry dot ry = 0, where dot is euclidean 3 dot product.

(2) X0 Y0 - rx dot ry = 0

(3) X0^2 - rx dot rx > 0

From which:

x0 > norm(rx) , 3 norm, euclidean, by (3)

Y0 = norm (ry) by (1)

X0 Y0 > norm(rx) norm(ry) >= rx dot ry

which contradicts (2).

 

[purakanui]

thanks =)