What Defines Future-Directed Vectors in Physics?

  • Context: Graduate 
  • Thread starter Thread starter Einj
  • Start date Start date
  • Tags Tags
    Vectors
Join the discussion
Ask a follow-up here, or get your own question answered by working scientists, mathematicians and engineers — people, not an autocomplete.
Real named experts · corrections over time · the nuance an AI answer skips
5 replies · 3K views
Einj
Messages
464
Reaction score
59
Hello everyone,
I have a very basic question about future-directed vectors. Are they defined as those vectors whose temporal component is positive or strictly positive?

I need to check wether a certain system satisfies the null energy condition or not and I was wondering if I am allowed to take a vector [itex]k^M[/itex] such that [itex]k^2=0[/itex] and [itex]k^t=0[/itex].

Thanks a lot!
 
Physics news on Phys.org
I was asking about general relativity and I'm particularly interested to know if we're talking about strict positivity or just positivity. Thanks!
 
In GR you first have to define what is "future". In a general coordinate system, it is not certain that there is a "time" coordinate as this may differ from event to event. Instead, you want to introduce a time-like vector field ##V##, which by definition has to be non-zero everywhere (##V^2 > 0## - with +--- convention). In a general manifold, it is not even certain that such a vector field exists, but if it does, the manifold is time-orientable. A vector ##k## is future-directed if it is non-space-like and ##k\cdot V > 0##.
 
  • Like
Likes   Reactions: bcrowell
Ok thanks! Is there any criterion to pick [itex]V[/itex]? For example, in AdS, can I just choose [itex]V=(1,\vec 0)[/itex]? In this case, doesn't future-directed simply mean [itex]k^t>0[/itex]?
 
Einj said:
Ok thanks! Is there any criterion to pick [itex]V[/itex]? For example, in AdS, can I just choose [itex]V=(1,\vec 0)[/itex]? In this case, doesn't future-directed simply mean [itex]k^t>0[/itex]?
If you have a global coordinate system where one coordinate is time-like everywhere, then yes. You can pick that coordinate vector field as the defining one. It is not going to matter which vector field you select as different vector fields which are both time-like wrt each other will give equivalent definitions.