Tangent space (Derivation definition)

Let $M$ be a smooth manifold, and let $p\in M$ . A linear map $v: C^\infty(M)\to\mathbb{R}$ is called a derivation at $p$ if it satisfies $\displaystyle v(fg)=f(p)vg+g(p)vf\qquad\text{for all}\ f,g\in C^\infty(M).$
The tangent space to $M$ at $p$ , denoted by $T_pM$ , is defined as the set of all derivations of $C^\infty(M)$ at $p$ .

Author: mathtuition88

Math and Education Blog View all posts by mathtuition88

Leave a Reply Cancel reply

Enter your comment here...

Fill in your details below or click an icon to log in:

Email (required) (Address never made public)

Name (required)

Website

You are commenting using your WordPress.com account. ( Log Out / Change )

You are commenting using your Twitter account. ( Log Out / Change )

You are commenting using your Facebook account. ( Log Out / Change )

Connecting to %s

This site uses Akismet to reduce spam. Learn how your comment data is processed.

%d bloggers like this: