Stack Exchange network consists of 183 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.
When you are trying to find the tangent vector $u$ that best represents the linear functional $d_xf$, you say that this $u$ should satisfy $\langle u, v\rangle=d_xf(v)$ for all $v$. This makes sense but I don't immediately see why you would expect such a $u$ to exist. Is this related to/a consequence of the Riesz representation theorem?