# The Unapologetic Mathematician

## Tangent Vectors and Coordinates

Let’s say we have a coordinate patch $(U,x)$ around a point $p$ in an $n$-dimensional manifold $M$. We can use the function $f$ to give us some tangent vectors at $p$ called the “coordinate vectors”.

We define the coordinate vector $\frac{\partial}{\partial x^i}(p)\in\mathcal{T}_pM$ as follows: given a smooth function $f\in\mathcal{O}_p$, we define

$\displaystyle\left[\frac{\partial}{\partial x^i}(p)\right](f)=\left[D_i(f\circ x^{-1})\right](x(p))$

Okay, I know that that’s confusing. But all we mean is this: start with a function $f:U\to\mathbb{R}$. We compose it with the inverse of the coordinate map to get $f\circ x^{-1}:x(U)\to\mathbb{R}$, where $x(U)$ is some open neighborhood of the point $x(p)\in\mathbb{R}^n$. Now we can take that $i$th partial derivative of this function and evaluate it at the point $x(p)$.

The first thing we really should check is that it doesn’t matter which representative $f$ we pick. That is, if $f=g$ in some neighborhood of $p$, do we get the same answer? Indeed, in that case $f\circ x^{-1}=g\circ x^{-1}$ in some neighborhood of $x(p)$, and so their partial derivatives are identical. Thus this operation only depends on the germ $f\in\mathcal{O}_p$.

But is it a tangent vector? It’s easy to see that it’s a linear functional, so we just have to check that it’s a derivation at $p$:

$\displaystyle\begin{aligned}\left[\frac{\partial}{\partial x^i}(p)\right](fg)=&\left[D_i((fg)\circ x^{-1})\right](x(p))\\=&\left[D_i((f\circ x^{-1})(g\circ x^{-1}))\right](x(p))\\=&\left[D_i(f\circ x^{-1})\right](x(p))\left[g\circ x^{-1}\right](x(p))\\&+\left[f\circ x^{-1}\right](x(p))\left[D_i(g\circ x^{-1})\right](x(p))\\=&\left[\frac{\partial}{\partial x^i}(p)\right](f)g(p)+f(p)\left[\frac{\partial}{\partial x^i}(p)\right](g)\end{aligned}$

And so we have at least these $n$ vectors at each point $p\in M$. We can even tell that they much be distinct — and even linearly independent — since we can calculate

$\displaystyle\begin{aligned}\left[\frac{\partial}{\partial x^i}(p)\right](x^j)&=\left[\frac{\partial}{\partial x^i}(p)\right](\pi^j\circ x)\\&=\left[D_i(\pi^j\circ x\circ x^{-1})\right](x(p))\\&=\left[D_i(\pi_j)\right](x(p))\end{aligned}$

where $\pi^j$ is the $j$th coordinate projection $\pi^j:\mathbb{R}^n\to\mathbb{R}$. But we know that $D_i(\pi^j)$ is always and everywhere $\delta_i^j$ — it takes the value $1$ if $i=j$ and $0$ otherwise.

Thus $\frac{\partial}{\partial x^i}(p)$ takes a different value on $x^i$ than on all the other $x^j$. Further, any linear combination of the $\frac{\partial}{\partial x^j}(p)$ for $j\neq i$ must take the value $0$ on $x^i$, while $\frac{\partial}{\partial x^i}(p)$ takes the value $1$; we see that none of the coordinate vectors can be written as a linear combination of the rest, and conclude that the dimension of $\mathcal{T}_pM$ is at least $n$.

### Like this:

Posted by John Armstrong | Differential Topology, Topology

## 8 Comments	»

1. I’ve always been bothered by the really poor notation here. It’s very tedious,cumbersome, and confusing to wade through all the different senses of parentheses (function/operator application, grouping), operators, functions, and the sets and function spaces in which they live. I know that people like to draw a picture of all the parts living in M versus R^n or R, and that helps. Maybe typographically reminding the reader what space each symbol lives in would help (by typesetting the spaces for each letter on the line above, or using color). Just thinking out loud. Hell, I might right it up with type annotations a la Haskell just to make it clearer to myself lol.

Sorry, I’m a visual thinker, and it helps to see visually just how this definition carries over our knowledge of R^n to M by all the coordinate patches.

Excellent as always, though, thank you.

Comment by Robert | March 31, 2011 | Reply

2. [...] vector space of tangent vectors at . Given a coordinate patch around , we’ve constructed coordinate vectors at , and shown that they’re linearly independent in . I say that they also span the space, [...]

Pingback by | March 31, 2011 | Reply

3. [...] a coordinate patch in a neighborhood of a point in an -dimensional manifold , we get coordinate vectors which form a basis for the tangent space . But this is true of any coordinate patch! If we have [...]

Pingback by | April 1, 2011 | Reply

4. [...] are related for , but within a single coordinate patch we can use the coordinate map to define coordinate vectors at every single point , and this lets us compare vectors at different points by comparing their [...]

Pingback by | April 4, 2011 | Reply

5. [...] whole domain of we can restrict down to a coordinate patch containing — we get a basis of coordinate vectors at . Similarly, if is a coordinate patch around we get a basis of coordinate vectors at . We want [...]

Pingback by | April 6, 2011 | Reply

6. [...] out a segment of the curve that does — then we have a curve . We can also use to define a coordinate basis on , and thus get components of in those coordinates. As usual, we calculate the th component [...]

Pingback by | April 8, 2011 | Reply

7. [...] terms of components, pick a basis of and use it to get a coordinate map on all of . We also get a basis of coordinate vectors for at each point , and in particular at . What does this [...]

Pingback by | April 11, 2011 | Reply

8. [...] Indeed, at each point we can define the coordinate vectors: [...]

Pingback by | May 24, 2011 | Reply

« Previous | Next »

## About this weblog

This is mainly an expository blath, with occasional high-level excursions, humorous observations, rants, and musings. The main-line exposition should be accessible to the “Generally Interested Lay Audience”, as long as you trace the links back towards the basics. Check the sidebar for specific topics (under “Categories”).

I’m in the process of tweaking some aspects of the site to make it easier to refer back to older topics, so try to make the best of it for now.
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 0, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 45, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9180909395217896, "perplexity_flag": "head"}