Hello,(adsbygoogle = window.adsbygoogle || []).push({});

I am trying to understand how the geometric tangent space [tex]\mathbb{R}^n_a[/tex] given by

[tex]

\begin{displaymath}

\mathbb{R}^n_a = \{(a,v) | v \in \mathb {R}^n\}

\end{displaymath}

[/tex]

is isomorphic to the space of all derivations of [tex]C^{\infty}(\mathbb{R}^n)[/tex] at [tex]a[/tex], denoted by [tex]T_a(\mathbb{R}^n)[/tex].

According to the book "Introduction to Smooth Manifolds" by John M. Lee, an isomorphism between these spaces is given by a map that sends each [tex]v_a[/tex] in [tex]\mathbb{R}^n_a[/tex] to the operator that represents the directional derivative evaluated at the point [tex]a[/tex] in the direction of [tex]v[/tex]. If [tex]\phi$[/tex] denotes the proposed isomorphism, we can write

[tex]

\begin{displaymath}

\phi (v_a)(f) = \widetilde{v}_a(f) = v^i \dfrac{\partial f}{\partial x^i}(a)

\end{displaymath}

[/tex]

for any [tex]f \in C^{\infty}(\mathbb{R}^n)[/tex].

To show that the (clearly linear) map [tex]\phi[/tex] is an isomorphism we must show that it is a bijection. Now, to prove that [tex]\phi[/tex] is 1-1, from linear algebra we know that it is sufficient to show that the kernel of [tex]\phi[/tex] contains only the [tex]0[/tex] vector in [tex]\mathbb{R}^n_a[/tex], denoted by [tex]0_a[/tex]. This means that we must show that the only element of [tex]\mathbb{R}^n_a[/tex] that satisfies [tex]\phi (v_a)(f) = 0[/tex] is [tex]0_a[/tex].

So, suppose

[tex]

\begin{displaymath}

v^i \dfrac{\partial f}{\partial x^i}(a) = 0

\end{displaymath}

[/tex]

If we can show that each component [tex]v^i = 0[/tex] injectivity will follow - and this is where I am stuck. Any ideas?

Thanks

**Physics Forums - The Fusion of Science and Community**

Join Physics Forums Today!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

# Isomorphic Tangent Spaces

Loading...

Similar Threads for Isomorphic Tangent Spaces | Date |
---|---|

A Tangent and Cotangent Bases | Dec 13, 2017 |

Meaning of isomorphism/diffeomorphism ## f: R^n\to M^m## | Oct 1, 2015 |

Killing vector field => global isomorphisms? | May 2, 2014 |

Showing the Fundamental Group of S^1 is isomorphic to the integers | Dec 27, 2012 |

Liouville isomorphism | Oct 23, 2012 |

**Physics Forums - The Fusion of Science and Community**