To see this, suppose that α is a covector field. To wit, for each point p, α determines a function α p defined on tangent vectors at p so that the following linearity condition holds for all tangent vectors X p and Y p, and all real numbers a and b :