Does a diffeomorphism between manifolds induce a diffeomorphism on cotangent space?
I'm reading a book, and this seems to be true, but they don't say why, and I'm not sure.
Re: Does a diffeomorphism between manifolds induce a diffeomorphism on cotangent spac
I'm a little confused. While it is true that the cotangent space of a manifold naturally carries the structure of a smooth manifold (it's just a finite dimensional vector space) this is a strange question. I believe what you meant to ask is whether or not a diffeomorphism induces a linear isomorphism on the cotangent spaces. This is in fact true. In particular, let's suppose that we have a diffeomorphism
. I think you know then that the derivative
induces a linear isomorphism
for each point
. Dualizing this, you get an isomorphism
, which is the desired isomorphism.
Re: Does a diffeomorphism between manifolds induce a diffeomorphism on cotangent spac
small addendum: linear maps are always differentiable, and if a linear map is invertible, it's inverse is also a linear map, and thus differentiable, so a linear isomorphism is a diffeomorphism (not a very interesting one, though).
Re: Does a diffeomorphism between manifolds induce a diffeomorphism on cotangent spac
I'd like to add, that if your manifold has a Riemannian structure there is a covariant way to do this. Namely, take the isomorphism
and consider the identification
given by your metric.