Kovariant og kontravariant (lineær algebra)
I lineær algebra brukes adjektivene kovariant og kontravariant for å beskrive hvordan mengdene varierer under en basisendring . Disse mengdene sies å være samvariante når de varierer som vektorene i basen, og motstridende når de varierer på motsatt måte.
Forestillingen er nært knyttet til begrepet dualitet : de samvariante koordinatene i en base tilsvarer i virkeligheten de kontravariale koordinatene i den dobbelte basen, og omvendt.
I differensialgeometri gjør hensynet til tangentrom det mulig å utvide de to begrepene til familier av funksjoner definert på differensialmanifold .
Manipuleringen av kovariante og kontravariant mengder er tilrettelagt av Einsteins summeringskonvensjon , som vil bli mye brukt i denne artikkelen.
Definisjon
La et vektorrom med en endelig dimensjon , samt to baser og slik at endringen av versbasen skrives:
V{\ displaystyle {\ mathcal {V}}}
ikke{\ displaystyle n}
e=(e1,e2,...,eikke){\ displaystyle \ mathbf {e} = (\ mathbf {e} _ {1}, \ mathbf {e} _ {2}, \ ldots, \ mathbf {e} _ {n})}
e′=(e′1,e′2,...,e′ikke){\ displaystyle \ mathbf {e '} = (\ mathbf {e'} _ {1}, \ mathbf {e '} _ {2}, \ ldots, \ mathbf {e'} _ {n})}
e{\ displaystyle \ mathbf {e}}
e′{\ displaystyle \ mathbf {e '}}![{\ displaystyle \ mathbf {e '}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2a0763b0521d05da2b88ab5b2f45df3ad9b3c4b3)
e′Jeg=PÅJegjej{\ displaystyle \ mathbf {e '} _ {i} = A_ {i} ^ {j} \ mathbf {e} _ {j}}
der koeffisientene danner passasjematrisen .
PÅJegj{\ displaystyle A_ {i} ^ {j}}![{\ displaystyle A_ {i} ^ {j}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2891222f5099ff9386d4f04734b95044d635d166)
La oss da være en familie av funksjoner, hver mot et vektorrom med samme felt som .
X=(X(Jeg))Jeg=1...ikke{\ displaystyle X = (X (i)) _ {i = 1 \ ldots n}}
Vikke{\ displaystyle {\ mathcal {V}} ^ {n}}
V{\ displaystyle {\ mathcal {V}}}![\ mathcal {V}](https://wikimedia.org/api/rest_v1/media/math/render/svg/47d69f309b6deb2e5008f6130ee11e09bbabd7b6)
Vektorfamiliene og betegnes deretter henholdsvis og .
(X(Jeg)(e′))Jeg=1...ikke{\ displaystyle (X (i) (\ mathbf {e} ')) _ {i = 1 \ ldots n}}
(X(Jeg)(e))Jeg=1...ikke{\ displaystyle (X (i) (\ mathbf {e})) _ {i = 1 \ ldots n}}
(x′(Jeg))Jeg=1...ikke{\ displaystyle (x '(i)) _ {i = 1 \ ldots n}}
(x(Jeg))Jeg=1...ikke{\ displaystyle (x (i)) _ {i = 1 \ ldots n}}![(x (i)) _ {{i = 1 \ ldots n}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/372a293b2076cc1c9d27b1a53a28f83f02b281d8)
X{\ displaystyle X}
sies å være kovariant nårx′(Jeg)=∑j=1ikkePÅJegjx(j){\ displaystyle x '(i) = \ sum _ {j = 1} ^ {n} A_ {i} ^ {j} x (j)}![x '(i) = \ sum _ {{j = 1}} ^ {n} A_ {i} ^ {j} x (j)](https://wikimedia.org/api/rest_v1/media/math/render/svg/3e965d0d5afa5d591586135255a5b3a91cb0c132)
Ledetråden blir deretter notert nederst, og Einsteins konvensjon kan brukes, slik at det skrives:
xJeg′=PÅJegjxj{\ displaystyle x_ {i} '= A_ {i} ^ {j} x_ {j}}
X{\ displaystyle X}
sies å være motstridende nårx(j)=∑Jeg=1ikkePÅJegjx′(Jeg){\ displaystyle x (j) = \ sum _ {i = 1} ^ {n} A_ {i} ^ {j} x '(i)}![x (j) = \ sum _ {{i = 1}} ^ {n} A_ {i} ^ {j} x '(i)](https://wikimedia.org/api/rest_v1/media/math/render/svg/71aa53c4fa507b47ac127231171d824dceb7ac48)
Ledetråden blir så notert øverst, og Einsteins konvensjon kan brukes, slik at det skrives:
xj=PÅJegjx′Jeg{\ displaystyle x ^ {j} = A_ {i} ^ {j} x '^ {i}}
Ved et lite misbruk av språk brukes begrepene kovariant og kontravariant også på familier av vektorer, og avhengigheten av valget av grunnlaget som er underforstått.
(xJeg)Jeg=1...ikke{\ displaystyle (x_ {i}) _ {i = 1 \ ldots n}}
(xJeg)Jeg=1...ikke{\ displaystyle (x ^ {i}) _ {i = 1 \ ldots n}}![(x ^ {i}) _ {{i = 1 \ ldots n}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b90fc00736851a0cddf7391fe4fec611558f6ccc)
Eksempler
Nedbrytning i en base
Teorem og definisjon -
Koeffisientene til den unike nedbrytningen av en vektor i en grunnlag danner en kontravariant familie av skalarer kalt kontravariantkoordinater , som derfor betegnes med høy indeks.
x=xJegeJeg{\ displaystyle \ mathbf {x} = x ^ {i} \ mathbf {e} _ {i}}![{\ mathbf {x}} = x ^ {i} {\ mathbf {e}} _ {i}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7767bc5496719fe136b880cac6af62c360403bbd)
Demonstrasjon
La være en vektor og en base .
x{\ displaystyle \ mathbf {x}}
(eJeg)Jeg=1...ikke{\ displaystyle (\ mathbf {e} _ {i}) _ {i = 1 \ ldots n}}![({\ mathbf {e}} _ {i}) _ {{i = 1 \ ldots n}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7bd21c60e532ea3381a7b80a3ae907d3233fb48b)
x{\ displaystyle \ mathbf {x}}
er skrevet på en unik måte:
x=∑Jeg=1ikkex(Jeg)eJeg{\ displaystyle \ mathbf {x} = \ sum _ {i = 1} ^ {n} x (i) \ mathbf {e} _ {i}}![{\ mathbf {x}} = \ sum _ {{i = 1}} ^ {n} x (i) {\ mathbf {e}} _ {i}](https://wikimedia.org/api/rest_v1/media/math/render/svg/932235c066496dd78c94a115e6275be01d49ada5)
Skalarene danner deretter en familie av ormfunksjoner .
(x(Jeg))Jeg=1...ikke{\ displaystyle (x (i)) _ {i = 1 \ ldots n}}
Vikke{\ displaystyle {\ mathcal {V}} ^ {n}}
R{\ displaystyle \ mathbb {R}}![\ mathbb {R}](https://wikimedia.org/api/rest_v1/media/math/render/svg/786849c765da7a84dbc3cce43e96aad58a5868dc)
I basen står det :
(eJeg′)Jeg=1...ikke{\ displaystyle (\ mathbf {e} '_ {i}) _ {i = 1 \ ldots n}}
x{\ displaystyle \ mathbf {x}}![{\ mathbf x}](https://wikimedia.org/api/rest_v1/media/math/render/svg/32adf004df5eb0a8c7fd8c0b6b7405183c5a5ef2)
x=∑Jeg=1ikkex′(Jeg)eJeg′{\ displaystyle \ mathbf {x} = \ sum _ {i = 1} ^ {n} x '(i) \ mathbf {e}' _ {i}}![{\ mathbf {x}} = \ sum _ {{i = 1}} ^ {n} x '(i) {\ mathbf {e}}' _ {i}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1aefedff0c89316f7f1629cef08b6704d96ec236)
Derfor:
x=∑Jeg=1ikkex′(Jeg)PÅJegjej=∑j=1ikke(∑Jeg=1ikkex′(Jeg)PÅJegj)ej{\ displaystyle \ mathbf {x} = \ sum _ {i = 1} ^ {n} x '(i) A_ {i} ^ {j} \ mathbf {e} _ {j} = \ sum _ {j = 1} ^ {n} (\ sum _ {i = 1} ^ {n} x '(i) A_ {i} ^ {j}) \ mathbf {e} _ {j}}![{\ mathbf {x}} = \ sum _ {{i = 1}} ^ {n} x '(i) A_ {i} ^ {j} {\ mathbf {e}} _ {j} = \ sum _ {{j = 1}} ^ {n} (\ sum _ {{i = 1}} ^ {n} x '(i) A_ {i} ^ {j}) {\ mathbf {e}} _ {j }](https://wikimedia.org/api/rest_v1/media/math/render/svg/a1a4474176169f6e54575fc52e910b42991df676)
Og derfor, gitt det unike ved dekomponering av i basen :
x{\ displaystyle \ mathbf {x}}
(ej)j=1...ikke{\ displaystyle (\ mathbf {e} _ {j}) _ {j = 1 \ ldots n}}![({\ mathbf {e}} _ {j}) _ {{j = 1 \ ldots n}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ea34d7227655346fa860b6e167118369fef0d57c)
x(j)=∑Jeg=1ikkex′(Jeg)PÅJegj=∑Jeg=1ikkePÅJegjx′(Jeg){\ displaystyle x (j) = \ sum _ {i = 1} ^ {n} x '(i) A_ {i} ^ {j} = \ sum _ {i = 1} ^ {n} A_ {i} ^ {j} x '(i)}![x (j) = \ sum _ {{i = 1}} ^ {n} x '(i) A_ {i} ^ {j} = \ sum _ {{i = 1}} ^ {n} A_ {i } ^ {j} x '(i)](https://wikimedia.org/api/rest_v1/media/math/render/svg/2c3acb6e5c7a2504b507b6cdcb4337a1b6538e20)
∎
Punktprodukter i en base
Teorem og definisjon - De skalære produktene til en vektor av vektorene i en base utgjør en kovariant familie av skalarer kalt kovariantkoordinater , som derfor er betegnet med en lav indeks.
xJeg=x⋅eJeg{\ displaystyle x_ {i} = \ mathbf {x} \ cdot \ mathbf {e} _ {i}}![x_ {i} = {\ mathbf {x}} \ cdot {\ mathbf {e}} _ {i}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1d241b51e845e424f02740eba6f9b27aa82964fc)
Demonstrasjon
Punktproduktene til en vektor av vektorene på en basis kan skrives:
x{\ displaystyle \ mathbf {x}}
(eJeg)Jeg=1...ikke{\ displaystyle (\ mathbf {e} _ {i}) _ {i = 1 \ ldots n}}![({\ mathbf {e}} _ {i}) _ {{i = 1 \ ldots n}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7bd21c60e532ea3381a7b80a3ae907d3233fb48b)
x(Jeg)=x⋅eJeg{\ displaystyle x (i) = \ mathbf {x} \ cdot \ mathbf {e} _ {i}}![x (i) = {\ mathbf {x}} \ cdot {\ mathbf {e}} _ {i}](https://wikimedia.org/api/rest_v1/media/math/render/svg/820d839d2569a1a62539e60a81c854eb0101962d)
Disse skalarene danner en familie av ormfunksjoner .
Vikke{\ displaystyle {\ mathcal {V}} ^ {n}}
R{\ displaystyle \ mathbb {R}}![\ mathbb {R}](https://wikimedia.org/api/rest_v1/media/math/render/svg/786849c765da7a84dbc3cce43e96aad58a5868dc)
Vi har da:
x′(Jeg)=x⋅eJeg′=x⋅(PÅJegjej)=PÅJegjx⋅ej=PÅJegjx(j){\ displaystyle {\ begin {array} {rcl} x '(i) & = & \ mathbf {x} \ cdot \ mathbf {e}' _ {i} \\ & = & \ mathbf {x} \ cdot ( A_ {i} ^ {j} \ mathbf {e} _ {j}) \\ & = & A_ {i} ^ {j} \ mathbf {x} \ cdot \ mathbf {e} _ {j} \\ & = & A_ {i} ^ {j} x (j) \ end {array}}}![{\ begin {array} {rcl} x '(i) & = & {\ mathbf {x}} \ cdot {\ mathbf {e}}' _ {i} \\ & = & {\ mathbf {x}} \ cdot (A_ {i} ^ {j} {\ mathbf {e}} _ {j}) \\ & = & A_ {i} ^ {j} {\ mathbf {x}} \ cdot {\ mathbf {e }} _ {j} \\ & = & A_ {i} ^ {j} x (j) \ end {array}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/07fecb5cca6ae0068d5c9292badb8c1f22846327)
Familien er derfor godt kovariant.
x(Jeg){\ displaystyle x (i)}
∎
Retningsbestemte derivater
I vektoranalyse er det mulig å definere retningsavledningsoperatøren i henhold til en retning som følger:
d{\ displaystyle \ mathbf {d}}![\ mathbf {d}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8ec3b626fc045b6ff579316e29978fccfed884c2)
∂d:EV→EVf↦(x↦limϵ→0f(x+ϵd)-f(x)ϵ){\ displaystyle {\ begin {array} {rccl} \ partial _ {\ mathbf {d}}: & {\ mathcal {E}} ^ {\ mathcal {V}} & \ rightarrow & {\ mathcal {E}} ^ {\ mathcal {V}} \\ & f & \ mapsto & (\ mathbf {x} \ mapsto \ lim _ {\ epsilon \ rightarrow 0} {\ frac {f (\ mathbf {x} + \ epsilon \ mathbf {d}) -f (\ mathbf {x})} {\ epsilon}}) \ end {array}}}
Teorem - Retningsavledningsoperatører i henhold til instruksjonene definert av vektorene på en basis danner en samvariant familie av operatorer, som derfor betegnes med lav indeks.
∂Jeg=∂eJeg{\ displaystyle \ partial _ {i} = \ partial _ {\ mathbf {e} _ {i}}}![\ partial _ {i} = \ partial _ {{{\ mathbf {e}} _ {i}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f9ff80ef3a5f53cee94d074fe76e4efa3d4b4906)
Demonstrasjon
Det er en direkte konsekvens av lineariteten til operatøren av retningsavledning i henhold til retningen.
∂eJeg′=∂PÅJegjej=PÅJegj∂ej{\ displaystyle \ partial _ {\ mathbf {e} '_ {i}} = \ partial _ {A_ {i} ^ {j} \ mathbf {e} _ {j}} = A_ {i} ^ {j} \ partial _ {\ mathbf {e} _ {j}}}![\ partial _ {{{\ mathbf {e}} '_ {i}}} = \ partial _ {{A_ {i} ^ {j} {\ mathbf {e}} _ {j}}} = A_ {i } ^ {j} \ partial _ {{{\ mathbf {e}} _ {j}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/02d85aa046d47f8f3f4b216a9d2df92c38fcf99e)
∎
∂Jegf{\ displaystyle \ partial _ {i} f}
blir noen ganger notert .
f,Jeg{\ displaystyle f _ {, i}}![{\ displaystyle f _ {, i}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f0c1b6d70e2d7bf1898f0433827060fedb8d23a7)
Eiendommer
Kobling med doble baser
Hvis er et endelig dimensjonalt - eller - vektorrom, så og dets dobbel er isomorf . Derfor tilsvarer hver vektor av en unik vektor av , og vi identifiserer noen ganger de to. I den påfølgende uttalelsen må den andre likheten derfor forstås som en korrespondanse snarere enn som en likhet.
E{\ displaystyle E}
R{\ displaystyle \ mathbf {R}}
VS{\ displaystyle \ mathbf {C}}
E{\ displaystyle E}
E∗{\ displaystyle E ^ {*}}
x{\ displaystyle \ mathbf {x}}
E{\ displaystyle E}
x∗{\ displaystyle \ mathbf {x ^ {*}}}
E∗{\ displaystyle E ^ {*}}![E ^ {*}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a91d2119445b3b65384ba491c4b95f1557571ecc)
Dessuten, hva som menes med "prikkprodukt" i følgende uttalelse og dens bevis, er faktisk dualitetsbraketten til og av , det vil si resultatet av anvendelsen av den lineære formen på .
x⋅eJeg{\ displaystyle \ mathbf {x} \ cdot \ mathbf {e} ^ {i}}
eJeg{\ displaystyle \ mathbf {e} ^ {i}}
x{\ displaystyle \ mathbf {x}}
eJeg(x){\ displaystyle \ mathbf {e} ^ {i} (\ mathbf {x})}
eJeg{\ displaystyle \ mathbf {e} ^ {i}}
x{\ displaystyle \ mathbf {x}}![\ mathbf {x}](https://wikimedia.org/api/rest_v1/media/math/render/svg/32adf004df5eb0a8c7fd8c0b6b7405183c5a5ef2)
Teorem - Kovariantkoordinatene i en base er de motstridende koordinatene i den dobbelte basen, og omvendt.
x=(x⋅eJeg)eJeg=(x⋅eJeg)eJeg{\ displaystyle \ mathbf {x} = (\ mathbf {x} \ cdot \ mathbf {e} ^ {i}) \ mathbf {e} _ {i} = (\ mathbf {x} \ cdot \ mathbf {e} _ {i}) \ mathbf {e} ^ {i}}
Det er å si:
xJeg=x⋅eJegx=xJegeJeg{\ displaystyle {\ begin {array} {c} x ^ {i} = \ mathbf {x} \ cdot \ mathbf {e ^ {i}} \\\ mathbf {x} = x_ {i} \ mathbf {e } ^ {i} \ end {array}}}![{\ begin {array} {c} x ^ {i} = {\ mathbf {x}} \ cdot {\ mathbf {e ^ {i}}} \\ {\ mathbf {x}} = x_ {i} { \ mathbf {e}} ^ {i} \ end {array}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1c2d0cb8ead4f1fa26d988a4c03ee718fb9ca2db)
Demonstrasjon
Vi har, per definisjon av koordinatene til vektoren :
x{\ displaystyle \ mathbf {x}}![\ mathbf {x}](https://wikimedia.org/api/rest_v1/media/math/render/svg/32adf004df5eb0a8c7fd8c0b6b7405183c5a5ef2)
x=xJegeJeg{\ displaystyle \ mathbf {x} = x ^ {i} \ mathbf {e} _ {i}}![{\ mathbf {x}} = x ^ {i} {\ mathbf {e}} _ {i}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7767bc5496719fe136b880cac6af62c360403bbd)
Per definisjon av den dobbelte basen, har vi , ved å beregne det skalære produktet ved å :
eJeg⋅ej=δJegj{\ displaystyle \ mathbf {e} _ {i} \ cdot \ mathbf {e} ^ {j} = \ delta _ {i} ^ {j}}
ej{\ displaystyle \ mathbf {e} ^ {j}}![{\ mathbf {e}} ^ {j}](https://wikimedia.org/api/rest_v1/media/math/render/svg/91b00ceebfb40b0e3554a6e94573aed933e2ea05)
x⋅ej=xJegeJeg⋅ej=xJegδJegj=xj{\ displaystyle \ mathbf {x} \ cdot \ mathbf {e} ^ {j} = x ^ {i} \ mathbf {e} _ {i} \ cdot \ mathbf {e} ^ {j} = x ^ {i } \ delta _ {i} ^ {j} = x ^ {j}}![{\ mathbf {x}} \ cdot {\ mathbf {e}} ^ {j} = x ^ {i} {\ mathbf {e}} _ {i} \ cdot {\ mathbf {e}} ^ {j} = x ^ {i} \ delta _ {i} ^ {j} = x ^ {j}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a34dd0fdf1d17f0a4d999bc094b313b21703b547)
Og så:
xj=x⋅ej{\ displaystyle x ^ {j} = \ mathbf {x} \ cdot \ mathbf {e} ^ {j}}![x ^ {j} = {\ mathbf {x}} \ cdot {\ mathbf {e}} ^ {j}](https://wikimedia.org/api/rest_v1/media/math/render/svg/24b79c00a4bc5c96abfcb5509b772e5bf10d0d03)
Det er å si:
x=(x⋅eJeg)eJeg{\ displaystyle \ mathbf {x} = (\ mathbf {x} \ cdot \ mathbf {e} ^ {i}) \ mathbf {e} _ {i}}![{\ mathbf {x}} = ({\ mathbf {x}} \ cdot {\ mathbf {e}} ^ {i}) {\ mathbf {e}} _ {i}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c63fc282550395af3250d9801076ea3892a428c3)
∎
Demonstrasjon
x{\ displaystyle \ mathbf {x}}
er skrevet, i den dobbelte basen :
eJeg{\ displaystyle \ mathbf {e} ^ {i}}![{\ mathbf {e}} ^ {i}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c37e181dcab9c4bd73b2e4469660af56cfcc31b0)
x=x~(Jeg)eJeg{\ displaystyle \ mathbf {x} = {\ tilde {x}} (i) \ mathbf {e} ^ {i}}![{\ mathbf {x}} = {\ tilde {x}} (i) {\ mathbf {e}} ^ {i}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b9398e40c2f78ce815777a5ce215df6c748b54b2)
Punktproduktet av gir:
ej{\ displaystyle \ mathbf {e} _ {j}}![{\ mathbf {e}} _ {j}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4b7742f3851d608848056eab437b32e8b753dd5b)
x⋅ej=x~(Jeg)eJeg⋅ej=x~(Jeg)δjJeg=x~(j){\ displaystyle \ mathbf {x} \ cdot \ mathbf {e} _ {j} = {\ tilde {x}} (i) \ mathbf {e} ^ {i} \ cdot \ mathbf {e} _ {j} = {\ tilde {x}} (i) \ delta _ {j} ^ {i} = {\ tilde {x}} (j)}![{\ mathbf {x}} \ cdot {\ mathbf {e}} _ {j} = {\ tilde {x}} (i) {\ mathbf {e}} ^ {i} \ cdot {\ mathbf {e} } _ {j} = {\ tilde {x}} (i) \ delta _ {j} ^ {i} = {\ tilde {x}} (j)](https://wikimedia.org/api/rest_v1/media/math/render/svg/c8da89a8956bdcc16ef0ca7e55500ecad4b974c4)
og så:
x⋅ej=x~(j){\ displaystyle \ mathbf {x} \ cdot \ mathbf {e} _ {j} = {\ tilde {x}} (j)}![{\ mathbf {x}} \ cdot {\ mathbf {e}} _ {j} = {\ tilde {x}} (j)](https://wikimedia.org/api/rest_v1/media/math/render/svg/a0f3306a5166d7f0a26dbff18678c8cec55b7f7e)
Fra hvor:
x=(x⋅eJeg)eJeg{\ displaystyle \ mathbf {x} = (\ mathbf {x} \ cdot \ mathbf {e} _ {i}) \ mathbf {e} ^ {i}}![{\ mathbf {x}} = ({\ mathbf {x}} \ cdot {\ mathbf {e}} _ {i}) {\ mathbf {e}} ^ {i}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ef89c960801067312ad2c893e950bea5e13219b7)
∎
Kontrahert produkt
Teorem og definisjon -
La
og være to henholdsvis motstridende og samvariante familier, med verdier i en assosiativ algebra . Uttrykk
(påJeg)Jeg=1...ikke{\ displaystyle (a ^ {i}) _ {i = 1 \ ldots n}}
(bJeg)Jeg=1...ikke{\ displaystyle (b_ {i}) _ {i = 1 \ ldots n}}![(b_ {i}) _ {{i = 1 \ ldots n}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/fa5ea93cb24623f0da269a8078c6736d4e423dc6)
påJegbJeg{\ displaystyle a ^ {i} b_ {i}}
avhenger ikke av valg av base, og kalles kontraktprodukt .
Demonstrasjon
Ved å merke seg og uttrykkene til de to familiene i basen , kommer det:
(på′Jeg)Jeg=1...ikke{\ displaystyle (a '^ {i}) _ {i = 1 \ ldots n}}
(bJeg′)Jeg=1...ikke{\ displaystyle (b '_ {i}) _ {i = 1 \ ldots n}}
eJeg=1...ikke′{\ displaystyle \ mathbf {e} '_ {i = 1 \ ldots n}}![{\ mathbf {e}} '_ {{i = 1 \ ldots n}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/07f738ecdcda401623c3cd10ae9f9709956a81be)
på′JegbJeg′=på′Jeg(PÅJegjbj)=PÅJegjpå′Jegbj=(PÅJegjpå′Jeg)bj=påjbj{\ displaystyle {\ begin {array} {rcl} a '^ {i} b' _ {i} & = & a '^ {i} (A_ {i} ^ {j} b_ {j}) \\ & = & A_ {i} ^ {j} a '^ {i} b_ {j} \\ & = & (A_ {i} ^ {j} a' ^ {i}) b_ {j} \\ & = & a ^ {j} b_ {j} \ end {array}}}![{\ begin {array} {rcl} a '^ {i} b' _ {i} & = & a '^ {i} (A_ {i} ^ {j} b_ {j}) \\ & = & A_ {i} ^ {j} a '^ {i} b_ {j} \\ & = & (A_ {i} ^ {j} a' ^ {i}) b_ {j} \\ & = & a ^ { j} b_ {j} \ end {array}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/44066121021bfdaed7d1b4503222b60af70cc5ac)
∎
Forlengelse i differensialgeometri
I differensialgeometri har de betraktede rommene, det vil si differensialmanifoldene , ingen vektorromstruktur, og som sådan er begrepene kovarians og kontravaranse ikke direkte anvendelige. Differensialmanifoldene er imidlertid lokalt assimilerbare med vektorrom gjennom tangensrom . Naturlige korrespondanser gjør det derfor mulig å definere begrepene sett over ikke lenger i forhold til en endring av basen, men snarere i forhold til en endring av koordinatene .
x′μ(xμ){\ displaystyle x '^ {\ mu} (x ^ {\ mu})}![{\ displaystyle x '^ {\ mu} (x ^ {\ mu})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/033bdc8f637290c28237cc8536b371b58a189db4)
Lokalt varierer disse koordinatene i henhold til differensialene:
dx′μ=∂x′μ∂xνdxν=∂νx′μdxν=PÅνμdxν{\ displaystyle dx '^ {\ mu} = {\ frac {\ partial x' ^ {\ mu}} {\ partial x ^ {\ nu}}} dx ^ {\ nu} = \ partial _ {\ nu} x '^ {\ mu} dx ^ {\ nu} = A _ {\ nu} ^ {\ mu} dx ^ {\ nu}}![{\ displaystyle dx '^ {\ mu} = {\ frac {\ partial x' ^ {\ mu}} {\ partial x ^ {\ nu}}} dx ^ {\ nu} = \ partial _ {\ nu} x '^ {\ mu} dx ^ {\ nu} = A _ {\ nu} ^ {\ mu} dx ^ {\ nu}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9b9e71c9ed18890fff0aafd239a2ea686e7596a5)
Differensialene danner deretter en base i tangentområdet, mens delderivatene danner passasjematrisen.
dxμ{\ displaystyle dx ^ {\ mu}}![{\ displaystyle dx ^ {\ mu}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ef66022acc10445f09da759c5b817f904503b5f0)
Derfor, når et sett med funksjoner varierer som differensialene, det vil si når
Tμ{\ displaystyle T ^ {\ mu}}![{\ displaystyle T ^ {\ mu}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/fc6db693892a733a0facc9aa215e75816fe9883a)
T′μ=∂νx′μTν{\ displaystyle T '^ {\ mu} = \ partial _ {\ nu} x' ^ {\ mu} T ^ {\ nu}}
da sies det å være kovariant "for" (eller "i henhold til") indeksen .
T{\ displaystyle T}
μ{\ displaystyle \ mu}![\ mu](https://wikimedia.org/api/rest_v1/media/math/render/svg/9fd47b2a39f7a7856952afec1f1db72c67af6161)
Når et sett varierer på motsatt måte, det vil si når
Tν{\ displaystyle T _ {\ nu}}![T_ \ nu](https://wikimedia.org/api/rest_v1/media/math/render/svg/c336f5b26f8813ab2736306f52e966c165eca34c)
Tν=∂νx′μTμ′{\ displaystyle T _ {\ nu} = \ partial _ {\ nu} x '^ {\ mu} T' _ {\ mu}}
eller
,
T′μ=∂xν∂x′μTν=∂μxνTν{\ displaystyle {T '} _ {\ mu} = {\ frac {\ partial x ^ {\ nu}} {\ partial x' ^ {\ mu}}} T _ {\ nu} = \ partial _ {\ mu} x ^ {\ nu} T _ {\ nu}}![{\ displaystyle {T '} _ {\ mu} = {\ frac {\ partial x ^ {\ nu}} {\ partial x' ^ {\ mu}}} T _ {\ nu} = \ partial _ {\ mu} x ^ {\ nu} T _ {\ nu}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7478a92fdafbcaa7d1170bfcce376d948d8dca9d)
da sies det å være motstridende "for" (eller "i henhold til") indeksen .
T{\ displaystyle T}
ν{\ displaystyle \ nu}![\naken](https://wikimedia.org/api/rest_v1/media/math/render/svg/c15bbbb971240cf328aba572178f091684585468)
T{\ displaystyle T}
kan være kovariant for noen indekser, og motstridende for andre. Den mest generelle transformasjonen skrives da:
T′ν1...νkμ1...μl=∂ν1x′α1...∂νkx′αk∂β1xμ1...∂βlxμlTα1...αkβ1...βl{\ displaystyle {T '} _ {\ nu _ {1} \ ldots \ nu _ {k}} ^ {\ mu _ {1} \ ldots \ mu _ {l}} = \ partial _ {\ nu _ { 1}} {x '} ^ {\ alpha _ {1}} \ ldots \ partial _ {\ nu _ {k}} {x'} ^ {\ alpha _ {k}} \ partial _ {\ beta _ { 1}} x ^ {\ mu _ {1}} \ ldots \ partial _ {\ beta _ {l}} x ^ {\ mu _ {l}} T _ {\ alpha _ {1} \ ldots \ alpha _ {k}} ^ {\ beta _ {1} ... \ beta _ {l}}}
Dette utgjør en forenklet definisjon av begrepet tensor .
Noen forfattere, som for eksempel Sean M. Carroll (jf litteraturliste), foretrekker å plassere prime symbol på indeksene, og ikke på tensor. De bemerker som følger:
Tν1′...νk′μ1′...μl′=∂ν1′xμ1...∂νk′xμk∂ν1xμ1′...∂νlxμl′Tμ1...μkν1...νl{\ displaystyle T _ {\ nu _ {1} '\ ldots \ nu _ {k}'} ^ {\ mu _ {1} '\ ldots \ mu _ {l}'} = \ partial _ {\ nu _ {1} '} {x} ^ {\ mu _ {1}} \ ldots \ partial _ {\ nu _ {k}'} {x} ^ {\ mu _ {k}} \ partial _ {\ nu _ {1}} x ^ {\ mu _ {1} '} \ ldots \ partial _ {\ nu _ {l}} x ^ {\ mu _ {l}'} T _ {\ mu _ {1} \ ldots \ mu _ {k}} ^ {\ nu _ {1} ... \ nu _ {l}}}
Andre bruksområder for begrepet
Begrepene kovarians og kontravarans finnes i andre felt, for eksempel innen datavitenskap, spesielt når det gjelder typing av data . Koblingen mellom disse forskjellige bruken gjenspeiler en mer abstrakt felles struktur som i det vesentlige kommer inn under kategoriteori .
Bibliografi
Relaterte artikler
<img src="https://fr.wikipedia.org/wiki/Special:CentralAutoLogin/start?type=1x1" alt="" title="" width="1" height="1" style="border: none; position: absolute;">