Questions tagged [tangent-spaces]

This tag is for questions regarding to the tangent space, the linear space that best approximates an object at a given point. Intuitively, the tangent space $ T_p(M)$ at a point $ p$ on an $ n$-dimensional manifold $ M$ is an $ n$-dimensional hyperplane in $ {\mathbb{R}}^m$ that best approximates $ M$ around $ p$, when the hyperplane origin is translated to $ p$.

In mathematics, the tangent space of a manifold facilitates the generalization of vectors from affine spaces to general manifolds, since in the latter case one cannot simply subtract two points to obtain a vector that gives the displacement of the one point from the other.

Definition : Let $~M~$ be a manifold, $~p\in M~$. The tangent space $~T_pM~$ is the set of all linear maps $~v : C^\infty (M)\to\mathbb R~$ of the form $$v(f) = \left[\dfrac d{dt} \right]_{t=0} f(g(t))$$ for some smooth curve $~\gamma\in C^\infty (J,M)~$ with $~g(0) = p~$.

The elements $~v\in T_pM~$ are called the tangent vectors to $~M~$ at $~p~$.

For more details you may visit

$1.~$ https://en.wikipedia.org/wiki/Tangent_space

$2.~$ http://www.math.toronto.edu/mgualt/courses/18-367/docs/DiffGeomNotes-8.pdf

$3.~$ https://projecteuclid.org/download/pdf_1/euclid.lnms/1215540658

$4.~$ http://planning.cs.uiuc.edu/node386.html

$5.~$ http://www.math.caltech.edu/~2014-15/3term/ma001c-an/week3.pdf

631 questions
14
votes
3 answers

What is the best way to define the tangent space of a manifold?

I have some questions about the definition of tangent space that arose after reading the book Differential Geometry of Curves and Surfaces of Manfredo do Carmo. First, what's the best way to define tangent space? Using tangent vector to curves or…
Gold
  • 28,141
13
votes
1 answer

Identification of the holomorphic tangent space with the real tangent space

I'm reading Griffiths and Harris and just want to check I'm interpreting a passage correctly. Let $M$ be a $n$ dimensional complex manifold. We define $T_p^\mathbb{R}M$ as the tangent space of the underlying smooth manifold, and define…
11
votes
2 answers

Why aren't tangent spaces simply defined as vector spaces with same dimension as the manifold?

I'm a physics student starting grad school, and I figured I'd read up on manifolds since they pop up so much. However, one thing that continues to elude me is why tangent spaces have such involved definitions. Given that the tangent space of an $n$…
11
votes
2 answers

Basis for the Tangent space and derivations at a point

So i have been reading Tu's , "An Introduction to Manifolds" , and i have a question that is really bugging my mind. So we have the tangent space at a point $p$, $T_p(\mathbb{R}^n)$ with basis $e_1,...,e_n$ is going to be isomorphic to the vector…
Someone
  • 5,059
11
votes
4 answers

Why are the partial derivatives a basis of the tangent space?

Why are $\frac{\partial }{\partial x_i}$ , $i=1,...,n$, a basis for $T_x\mathbb{R}^n$? My understanding is that the tangent space at $x$ is the set of all vectors beginning at $x$. I would be led to believe that all vectors beginning at $x$…
Matthew
  • 1,384
10
votes
4 answers

What is the intuitive meaning of the dual space of a tangent space?

We know that a tangent vector is a directional derivative operartor, and the collection of all tangent vectors at a point is a tangent space. I don't understand the intuitive meaning behind the dual space to a tangent space. What I'd like to know is…
10
votes
1 answer

If a real function has a zero of order $n$, then except for a diffeomorphism, it is $x^n$.

Let $f: \mathbb{R} \to \mathbb{R}$ be a $C^{\infty}$ differentiable function such that $$0=f(0)=f'(0)=...=f^{(n-1)} (0), $$ and $f^{(n)} (0) \neq 0$. Show that there exists a diffeomorphism around $0$, say $h: ( \mathbb{R} , 0 ) \to ( \mathbb{R} , 0…
9
votes
1 answer

linear isomorphism between $T_p(M)$ and $T_\mathbf{x}(\mathbb{R}^k)$

Assume the following definition: Given $p\in M$, a tangent vector to $M$ at $p$ is a function $\mathbf{v}$ that assigns, to each coordinate patch $\alpha : U\to V$ in $M$ about $p$, a column matrix of size $k$ by $1$ which we denote…
9
votes
1 answer

Basis of the space of vector fields on smooth manifolds

Let $M$ be a smooth ($C^\infty$) manifold. Let $\mathfrak{X}(M)$ be a set of all vector fields on $M$ and let $\mathfrak{F}(M)$ be a set of all real smooth functions on $M$. $\mathfrak{X}(M)$ is a real vector space and it is also a module over…
9
votes
2 answers

Why is the tangent bundle defined using a disjoint union?

In textbooks about differential geometry, one finds often the disjoint union in the definition of the tangent bundle (e.g. in "Lee: Introduction to smooth manifolds", or "Amann, Escher: Analysis…
9
votes
1 answer

$T_pS \subseteq T_pM$: Are tangent spaces of submanifolds subsets (and not embedded) of tangent spaces of the original manifold?

My book is An Introduction to Manifolds by Loring W. Tu. From Definition 8.1 and Remark 8.2 (and definitions from Section 2. see below), we have that A. $T_pM = T_pU$ B. and $C_p^{\infty}M = C_p^{\infty}U$, where (B) implies (A). I believe both…
8
votes
1 answer

The Universal Property of Tangent Spaces

There are many different ways to define the tangent space $T_pM$ at some point $p\in M$, just like there are different ways to define the tensor product $V_1\otimes\cdots\otimes V_n $ or the cartesian product $V_1\times\cdots\times V_n$ of vector…
Filippo
  • 4,116
7
votes
1 answer

Hitchin's definition of tangent space and tangent vectors

In page 18 of N. Hitchin the tangent space $T_pM$ of a manifold $M$ in a point $p$ is defined as the dual of $T^\star_p M$ where $T^\star_pM $ is the quotient space: $$C^\infty(M)/Z_p(M) \quad\text{and}\, Z_p(M)=\big\{f\in C^\infty(M): d(f\circ…
7
votes
1 answer

Motivation for defining a tangent vector as an equivalence class of curves

One definition for a tangent vector on a manifold goes like this: We have a differentiable manifold $X$, a point $x \in X$, and two curves $\alpha, \beta:(-1,1) \to X$. Then $\alpha$ is equivalent to $\beta$ at $x$ iff $\alpha(0)=\beta(0)=x$, and…
A_P
  • 1,059
  • 5
  • 20
7
votes
2 answers

Lie algebra: intuition of "Lie Algebra is tangent space of corresponding Lie Group"?

I am an engineering student and learned of Lie Group/Lie Algebra recently. I can follow and understand all the formula derivation of Lie Algebra from Lie Group. But I cannot grasp the meaning of "Lie Algebra being tangent space of the corresponding…
1
2 3
41 42