Tenzorová algebra
V matematiky , je tensor algebry je algebra přes pole , jehož prvky (tzv tenzory ) jsou reprezentovány lineární kombinace z „slova“ vytvořených s vektory v daném vektorovém prostoru . Jediné vztahy lineární závislosti mezi těmito slovy jsou indukovány lineárními kombinacemi mezi vektory.
Pokud má podkladový vektorový prostor základnu , je jeho tenzorová algebra identifikována s volnou jednotnou asociativní algebrou generovanou touto základnou. Pokud je tato základna konečná, jsou tenzory identifikovány tabulkami souřadnic.
Tenzorová algebra umožňuje rozšířit v morfismech algeber všechny lineární mapy vektorového prostoru směrem k jednotným asociativním algebrám. Jako takový je konstrukce tenzorové algebry ve vektorovém prostoru přidána nalevo, aby se zapomnělo na multiplikativní strukturu.
Různým kvocientem tenzorové algebry je symetrická algebra , vnější algebra ...
Matematická konstrukce
Definice volnou algebrou
Slovo na množině je konečná posloupnost prvků této množiny, často označovaná bez oddělovačů nebo závorek. Volná algebra na množině je vektorový prostor téměř nulových rodin indexovaných slovy na , opatřený násobením vyvolaným zřetězením. Každé slovo je identifikováno se sekvencí, která má hodnotu 1 palce a 0 všude jinde.
E{\ displaystyle E}E{\ displaystyle E}m{\ displaystyle m}m{\ displaystyle m}
Nepodnikatelské commutativity z písmen slova brání některé obvyklé zjednodušení jsou v následujícím rovnosti:
(na+b)(na-b)=nana-nab+bna-bb{\ displaystyle (a + b) (ab) = aa-ab + ba-bb \,}.
Na rozdíl od pozoruhodné identity platné pro reálná nebo komplexní čísla nedochází ke zrušení (- ) znakem (+ ) .
nab{\ displaystyle ab}bna{\ displaystyle ba}
Chcete-li definovat tenzorovou algebru ve vektorovém prostoru , stačí vzít v úvahu volnou algebru generovanou všemi prvky a poté ji rozdělit na oboustranný ideál generovaný lineárními vztahy na . Je zaznamenána kvocientová algebra . V této souvislosti jsou vektory sloužící jako písmena v každém slově často odděleny symbolem tenzorového součinu, podobně jako multiplikační kříž vepsaný do kruhu.
PROTI{\ displaystyle V}PROTI{\ displaystyle V}PROTI{\ displaystyle V}T(PROTI){\ displaystyle T (V)}
Konstrukce podle tenzorového produktu
Opravíme vektorový prostor na poli . Pro jakékoliv celé číslo , zvažte tensor sílu (což je tensor produkt více než z kopií ). Podle dohody . Dovolit být vektorový prostor . Můžeme poskytnout strukturu -algebry takto:
PROTI{\ displaystyle V}K.{\ displaystyle K}ne≥1{\ displaystyle n \ geq 1}PROTI⊗ne{\ displaystyle V ^ {\ další krát}}K.{\ displaystyle K}ne{\ displaystyle n}PROTI{\ displaystyle V}PROTI⊗0=K.{\ displaystyle V ^ {\ otimes 0} = K}T(PROTI){\ displaystyle T (V)}⊕ne≥0PROTI⊗ne{\ displaystyle \ oplus _ {n \ geq 0} V ^ {\ mnohokrát n}}T(PROTI){\ displaystyle T (V)}K.{\ displaystyle K}
1. Nechte . Tyto kanonické lineární mapa indukuje podle všeobecného majetku tenzorového výrobek bilinear mapě . Poznamenáme si obrázek par . Konkrétně, pokud a pak
ne,m≥0{\ displaystyle n, m \ geq 0}(ne+m){\ displaystyle (n + m)}PROTIne×PROTIm=PROTIne+m→PROTI⊗(ne+m){\ displaystyle V ^ {n} \ krát V ^ {m} = V ^ {n + m} \ až V ^ {\ otimes (n + m)}}PROTI⊗ne×PROTI⊗m→PROTI⊗(ne+m){\ displaystyle V ^ {\ otimes n} \ krát V ^ {\ otimes m} \ až V ^ {\ otimes (n + m)}}(X,y){\ displaystyle (x, y)}X⊗y{\ displaystyle x \ mnohokrát y}X=proti1⊗proti2⊗...⊗protine∈PROTI⊗ne{\ displaystyle x = v_ {1} \ otimes v_ {2} \ otimes ... \ otimes v_ {n} \ ve V ^ {\ otimes n}}y=u1⊗u2⊗...⊗um∈PROTI⊗m{\ displaystyle y = u_ {1} \ otimes u_ {2} \ otimes ... \ otimes u_ {m} \ ve V ^ {\ otimes m}}
X⊗y=proti1⊗proti2⊗...⊗protine⊗u1⊗u2⊗...⊗um{\ displaystyle x \ otimes y = v_ {1} \ otimes v_ {2} \ otimes ... \ otimes v_ {n} \ otimes u_ {1} \ otimes u_ {2} \ otimes ... \ otimes u_ { m}}.
2. pak definujeme produkt z a (s ) o:
X.y{\ displaystyle xy \,}X=X0+X1+...{\ displaystyle x = x_ {0} + x_ {1} + ... \,}y=y0+y1+...{\ displaystyle y = y_ {0} + y_ {1} + ... \,}Xne,yne∈PROTI⊗ne{\ displaystyle x_ {n}, y_ {n} \ ve V ^ {\ mnohokrát n}}
X.y=∑ne,mXne⊗ym.{\ displaystyle xy = \ součet _ {n, m} x_ {n} \ mnohokrát y_ {m}.}Ověříme, že to tak skutečně definovat strukturu algebra, a říkáme si tensor algebra a .
K.{\ displaystyle K}T(PROTI){\ displaystyle T (V)}PROTI{\ displaystyle V}
Příklady
- Pokud je 1- dimenzionální vektorový prostor generovaný prvkem , je tenzorová algebra identifikována s algebrou polynomů s jedním neurčitým.PROTI{\ displaystyle V}X{\ displaystyle x}T(PROTI){\ displaystyle T (V)}
- Pokud má jakoukoli dimenzi, jakákoli volba základu na identifikuje jeho tenzorovou algebru s algebrou nekomutativních až neurčitých polynomů na základě . V tomto případě tvoří koeficienty těchto polynomů hodnoty tabulek souřadnic, které představují každý tenzor.PROTI{\ displaystyle V}PROTI{\ displaystyle V}PROTI{\ displaystyle V}
Vlastnosti
- Tenzorová algebra je unitární algebra, obvykle nekomutativní.T(PROTI){\ displaystyle T (V)}K.{\ displaystyle K}
- Tensorová algebra je odstupňována délkou slova. Každý tenzor se jedinečným způsobem rozpadá na součet homogenních tenzorů, to znamená, že jde o lineární kombinace slov stejné délky. Jedná se o překlad psaní jako přímý sumy , . Homogenní tenzory stupně jsou přesně prvky . Vektory vektoru jsou tedy homogenní tenzory stupně 1.T(PROTI){\ displaystyle T (V)}PROTI⊗ne{\ displaystyle V ^ {\ další krát}}ne≥0{\ displaystyle n \ geq 0}ne{\ displaystyle n}PROTI⊗ne{\ displaystyle V ^ {\ další krát}}PROTI{\ displaystyle V}
- ( Univerzální vlastnost ) Pro jakoukoli lineární mapu vektorového prostoru k unitární asociativní algebře existuje jedinečný morfismus algebry, který rozšiřuje mapu na tenzorovou algebru . Konkrétně morfismus posílá dál . Tato vlastnost charakterizuje tenzorovou algebru až po jediný izomorfismus.F{\ displaystyle f}PROTI{\ displaystyle V}NA{\ displaystyle A}F{\ displaystyle f}T(PROTI){\ displaystyle T (V)}proti1⊗...⊗protine{\ displaystyle v_ {1} \ otimes ... \ otimes v_ {n}}F(proti1)...F(protine){\ displaystyle f (v_ {1}) ... f (v_ {n})}
Aplikace: symetrické a vnější algebry
Symetrická algebra na vektorového prostoru je podíl jeho tensor algebry od ideálu generovaného komutátorů formuláře:
PROTI{\ displaystyle V}
proti⊗u-u⊗proti{\ displaystyle v \ otimes uu \ otimes v}.
Jakákoli volba základu pro identifikuje jeho symetrickou algebru s algebrou polynomů s neurčitým v základně (tj. S neurčitým).
PROTI{\ displaystyle V}dim(PROTI){\ displaystyle dim (V)}
Vnější algebry na je podíl jeho tensor algebry dvoustranné ideální generované prvky tvaru:
PROTI{\ displaystyle V}
proti⊗proti{\ displaystyle v \ otimes v}.
Zobecnění: tenzorová algebra modulu
Pro jakýkoli modul na jednotném komutativním kruhu vytvoříme stejným způsobem odstupňovanou jednotku -algebra . Stále máme univerzální vlastnost, která charakterizuje tenzorovou algebru.
M{\ displaystyle M}NA{\ displaystyle A}NA{\ displaystyle A}T(M)=⊕ne≥0M⊗ne{\ displaystyle T (M) = \ oplus _ {n \ geq 0} M ^ {\ mnohokrát n}}
Rovněž definujeme symetrickou algebru a vnější algebru jako v případě vektorových prostorů. Obraz in (resp. ) Je -th symetrický výkon (resp. -Th externí výkon ) z .
Sym(M){\ displaystyle {\ mathrm {Sym}} (M)}ΛM{\ displaystyle \ Lambda M}M⊗ne⊂T(M){\ displaystyle M ^ {\ mnohokrát n} \ podmnožina T (M)}Sym(M){\ displaystyle {\ mathrm {Sym}} (M)}ΛM{\ displaystyle \ Lambda M}ne{\ displaystyle n} Symne(M){\ displaystyle {\ mathrm {Sym}} ^ {n} (M)}ne{\ displaystyle n} ΛneM{\ displaystyle \ Lambda ^ {n} M}M{\ displaystyle M}
Když je volné, je izomorfní vůči kruhu nekomutativních polynomů s koeficienty v neurčitosti indexovanými prvky základny.
M{\ displaystyle M}T(M){\ displaystyle T (M)}NA{\ displaystyle A}
Dovolit být homomorphism jednotkových komutativních prstenů a označit, že je -module pomocí pravé násobení, pak je kanonicky izomorfní s -algebra . To je velmi užitečné pro pochopení struktury, kdy není volný. Tato kompatibilita s rozšířením skalárů zůstává platná pro symetrické a vnější algebry a síly.
NA→B{\ displaystyle A \ až B}MB=M⊗NAB{\ displaystyle M_ {B} = M \ mnohokrát _ {A} B}B{\ displaystyle B}T(MB){\ displaystyle T (M_ {B})}B{\ displaystyle B}T(M)⊗NAB{\ displaystyle T (M) \ mnohokrát _ {A} B}T(M){\ displaystyle T (M)}M{\ displaystyle M}
Poznámka
-
Dávejte pozor, aby všechny prvky této formy nebyly obecně. Jsou to konečné součty takových vektorů.PROTI⊗ne{\ displaystyle V ^ {\ další krát}}
Bibliografie
<img src="https://fr.wikipedia.org/wiki/Special:CentralAutoLogin/start?type=1x1" alt="" title="" width="1" height="1" style="border: none; position: absolute;">