 Solution

Define the cotangent space $T_p^{\ast }M={\mathrm{Hom}}_{\mathbb{R}}(T_{p}M,\mathbb{R})$ and the cotangent bundle $T^{\ast }M={\coprod }_p{T}_p^{\ast }M$, with projection $(p,\alpha )\mapsto p$. A coordinate chart $x$ gives the dual basis $d{x}^1{|}_p,\dots ,d{x}^n{|}_p$. Write $\alpha ={\sum }_i{\xi }_{i}d{x}^i{|}_p$ and define the induced local trivialization byIf $y=f(x)$ and $\alpha ={\sum }_j{\eta }_{j}d{y}^j$, the chain rule gives $\xi =Df(x{)}^T\eta$. Therefore the cotangent coordinate transition isThe inverse Jacobian matrix is smooth wherever its determinant is nonzero, so this transition and its inverse are smooth. The cocycle follows either from the chain rule or by dualizing the tangent transitions.

Use these product charts to define the topology and smooth atlas. The Hausdorff and second-countability arguments are the same as for the tangent bundle: separate distinct fibres using the base, separate distinct covectors in one product chart, and use a countable coordinate cover. The fibre transitions are smooth linear isomorphisms, so the projection is a smooth vector bundle of rank $n$. Using every compatible base coordinate chart shows that this structure is natural and independent of chart choices.