Stack Exchange Network

Stack Exchange network consists of 175 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.

Visit Stack Exchange

Questions tagged [tangent-spaces]

The tag has no usage guidance.

1
vote
2answers
65 views

Tangent space basis of $S^3 \times S^3$

I am working with the group morphism $\rho: S^3 \times S^3 \rightarrow SO(4)$ where $\rho(q,r)x = qxr^{-1}$ for $q,r \in S^3$ and $x \in \mathbb{R}^4$ and trying to compute the differential of this ...
2
votes
1answer
60 views

Tangent space of smooth manifold $M=\{(x,x^3,e^{x-1}) : x \in \Bbb{R}\}$ at $(1,1,1)$

What's the tangent space of $M=\{(x,x^3,e^{x-1}): x \in \Bbb{R}\}$ at the point $(1,1,1)$, where $M$ is a manifold of smoothness $C^\infty$. I know how to find the tangent space of a manifold in the ...
1
vote
1answer
65 views

Loomis and Sternberg: Tangent Space to a manifold, using equivalence classes; help justifying one step of an argument

I am currently reading through the section in Loomis and Sternberg's Advanced Calculus on Tangent Spaces, but I'm having trouble justifying one step of the argument (shown below). Here's the ...
0
votes
1answer
31 views

Coordinate transformation on induced chart on tangent space

Now let $(M,g)$ be a Riemannian manifold, tangent bundle $TM$ with projection $\pi:TM \rightarrow M$, $(U, \phi=(x^1,...,x^n))$ local chart on $M$ and induced chart $(\pi^{-1}(U), \phi_{*}=(x^1,...,x^...
0
votes
1answer
33 views

Induced chart on tangent space

I have the following statement in my lecture: Let $(M,g)$ be Riemannian manifold, $(U, \varphi)$ local chart on $U \subset M$, $\varphi=(x^1,...,x^n)$ and projection $\pi:TM \rightarrow M$. Then we ...
0
votes
1answer
18 views

Consider the real-valued function $M:=\{(x,y,z)| (2 - (x^2 + y^2)^{1/2})^2 + z^2=1\}$ defined on $\mathbb{R}^3-\{(0, 0, z)\}$.

Show that the manifold $N=\{(x,y,z)\in \mathbb{R}^3|x^2+y^2= 4\}$ is transverse to M. Identify the resulting manifold $N\cap M$. My Attempt: Pardon me for something vacuous, as I am a beginner in ...
0
votes
1answer
44 views

How/why does the contraction of standard volume form give the canonical form.

$M \subset \mathbb{R}^{N}$ is a (oriented) $n-1$ dimensional submanifold. Suppose $\nu \in T_{p}M^{\bot}$, of length one (a normal unit vector on $M$). How and why does the contraction $\nu_{\neg}(...
-1
votes
1answer
25 views

Finding points on a surface $\{ z= f(x, y)\}$ with horizontal tangent plane

Could someone please explain in detail how this is done? For example there is a surface $$M = \{ (x, y, z) : z = x^4 - 4xy^3 + 6y^2 - 2\}$$ and the question is to find the points on $M$ where this ...
4
votes
0answers
133 views

Identification of the tangent space of a manifold and the tangent vectors to curves

I'm studying the different definitions of the tangent space for abstract manifolds, and I'm struggling to prove that these abstract concepts reduce to the classical ones when dealing with submanifolds ...
2
votes
0answers
31 views

Realizing every rotation of a tangent space on a sphere as a parallel transport

I am taking a course on elementary differential geometry, in which we use Do Carmo "Differential Geometry of Curves and Surfaces" as our textbook. I have handed in a written assignment solving - well, ...
1
vote
0answers
31 views

Equivalent definition for partial derivatives: $\frac{\partial}{\partial x^i}|_p = \varphi_{*,p}^{-1}(\frac{\partial}{\partial r^i}|_{\varphi(p)})$?

My book is An Introduction to Manifolds by Loring W. Tu. The definition of partial derivative in Section 6 is $$\frac{\partial}{\partial x^i}|_p (f) := \frac{\partial}{\partial r^i}|_{\varphi(p)} (...
1
vote
0answers
20 views

Show that if $f$ is constant on a manifold $M$ then $\nabla f$ is orthogonal to the tangent space of each $x \in M$

Let $M \subset R^n$ be a $k$ dimensional manifold. Let $f: R^n \to R$ be a smooth function that satisfies $f(x) = c$, $c \in R$ for every $x \in M $. I need to prove that $\nabla f(x)$ is orthogonal ...
1
vote
0answers
32 views

KIlling vectors from isometries and orbit spaces

I am currently (trying) to learn more about orbit spaces generated from an isometry group of a manifold. I cannot quite pinpoint what I (don't) understand, so I will try to lay out what I could gather:...
1
vote
0answers
23 views

Intersection number via tangent spaces

Assume that finite groups $G_1$ and $G_2$ act smoothly on a manifold $M$ in such a way that the fixed point set, $M^{G_1\cap G_2}$, is an oriented closed manifold, $M^{G_1}$ and $M^{G_2}$ are its ...
1
vote
0answers
31 views

Finding equation of tangent of a vector

hi guys and thanks in advance. I encounter this problem 21 and i couldnt solve it. my answer is so wrong.can anyone guide me on this?
1
vote
0answers
38 views

Dimension of relative tangent space

Let $k$ be an arbitrary field, $X$ be a $k$-Scheme locally of finite type, $x \in X$ a closed point and $\kappa(x)$ its residue field. Question: Is the dimension of of the tangent space $T_x X$ ...
1
vote
0answers
15 views

Lie group map whose differential is an isomorphism is a covering map

While trying to read the proof in Fulton and Harris of their “Second Principle,” I ran across something that I do not understand. They seem to claim that if $f: G\rightarrow H$ is a map of Lie groups ...
1
vote
0answers
44 views

Tangent space for the differentiable manifold $S^1$

Since $S^1$ is a compact 1-dimensional regular submanifold in $\mathbb{R}^2$ (it's $S^1 = f^{-1}(1)$ for $f : \mathbb{R}^2 \to \mathbb{R}$ given as $f(x,y) = x^2+y^2$), we can find the tangent space ...
0
votes
0answers
8 views

Generalisation of tangency for non-differentiable points

In wikipedia one can find the definition of tangency tightly tied to differentiability. Is there a straightforward generalisation of this notion for non-differentiable points of a (hyper-) surface? ...
0
votes
0answers
26 views

Understanding the Zariski tangent space at a closed point of a locally finite type $k$-scheme.

Let $\DeclareMathOperator{\Spec}{Spec} x\in \Spec k[T_1,...,T_n]=\mathbb{A}_k^n$ be a closed point, it is easily seen that $\kappa (x)/k$ must be a finite field extension. Denote the corresponding ...
0
votes
0answers
11 views

Is there a natural application of a tangent vector of a point on that point in the manifold?

If we are in Euclidean spaces, we have a natural addition of a tangent vector of a point and that point, and we are able to write the linear approximation of a function using the derivative like $$f'(...
0
votes
0answers
9 views

Looking to determine all the tangent vectors to $c_{00}$ at zero in $l^2$

Working over the reals, I am considering the subspace $c_{00}$, which consists of all sequences eventually zero, of the Hilbert space $l^2$. (As is covered in most courses on functional analysis, $c_{...
0
votes
0answers
48 views

Are the spaces $T_pM$ and $\mathbb R^n$ homeomorphic?

Let $T_pM$ be the tangent space at a point $p$ in a n-dimensional smooth manifold $M$. In addition, if we assume $(M,g)$ as a smooth Riemannian manifold, then $T_pM$ is a n-dimensional real normed-...
0
votes
0answers
15 views

Distance of Manifold and a vector on its tangent space from it.

Let $M \subset R^n$ be a manifold and $x \in M$ a point on it. I want to prove that if $h \in T_xM$ (the tangent space at x) then for every $\epsilon$: $\text{distance}(x+\epsilon h) = o(\epsilon)$, ...
0
votes
0answers
43 views

Calculating tangent vector of curve s(P,$\alpha$) at given point $\alpha$ = 0. http://yann.lecun.com/exdb/publis/pdf/simard-00.pdf

I am reading one chapter where tangent vector is calculated for the given curve $s(P,\alpha)$ at $\alpha=0$ by differentiating with respect to $\alpha$; $\frac{\partial s(P,\alpha)}{\partial\alpha}$. ...
0
votes
0answers
26 views

Understanding the definition of Lie derivative

I'm reading Warner. "Foundations of Differentiable Manifolds and Lie Groups." In p. 69, it gives the definition of the Lie derivative as follows: 2.24 Definition (summerized) Fix a smooth vector ...
0
votes
0answers
34 views

Tangent spaces of two transverse subspaces are transverse subspaces

I am very new to differential geometry and was thrown this very long question: Suppose that two subspaces $V$ and $W$ of $\mathbb{R}^n$ are transverse (so $\text{Span}(V,W)=\mathbb{R}^n$). Let $O$ be ...
0
votes
0answers
25 views

tangent distance between two handwritten digits

Suppose we have two handwritten images "3"MNIST three and "6"MNIST six. The task is to compute the tangent distance between the two. An explanation at undergraduate level is highly appreciated.
0
votes
0answers
30 views

Infinite dimensional tangent spaces

Let $p \in \mathbb{R}^n$ . It is well-known that there are at least two equivalent definitions of the tangent space at $p$: $T_p \mathbb{R}^n$ is the set of equivalence classes of $C^1$-curves $\...
0
votes
0answers
21 views

Question about proof of n-1 form inducing normal unit vector field

Suppose we have a $n-1$ dimensional manifold $M \subset \mathbb{R}^n$ and a non-vanishing $n-1$ form $\omega$ on $M$. This implies the existence of a normal unit vector field on $M$. The proof of ...
0
votes
0answers
24 views

how can I proove that a tangent space has this direction?

first of all my english isn´t so good so i hope you understand me. I have this homework about tangent spaces and to be honest its pretty complicated when the teacher assume you have an entire course ...
0
votes
0answers
52 views

Confusion about tangent spaces

Hartshorne defines the Zariski tangent space at a point $x$ of a scheme $X$ to be $(\mathfrak{m}_x/\mathfrak{m}_x^2)^*$, where the star $*$ means taking the dual, i.e. homomorphisms $\mathfrak{m}_x / \...
0
votes
0answers
38 views

Tangent space of $S^1$

Compute $T_t(S^1)$ in $(\cos(t),\sin(t))$ with parametrization $f(t)=(\cos(t),\sin(t)).$ I have this: I know, $T_tf:T_t\mathbb{R}\to T_{f(t)}S^1$ now $T_tf(\left.\frac{d}{ds}\right|_{s=0}(t+sK))=\...