# Why do we use the tangent and cotangent space?

• The1337gamer
In summary: Intuitively, the tangent space at a point on the manifold is "flat enough" to do calculus on. You can take derivatives, do integrals, and generally think about things like distances and angles. This is what we do in special relativity: the tangent space at each point is the Minkowski space that you are used to.The manifold itself has a metric that tells you the distance between two points. The tangent space also has a metric, which is the Minkowski metric. The metric of the manifold and the metric of the tangent space are related by the derivative, which is why the tangent space comes up when you take derivatives.In summary, tangent and cotangent spaces are used in curved spacetimes because the
The1337gamer
So i was considering minkowski space which is a 4-d manifold, why is that we use the tangent and cotangent space, to construct tensors on the space?

The definition of a manifold says that the space is locally homeomorphic to Euclidean space. So is the tangent space and cotangent space defined at each point used as a substitute for this homeomorphic euclidean space?

Vector spaces must be linear spaces. You have to be able to add and subtract vectors, etc. Curved spaces, which, in general, spacetimes are, are not linear (no good method to define how to add 2 curved arrows), which is why you have to use the tangent space and cotangent space.

Since Minkowski spacetime is flat, you don't have to use the tangent and cotangent construction on it. Probably whichever text you are reading uses them in Minkowski spacetime so the transition to curved spacetime is not so jarring.

The1337gamer said:
So i was considering minkowski space which is a 4-d manifold, why is that we use the tangent and cotangent space, to construct tensors on the space?

The definition of a manifold says that the space is locally homeomorphic to Euclidean space. So is the tangent space and cotangent space defined at each point used as a substitute for this homeomorphic euclidean space?

The tangent and cotangent spaces transform differently. If you take a simple example of one variable where x' = f(x), one type of vector transforms by being multiplied by $\partial x' / \partial x$, the other type transforms by being multipled by the inverse, $\partial x / \partial x'$. So, if you say that x' = 2x, in one sort of vector the components double, in the other sort the components are cut in half.

Tangent and cotangent vectors are duals. If you start off by defining a basic vector, the dual vector space is the same dimension as the original vector space and a dual vector is a linear map from vectors to scalars.

The dual of a dual vector is the same (transforms in the same manner) as the original vector space.

The dot product of two vectors is a scalar, and is linear. You can regard the dot product as defining a map from a vector to a dual vector. I.e. if a and b are vectors, then the existence of the dot product of (a.b) defines a map from a to (a map from b to a scalar), i.e. a map from a to a dual vector, as a map from a vector to a scalar is by definition a dual vector.

pervect said:
The tangent and cotangent spaces transform differently. If you take a simple example of one variable where x' = f(x), one type of vector transforms by being multiplied by $\partial x' / \partial x$, the other type transforms by being multipled by the inverse, $\partial x / \partial x'$. So, if you say that x' = 2x, in one sort of vector the components double, in the other sort the components are cut in half.

Tangent and cotangent vectors are duals. If you start off by defining a basic vector, the dual vector space is the same dimension as the original vector space and a dual vector is a linear map from vectors to scalars.

The dual of a dual vector is the same (transforms in the same manner) as the original vector space.

The dot product of two vectors is a scalar, and is linear. You can regard the dot product as defining a map from a vector to a dual vector. I.e. if a and b are vectors, then the existence of the dot product of (a.b) defines a map from a to (a map from b to a scalar), i.e. a map from a to a dual vector, as a map from a vector to a scalar is by definition a dual vector.

Just to follow up a little on what pervect has so ably pointed out here, I've sketched a space-time diagram showing an example of the utility of the dual spaces. Here we show how you can regard the spaces for any two observers moving relative to each other as dual. You can see how a metric comes out of this relationship along with the time coordinates Lorentz transformation (time dilation).

Sorry, bobc2, but pervect's use of the term "dual" has a specific technical meaning for tensors which isn't the informal way you are using it.

One of my textbooks represents vectors in the usual way (litle arrows with a head and tail), and dual vectors as stacked parallel planes. (Stacked planes works for 3d spaces - in general if you have an n-dimensonal space, the "planes" are n-1 dimensonal surfaces).

If you have a vector and a dual vector, because the dual vector maps a vector to a scalar, you also have an associated scalar. This scalar is the number of planes that the vector pierces (including fractional piercings).

Most any linear algebra textbook should have some discussion of vectors and their duals. In engineering notation, vectors and duals are represented with row and column vectors. In more advanced tensor notation, they are representedwith subscripts and superscripts instead.

I understand what the tangent and contangent spaces are and how you can find the basis for them. The cotangent space being the dual space corresponding to the tangent space. Tangent vectors transform contravariantly and cotangent vector transform covariantly.

I'm not sure why they are used, what is the relation between the local Euclidean space at a point on the manifold and the tangent/cotangent spaces at a point?

In your opening question you specifically referred to Minkowski space, which we use in special relativity in the absence of gravity. Minkowski space is isomorphic to its own tangent spaces, so you don't really need to use tangent spaces in this case.

When you move on to curved spacetime in general relativity, the manifold and its tangent spaces are different: the manifold is curved but each tangent space is flat. Each tangent space is a vector space (you can add 4-vectors and multiply them by scalars) but the manifold is not.

The tangent space arises when you differentiate; for example if $x^\alpha(\lambda)$ is a worldline parameterised by $\lambda$, then $dx^\alpha/d\lambda$ lies in the tangent space.

Last edited:
DrGreg said:
Minkowski space is isomorphic to its own tangent spaces

Is there any way of showing this?

I've just read that the tangent/cotangent space is isomorphic to the local Euclidean space so would this imply that Minkowski space is itself locally isomorphic to Euclidean space?

The1337gamer said:
Is there any way of showing this?

I've just read that the tangent/cotangent space is isomorphic to the local Euclidean space so would this imply that Minkowski space is itself locally isomorphic to Euclidean space?

Yes. That is true.

DrGreg said:
Sorry, bobc2, but pervect's use of the term "dual" has a specific technical meaning for tensors which isn't the informal way you are using it.

The "informal" presentation does not change the concept. The technical meaning is the same as pervect's.

The1337gamer said:
so would this imply that Minkowski space is itself locally isomorphic to Euclidean space?

bobc2 said:
Yes. That is true.

Isomorphic as vector spaces, as affine spaces, and as smooth manifolds (diffeomorphic), but not as pseudo-Riemannian manifolds (i.e. not isometric)?

The1337gamer said:
Is there any way of showing this?

I've just read that the tangent/cotangent space is isomorphic to the local Euclidean space so would this imply that Minkowski space is itself locally isomorphic to Euclidean space?

I basically covered this in my first post, perhaps you didn't see it?

The1337gamer said:
So i was considering minkowski space which is a 4-d manifold, why is that we use the tangent and cotangent space, to construct tensors on the space?

The definition of a manifold says that the space is locally homeomorphic to Euclidean space. So is the tangent space and cotangent space defined at each point used as a substitute for this homeomorphic euclidean space?

The tangent space of a manifold at a point is a vector space of linear operators on functions that are differentiable at that point. The points of the manifold are not.

The cotangent space at a point is the space of virtual displacements at that point. The points of the manifold are not.

For instance the Minkowski metric is a tensor defined in terms of products of virtual displacements.

## 1. Why do we use the tangent and cotangent space?

The tangent and cotangent space are used in mathematics and physics to study the properties of curved spaces, such as manifolds. These spaces have a non-Euclidean geometry, which makes it difficult to define vectors and perform calculations. The tangent and cotangent spaces provide a way to define vectors and perform calculations on these spaces, making it easier to analyze and understand them.

## 2. What is the difference between the tangent and cotangent space?

The tangent space is a vector space that is tangent to a point on a curved space, while the cotangent space is the dual space to the tangent space. In other words, the tangent space contains vectors that are tangent to the space, while the cotangent space contains 1-forms that are perpendicular to the vectors in the tangent space.

## 3. How do the tangent and cotangent space relate to the concept of a manifold?

A manifold is a mathematical object that is locally similar to Euclidean space. This means that at every point on a manifold, there exists a tangent space that is isomorphic to Euclidean space. The tangent space is used to define vectors on the manifold, while the cotangent space is used to define 1-forms. Together, they provide a way to describe the geometry and properties of a manifold.

## 4. What are some practical applications of using the tangent and cotangent space?

The tangent and cotangent space have many practical applications in mathematics and physics. They are used in the study of differential geometry, general relativity, and other areas of mathematics and physics that deal with curved spaces. They also have applications in computer graphics and computer vision, where they are used to perform calculations on surfaces and objects in 3D space.

## 5. How do the tangent and cotangent space help us understand the behavior of objects in curved spaces?

By using the tangent and cotangent space, we can define and analyze vectors and 1-forms on curved spaces, which allows us to study the behavior of objects in these spaces. For example, in general relativity, the tangent and cotangent space are used to define the curvature of spacetime and understand the motion of objects in this curved space. They provide a mathematical framework for understanding the behavior of objects in curved spaces.

Replies
25
Views
2K
Replies
38
Views
4K
Replies
12
Views
2K
Replies
26
Views
6K
Replies
20
Views
1K
Replies
9
Views
2K
Replies
16
Views
1K
Replies
6
Views
2K
Replies
1
Views
999
Replies
82
Views
6K