Complete vector field X => X defined on the whole manifold?

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
2 replies · 2K views
center o bass
Messages
545
Reaction score
2
According to Isham (Differential Geometry for Physics) at page 115 he claims:

"If X is a complete vector field then V can always be chosen to be the entire manifold M"

where V is an open subset of a manifold M. He leaves this claim unproved.
A complete vector field is a vector field which has integral curves defined on the whole of ##\mathbb{R}##. Does the claim somehow follow from the definition?
 
Physics news on Phys.org
center o bass said:
According to Isham (Differential Geometry for Physics) at page 115 he claims:

"If X is a complete vector field then V can always be chosen to be the entire manifold M"

where V is an open subset of a manifold M. He leaves this claim unproved.
A complete vector field is a vector field which has integral curves defined on the whole of ##\mathbb{R}##. Does the claim somehow follow from the definition?

How is [itex]V[/itex] defined? [itex]M[/itex] is always an open subset of itself, but without knowing how [itex]V[/itex] relates to [itex]X[/itex] we really can't help you.
 
pasmith said:
How is [itex]V[/itex] defined? [itex]M[/itex] is always an open subset of itself, but without knowing how [itex]V[/itex] relates to [itex]X[/itex] we really can't help you.

Isham defines it as follows:

"Let X be a vector field defined on an open subset U of a manifold M and let p be a point in U c M . Then a local flow of X at p is a local one-parameter group of local diffeomorphisms defined on some open subset V of U such that p ##\in## V c U and such that the vector field induced by this family is equal to the given field X ."