Hubbry Logo
search
logo

Musical isomorphism

logo
Community Hub0 Subscribers
Write something...
Be the first to start a discussion here.
Be the first to start a discussion here.
See all
Musical isomorphism

In mathematics—more specifically, in differential geometry—the musical isomorphism (or canonical isomorphism) is an isomorphism between the tangent bundle and the cotangent bundle of a Riemannian or pseudo-Riemannian manifold induced by its metric tensor. There are similar isomorphisms on symplectic manifolds. These isomorphisms are global versions of the canonical isomorphism between an inner product space and its dual. The term musical refers to the use of the musical notation symbols (flat) and (sharp).

In the notation of Ricci calculus and mathematical physics, the idea is expressed as the raising and lowering of indices. Raising and lowering indices are a form of index manipulation in tensor expressions.

In certain specialized applications, such as on Poisson manifolds, the relationship may fail to be an isomorphism at singular points, and so, for these cases, is technically only a homomorphism.

In linear algebra, a finite-dimensional vector space is isomorphic to its dual space (the space of linear functionals mapping the vector space to its base field), but not canonically isomorphic to it. This is to say that given a fixed basis for the vector space, there is a natural way to go back and forth between vectors and linear functionals: vectors are represented in the basis by column vectors, and linear functionals are represented in the basis by row vectors, and one can go back and forth by transposing. However, without a fixed basis, there is no way to go back and forth between vectors and linear functionals. This is what is meant by that there is no canonical isomorphism.

On the other hand, a finite-dimensional vector space endowed with a non-degenerate bilinear form is canonically isomorphic to its dual. The canonical isomorphism is given by

The non-degeneracy of means exactly that the above map is an isomorphism. An example is where and is the dot product.

In a basis , the canonical isomorphism above is represented as follows. Let be the components of the non-degenerate bilinear form and let be the components of the inverse matrix to . Let be the dual basis of . A vector is written in the basis as using Einstein summation notation, i.e., has components in the basis. The canonical isomorphism applied to gives an element of the dual, which is called a covector. The covector has components in the dual basis given by contracting with :

This is what is meant by lowering the index. Conversely, contracting a covector with the inverse of gives a vector with components

See all
User Avatar
No comments yet.