So I know that the dual space is the set of all linear transformations that map a vector from a vector space to the field of the space itself (the real number line, complex, quaternions). From YouTube I saw that you can use the metric tensor to go from the vector space to the dual space.I have two questions about this. Why do we use the metric tensor as a map (don't we define tensors by the fact that they are invariant under general Lorentz transformations? And if this is the case that the metric tensor acts as a mapping from the vector space to the dual space then does this mapping specify the linear combination of the dual basis in terms of original basis?
-
$\begingroup$ Math SE perhaps? $\endgroup$– safesphereMay 14, 2019 at 6:27
-
$\begingroup$ someone on this forum better know i am a bloody undergrad! $\endgroup$– Brandonlee SantosMay 14, 2019 at 18:39
-
$\begingroup$ i have expanded my answer, perhaps it makes some things clearer. I dont know if you get notification or not, so i am writting this comment to you. $\endgroup$– UmaxoMay 14, 2019 at 20:43
-
2$\begingroup$ @BrandonleeSantos Not to speak for safesphere, but I believe the suggestion to post this question on MathSE was made because PhysicsSE has a policy against questions which are purely mathematical in nature (even if they arise from physics-related questions), not because nobody here is capable of answering. Indeed, there are many users who are prolific on both sites - it's a question of content control. $\endgroup$– J. MurrayMay 14, 2019 at 21:16
1 Answer
The vector space and its dual space are isomorphic. We can "identify" the spaces with any mapping (given the properties of the mapping are "nice" enaugh, like being 1-1). But they are not cannocically isomorphic, because there is no reason to prefer one mapping over another. In metric space, the metric is distinguished among all the existing mappings and thus we can use this mapping to build canonical isomorphism.
Metric tensor (or any tensor for that matter) is simply linear map from all the vectors and dual spaces into real numbers. So if we have vector space $V$ and dual space $V^*$, tensor $T^2_3$ is a linear map from $V^*\times V ^*\times V \times V\times V \rightarrow R$.
Notice that if you don't insert some of the vectors, you get linear map that waits for those vectors. If you dont insert one vector into metric, which is linear map $V\times V \rightarrow R$, you get linear map that waits for that vector to produce number, so $g(-,v)$ where g is metric and v vector in V, you get linear map from $V\rightarrow R$ which is exactly what dual space is.
To construct isomorphism between vector space and its dual, use prescription $(e^*)^i=g(-,e_i)$. But then the condition $(e^*)^i(e_j)=\delta_j^i$ for dual basis is not satisfied, because for timelike basis vector the norm gives $-1$.
Now the advantage of this identifiaction is in the fact that the dual vectors are not just random linear map of vector space, its the scalar product.
EDIT to further explain the connection between dual vectors, metric and lorentz transformation:
For any basis $e_i$ in $V$ we have dual basis $e^i$ given by the relation $e^i(e_j)=\delta^i_j$. This defines the isomorphism (map that identifies the two vector spaces) between $V$ and $V^*$. When we choose different basis in V, we get another dual basis and this also defines some isomorphism between $V$ and $V^*$. It can be shown that the two isomorphisms are not in general the same. That is, if first isomorphism creates identification $v_1 \leftrightarrow v^2$ where $v_1 \in V, v^2 \in V^*$, the second isomorphism will in general identify the same vector $v_1$ with different vector $v^3 \in V^*; v^3\ne v^2$.
So there is no natural way to associate vector $v_i \in V$ with some vector of dual space.
But if we have metric, we can fix isomorphism with already given prescription $(e^*)^i=g(-,e_i)$. Then, as i already pointed out, the linear map $v^i(v_j)=g(v_i,v_j)$ gives you the scalar product of vector $v_j \in V$ and vector $v_i \in V$ associated with the $v^i \in V^*$.
But since the scalar product in relativity is invariant under lorentz transformations (we can choose only such kind of metrics, otherwise they can't be physically meaningfull), this way of identifying $V$ and $V^*$ is also lorentz invariant and gives you great benefits.
EDIT 2, correction
I made a mistake: prescription $(e^*)^i=g(-,e_i)$ does not lead to $(e^*)^i(e_j)\equiv g(e_j,e_i) = \delta^i_j$, because f.e. $g(e_t,e_t) =-1$ in minkowski. So in fact, there is no orthonormal basis in GR as i wrote, because you cannot normalize timelike/null vectors to $1$ (in metric with signature -+++). There is only orthogonal basis, not orthonormal.
The corrections are written in italic.
-
$\begingroup$ So suppose that I am in a noneuclidean spacetime like near a blackhole, then it would be the case that the dual basis won't be dual to the original basis(implying that curved spacetime is not orthonormal at one point in space, I say one point because the basis vectors change from point to point in curved space)? and the isomorphism between V and V* still holds? $\endgroup$ May 15, 2019 at 20:46
-
$\begingroup$ $V$ and $V^*$ are always isomorphic. If you want to associate every vector of space $V$ with some dual vector of $V^*$, you need to pick one isomorphism. The definition of dual basis picks this isomorphism according to the basis you have chosen. We dont want this, The basis is arbitrary, we want to fix isomorphism once and for all, not change our mind everytime we work in different basis. But you can also fix one of the isomorphisms defined by $e^{*i}(e_j)=\delta^i?j$. But then when you choose different basis this relation will no longer hold if $e^{*i}$ is associated by $e_j$ (cont.) $\endgroup$– UmaxoMay 16, 2019 at 3:49
-
$\begingroup$ (cont.) which basis to choose as the one that defines isomorphism? In general, there is no prefered one. The definition of isomorphism using metric is one such choice, but this time it is meanigfull. The isomorphism is an abstract mapping between vector spaces, it does not depend on the choice of basis, just as a some vector of vector space is always the same no matter in which basis you expand it. What is changing are components of the vector, not vector itself. It is similar with isomorphism. $\endgroup$– UmaxoMay 16, 2019 at 3:55
-
$\begingroup$ One last thing: in GR orthonormal basis of vector space at given point can always be chosen due to equivalence principle. In curved spacetime it is only true that you cannot in general choose global orthonoral basis in smooth fasion, i.e. you cannot find orthonormal basis of vector fields. But you can always find basis that is orthonormal at chosen point. $\endgroup$– UmaxoMay 16, 2019 at 3:58
-
$\begingroup$ oh, i made a mistake. There are no orthonormal basis in GR anywhere, only orthogonal ones. Check the edit 2 $\endgroup$– UmaxoMay 16, 2019 at 4:22