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.