Basis of cotangent space unclear

co-tangent-spacedifferential-geometrysmooth-manifoldstangent-spaces

Let $M$ be a manifold, $T_xM$ its tangent space with basis {$\frac{\partial}{\partial x_i}$}, with $x_i$ being the $i$-th coordinate function of a chart. A cotangent space $T_x^\star X$ is defined as its dual, so as a vector space of linear functionals i.e. mappings from $T_xM$ to $\mathbb{R}$. As I search through literature, the basis of $T_x^\star X$ is shown to be {$dx_i$}, where $dx_i$ is a derivative of $x_i$ and $dx_i: T_x X \rightarrow T_{x_i(x)}\mathbb{R} \simeq \mathbb{R}$. Which makes sense, when $dx_i v$ is defined as

$$dx_i v = v(x_i)$$

for $v=\sum_i v_i \frac{\partial}{\partial x_i}$, $v_i \in \mathbb{R}$. Then $dx_i$ is a linear functioal and $v(x_i)$ a real number. Here we consider $\frac{\partial}{\partial x_i}x_j=\delta_{i,j}$

But another notion that i have come across is such:
$$(dx_i v)f = v(f \circ x_i)$$

I don't really see how does that make sense, since $dx_i$ is supposed to be a functional, so $dx_i v$ must be a real number, but when defined as before, $dx_i v$ acts on a function, thus it cannot be a real number.

Best Answer

Let $M$ be a smooth $n$-manifold and $(U,\phi)$ be a coordinate chart where $\phi$ has component functions $(x^i)$. Recall that $\phi$ is a smooth function $\phi:U\to\mathbb{R}^n$ whose component functions are smooth maps $x^i:U\to\mathbb{R}$. In particular, for any point $p\in M$, we may look at the differential $dx^i_p:T_pM\to T_{x^i(p)}\mathbb{R}\cong\mathbb{R}$. So for any tangent vector $v\in T_pM$, its image under $dx^i_p$ is indeed a real number.

But also recall that $dx^i_p(v)\in T_{x^i(p)}\mathbb{R}^n$ was defined to be the tangent vector such that, for any smooth $f:\mathbb{R}\to\mathbb{R}$, we have the equality $$ dx^i_p(v)f=v(f\circ x^i). $$ Thus, these equivalences of $dx^i$ essentially boil down to the fact that the tangent spaces of the smooth manifold $\mathbb{R}$ are isomorphic to $\mathbb{R}$.