Zunanji produkt

Predloga:Short description Zunánji prodúkt (tudi vnánji prodúkt) je v linearni algebri računska operacija z vektorji. Je posplošitev vektorskega produkta, le da je rezultat v tem primeru število (skalar). Zunanji produkt se označi z znakom $\wedge$ (Λ). Je produkt v tem smislu, da tvori s seštevanjem in skalarnim množenjem algebro nad poljem, imenovano zunanja algebra. Verjetno je kvalificiran kot zunanji do te mere, da je njegov rezultat linearno neodvisen od njegovih operandov.

V abstraktni algebri pojem zunanjega produkta omogoča algebrsko upoštevanje konceptov usmerjenih območij in prostornin ter, v kateri koli razsežnosti, determinant, preko vektorskega produkta, ki so osnova obravnavanih podprostorov.

Različni zunanji produkti treh vektorjev

Če sta v kartezični ravnini podana vektorja $\overrightarrow{𝐚}=(a_1,a_2)$ in $\overrightarrow{𝐛}=(b_1,b_2)$, je njun zunanji produkt enak:

$\overrightarrow{𝐚}\wedge \overrightarrow{𝐛}=a_1{b}_2-a_2{b}_1.$

Čeprav ime tega ne pove, je zunanji produkt izmeničen. V tem smislu se razlikuje od tenzorskega produkta, katerega dejansko predstavlja antisimetrizacijo.

Zgodovina

Zunanji prudukt si je okoli leta 1844 zamislil nemški matematik Hermann Günther Grassmann. Ta koncept je leta 1878 integriral William Kingdon Clifford v svojo geometrijsko algebro, imenovano tudi Cliffordova algebra, ki posplošuje in razvija delo Grassmanna (Grassmanova algebra) kot tudi Williama Rowana Hamiltona leta 1843 o kvaternionih. Clifford je opisoval kvaternione kot posebno obliko transformacij (imenoval jih je rotorje). Grassmannova algebra pa je opisovala določene značilnosti, kot so dolžina, površina in prostornina. Clifford je definiral nov produkt, ki se imenuje geometrijski produkt.

Zunanji produkt vektorjev

Značilnosti

Za razliko od vektorskega produkta dveh vektorjev, zunanji produkt dveh vektorjev $E$, imenovan bivektor, ni vektor istega prostora, temveč novega prostora, označenega z ${\wedge }^2(E)$. Medtem ko je vektorski produkt definiran samo v 3-razsežnem prostoru, je zunanji produkt definiran za poljubni koli vektorski prostor.

Pomembne značilnosti zunanjega produkta vektorjev:

• zunanji produkt dveh vektorjev je izmeničen – zunanji produkt vektorja s samim seboj je enak nič:

$\overrightarrow{𝐚}\wedge \overrightarrow{𝐚}=0.$

• zunanji produkt je bilinearen:

$\overrightarrow{𝐚}\wedge (\beta \overrightarrow{𝐛})=\beta (\overrightarrow{𝐚}\wedge \overrightarrow{𝐛})=(\beta \overrightarrow{𝐚})\wedge \overrightarrow{𝐛},$

$\overrightarrow{𝐚}\wedge (\overrightarrow{𝐛}+\overrightarrow{𝐜})=\overrightarrow{𝐚}\wedge \overrightarrow{𝐛}+\overrightarrow{𝐚}\wedge \overrightarrow{𝐜},$

$(\overrightarrow{𝐛}+c)\wedge \overrightarrow{𝐚}=\overrightarrow{𝐛}\wedge \overrightarrow{𝐚}+\overrightarrow{𝐜}\wedge \overrightarrow{𝐚}.$

• zaradi bilinearnosti pomeni, da je antisimetričen:Predloga:Efn

$\overrightarrow{𝐚}\wedge \overrightarrow{𝐛}=-\overrightarrow{𝐛}\wedge \overrightarrow{𝐚}.$

• če je prostor $E$ opremljen z evklidsko metriko, potem je tudi ${\wedge }^2(E)$ in je norma bivektorja enaka:

$\Vert \overrightarrow{𝐚}\wedge \overrightarrow{𝐛}\Vert =\Vert \overrightarrow{𝐚}\Vert \Vert \overrightarrow{𝐛}\Vert \sin (\widehat{\overrightarrow{𝐚},\overrightarrow{𝐛}}).$

• zunanji produkt dveh vektorjev predstavlja ploščino paralelograma.

Posplošitev te računske operacije je zunanji produkt v Grassmannovi algebri, ki se imenuje tudi zunanja algebra.

Povezava z vektorskim produktom

Zunanji produkt in Gibbsov vektorski produkt sta povezana z relacijo dualnosti. Rezultat vektorskega produkta je dejansko prikriti bivektor, ki je nadomeščen z vektorjem, in je njegov dvojnik v trirazsežnem prostoru. To pojasnjuje, zakaj je vektorski produkt veljaven le v trirazsežnem prostoru. Pravzaprav je le v takem prostoru dual bivektorja vektor.

Od vektorskega produkta se lahko preide k zunanjemu produktu z uporabo naslednje relacije:

$\overrightarrow{𝐚}\times \overrightarrow{𝐛}=-I(\overrightarrow{𝐚}\wedge \overrightarrow{𝐛}),$

kjer je $I$ enotski psevdoskalar 3-razsežnega prostora. Tukaj križ (krat) predstavlja vektorski produkt.

Povezava s tenzorskim produktom

V skladu z najbolj klasičnim stališčem dejstvo, da je paralelepiped, podprt z družino vektorjev, »sploščen«, takoj ko je ta družina povezana, vodi do tega, da se zunanji produkt obravnava kot rezultat antisimetrizacije tenzorskega produkta, to je, da je najsplošnejša oblika asociativnega produkta. Takšno antisimetrizacijo se doseže s prehodom na kvocient, v tem primeru kvocient tenzorske algebre, povezane z vektorskim prostorom, ki se ga obravnava, z bilateralnim idealom te algebre, ustvarjene s tenzorskimi kvadrati $\overrightarrow{𝐮}\otimes \overrightarrow{𝐮}$, saj naj bi bili ti »sploščeni«. Tako se dobi zunanjo algebro $\bigwedge E$ vektorskega prostora $E$. Tako je na določen način pojem zunanje algebre vektorskega prostora pred pojmom zunanjega produkta dveh vektorjev.

Zunanji produkt in tenzorski produkt, ki delujeta znotraj različnih algeber, načeloma ni mogoče združiti v istem izrazu. Torej, se formule:

$\overrightarrow{𝐚}\wedge \overrightarrow{𝐛}=\overrightarrow{𝐚}\otimes \overrightarrow{𝐛}-\overrightarrow{𝐛}\otimes \overrightarrow{𝐚},$

včasih predstavljene kot definicijo zunanjega produkta ne bi smelo jemati dobesedno, temveč kot izražanje možnosti vložitve vektorskega prostora ${\wedge }^{2}E$ v ${\otimes }^{2}E$, kjer ${\wedge }^{2}E$ označuje vektorski podprostor zunanje algebre $\bigwedge E$, ki ga ustvarijo »paralelogrami« (ali bivektorja) $\overrightarrow{𝐮}\wedge \overrightarrow{𝐯}$.

Zunanji produkt multivektorjev

Zunanji podukt velja tudi za multivektorje. Z multivektorjem se razume najsplošnejši element geometrijske algebre, in sicer za $n$-razsežni prostor:

$M=\alpha +\beta {\overrightarrow{𝐀}}_1+\gamma {\overrightarrow{𝐀}}_2+\cdots +\mu {\overrightarrow{𝐀}}_k+\cdots \nu {\overrightarrow{𝐀}}_n,$

kjer grške črke predstavljajo skalarne vrednosti in $\overrightarrow{𝐀}$ indeksirane $p$-vektorje s $p\le n$.

Večkratni zunanji produkt

V splošnem primeru se lahko z zunanjim produktom oblikuje entitete, ki se jih lahko imenuje $p$-vektorji. Tako je:

${\overrightarrow{𝐚}}_1\wedge {\overrightarrow{𝐚}}_2\wedge \cdots \wedge {\overrightarrow{𝐚}}_p\in {\wedge }^p(E).$

Če je $p$ strogo večji od razsežnosti prostora $E$, potem je ${\wedge }^p(E)$ ničelni prostor.

Če je $n$ enak razsežnosti E, potem je ${\wedge }^n(E)$ vektorska premica.

Če je $E$ na primer 3-razsežni evklidski prostor, so trivektorji mnogokratniki enotskega psevdoskalarja $I$:

$\overrightarrow{𝐚}\wedge \overrightarrow{𝐛}\wedge \overrightarrow{𝐜}=\lambda I,$

kjer je skalar prostornina paralelepipeda, zgrajena na teh treh vektorjih.

Viri

• Predloga:Citat

Zunanje povezave

• Predloga:MathWorld