Tenzor

A Wikipédiából, a szabad lexikonból.

A tenzor egy matematikai objektum, amely a skalár és vektor fogalom általánosítása. A vektorhoz hasonlóan ábrázolható egy választott koordinátarendszerben számok mátrixaként, de független a választott vonatkoztatási rendszertől. A tenzorok alkalmazásának különösen nagy jelentősége van a fizikában és a mérnöki tudományokban. Maga a "tenzor" kifejezés is a fizikából jön, először a deformálható testek mechanikájában, az anyagban fellépő feszültségek és nyomások, azaz "tenziók" leírására használták.

Bár a tenzorok reprezentálhatók mint többdimeziós tömbök (pl 3 × 3 × 3-as mátrix) és azok komponensei, a tenzorelmélet lényege, hogy a tenzor mennyiségek bizonyos „abszolút” tulajdonságokkal rendelkeznek (kovariancia és invariancia), különös tekintettel arra, hogy komponenseik hogyan változnak a koordináta transzformációk során.

A tenzorok egy igazán absztrakt bevezetése sima sokaságokon a csoportelmélet segítségével történik: a tenzorok olyan mennyiségek, amelyek az önábrázolás direkt szorzatai szerint transzformálódnak (a direkt szorzatban előforduló tényezők száma szerint nevezzük a tenzorokat első-, másod-, harmad- stb. rendűnek). Ezek a direktszorzat-ábrázolások általában nem irreducibilisek, szétesnek több ábrázolásra.

[szerkesztés] Tenzorok a geometriai vektoralgebrában

Fő szócikk: Tenzorszámítás (geometria)

A háromdimenziós euklideszi tér vektorainak algebrájában a tenzor fogalma a következő absztrakció által jön létre. A geometriai vektorszámítás kitűntetett szerepet szán a skalár-skalár, skalár-vektor, vektor-skalár, vektor-vektor függvényeknek, de különösképpen az ezek közötti homogén lineáris leképezéseknek. Ezek abban az értelemben homogén lineárisak, hogy összeg- és aránytartók, azaz ha az f, ilyen típusú leképezés bemenetein az x és y illetve a λx mennyiségek jelennek meg (λ skalár), akkor

$f(x+y)=f(x)+f(y)\,$ és

$f(\lambda x)=\lambda f(x)\,$

teljesül.

A homogén lineáris skalár-skalár, skalár-vektor és vektor-skalár leképezések bizonyítható módon a következőkkel azonosak:

skalár-skalár	y = α $\cdot$ x	α konstans skalár	x skalárváltozó	$\cdot$ a valós számok szorzása
skalár-vektor	v = a.t	a konstans vektor	t skalárváltozó	. a vektor szorzása skalárral
vektor-skalár	u = a $\cdot$ r	a konstans vektor	r vektorváltozó	$\cdot$ két vektor skaláris szorzása

Ennek megfelelően, ha a vektor-vektor típusú homogén lineáris leképezéseket is szorzat formájában szándékozunk felírni, akkor be kell vezenünk egy ezektől különböző matematikai mennyiséget, a tenzort és egy műveletet a tenzorszorzást:

vektor-vektor

v = A $\cdot$ r

A konstans tenzor

r vektorváltozó

$\cdot$ tenzor és vektor szozása

Világos, hogy itt az A tenzor nem definiált, absztrakt objektum (konkrét megvalósítását lásd később), ám működése világos. A háromdimenziós térbeli lineáris kombináció megtartásából következik a szorzás eredménye. Ha b₁, b₂, b₃ a tér három, egymásra páronként merőleges, egységhosszúságú vektora, akkor minden r vektor egyértelműen kifejezhető

$\mathbf{r}=x\mathbf{b}_1+y\mathbf{b}_2 +z\mathbf{b}_3$

alakban. Ekkor ugyanis b₁, b₂, b₃ derékszögű koordinátarendszert alkot, az x, y és z skalárok pedig az r vektor három megfelelő irányú koordinátája. Így

$\mathbf{A}\cdot\mathbf{r}=\mathbf{A}\cdot(x\mathbf{b}_1+y\mathbf{b}_2+z\mathbf{b}_3)=x\mathbf{A}\cdot\mathbf{b}_1+y\mathbf{A}\cdot\mathbf{b}_2+z\mathbf{A}\cdot\mathbf{b}_3$

Ha tehát bevezetjük az a₁=A $\cdot$ b₁, a₂=A $\cdot$ b₂,a₃=A $\cdot$ b₃ jelölést, akkor az A tenzorral való szorzást kézzelfogható formában jellemzi az (a₁, a₂, a₃) vektorhármas és az x=b₁ $\cdot$ r, y=b₂ $\cdot$ r, z=b₃ $\cdot$ r merőleges (skaláris) vetületekkel felírt

$\mathbf{A}\cdot\mathbf{r}=(\mathbf{b}_1\cdot\mathbf{r}).\mathbf{a}_1+(\mathbf{b}_2\cdot\mathbf{r}).\mathbf{a}_2+(\mathbf{b}_3\cdot\mathbf{r}).\mathbf{a}_3$

egyenlet.

Itt maga az

$\mathbf{r}\mapsto (\mathbf{a}\cdot\mathbf{r}).\mathbf{b}$

leképezés is homogén lineáris, amit az a és b vektorok diadikus szorzatának, vagy diádjának nevezzük és a $\mbox{ }_{\otimes}$ b-vel vagy a $\circ$ b-vel jelölünk, ami tehát maga is tenzor. Így tehát minden A tenzort elő tudunk állítani diádok lineáris kombinációjaként.

A tenzorok elméleti vizsgálata ezután a következő kérdésekre kell, hogy választ adjon:

hogyan kell tenzorokkal számolni, azaz milyen kapcsolatban van az A tezorral az (a₁, a₂, a₃) vektorhármas, mely valójában az A tenzor (b₁, b₂, b₃) bázisbeli mátrixaként azonosítható,
mik a tenzorok, azaz hogyan lehet létrehozni a diádokból a tenzorok terét.

Véges dimenziós vektorterek esetén a másodrendű tenzorok azonosak a lineáris leképezésekkel. Ha azonban végtelen dimenziós vektortereket veszünk, vagy továbbvisszük az analógiát tenzorokon ható tenzorokra (harmadrendű tenzorok), akkor a lineáris leképezésektől eltérő lineáris algebrai objektumokat kapunk.

[szerkesztés] Tenzorok a lineáris algebrában

Szintén kevésbé általános keretek között tenzoron – másodrendű tenzoron – a véges dimenziós tereken értelmezett bilineáris formákat értjük. Pontosan ez a következőket jelenti. Az azonos T test feletti U és V vektorterek direkt szorzatából T-be képező

$b:U\times V\rightarrow T$

bilineáris leképezéseket tenzoroknak (másodrendű tenzoroknak) nevezzük. b bilinearitása, azt jelenti, hogy b mindkét változójában lineáris, azaz tetszőleges U-beli majd V-beli λx + μy lineáris kombinációra.

$b(\lambda x + \mu y,v)=\lambda b(x,v)+ \mu b(y,v)\,$ ill. $b(u,\lambda x + \mu y)=\lambda b(u,x)+ \mu b(u,y)\,$

[szerkesztés] Mátrixreprezentáció

Ha U dimenziója m, a V dimenziója n, akkor a tenzorok kézzelfogható formában ábrázolhatók egy U-beli B és egy V-beli C bázis rögzítésével. b-nek a szorzattér

$B\times C=\{(b_i,c_j)\mid i=1...m, j=1...n\}$

részhalmazán felvett értékei egy olyan

$\beta_{ij}\in T$

mátrixot határoznak meg, mely egyérteműen reprezentálja b-t (a lineáris leképezések előírhatósági tétele alapján). A b leképezést meghatározó mátrix tehát egy T^{m × n}-beli m szer n-es mátrix.

[szerkesztés] Operátor reprezentáció

A B és C bázisok mellett és az előbbi koordinátamátrixszal b egyértelműen megfeleltethető annak az A: U $\rightarrow$ V lineáris leképezésnek, melynek ugyanúgy a β mátrix a koordinátamátrixa. A (véges dimenziós terekben ható) tenzorok Bilin(U × V;T) tere tehát azonosítható az U-ból V-be menő lineáris leképezések Lin(U;V) terével:

$Bilin(U\times V;T)\equiv Lin(U;V)$

Sőt, a megfeleltetés az előbbi U ill. V-beli B és C bázisok esetén a mátrixokkal is fennáll, a következőképpen:

$b(u,v)=[u]\mbox{*}\cdot [A(v)]=[u]\mbox{*}\cdot\beta\cdot [v]$

ahol a [.] jelölés a koordinátamátrixokat jelöli (a megfelelő térben a megfelelő bázisra vonatkozóan), $\cdot$ a mátrixszorzás, * pedig a transzponálás ("sorvektor képzés").

[szerkesztés] Diadikus szorzat

A másodrendű tenzorszorzatot gyakran az U és a V Descartes-szorzatán értelmezett következő bilineáris leképezésével azonosítják:

$\otimes:U \times V\rightarrow Lin(V\mbox{*};U);\;(u,v)\mapsto u$ $\mbox{ }_{\otimes}$ $v\,$

ahol tetszőleges u ∈ U és v ∈ V-re:

$u\,\!\!$ $\mbox{ }_{\otimes}$ $v: V\mbox{*}\rightarrow U;\;p\mapsto (p|v)u$

az u és v elem úgy nevezett (absztrakt) diadikus szorzata. Ekkor a tenzorok nem mások, mint a V* $\rightarrow$ U leképezések lineáris terének azon altere, melyet ezek a leképezések feszítenek ki.

Könnyen belátható, hogy véges dimenziós esetben a diadikus szorzatok kifeszítette altér egybeesik a teljes térrel, így minden tenzor diadikus szorzatok lineáris kombinációja. Ebből ered aztán, hogy a fenti tenzorok terét gyakran az U és V tenzori szorzatának is nevezik és U $\mbox{ }_\otimes$ V-vel is jelölik.

A diadikus szorzat konkrét bázisban jól kezelhető alakot ölt. Eszerint, ha (b_i) és (c_j) az U és V terek bázisai, akkor a diadikus szorzat a koordinátareprezentációban:

$[u\otimes v]_{ij}=[u]_{i}\cdot [v]_j$

mely tulajdonság a duális tér elemeivel történő szorzás definíciójának következményei.

[szerkesztés] Tenzorok az absztrakt algebrában

Végtelen dimenziós vektorterek esetén tenzoron két vektortér úgy nevezett tenzorszorzatát értjük, melynek elemei véges dimenziós esetben (legalább izomorfizmus erejéig) meg kell, hogy feleljenek a másodrendű tenzor előbb definiált fogalmának. Világos, hogy a vektorterek U×V Descartes-szorzatán szokásosan értelmezett pontonkénti összeadás azaz az (u,v)+(x,y) $\mapsto$ (u+v,x+y) (ill. a λ(u,v) $\mapsto$ (λu,λv) szorzás) nem felel meg tenzorszorzásnak, minthogy ez maga az U $\oplus$ V direkt összeg, mely nem bilineáris. Az U-beli u és V-beli v elemek u $\otimes$ v tenzorszorzatán (a tenzoron) olyan (külső) műveletet kell értenünk, mely a diadikus szorzathoz hasonló a véges dimenziós esetben. Ezeknek a követelményeknek megfelelően tenzorszorzatnak egy olyan absztrakt vektortér felel meg, mely kielégíti az alábbi tulajdonságot.

Definíció. Ha U és V vektortér, akkor az A vektorteret, az f : U × V $\rightarrow$ A bilineáris leképezéssel együtt az U és V (egy) tenzorszorzatának nevezzük, ha tetszőleges B vektortér és g : U × V $\rightarrow$ B bilineáris leképezés esetén egyetlen olyan h : A $\rightarrow$ B lineáris függvény létezik, melyre

$g=h\circ f$

Ezt úgy is kifejezhetjük, hogy a fenti jelöléseket megtartva egyetlen olyan h lineáris leképezés létezik, mellyel a

diagram kommutatív.

Ez a furcsa absztrakt definíció azt mondja, hogy egyrészt A a legbővebb olyan vektortér (legnagyobb dimenziójú), melybe U × V-t bilineáris módon beleképezhetjük. Tegyük fel ugyanis, hogy B-be is beleképezük U × V-t. Ekkor h képtere B lesz mely lineáris értelemben nem lehet nagyobb mint h értelmezési tartománya A. Ez a tenzorszorzatnak (A-nak) vektortér-izomorf egyértelműséget biztosít, a tenzorszorzásnak, azaz az f műveletnek nem. Feltettük azonban, azt a lényeges tulajdonságot, hogy h egyértelmű, ami azt jelenti, hogy ha egy alkalmas módon definiált f mellett, például az U és V egy másik bázisa felhasználásával egy újabb alkalmas g: U × V $\rightarrow$ A bilineáris leképezést definiálnánk A-ba akkor ezek egyenlőkké válnának. Ekkor ugyanis mind f = h o g , mind g = k o f teljesülne alkalmas és egyértelmű h-val és k-val, így hok=id_A és koh=id_A lenne, azaz izomorfizmus lenne A-n, ami az egyértelműség miatt csak a h=id_A leképezés lehet. Ez azt jelenti, hogy ha A = B, akkor f = g, azaz a tenzorszorzat ugyanazt a leképezést határozza meg, ha eltérő bázisban adjuk meg.

A tenzorszorzatnak ez a bázis megadásától független tulajdonsága az, amit a matematikai fizikában úgy mondanak, hogy a tenzor úgy transzformálódik mint az x_i y_j szorzat, azaz a diadikus szorzat.

A definíció nyitva hagyja, hogy létezik-e egyáltalán tenszorszorzat. Belátható, hogy az előző szakaszban említett

$\otimes:U\times V\rightarrow Bilin(U\mbox{*} \times V\mbox{*};T);\;(u,v)\mapsto\left(\,(f,p)\mapsto (f|u)\cdot (p|v)\,\right)$ ill. $U\otimes V=span(Ran\,\otimes)$

(azaz a $\otimes$ értékkészlete által kifeszített altér) leképezés most is megfelel tenzori szorzásnak, mellyel a tenzorszorzatnak nem csak unicitását, de egzisztenciáját is igazolni tudjuk.

[szerkesztés] Tenzorok a kategóriaelméletben

Az absztrakt tenzor definíciója jellegzetes példája a kategóriaelméletben alkalmazott egyértelműsítő (ún. univerzális) módszernek. Az U $\otimes$ V tenzorszorzaton ebben az elméletben egy adott kategória kitüntetett elemét értik. Legyen Vec_T a T test feletti vektorterek kategóriája a lineáris leképzéssel mint morfizmussal, C pedig a összes T feletti, kéttagú direkt összeg (U $\oplus$ V alalkú vektorterek) kategóriája a bilineáris leképezéssel mint morfizmussal. Legyen az F: Vec_T $\rightarrow$ C funktor az, ami egy V vektortérhez a {0} $\oplus$ V direkt összeget rendeli, a h lineáris leképezéshez pedig a 0 $\oplus$ v $\mapsto$ 0 $\oplus$ h(v) leképezést. Ekkor a tenzorszorzat nem más mint az (U $\oplus$ V $\downarrow$ F) kategória ([1]) legkisebb eleme. Ez kifejtve annyit tesz, hogy az A vektortér az f bilineáris leképezéssel az U és a V tenzorszorzata, ha tetszőleges B vektortér és g bilineáris leképezés esetén egyértelműen létezik az a h:A $\rightarrow$ B lineáris leképezés, amivel az alábbi diagram kommutatív:

Mindezek ugyanazt jelentik, mint az előző definícióban mondottak.

[szerkesztés] Tenzorok a matematikai fizikában

A tenzor a vektor általánosítása, akár a matematikában.

[szerkesztés] Másodrendű tenzorok

Vegyünk két vektort, aminek komponensei a háromdimenziós térben legyenek u_i és v_j. Tegyük fel, hogy egy kétindexes mennyiség (amit egy kétdimenziós mátrixszal ábrázolhatunk), t_ij ugyanúgy transzformálódik (azaz ugyanazokba a képletekbe kell behelyettesíteni ekkor) térbeli forgatások esetén, mint az u_iv_j szorzat. Ekkor a t mennyiséget másodrendű tenzornak nevezzük.

Ha a koordinátarendszer tükrözését is bevonjuk a megengedett transzformációk közé, akár a vektorok esetén, akkor három eset lehetséges:

Ha u és v is valódi vektor, akkor t komponensei tükrözésre nem váltanak előjelet, az ilyen t-t valódi tenzornak vagy egyszerűen tenzornak nevezzük.
Ha u és v közül az egyik valódi, a másik axiaálvektor, akkor t komponensei tükrözésre előjelet váltanak, őt magát pszeudotenzornak nevezzük.
Ha u és v is axiálvektor, akkor t komponensei tükrözésre nem váltanak előjelet, az ilyen t megint valódi tenzor.

Az első és harmadik esetet természetesen csak akkor tudjuk megkülönböztetni, ha t-t tényleg két vektor ilyen ún. direkt szorzataként állítottuk elő, valójában tehát csak kétféle tenzor lehetséges transzformációs szempontból.

Ezek a példák is nagyon jól mutatják, hogy a tenzorfogalom a fizikában erősen függ a figyelembe vett szimmetriáktól. Pl. a közönséges impulzus a klasszikus mechanikában vektor (ekkor a forgáscsoport a szimmetriacsoport), míg relativisztikus mechanikában már nem, ugyanis itt a szimmetriacsoport a Lorentz-csoport. Ez vezet olyan, klasszikus mechanikából nézve fura esetekre, hogy a megfigyelt hármas impulzus (így hívják a relativitáselméletben klasszikus impulzust) függ a megfigyelő sebességétől, és a transzformációjában megjelenik a relativisztikus energia is.

t_ij=t_ji esetén szimmetrikus tenzorról, t_ij=-t_ji esetén pedig antiszimmetrikus tenzorról beszélünk.

[szerkesztés] n-edrendű tenzorok

Az n-edrendű tenzor a másodrendű tenzor egyszerű általánosítása, 2 helyett n vektorkomponens direkt szorzatának transzformációs tulajdonságaival kell megegyeznie a komponensei viselkedésének. Ez egy t_ijkl... n-indexes mennyiség. Itt is lehetnek valódi és axiálvektorszerű viselkedésű indexek, ezek kombinációja nagy számú, de fizikai szerepet inkább csak azok játszanak, amelyek viselkedése azonos típusú. Az elnevezésük itt már nem is definiált olyan módon, mint a másodrendű tenzorok esetén, ahol csak kétféle tenzortípus lehetséges tükrözési szempontból.

A tenzor definíciójából egyenes következik, hogy a vektorok elsőrendű tenzorok, a skalárok pedig nulladrendű tenzorok.

[szerkesztés] Példák

Nulladrendű tenzorokra ld. a skalároknál.
Elsőrendű tenzorokra ld. a vektoroknál.
Másodrendű szimmetrikus valódi tenzor pl. a tehetetlenségi nyomaték.
Másodrendű antiszimmetrikus pszeudotenzor pl. az ilyen alakban is felírható impulzusmomentum.

[szerkesztés] Lásd még

[szerkesztés] Külső hivatkozások

A lap eredeti címe "http://hu.wikipedia.org../../../t/e/n/Tenzor.html"

Kategóriák: Matematika | Fizikai alapfogalmak