The dual base is a term from linear algebra that has two different meanings:
- For a given basis of a finite-dimensional vector space , an associated dual basis of the dual space is constructed.
![V ^ {*}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5910e6a94f4f7ee2ee85ceed9dacef3eff7a6242)
- For a given basis of a Euclidean vector space , another, the first dual basis of, is constructed.
![V](https://wikimedia.org/api/rest_v1/media/math/render/svg/af0f6064540e84211d0ffe4dac72098adfa52845)
Dual basis in the dual space V *
definition
Let it be a -dimensional vector space over a body . (In applications, the body is often or .) Next is a base of .
![V](https://wikimedia.org/api/rest_v1/media/math/render/svg/af0f6064540e84211d0ffe4dac72098adfa52845)
![K](https://wikimedia.org/api/rest_v1/media/math/render/svg/2b76fce82a62ed5461908f0dc8f037de4e3686b0)
![\ mathbb {R}](https://wikimedia.org/api/rest_v1/media/math/render/svg/786849c765da7a84dbc3cce43e96aad58a5868dc)
![{\ displaystyle \ mathbb {C}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f9add4085095b9b6d28d045fd9c92c2c09f549a7)
![{\ displaystyle \ {e_ {1}, \ dotsc, e_ {n} \}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1d4c237dc5200c8760593d5c01530e6410a25e86)
![V](https://wikimedia.org/api/rest_v1/media/math/render/svg/af0f6064540e84211d0ffe4dac72098adfa52845)
Then there is exactly one linear mapping for each with and for , because a linear mapping is uniquely determined by the images on a basis. The so defined form a basis of the dual space , the basis of the dual basis. With the Kronecker delta notation, is the defining property of the dual base .
![e_i ^ *: V \ rightarrow K](https://wikimedia.org/api/rest_v1/media/math/render/svg/9e730d99bb2dd48e3f4e6452365e046cc971a7e8)
![e_i ^ * (e_i) = 1](https://wikimedia.org/api/rest_v1/media/math/render/svg/7d50094d6b46f186a05b42eb1f4c3a4718324a10)
![e_i ^ * (e_j) = 0](https://wikimedia.org/api/rest_v1/media/math/render/svg/52d3f683a1f52c76701a16e56b0273aeef4631cb)
![y \ ne i](https://wikimedia.org/api/rest_v1/media/math/render/svg/66b7538abe3f69348eb371e48d7b33a8994610e1)
![V ^ {*}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5910e6a94f4f7ee2ee85ceed9dacef3eff7a6242)
![{\ displaystyle \ {e_ {1}, \ dotsc, e_ {n} \}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1d4c237dc5200c8760593d5c01530e6410a25e86)
![V](https://wikimedia.org/api/rest_v1/media/math/render/svg/af0f6064540e84211d0ffe4dac72098adfa52845)
![{\ displaystyle e_ {i} ^ {*} (e_ {j}) = \ delta _ {ij}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/26db85b344f48f20f1111b6ff1d088825f7baa51)
Behavior when changing base
Be a basis of and the corresponding dual basis. Next is a second basis of with .
![{\ displaystyle \ {e_ {1}, \ dotsc, e_ {n} \}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1d4c237dc5200c8760593d5c01530e6410a25e86)
![V](https://wikimedia.org/api/rest_v1/media/math/render/svg/af0f6064540e84211d0ffe4dac72098adfa52845)
![{\ displaystyle \ {e_ {1} ^ {*}, \ dotsc, e_ {n} ^ {*} \}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0534f27fc8f72431dc3b25c309c6dd37c187ea52)
![{\ displaystyle \ {a_ {1}, \ dotsc, a_ {n} \}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5ca204050a74c96ca0c8dfd7dc350125d8677bce)
![V](https://wikimedia.org/api/rest_v1/media/math/render/svg/af0f6064540e84211d0ffe4dac72098adfa52845)
![{\ displaystyle a_ {j} = \ sum _ {k} A_ {kj} e_ {k}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/67b2bc35bc0f90cb20c731c3e6007a16111dc3a6)
As a matrix of a base change is invertible . The components of the inverse are denoted by. A comparison of
![A ^ {- 1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/83ba3a7118652cffd5de466dc439ee9184371d50)
![{\ displaystyle A_ {ik} ^ {- 1}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2f9cf7a65f5924efc951f43d0f9a510e0d2adc30)
![{\ displaystyle \ sum _ {k} A_ {ik} ^ {- 1} {e} _ {k} ^ {*} (a_ {j}) = \ sum _ {k} A_ {ik} ^ {- 1 } A_ {kj} = \ delta _ {ij}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a2ad093369cb11e631b7d54acb6ae51fd6816d3a)
with the defining property immediately results in the transformation behavior of the dual basis:
![{\ displaystyle a_ {i} ^ {*} (a_ {j}) = \ delta _ {ij}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c93c7b1b162b509656296edd533cee894ef4f2b4)
-
.
Calculation on a fixed basis
A finite-dimensional vector space of the dimension above the body is always isomorphic to the coordinate space of the column vectors with entries from . If you choose isomorphism
![n](https://wikimedia.org/api/rest_v1/media/math/render/svg/a601995d55609f2d9f5e233e36fbe9ea26011b3b)
![K ^ {n}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1d63366b3d00300e06eee81786182062b98775c5)
![K](https://wikimedia.org/api/rest_v1/media/math/render/svg/2b76fce82a62ed5461908f0dc8f037de4e3686b0)
-
, etc.,![{\ displaystyle e_ {1} ^ {*} \ mapsto \ left (1,0,0, \ dotsc \ right)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8be30cf131fb0b53b65ca5b88dd80f5e9e99c3a7)
is mapped to the i-th row of as above .
![{\ displaystyle a_ {i} ^ {*}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6e8bd7b6efdd369ece81ffad862c89f29108d28e)
![A ^ {- 1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/83ba3a7118652cffd5de466dc439ee9184371d50)
Tensor notation
In the tensor formalism of the theory of relativity , one writes the basis of a vector space (such as a tangent space ) with upper indices , calls these vectors contravariant and understands them as column vectors. The associated covariant basis is then exactly the dual basis presented above in the form of row vectors. This one writes with lower indices . The defining condition is then .
![(e ^ i) _i](https://wikimedia.org/api/rest_v1/media/math/render/svg/3c5db8ada683d1595e0231dc6fdb1e9f1097db9c)
![(e_i) _i](https://wikimedia.org/api/rest_v1/media/math/render/svg/119f5a76be4cb6479cbd6c424964df82515237b4)
![e ^ je_i = \ delta_i ^ j](https://wikimedia.org/api/rest_v1/media/math/render/svg/6d45f1870f92966a8f03dd52dab999b4c90e8005)
The reason for this notation is the different transformation behavior of the vectors when changing the base . If the linear transformation, which maps one basis to another , then applies:
![L.](https://wikimedia.org/api/rest_v1/media/math/render/svg/103168b86f781fe6e9a4a87b8ea1cebe0ad4ede8)
![(e ^ i) _i](https://wikimedia.org/api/rest_v1/media/math/render/svg/3c5db8ada683d1595e0231dc6fdb1e9f1097db9c)
![(e '^ i) _i](https://wikimedia.org/api/rest_v1/media/math/render/svg/0cf0d48b814b6be69fa88d2cf4e65efb21536308)
and one reads that the dual basis is transformed by means of . If one looks at coordinates with respect to the bases, one finds similar relationships. If is and is , then if Einstein's summation convention is observed for a vector :
![L ^ {- 1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7a8fcf501fc4437d595c959025b6474969f72ab9)
![L = (l _ {\ j} ^ i)](https://wikimedia.org/api/rest_v1/media/math/render/svg/8e83d549a0f3865e203a054411b03e52937dad5c)
![L ^ {- 1} = (\ tilde {l} _ {\ j} ^ i)](https://wikimedia.org/api/rest_v1/media/math/render/svg/4abf6237452afb88b97c2b813e452692d9b06327)
![v = \ lambda_ie ^ i](https://wikimedia.org/api/rest_v1/media/math/render/svg/c28bbc1616b57395967c013971603016cf9ed11a)
.
The coefficient from to the basis vector is , that is, the coefficients are also transformed using the inverse transformation matrix. In general, all (contravariant) quantities that transform using are written with upper indices and all (covariant) quantities that are opposite, i.e. using transform, with lower indices.
![v](https://wikimedia.org/api/rest_v1/media/math/render/svg/e07b00e7fc0847fbd16391c778d65bc25c452597)
![e '^ k](https://wikimedia.org/api/rest_v1/media/math/render/svg/3e91c8e1583c438fc689213feb61510518748a79)
![\ lambda_i \ tilde {l} _ {\ k} ^ i](https://wikimedia.org/api/rest_v1/media/math/render/svg/3834b0c9277893d7f48a8cf4bafd419c980b325e)
![L.](https://wikimedia.org/api/rest_v1/media/math/render/svg/103168b86f781fe6e9a4a87b8ea1cebe0ad4ede8)
![L ^ {- 1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7a8fcf501fc4437d595c959025b6474969f72ab9)
Dual basis in the Euclidean vector space V
Definition and calculation
Let be any basis of a Euclidean vector space . The dual basis for this is defined by the property
![V](https://wikimedia.org/api/rest_v1/media/math/render/svg/af0f6064540e84211d0ffe4dac72098adfa52845)
![{\ displaystyle \ {{\ vec {a}} _ {1} ^ {*}, \ dotsc, {\ vec {a}} _ {n} ^ {*} \}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8c4c313ed2b1d6f3447e45c1d60743ba3cd33013)
![V](https://wikimedia.org/api/rest_v1/media/math/render/svg/af0f6064540e84211d0ffe4dac72098adfa52845)
-
,
Here is the scalar product .
![\ cdot](https://wikimedia.org/api/rest_v1/media/math/render/svg/ba2c023bad1bd39ed49080f729cbf26bc448c9ba)
Furthermore, let an orthonormal basis in , describe the change of basis with the invertible matrix . By comparing
![{\ displaystyle \ {{\ hat {e}} _ {1}, \ dotsc, {\ hat {e}} _ {n} \}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/746858ed9eb05ede6c710e372089d626c6734aed)
![V](https://wikimedia.org/api/rest_v1/media/math/render/svg/af0f6064540e84211d0ffe4dac72098adfa52845)
![{\ displaystyle \ textstyle {\ vec {a}} _ {j} = \ sum _ {k} A_ {kj} {\ hat {e}} _ {k}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/45473c4c03d877e5129859bd46c6109388bf9fad)
![A.](https://wikimedia.org/api/rest_v1/media/math/render/svg/7daff47fa58cdfd29dc333def748ff5fa4c923e3)
![{\ displaystyle (\ sum _ {k} A_ {ik} ^ {- 1} {\ hat {e}} _ {k}) \ cdot {\ vec {a}} _ {j} = \ sum _ {k } A_ {ik} ^ {- 1} A_ {kj} = \ delta _ {ij}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a6d309e022acc119d8dfa9b4e8622e7d2b16939e)
with results
![{\ displaystyle {\ vec {a}} _ {i} ^ {*} \ cdot {\ vec {a}} _ {j} = \ delta _ {ij}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d072e594fbc539fcf1129d7ae358ca6126782e8b)
-
.
With the dyadic product this is written:
![\ otimes](https://wikimedia.org/api/rest_v1/media/math/render/svg/de29098f5a34ee296a505681a0d5e875070f2aea)
![{\ displaystyle A = \ sum _ {k} {\ vec {a}} _ {k} \ otimes {\ hat {e}} _ {k} \ quad \ Leftrightarrow \ quad A ^ {- 1} = \ sum _ {k} {\ hat {e}} _ {k} \ otimes {\ vec {a}} _ {k} ^ {*}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1daf60f74960db9f2bb09437bcba7fe33b715480)
The vectors here form the columns of the matrix (or the second level tensor) and the dual basis is found in the rows of the inverse![{\ displaystyle \ {{\ vec {a}} _ {1}, \ dotsc, {\ vec {a}} _ {n} \}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7bf2bf1755e20ba9dd436b2c6409990f82e6b900)
![A.](https://wikimedia.org/api/rest_v1/media/math/render/svg/7daff47fa58cdfd29dc333def748ff5fa4c923e3)
Special case R 3
In the vector space with standard scalar product and cross product , with the above equation and the formula for matrix inversion , we find :
![\ mathbb {R} ^ {3}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f936ddf584f8f3dd2a0ed08917001b7a404c10b5)
![\ times](https://wikimedia.org/api/rest_v1/media/math/render/svg/0ffafff1ad26cbe49045f19a67ce532116a32703)
![{\ displaystyle {\ begin {aligned} {\ vec {a}} _ {1} ^ {*} = & {\ frac {{\ vec {a}} _ {2} \ times {\ vec {a}} _ {3}} {{\ vec {a}} _ {1} \ cdot ({\ vec {a}} _ {2} \ times {\ vec {a}} _ {3})}} = {\ frac {{\ vec {a}} _ {2} \ times {\ vec {a}} _ {3}} {\ begin {vmatrix} {\ vec {a}} _ {1} & {\ vec {a }} _ {2} & {\ vec {a}} _ {3} \ end {vmatrix}}} \\ {\ vec {a}} _ {2} ^ {*} = & {\ frac {{\ vec {a}} _ {3} \ times {\ vec {a}} _ {1}} {{\ vec {a}} _ {2} \ cdot ({\ vec {a}} _ {3} \ times {\ vec {a}} _ {1})}} = {\ frac {{\ vec {a}} _ {3} \ times {\ vec {a}} _ {1}} {\ begin {vmatrix } {\ vec {a}} _ {1} & {\ vec {a}} _ {2} & {\ vec {a}} _ {3} \ end {vmatrix}}} \\ {\ vec {a }} _ {3} ^ {*} = & {\ frac {{\ vec {a}} _ {1} \ times {\ vec {a}} _ {2}} {{\ vec {a}} _ {3} \ cdot ({\ vec {a}} _ {1} \ times {\ vec {a}} _ {2})}} = {\ frac {{\ vec {a}} _ {1} \ times {\ vec {a}} _ {2}} {\ begin {vmatrix} {\ vec {a}} _ {1} & {\ vec {a}} _ {2} & {\ vec {a}} _ {3} \ end {vmatrix}}} \ end {aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5375512f9d600bc8f9cba607dfcb07614fcfac52)
The denominator of the fractions contains the late product formed with the basis vectors , which is invariant to a cyclical exchange of its arguments, and which is equal to the determinant of the matrix which is formed from the basis vectors. The defining property is immediately apparent here.
Application from crystallography
The determination of this dual basis in is important when describing crystal lattices . There the primitive lattice vectors form a (generally not orthonormal) basis of the . The scalar product between basis vectors of the reciprocal basis and primitive lattice vectors is in the crystallographic convention:
![{\ displaystyle \ {{\ vec {a}} _ {1}, {\ vec {a}} _ {2}, {\ vec {a}} _ {3} \}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4723d3356a6ede8f21c246c4b8b21bf1f188395e)
![{\ vec {b}} _ {i}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8b8d268dde2fbd9df47a558bb7723895939fb933)
![{\ vec {a}} _ {j}](https://wikimedia.org/api/rest_v1/media/math/render/svg/34f9de027b75bd6cfaba432b352c32842663a391)
-
,
is therefore the too dual basis in .
![{\ displaystyle \ {{\ vec {a}} _ {1}, {\ vec {a}} _ {2}, {\ vec {a}} _ {3} \}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4723d3356a6ede8f21c246c4b8b21bf1f188395e)
![\ mathbb {R} ^ {3}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f936ddf584f8f3dd2a0ed08917001b7a404c10b5)
Example: The primitive lattice vectors of the face-centered cubic (fcc) lattice are:
![{\ displaystyle {\ vec {a}} _ {1} = {\ frac {a} {2}} \ left ({\ hat {e}} _ {y} + {\ hat {e}} _ {z } \ right)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/66d78e58f7850edf36dafff2d2fa8655e8b05a65)
![{\ displaystyle {\ vec {a}} _ {2} = {\ frac {a} {2}} \ left ({\ hat {e}} _ {x} + {\ hat {e}} _ {z } \ right)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b8b36221f283e3fd3e391c90ef4767df6a369783)
![{\ displaystyle {\ vec {a}} _ {3} = {\ frac {a} {2}} \ left ({\ hat {e}} _ {x} + {\ hat {e}} _ {y } \ right)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ac6ccdcf646a6bcc660a9dae9402b045a6f1030c)
The above equations for the result:
![\ mathbb {R} ^ {3}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f936ddf584f8f3dd2a0ed08917001b7a404c10b5)
![{\ displaystyle {\ vec {b}} _ {1} = {\ frac {1} {a}} \ left (- {\ hat {e}} _ {x} + {\ hat {e}} _ { y} + {\ hat {e}} _ {z} \ right)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3a3bfc8a02e6b91e2d6e812901ebed865fe9a189)
![{\ displaystyle {\ vec {b}} _ {2} = {\ frac {1} {a}} \ left ({\ hat {e}} _ {x} - {\ hat {e}} _ {y } + {\ hat {e}} _ {z} \ right)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d52b57fb9115eb36755a7f85ea6b3e43418a5966)
![{\ displaystyle {\ vec {b}} _ {3} = {\ frac {1} {a}} \ left ({\ hat {e}} _ {x} + {\ hat {e}} _ {y } - {\ hat {e}} _ {z} \ right)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/91a45e89208938248ae741661a9a5c86bd26409b)
These form a body-centered cubic (bcc) grid.
Generalization to pseudo-Riemannian metrics
In the finite-dimensional vector space with pseudo-Riemannian metric and a basis consider the dual vector defined by
![G](https://wikimedia.org/api/rest_v1/media/math/render/svg/d3556280e66fe2c0d0140df20935a6f057381d77)
![{\ displaystyle \ {{\ vec {e}} _ {1}, \ dotsc, {\ vec {e}} _ {n} \}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1c781b1f4fdc35b891b8c536608fdda584023a4e)
![{\ displaystyle \ alpha _ {i}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3b1fb627423abe4988b7ed88d4920bf1ec074790)
-
.
Then applies
-
with .![{\ displaystyle {\ vec {e}} _ {i} ^ {*}: = \ sharp \ alpha _ {i}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1d13b9e20283ef6b507c4598dddcb3b3e50d37cb)
Here, the dual vector in the dual space from the first meaning, the outer product , and by the pseudo-Riemannian metric induced isomorphism between and .
![{\ displaystyle e_ {i} ^ {*}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4aac0dbbe3f6cbf9dfc247b64695cbea4d67e6b0)
![\ wedge](https://wikimedia.org/api/rest_v1/media/math/render/svg/1caa4004cb216ef2930bb12fe805a76870caed94)
![{\ displaystyle \ sharp}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ec62aeac3396a6355d56723cbc51ddf01bb90883)
![{\ displaystyle V ^ {*}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5910e6a94f4f7ee2ee85ceed9dacef3eff7a6242)
![V](https://wikimedia.org/api/rest_v1/media/math/render/svg/af0f6064540e84211d0ffe4dac72098adfa52845)
See also
swell
- Gerd Fischer: Lineare Algebra , Vieweg-Verlag, ISBN 3-528-97217-3 .
- Hans Stephani: General theory of relativity . Deutscher Verlag der Wissenschaften, Berlin 1991, ISBN 3-326-00083-9 .