Ristitulo

Ristitulo eli vektoritulo on kolmi­ulotteisessa euklidisessa avaruudessa ${ℝ}^3$ määritelty kahden vektorin välinen laskutoimitus, jonka merkkinä käytetään vino­ristiä ×. Jos a ja b ovat kaksi eri­suuntaista vektoria, niiden ristitulo a × b on vektori, joka on molempia vastaan kohtisuorassa ja näin ollen kohti­suorassa niiden määrittämään tasoon nähden. Risti­tulolla on monia sovelluksia matematiikassa, fysiikassa, tekniikassa ja tietokoneohjelmoinnissa. Se on erotettava vektorien pistetulosta eli skalaari­tulosta.

Jos vektorit ovat saman- tai vastakkaissuuntaisia, toisin sanoen ne eivät ole lineaarisesti riippumattomia, tai jompikumpi niistä on nollavektori, ristitulo on nollavektori. Muussa tapauksessa vektorien ristitulo on itseisarvoltaan (eli pituudeltaan) yhtä suuri kuin sen suunnikkaan pinta-ala, jonka sivuina nämä vektorit ovat; erityisesti toistensa nähden kohti­suorien vektorien ristitulo on niiden pituuksien tulo. Ristitulo on anti­kommuta­tiivinen, toisin sanoen Malline:Nowrap), ja se noudattaa osittelulakia vektorien yhteenlaskun suhteen, toisin sanoen Malline:Nowrap). Avaruus $ℝ$ varustettuna ristitulolla on algebra reaalilukujen kunnan yli. Se ei ole vaihdannainen eikä liitännäinen, mutta se on Lien algebra.

Pistetulon tavoin ristitulo riippuu euklidisen avaruuden metriikasta, mutta toisin kuin pistetulo, se riippuu myös avaruuden orientaatiosta eli kätisyydestä. Risti­tulon käsitettä voidaan yleistää monin tavoin; se voidaan tehdä kätisyydestä riippumattomaksi tulkitsemalla tulos pseudovektoriksi, tai kuinka monessa ulottuvuudessa tahansa voidaan vektorien ulkoista tuloa käyttää niin, että tuloksena on bivektori tai 2-muoto. Käyttämällä orientaatiota ja metristä struktuuria aivan samoin kuin tavan­omaisessa kolmi­ulotteisessa risti­tulossa voidaan n ulottuvuudessa muodostaa Malline:Nowrap vektorin tulo niin, että se on kohti­suorassa niitä kaikkia vastaan. Kuitenkin vain kolmessa tai seitsemässä ulottuvuudessa voidaan kahden vektorin ei-triviaali tulo määritellä niin, että tuloksena on vektori. Niistäkin vain kolmi­ulotteisessa avaruudessa ristitulo on yksikäsitteinen.

Pienoiskuvan luominen epäonnistui:

Ristitulovektorien suunnat oikean käden säännön mukaisesti

Määritelmä

Ristitulon suunnan määrittäminen oikean käden säännöllä.

Vektorien a ja b ristitulo on määritelty vain kolmi­ulotteisessa avaruudessa, ja se merkitään Malline:Nowrap. Fysiikassa käytetään joskus myös merkintää $a\wedge b$, mutta matematiikassa sitä vältetään käyttämästä, jottei se sekaantuisi ulkoiseen tuloon.

Ristitulo Malline:Nowrap määritellään vektorina c, joka on kohtisuorassa sekä a:ta että b:tä vastaan ja jonka suunta määräytyy oikean käden säännön mukaan ja joka pituudeltaan on yhtä suuri kuin sen suunnikkaan pinta-ala, jonka sivuina annetut vektorit ovat.

Ristitulo määritellään tällöin kaavalla

$𝐚\times 𝐛=\Vert 𝐚\Vert \Vert 𝐛\Vert \sin \theta 𝐧$

missä $\theta$ on vektorien a ja b välinen kulma niiden määrittämässä tasossa (näin ollen se on aina 0°:n ja 180°:n välillä), $\Vert 𝐚\Vert$ja $\Vert 𝐛\Vert$ ovat vektorien a ja b pituudet ja n niiden määrittämää tasoa vastaan kohtisuorassa oleva yksikkövektori, jonka suunta määräytyy oikean käden säännön mukaan oheisen kuvan osoittamalla tavalla. Jos vektorit a ja b ovat saman- tai vastakkaissuuntaisia ( eli niiden välinen kulma on joko 0° tai 180°), seuraa määritelmästä, että niiden ristitulo on nollavektori 0.

Pienoiskuvan luominen epäonnistui:

Ristitulo Malline:Nowrap (pystysuorassa, violetti) muuttuu, kun vektorien a (sininen) ja b (punainen) välinen kulma muuttuu. Ristitulo on aina molempia vastaan kohti­suorassa, ja se on nollavektori, kun vektorit ovat yhden­suuntaisia, ja saa suurimman arvonsa $\Vert 𝐚\Vert \Vert 𝐛\Vert$, kun ne ovat kohti­suorassa.

Sopimuksen mukaan vektorin n suunnan antaa oikean käden sääntö: jos oikean käden etusormi osoittaa vektorin a ja keskisormi vektorin b suuntaan, peukalo osoittaa vektorin n suuntaan oheisen kuvan mukaisesti. Tästä säännöstä seuraa, että risti­tulo on anti­kommuta­tiivinen. Toisin sanoen, jos vektorit a ja b vaihdetaan keskenään, risti­tulon suunta muuttuu vastakkaiseksi eli Malline:Nowrap. Niinpä jos oikean käden asentoa muutetaan siten, että etusormi osoittaa vektorin b ja keskisormi vektorin a suuntaan, osoittaa peukalo väistämättä päin­vastaiseen suuntaan kuin aikaisemmin.

Edellä esitetystä määritelmästä seuraa, että ristituloa käytettäessä koordinaatiston kätisyys on otettava huomioon. Jos poikkeuksellisesti käytetään vasenkätistä koordinaatistoa, vektorin n suunnan antaa vasemman käden sääntö ja se osoittaa päinvastaiseen suuntaan.

Tästä aiheutuu kuitenkin ongelma, sillä jos yksi mieli­valtainen vertailu­järjestelmä vaihdetaan toiseen, esimerkiksi peilauksessa, jolloin siirrytään oikea­kätisestä vasen­kätiseen koordinaatti­järjestelmään, ristitulon n suunta muuttuu. Tämän ongelma selviää, kun ymmärretään, ettei kahden vektorin risti­tulo ole aito vektori vaan pseudovektori, kuten jäljempänä tarkemmin selitetään.

Nimet

Tiedosto:Sarrus rule.svg

Sarrus’n säännön mukaan 3×3 -matriisin determinantti edellyttää matriisin lukujen kertolaskua leikkaavien lävistäjien suunnassa.

Vuonna 1881 Josiah Willard Gibbs ja hänestä riippumatta Oliver Heaviside, ottivat käyttöön sekä pistetulon että ristitulon käyttämällä edellisen merkkeinä pistettä, (Malline:Nowrap), jälkimmäisen merkkinä vinoristiä ("x") (Malline:Nowrap).

Vastaavia laskutoimituksia oli jo vuonna 1877 käyttänyt William Kingdon Clifford. Korostaakseen sitä, että toinen niistä antaa tuloksena skalaarin, toinen vektorin, hän antoi niille nimet skalaaritulo ja vektoritulo, joita edelleenkin yleisesti käytetään nimitysten pistetulo ja ristitulo ohella.

Siihen, että vektori­tulon merkiksi valittiin vinoristi (Malline:Nowrap) ja sitä alettiin nimittää ristituloksi, vaikutti toden­näköisesti se, että ristitulon Malline:Nowrap jokaista skalaarista komponenttia laskettaessa kerrotaan keskenään a:n ja b:n ne komponentit, jotka eivät vastaa toisiaan. Sitä vastoin pistetuloa Malline:Nowrap laskettaessa kerrotaan vektorien toisiaan vastaavat, yhden­suuntaiset komponentit. Kuten jäljempänä selitetään, risti­tulo voidaan esittää tietyn­laisen 3×3 -matriisin muodossa. Sarrus'n säännön mukaisesti tämä merkitsee, että matriisin lävistäjien suunnassa toisiaan seuraavat luvut kerrotaan keskenään.

Ristitulon laskeminen

Koordinaattimerkintä

Tiedosto:3D Vector.svg

Standardit kantavektorit (i, j, k, joille käytetään myös merkintöjä e₁, e₂, e₃) ja a:n vektorikomponentit (a_x, a_y, a_z, joille käytetään myös merkintöjä a₁, a₂, a₃)

Kolmi­ulotteisen avaruuden standardien kanta­vektorien i, j ja k ristitulot ovat oikea­kätisessä koordinaatistossa seuraavat:

$\begin{array}{cc}𝐢& =𝐣\times 𝐤\\ 𝐣& =𝐤\times 𝐢\\ 𝐤& =𝐢\times 𝐣\end{array}$

mistä ristitulon anti­kommuta­tiivi­suuden vuoksi seuraa:

$\begin{array}{cc}𝐤\mathbf{\times }𝐣& =-𝐢\\ 𝐢\mathbf{\times }𝐤& =-𝐣\\ 𝐣\mathbf{\times }𝐢& =-𝐤\end{array}$

Ristitulon määritelmästä seuraa myös, että

$𝐢\times 𝐢=𝐣\times 𝐣=𝐤\times 𝐤=\mathrm{𝟎}$ (nollavektori).

Voidaan osoittaa, että ristitulo noudattaa osittelulakia ja on lineaarinen, mikä tosin ei aivan mutkattomasti seuraa sen määritelmästä. Näiden ominai­suuksiensa sekä edellä lueteltujen kanta­vektorien risti­tulojen avulla voidaan laskea minkä tahansa kahden vektorin u ja v ristitulo. Jokainen vektori voidaan nimittäin esittää kolmen kohti­suoran komponentin summana, joista kukin on yhden kanta­vektorin suuntainen:

$\begin{array}{cc}𝐮& =u_1𝐢+u_2𝐣+u_3𝐤\\ 𝐯& =v_1𝐢+v_2𝐣+v_3𝐤\end{array}$

Ristitulo Malline:Nowrap voidaan näin ollen laskea osittelu­lain avulla:

$\begin{array}{cc}𝐮\times 𝐯=& (u_1𝐢+u_2𝐣+u_3𝐤)\times (v_1𝐢+v_2𝐣+v_3𝐤)\\ =& u_1{v}_1(𝐢\times 𝐢)+u_1{v}_2(𝐢\times 𝐣)+u_1{v}_3(𝐢\times 𝐤)+\\ & u_2{v}_1(𝐣\times 𝐢)+u_2{v}_2(𝐣\times 𝐣)+u_2{v}_3(𝐣\times 𝐤)+\\ & u_3{v}_1(𝐤\times 𝐢)+u_3{v}_2(𝐤\times 𝐣)+u_3{v}_3(𝐤\times 𝐤)\\ \end{array}$

Tämä voidaan tulkita niin, että Malline:Nowrap hajotetaan yhdeksän yksin­kertaisemman ristitulon summaksi, joista jokaisen tekijät ovat kanta­vektorien i, j ja k suuntaisia. Jokainen näistä yhdeksästä risti­tulosta on helppo käsitellä, sillä ne ovat joko toistensa suuntaisia tai toisiinsa nähden kohti­suorassa. Tästä hajotelmasta saadaan edellä esitettyjen yhtälöiden avulla ja yhdistämällä saman­muotoiset termit:

$\begin{array}{cc}𝐮\times 𝐯=& u_1{v}_1\mathrm{𝟎}+u_1{v}_2𝐤-u_1{v}_3𝐣-\\ & u_2{v}_1𝐤-u_2{v}_2\mathrm{𝟎}+u_2{v}_3𝐢+\\ & u_3{v}_1𝐣-u_3{v}_2𝐢-u_3{v}_3\mathrm{𝟎}\\ =& (u_2{v}_3-u_3{v}_2)𝐢+(u_3{v}_1-u_1{v}_3)𝐣+(u_1{v}_2-u_2{v}_1)𝐤\\ \end{array}$

mikä merkitsee, että tuloksena saatavan vektorin kolme skalaarikomponenttia s = s₁i + s₂j + s₃k = Malline:Nowrap ovat

$\begin{array}{cc}{s}_1& =u_2{v}_3-u_3{v}_2\\ s_2& =u_3{v}_1-u_1{v}_3\\ s_3& =u_1{v}_2-u_2{v}_1\end{array}$

Sarakevektorien avulla sama tulos voidaan ilmaista myös seuraavasti:

$\left(\begin{array}{c}{s}_1\\ s_2\\ s_3\end{array}\right)=\left(\begin{array}{c}{u}_2{v}_3-u_3{v}_2\\ u_3{v}_1-u_1{v}_3\\ u_1{v}_2-u_2{v}_1\end{array}\right)$

Matriisimerkintä

Pienoiskuvan luominen epäonnistui:

Sarrus'n sääntö vektorien u ja v ristitulon määrittämiseksi

Ristitulo voidaan muodollisesti esittää myös determinanttina:

$𝐮\mathbf{\times }𝐯=\left|\begin{array}{ccc}𝐢& 𝐣& 𝐤\\ u_1& u_2& u_3\\ v_1& v_2& v_3\end{array}\right|$

Tämä determinantti voidaan laskea Sarrus'n säännön tai kofaktorikehitelmän avulla. Sarrus'n säännön avulla saadaan

$𝐮\mathbf{\times }𝐯=(u_2{v}_3𝐢+u_3{v}_1𝐣+u_1{v}_2𝐤)-(u_3{v}_2𝐢+u_1{v}_3𝐣+u_2{v}_1𝐤).$

Jos sen sijaan käytetään kofaktori­kehitelmää ensimmäiselle riville, saadaan:

$𝐮\mathbf{\times }𝐯=\left|\begin{array}{cc}{u}_2& u_3\\ v_2& v_3\end{array}\right|𝐢-\left|\begin{array}{cc}{u}_1& u_3\\ v_1& v_3\end{array}\right|𝐣+\left|\begin{array}{cc}{u}_1& u_2\\ v_1& v_2\end{array}\right|𝐤$

mistä ristitulovektorin komponentit saadaan suoraan.

Ominaisuuksia

Geometrinen merkitys

Tiedosto:Cross product parallelogram.svg

Kuvio 1. Suunnikkaan pinta-ala ristitulon itseisarvona

Tiedosto:Parallelepiped volume.svg

Kuvio 2. Kolmen vektorin määrittämä suuntaissärmiö

Kahden vektorin ristitulon itseisarvo on yhtä suuri kuin sellaisen suunnikkaan pinta-ala, jonka sivuina nämä vektorit ovat (katso kuvio 1):

$A=\Vert 𝐚\times 𝐛\Vert =\Vert 𝐚\Vert \Vert 𝐛\Vert \sin \theta .$

Sellaisen suuntaissärmiön tilavuus V, jonka särmät ovat a, b ja c, voidaan laskea käyttämällä ristitulon ja pistetulon yhdistelmää, jota sanotaan skalaarikolmituloksi (katso kuvio 2):

$𝐚\cdot (𝐛\times 𝐜)=𝐛\cdot (𝐜\times 𝐚)=𝐜\cdot (𝐚\times 𝐛).$

Koska skalaarikolmitulo voi olla myös negatiivinen, suorakulmaisen särmiön tilavuus on skalaarikolmitulon itseisarvo. Esimerkiksi

$V=|𝐚\cdot (𝐛\times 𝐜)|.$

Koska ristitulon itseisarvo on verrannollinen vektorien välisen kulman siniin, ristituloa voidaan käyttää kohtisuoruuden mittana samaan tapaan kuin pistetulo on yhden­suuntaisuuden mitta. Kahden yksikkövektorin ristitulon itseisarvo on 1, jos ja vain jos ne ovat koht­isuorassa, ja 0, jos ja vain jos ne ovat saman- tai vastakkais­suuntaisia. Samojen vektorien pistetulon laita on tässä suhteessa täsmälleen päin­vastoin.

Vektorien komponentti­esityksen avulla voidaan myös määrittää niiden välinen kulma. Niiden pistetulo antaa tämän kulman kosinin, joka voi olla positiivinen tai negatiivinen, kun taas risti­tulon itseisarvo antaa saman kulman sinin, joka on aina positiivinen.

Algebralliset ominaisuudet

Pienoiskuvan luominen epäonnistui:

Ristitulon kertominen skalaarilla. Vasemmalla: Vektori b hajotettuna a:n suuntaiseen ja sitä vastaan kohtisuoraan komponenttiin. Oikealla Kohtisuoran komponentin kertominen positiivisella reaaliluvulla r (jos se on negatiivinen, b:n ja ristitulon suunnat ovat päinvastaiset).

Tiedosto:Cross product distributivity.svg

Ristitulon osittelulaki vektorien yhteenlaskun suhteen. Vasemmalla: Vektorit b ja c hajotettuna a:n suuntaiseen ja sitä vastaan kohtisuoraan komponenttiin. Oikealla: Yhdensuuntaiset komponentit häviävät ristitulossa, vain a:ta vastaan kohtisuorat komponentit jäävät jäljelle.

Tiedosto:Cross product triple.svg

Kolmesta vektorista a, b ja c saadut kaksi yhdistettyä ristituloa eivät ole yhtä suuret. Kummassakin tapauksessa kaksi vektoria määrittää tason, kolmas on tason ulkopuolella ja voidaan hajottaa tason suuntaiseen ja sitä vastaan kohtisuoraan komponenttiin. Nämä komponentit voidaan muodostaa vektorin projektion ja rejektion avulla. Kolmitulo on tasossa ja kiertyy kuvan osoittamalla tavalla.

• Jos kahden vektorin ristitulo on nollavektori (toisin sanoen Malline:Nowrap), joko ainakin toinen vektoreista on nolla­vektori, (Malline:Nowrap ja/tai Malline:Nowrap), tai vektorit ovat saman- tai vastakkais­suuntaisia (Malline:Nowrap), jolloin niiden välisen kulman sini on nolla ($\theta$ = 0° tai $\theta$ = 180° ja $\sin \theta =0$).
• Vektorin ristitulo itsensä kanssa on nolla­vektori, toisin sanoen Malline:Nowrap.
• Ristitulo on anti­kommuta­tiivinen:

$𝐚\times 𝐛=-(𝐛\times 𝐚).$

• Ristitulo noudattaa osittelulakia yhteen­laskun suhteen:

$𝐚\times (𝐛+𝐜)=(𝐚\times 𝐛)+(𝐚\times 𝐜),$

• Jos ristitulon jompikumpi tekijä kerrotaan skalaarilla, myös ristitulon arvo tulee kerrotuksi samalla skalaarilla:

$(r𝐚)\times 𝐛=𝐚\times (r𝐛)=r(𝐚\times 𝐛).$

• Ristitulo ei ole liitännäinen, mutta sille pätee Jacobin identiteetti:

$𝐚\times (𝐛\times 𝐜)+𝐛\times (𝐜\times 𝐚)+𝐜\times (𝐚\times 𝐛)=\mathrm{𝟎}.$

Osoittelulaki, lineaarisuus ja Jacobin identiteetti osoittavat, että vektoriavaruus ${ℝ}^3$ varustettuna vektorien yhteen­laskulla ja risti­tulolla on Lien algebra, tarkemmin sanottuna kolmi­ulotteisen reaalisen orto­gonaalisen ryhmän Lien algebra SO(3).

• Ristitulo ei noudata supistus­sääntöä: Vaikka a ei olisi nolla­vektori, yhtälöstä Malline:Nowrap ei seuraa, että Malline:Nowrap, vaan ainoastaan että:

$\begin{array}{cc}\mathrm{𝟎}& =(𝐚\times 𝐛)-(𝐚\times 𝐜)\\ & =𝐚\times (𝐛-𝐜).\\ \end{array}$

Ristitulon määritelmästä seuraa, että tällöin vektorien a ja Malline:Nowrap välisen kulman on oltava nolla eli niiden on oltava yhden­suuntaiset. Toisin sanoen ne liittyvät toisiinsa skaalaustekijällä t, eli

$𝐜=𝐛+t𝐚,$

jollakin skalaariarvolla t.

• Jos Malline:Nowrap ja Malline:Nowrap jollakin vektorilla a, joka ei ole nollavektori, on Malline:Nowrap, sillä

$𝐚\times (𝐛-𝐜)=\mathrm{𝟎}$ and

$𝐚\cdot (𝐛-𝐜)=0,$

eli Malline:Nowrap on sekä vektorin a suuntainen että sitä vastaan kohtisuorassa, mikä on mahdollista vain, jos Malline:Nowrap eli b ja c ovat identtiset.

• Geometrisen määritelmän perusteella ristitulo on invariantti rotaatiossa akselin Malline:Nowrap ympäri. Kaavana:

$(R𝐚)\times (R𝐛)=R(𝐚\times 𝐛)$, where $R$ on rotaatiomatriisi, jossa $\det (R)=1$.

Yleisemmin ristitulo noudattaa seuraavaa identiteettiä matriisimuunnoksissa:

$(M𝐚)\times (M𝐛)=(\det M)M^{-T}(𝐚\times 𝐛)$

missä $M$ on 3×3 -matriisi ja $M^{-T}$ sen käänteismatriisin transpoosi. Voidaan helposti nähdä, miten tämä kaava palautuu edelliseen, jos $M$ on rotaatiomatriisi.

Kahden ristitulon summalle pätee:

$𝐚\times 𝐛+𝐜\times 𝐝=(𝐚-𝐜)\times (𝐛-𝐝)+𝐚\times 𝐝+𝐜\times 𝐛.$

Differentioituminen

Differentiaali­laskennan tulosääntö pätee jokaiselle bilineaariselle lasku­toimitukselle ja näin ollen myös ristitulolle:

$\frac{d}{dt}(𝐚\times 𝐛)=\frac{d𝐚}{dt}\times 𝐛+𝐚\times \frac{d𝐛}{dt}$

missä a ja b ovat reaalimuuttujasta t riippuvia vektorifunktioita.

Kolmitulot

Ristituloa käytetään molempia kolmituloja muodostettaessa. Kolmen vektorin skalaarikolmitulo on määritelty seuraavasti:

$𝐚\cdot (𝐛\times 𝐜).$

Skalaarikolmitulo on itseisarvoltaan yhtä suuri kuin sellaisen suuntaissärmiön tilavuus, jonka sivut ovat a, b ja c, ja siinä esiintyvät vektorit voidaan vaihtaa keskenään mihin tahansa järjestykseen, joka on edellä esitetyn parillinen permutaatio. Seuraavat lausekkeet ovat näin ollen yhtä suuret:

$𝐚\cdot (𝐛\times 𝐜)=𝐛\cdot (𝐜\times 𝐚)=𝐜\cdot (𝐚\times 𝐛),$

Vektorikolmitulo on vektorin ja toisen ristitulon tuloksen ristitulo, ja sen liittää pistetuloon seuraava lause:

$𝐚\times (𝐛\times 𝐜)=𝐛(𝐚\cdot 𝐜)-𝐜(𝐚\cdot 𝐛).$

Vektorien järjestyksen muistamiseen tämän kaavan oikealla puolella olevassa lausekkeessa voidaan käyttää muistisääntöä "BAC miinus CAB". Tätä kaavaa käytetään fysiikassa vektoreilla suoritettavien lasku­toimitusten yksin­kertaistamiseen. Muuan vektorianalyysissä käyttö­kelpoinen, gradientteihin liittyvä erikois­tapaus on:

$\begin{array}{cc}\mathrm{\nabla }\times (\mathrm{\nabla }\times 𝐟)& =\mathrm{\nabla }(\mathrm{\nabla }\cdot 𝐟)-(\mathrm{\nabla }\cdot \mathrm{\nabla })𝐟\\ & =\mathrm{\nabla }(\mathrm{\nabla }\cdot 𝐟)-{\mathrm{\nabla }}^2𝐟,\\ \end{array}$

missä ${\mathrm{\nabla }}^2$ on Laplacen operaattori vektoreille.

Myös seuraavat identtiset yhtälöt liittävät ristitulon skalaarikolmituloon:

$(𝐚\times 𝐛)\times (𝐚\times 𝐜)=(𝐚\cdot (𝐛\times 𝐜))𝐚$

$(𝐚\times 𝐛)\cdot (𝐜\times 𝐝)={𝐛}^T(({𝐜}^T𝐚)I-𝐜{𝐚}^T)𝐝$,

missä I on identtinen matriisi.

Vaihtoehtoinen muotoilu

Ristitulon ja pistetulon yhdistää toisiinsa kaava

${\Vert 𝐚\times 𝐛\Vert }^2={\Vert 𝐚\Vert }^2{\Vert 𝐛\Vert }^2-(𝐚\cdot 𝐛{)}^2.$

Tässä oikealla puolella on vektorien a ja b Gramin determinantti, vektorien määräämän suunnikkaan pinta-alan neliö. Tämä ehto määrittää ristitulon suuruuden. Sillä jos pistetulo on määritelty vektorien välisen kulman $\theta$ avulla:

$𝐚\mathbf{\cdot }𝐛=\Vert 𝐚\Vert \Vert 𝐛\Vert \cos \theta ,$

tämä yhtälö voidaan kirjoittaa uudestaan muotoon:

${\Vert 𝐚\mathbf{\times }𝐛\Vert }^2={\Vert 𝐚\Vert }^2{\Vert 𝐛\Vert }^2(1-{\cos }^2\theta ).$

Koska Pythagoraan lauseesta seuraa, että kaikilla kulmilla $\theta$ pätee

${\sin }^2\theta +{\cos }^2\theta =1.$,

saadaan tästä:

$\Vert 𝐚\times 𝐛\Vert =\Vert 𝐚\Vert \Vert 𝐛\Vert |\sin \theta |,$

mikä on ristitulon itseisarvo ilmaistuna kulman $\theta$ avulla ja yhtä suuri kuin vektorien a ja b määrittämän suunnikkaan pinta-ala.

Tämä vaatimus yhdessä sen kanssa, että ristitulo on kohti­suorassa tekijöihinsä a ja b nähden tarjoaa mahdollisuuden ristitulon vaihto­ehtoiseen määritelmään:

Lagrangen identiteetti

Yhteyttä

${\Vert 𝐚\times 𝐛\Vert }^2=\det \left[\begin{array}{cc}𝐚\cdot 𝐚& 𝐚\cdot 𝐛\\ 𝐚\cdot 𝐛& 𝐛\cdot 𝐛\end{array}\right]={\Vert 𝐚\Vert }^2{\Vert 𝐛\Vert }^2-(𝐚\cdot 𝐛{)}^2.$

voidaan verrata toiseen yhteyteen, joka liittyy tämän yhtälön oikealla puolella olevaan lausekkeeseen, nimittäin Lagrangen identiteettiin,

$\sum _{1\le i<j\le n}{(a_i{b}_j-a_j{b}_i)}^2={\Vert 𝐚\Vert }^2{\Vert 𝐛\Vert }^2-(𝐚\mathbf{\cdot }𝐛{)}^2,$

missä a ja b voivat olla n-ulotteisia vektoreita. Tämä osoittaa, että Riemannin tilavuusmuoto pinnoille on sama asia kuin vektori­analyysin avulla laskettu tilavuus­alkio. Tapauksessa Malline:Nowrap nämä kaksi yhtälöä voidaan yhdistää niin, että saadaan vektorien ristitulon itseis­arvolle lauseke niiden komponenttien avulla:

$|𝐚\times 𝐛{|}^2=\sum _{1\le i<j\le 3}{(a_i{b}_j-a_j{b}_i)}^2=(a_1{b}_2-b_1{a}_2{)}^2+(a_2{b}_3-a_3{b}_2{)}^2+(a_3{b}_1-a_1{b}_3{)}^2.$

Sama tulos saadaan myös suoraan käyttämällä ristitulon komponentteja, jotka saadaan yhtälöstä:

$𝐚\times 𝐛=\det \left[\begin{array}{ccc}𝐢& 𝐣& 𝐤\\ a_1& a_2& a_3\\ b_1& b_2& b_3\end{array}\right].$

Avaruudessa ${ℝ}^3$ Lagrangen yhtälö on erikoistapaus normin multiplikatiivisuudesta kvaternioiden algebrassa: |vw| = |v||w|.

Se on myös erikois­tapaus toisesta kaavasta, jota sitäkin toisinaan sanotaan Lagrangen identiteetiksi ja joka samalla on kolmi­ulotteinen tapaus Binet'n-Cauchyn identiteetistä:

$(𝐚\times 𝐛)\cdot (𝐜\times 𝐝)=(𝐚\cdot 𝐜)(𝐛\cdot 𝐝)-(𝐚\cdot 𝐝)(𝐛\cdot 𝐜).$

Jos Malline:Nowrap ja Malline:Nowrap, tämä yksin­kertaistaa edellä esitettyä kaavaa.

Infinitesimaaliset generaattorit ja rotaatiot

Ristitulo kuvaa sopivasti rotaatioiden infinitesimaalisia generaattoreja avaruudessa ${ℝ}^3$. Erityisesti jos n on yksikkövektori avaruudessa ${ℝ}^3$ ja R(f,$\varphi$,n) merkitsee rotaatiota origon kautta kulkevan, n:n määrittämän akselin ympäri kulman f verran (mitattuna radiaaneina, n:n kärjen suunnasta katsottuna vastapäivään), on

${\frac{d}{d\varphi }|}_{\varphi =0}R(\varphi ,𝒏)𝒙=𝒏\times 𝒙$

jokaiselle vektorille $x\in {ℝ}^3$. Ristitulo n kuvaa näin ollen vektorin n ympäri suoritetun rotaation infini­tesi­maalista generaattoria. Nämä infini­tesi­maaliset generaattorit muodostavat Lien algebran so(3) rotaatio­ryhmässä SO(3), ja todetaan, että Lien algebra ${ℝ}^3$ varustettuna ristitulolla on isomorfinen Lien algebran so(3) kanssa.

Vaihtoehtoisia tapoja ristitulon laskemiseksi

Muunnos matriisien kertolaskuksi

Vektorien ristitulo voidaan ilmaista myös antisymmetrisen matriisin ja vektorin tulona:

$𝐚\times 𝐛=[𝐚{]}_{\times }𝐛=\left[\begin{array}{ccc}0& -a_3& a_2\\ a_3& 0& -a_1\\ -a_2& a_1& 0\end{array}\right]\left[\begin{array}{c}{b}_1\\ b_2\\ b_3\end{array}\right]$

$𝐚\times 𝐛=[𝐛{]}_{\times }^{\mathrm{T}}𝐚=\left[\begin{array}{ccc}0& b_3& -b_2\\ -b_3& 0& b_1\\ b_2& -b_1& 0\end{array}\right]\left[\begin{array}{c}{a}_1\\ a_2\\ a_3\end{array}\right]$

missä yläindeksi ^T tarkoittaa matriisin transpoosia ja [a]_× määritellään seuraavasti:

$[𝐚{]}_{\times }\stackrel{\mathrm{d}\mathrm{e}\mathrm{f}}{=}\left[\begin{array}{ccc}0& -a_3& a_2\\ a_3& 0& -a_1\\ -a_2& a_1& 0\end{array}\right].$

On huomattava, että [a]_× on kääntyvä matriisi, jossa a on sen oikean- tai vasemmanpuoleinen nollavektori.

Jos a itsekin on ristitulo,

$𝐚=𝐜\times 𝐝$

saadaan

$[𝐚{]}_{\times }=𝐝{𝐜}^{\mathrm{T}}-𝐜{𝐝}^{\mathrm{T}}.$

Todistus korvausmenettelyllä

Ristitulon kehitelmä johtaa tulokseen $𝐚=𝐜\times 𝐝=\left(\begin{array}{c}{c}_2{d}_3-c_3{d}_2\\ c_3{d}_1-c_1{d}_3\\ c_1{d}_2-c_2{d}_1\end{array}\right)$ Tässä vasemmalla puolella oleva lauseke on yhtä suuri kuin $[𝐚{]}_{\times }=\left[\begin{array}{ccc}0& c_2{d}_1-c_1{d}_2& c_3{d}_1-c_1{d}_3\\ c_1{d}_2-c_2{d}_1& 0& c_3{d}_2-c_2{d}_3\\ c_1{d}_3-c_3{d}_1& c_2{d}_3-c_3{d}_2& 0\end{array}\right]$ Toisaalta oikealla puolella oleva lauseke on, $𝐜{𝐝}^{\mathrm{T}}=\left[\begin{array}{ccc}{c}_1{d}_1& c_1{d}_2& c_1{d}_3\\ c_2{d}_1& c_2{d}_2& c_2{d}_3\\ c_3{d}_1& c_3{d}_2& c_3{d}_3\end{array}\right]$ jonka transpoosi on $𝐝{𝐜}^{\mathrm{T}}=\left[\begin{array}{ccc}{c}_1{d}_1& c_2{d}_1& c_3{d}_1\\ c_1{d}_2& c_2{d}_2& c_3{d}_2\\ c_1{d}_3& c_2{d}_3& c_3{d}_3\end{array}\right]$ Yhtälön oikea puoli voidaan saattaa muotoon $𝐝{𝐜}^{\mathrm{T}}-𝐜{𝐝}^{\mathrm{T}}=\left[\begin{array}{ccc}0& c_2{d}_1-c_1{d}_2& c_3{d}_1-c_1{d}_3\\ c_1{d}_2-c_2{d}_1& 0& c_3{d}_2-c_2{d}_3\\ c_1{d}_3-c_3{d}_1& c_2{d}_3-c_3{d}_2& 0\end{array}\right]$ Vertailu osoittaa, että yhtälön molemmilta puolilta saatiin sama matriisi.

Geometrisen algebran avulla tämä tulos voidaan yleistää korkeampiinkin ulottuvuuksiin. Erityisesti kaikissa ulottuvuuksissa bivektori voidaan samastaa anti­symmetristen matriisien kanssa, jolloin anti­symmetrisen matriisin ja vektorin tulo on ekvivalentti bivektorin ja vektorin tulon ensimmäistä astetta olevan osan kanssa. Kolmessa ulottuvuudessa bivektorit ovat vektorien Hodgen duaaleja, joten tulo on ekvivalentti ristitulon kanssa, kun bivektoria käytetään sen vektori­duaalin sijasta. Korkeammissa ulottuvuuksissakin tulo voidaan laskea, mutta bivektoreilla on enemmän vapausasteita eivätkä ne ole ekvivalentteja vektorien kanssa.

Esimerkiksi epipolaari­sessa geometriassa tämä merkintä on usein myös paljon helppo­käyttöisempi.

Ristitulon yleisistä ominaisuuksista seuraa välittömästi, että

$[𝐚{]}_{\times }𝐚=\mathrm{𝟎}$   sekä   ${𝐚}^{\mathrm{T}}[𝐚{]}_{\times }=\mathrm{𝟎}$

ja siitä, että [a]_× on antisymmetrinen, seuraa, että

${𝐛}^{\mathrm{T}}[𝐚{]}_{\times }𝐛=0.$

Edellä esitetty kolmitulon bac-cab -sääntö voidaan tämän merkinnän avulla helposti todistaa.

Kuten edellä todettiin, Lien algebra ${ℝ}^3$ varustettuna ristitulolla on isomorfinen Lien algebran so(3), kanssa, jonka alkiot voidaan samastaa anti­symmetristen 3×3 -matriisien kanssa. Kuvaus a -> [a]_× on isomorfismi ${ℝ}^3$:n ja so(3):n välillä. Tässä kuvauksessa 3-vektorien ristitulo vastaa anti­symmetristen 3x3 -matriisien kommutaattoria.

Indeksimerkintä tensoreille

Ristitulo voidaan vaihto­ehtoisesti määritellä Levi-Civita-symbolin e_ijk ja pistetulon ${\eta }^{mi}$ avulla (joka orto­normaalin kannan tapauksessa on sama kuin ${\delta }^{mi}$). Sen avulla vektori­merkintä voidaan muuttaa tensorien sovellukseksi:

$𝐚\mathbf{\times }𝐛=𝐜\iff c^m=\sum _{i=1}^3\sum _{j=1}^3\sum _{k=1}^3{\eta }^{mi}{\epsilon }_{ijk}{a}^j{b}^k$

missä indeksit $i,j,k$ vastaavat vektorin komponentteja. Tämä ristitulon luonnehdinta esitetään usein lyhemmin käyttämällä Einsteinin summaussääntöä

$𝐚\mathbf{\times }𝐛=𝐜\iff c^m={\eta }^{mi}{\epsilon }_{ijk}{a}^j{b}^k$

jossa toistetut indeksit arvojen 1...3 yli on laskettu yhteen. On huomattava, että tämä esitysmuoto on toinen muoto ristitulon antisymmetrisiin matriiseihin perustuvasta esitysmuodosta:

${\eta }^{mi}{\epsilon }_{ijk}{a}^j=[𝐚{]}_{\times }.$

Klassisessa mekaniikassa ristitulon esittäminen Levi-Civita-symbolin avulla voi tehdä mekaaniset symmetriat ilmiselviksi, kun fysikaaliset systeemit ovat isotrooppisia. Esimerkkinä voidaan mainita hiukkanen Hooken lain mukaisessa potentiaalissa, jossa se voi värähdellä kolmessa ulottuvuudessa; mikään näistä ulottuvuuksista ei ole millään tavalla erikois­asemassa, jolloin liikemäärämomentin ristitulo­esitys on symmetrinen tavalla, jonka Levi-Civita-esitys tekee ilmeiseksi.

Muistisääntö

Ristitulon määritelmän muistamiseen voidaan muistisääntönä käyttää sanaa "xyzzy".

Jos

$𝐚=𝐛\times 𝐜$

missä:

$𝐚=\left[\begin{array}{c}{a}_x\\ a_y\\ a_z\end{array}\right],𝐛=\left[\begin{array}{c}{b}_x\\ b_y\\ b_z\end{array}\right],𝐜=\left[\begin{array}{c}{c}_x\\ c_y\\ c_z\end{array}\right]$

on:

$a_x=b_y{c}_z-b_z{c}_y$

$a_y=b_z{c}_x-b_x{c}_z$

$a_z=b_x{c}_y-b_y{c}_x.$

Toinen ja kolmas yhtälö saadaan ensimmäisestä yksinkertaisesti kierrättämällä alaindeksit keskenään pystysuorasti, Malline:Nowrap. Vaikeutena on luonnollisesti ensimmäisen yhtälön muistaminen, mihin on käytettävissä kaksi keinoa: on joko muistettava Sarrus'n skeeman kaksi relevanttia lävistäjää (ne, joissa 'i' esiintyy), tai on muistettava xyzzy-järjestys.

Koska Sarrus'n skeeman ensimmäinen lävistäjä on juuri edellä mainitun 3×3 -matriisin päälävistäjä, sanan xyzzy kolme ensimmäistä kirjainta on helppo muistaa.

Sovelluksia

Ristituloa sovelletaan monissa yhteyksissä, esimerkiksi laskennallisessa geometriassa, fysiikassa ja insinööri­aloilla. Seuraavassa mainitaan joitakin esimerkkejä sovelluksista.

Laskennallinen geometria

Ristituloa voidaan käyttää laskettaessa kahden ristikkäisen suoran etäisyys, toisin sanoen sellaisten suorien etäisyys kolmiulotteisessa avaruudessa, jotka eivät ole samassa tasossa.

Ristitulolla voidaan laskea myös kolmion tai monikulmion normaali, mitä usein tarvitaan tietokone­grafiikassa. Esimerkiksi monikulmion kiertyminen myötä- tai vastapäivään jonkin sen sisällä olevan pisteen ympäri voidaan laskea jakamalla se kolmioihin hieman pyörän puolien tapaan ja laskemalla puolien väliset kulmat yhteen, jolloin ristitulon avulla saadaan selville kunkin kulman etumerkki.

Tason laskennallisessa geometriassa ristitulon avulla voidaan määrittää kolmen pisteen $p_1=(x_1,y_1)$, $p_2=(x_2,y_2)$ ja $p_3=(x_3,y_3)$ määräämän kulman etumerkki. Se vastaa pisteparin $p_1,p_2$ ja $p_1,p_3$ määräämien, samassa talossa olevien vektorien ristitulon suuntaa, toisin sanoen lausekkeen $P=(x_2-x_1)(y_3-y_1)-(y_2-y_1)(x_3-x_1)$ etumerkkiä. Jos ristitulo on nolla, pisteet ovat samalla suoralla. Käytettäessä "oikeakätisestä" koordinaatti­järjestelmää nämä kolme pistettä muodostavat positiivisen pyörähdys­kulman kierrossa pisteen $p_1$ ympäri pisteestä $p_2$ pisteeseen $p_3$, mikäli lauseke on positiivinen, ja negatiivisen pyörähdys­kulman, jos lauseke on negatiivinen.

Ristitulon avulla voidaan laskea moni­tahokkaiden kuten tetraedrin tai suuntaissärmiön tilavuus.

Pyörimismäärä ja vääntömomentti

Hiukkasen pyörimismäärä $𝐋$ annetun akselin suhteen on:

$𝐋=𝐫\times 𝐩$

missä $𝐫$ hiukkasen paikkavektori origon suhteen ja $𝐩$ hiukkasen liikemäärä.

Samaan tapaan pisteeseen B vaikuttavan voiman momentti pisteen A suhteen on:

${𝐌}_{\mathrm{A}}={𝐫}_{\mathrm{A}\mathrm{B}}\times {𝐅}_{\mathrm{B}}$

Mekaniikassa voiman momenttia sanotaan myös vääntömomentiksi ja merkitään $\mathit{\tau }$

Koska paikkavektori $𝐫$, liikemäärä $𝐩$ ja voima $𝐅$ ovat kaikki aitoja vektoreita, sekä pyörimismäärä $𝐋$ että voiman momentti $𝐌$ ovat pseudo­vektoreita eli aksiaalisia vektoreita.

Jäykkä kappale

Ristituloa käytetään usein jäykän kappaleen kuvailuun. Jäykän kappaleen kahden pisteen O ja Q välinen etäisyys pysyy vakiona, ja niiden nopeuksien välinen riippuvuus kappaleen pyöriessä on:

${𝐯}_P-{𝐯}_Q=\mathit{\omega }\times ({𝐫}_P-{𝐫}_Q)$

missä $𝐫$ on kunkin pisteen paikkavektori, $𝐯$ sen nopeus ja $\mathit{\omega }$ kappaleen kulmanopeus.

Koska paikkavektori $𝐫$ ja nopeus $𝐯$ ovat aitoja vektoreita, kun taas kulmanopeus $\mathit{\omega }$ on pseudovektori eli aksiaalinen vektori.

Lorentzin voima

Ristitulo esiintyy Lorentzin voiman lausekkeessa, joka osoittaa, kuinka suuri voima liikkuvaan sähkö­varaukseen $q_e$ vaikuttaa sähkö- ja magneetti­kentässä.

$𝐅=q_e(𝐄+𝐯\times 𝐁)$

Koska nopeus $𝐯$, voima $𝐅$ ja sähkökentän voimakkuus $𝐄$ ovat kaikki aitoja vektoreita, kun taas magneettivuon tiheys $𝐁$ on pseudovektori.

Muita sovelluksia

Vektorianalyysissä vektorikentän roottori määritellään muodollisesti nablan ja vektori­kentän ristitulona.

Ristitulon kirjoittaminen matriisien kertolaskun muotoon on epipolaarisessa geometriassa paljon käytetty toimenpide.

Ristitulo ulkoisena tulona

Tiedosto:Exterior calc cross product.svg

Ristitulo ja ulkoinen tulo. Punaiset nuolet ovat kohtisuorat yksikkövektorit sekä "niiden suuntainen" yksikköbivektori.

Ristituloa voidaan kuvata ulkoisen tulon käsittein. Tämä näkemys sallii ristitulon luonnollisen geometrisen tulkinnan. Ulkoisessa algebrassa kahden vektorin ulkoinen tulo (eli kiilatulo) on bivektori. Bivektori on suunnattu tasoalue pitkälti samaan tapaan kuin vektori on suunnattu jana. Kun on annettu kaksi vektoria a ja b, niiden bivektori $a\wedge b$ voidaan käsittää suunnatuksi suunnikkaaksi, jonka sivuina a ja b ovat. Ristitulo saadaan tällöin ottamalla bivektorista $a\wedge b$ Hodgen duaali, joka kuvaa 2-vektorit vektoreille:

$a\times b=*(a\wedge b).$

Tämä voidaan käsittää suunnatuksi moni­ulotteiseksi alkioksi, joka on "kohtisuorassa" bivektoria vastaan. Vain kolmessa ulottuvuudessa tuloksena saadaan suunnattu jana, siis vektori, kun taas esimerkiksi neljässä ulottuvuudessa Hodgen duaali on kaksi­ulotteinen, siis toinen tasoalue. Niinpä vain kolmessa ulottuvuudessa vektorien a ja b ristitulo on bivektorin $a\wedge b$ kanssa duaalinen vektori: se on kohti­suorassa bivektoria vastaan, sen suunta riippuu koordi­naatiston kätisyydestä, ja se suuruudeltaan samassa suhteessa kohti­suoraa yksikkö­vektoria suurempi kuin $a\wedge b$ on yksikkö­bivektoria suurempi, täsmälleen niin kuin sen ominaisuudet on edellä kuvattu.

Ristitulo ja kätisyys

Kun muodostetaan mitattavien suureiden ristitulo, koordinaatti­järjestelmän kätisyyttä ei voida valita mielivaltaisesti. Kun kuitenkin fysiikan lait kirjoitetaan yhtälöiksi, koordinaatti­järjestelmän ja myös sen kätisyyden pitäisi olla mielivaltaisesti valittavissa. Jotta tästä ei koituisi ongelmia, on oltava tarkkana, ettei koskaan kirjoiteta sellaisia yhtälöitä, joiden molemmat puolet eivät käyttäydy samoin kaikissa muunnoksissa, jotka voivat tulla kysymykseen. Jos esimerkiksi yhtälön toisella puolella on kahden vektorin ristitulo, on otettava huomioon, että jos koordinaatti­järjestelmän kätisyyttä ei ole ennalta annettu, tulos ei ole (aito) vektori vaan pseudovektori. Tällöin yhteen­sopivuus­syistä yhtälön toisenkin puolen on oltava pseudo­vektori.

Yleisesti ristitulo voi olla joko aito vektori tai pseudo­vektori riippuen siitä, kumpaa tyyppiä sen tekijät ovat. Tuloksen tyyppi riippuu sen tekijöiden tyypeistä seuraavasti:

• vektori × vektori = pseudovektori
• pseudovektori × pseudovektori = pseudovektori
• vektori × pseudovektori = vektori
• pseudovektori × vektori = vektori.

Tästä seuraa myös, että ylempänä esitetyt ortonormaalin oikeakätisen karteesisen koordinaatiston yksikkö­vektorien i, j ja k ristitulot edellyttävät itse asiassa, että kaikki nämä kanta­vektorit ovat pseudo­vektoreita (ellei niiden ei sallita olevan eri tyyppiä, mitä yleensä ei sallitakaan), sillä Malline:Nowrap, Malline:Nowrap and Malline:Nowrap.

Koska ristitulo saattaa olla myös (aito) vektori, se ei välttämättä vaihda suuntaansa peilauksessa tason suhteen. Näin on asian laita, jos toinen ristitulon tekijöistä on (aito) vektori ja toinen pseudovektori (toisin sanoen kahden vektorin ristitulo) Esimerkiksi kolmen aidon vektorin vektorikolmitulo on aito vektori.

Yleistyksiä

On olemassa useita tapoja yleistää ristitulon käsite useampaan ulottuvuuteen.

Lien algebra

Ristitulo on yksi yksinkertaisimmista Lien tuloista, ja näin ollen sitä yleistyksiä Lien algebrat, jotka on aksiomatisoitu binääriksi tuloiksi, jotka toteuttavat multilineaarisuuden, ristikkäissymmetrian ja Jacobin identiteetin aksioomat. On olemassa monia Lien algebroja, ja niiden tutkimuksesta on tullut laaja matematiikan ala, Lien teoria.

Esimerkiksi Heisenbergin algebra antaa toisen Lien algebran mukaisen struktuurin avaruudelle ${𝐑}^3.$ Tässä kannassa $\{x,y,z\},$ tulo on $[x,y]=z,[x,z]=[y,z]=0.$

Kvaterniot

Ristitulo voidaan esittää myös kvaternioiden termein, ja tämä onkin syynä siihen, miksi kirjaimia i, j ja k on alettu käyttää avaruuden ${ℝ}^3$ standardien kantavektorien tunnuksina. Yksikkö­vektorit i, j ja k vastaavat "binäärisiä" (180 asteen) kiertoja vastaavien akselien ympäri. Näitä rotaatiota vastaavat "puhtaat" kvaterniot, joiden skalaari­osa on nolla ja joiden normi on 1.

Esimerkiksi edellä esitetyt yksikkö­vektorien i, j, and k ristitulot vastaavat täysin kvaternioiden i, j ja k kertolaskua. Yleensäkin jos vektori Malline:Nowrap esitetään kvaterniona Malline:Nowrap, kahden vektorin ristitulo saadaan laskemalla vastaavien kvaternioiden tulo ja poistamalla tuloksesta reaaliosa. Tämä reaaliosa on toisaalta sama kuin samojen vektorien pistetulon vastavektori.

Samastamalla 'puhtaasti imaginaariset kvaterniot edellä selitetyllä tavalla ${ℝ}^3$:n vektorien kanssa osoittautuu toisaalta, että vektorien ristitulo on puolet vastaavien kvaternioiden kommutaattorin arvosta.

Oktoniot

Seitsenulotteisten vektorien ristitulo voidaan muodostaa samaan tapaan kuin kolmiulotteistenkin käyttämällä oktonioita kvaternioiden sijasta. Se että muissa kuin kolmi- tai seitsenulotteisessa avaruudessa ei ole ei-triviaalia vektoriarvoista ristituloa, seuraa Hurwitzin lauseesta, jonka mukaan ainoat normitetut jakoalgebrat ovat 1-, 2-, 4- ja 8-ulotteiset.

Kiilatulo

Useammassa ulottuvuudessa ristitulolla ei ole suoranaista vastinetta, joka antaisi tulokseksi vektorin. On kuitenkin olemassa käsite kiilatulo, jolla on samantapaisia ominaisuuksia, paitsi että kahden vektorin kiilatulo ei ole tavallinen vektori vaan 2-vektori. Kuten edellä mainittiin, ristitulo voidaan tulkita kiilatuloksi kolmessa ulottuvuudessa käyttämällä Hodgen duaalia 2-vektorien kuvaamiseksi vektoreille. Kiilatulon Hodgen duaali antaa tuloksenaan Malline:Nowrap-vektorin, joka on ristitulon luonnollinen yleistys missä tahansa määrässä ulottuvuuksia.

Kiilatulo ja pistetulo voidaan yhteenlaskemalla yhdistää geometriseksi tuloksi.

Antisymmetriset matriisit

Jos ristitulon edellytetään olevan binäärinen laskutoimitus, sen argumentteina on oltava tarkalleen kaksi vektoria. Jos sen tuloksen ei tarvitse olla vektori tai pseudovektori vaan sen sijaan matriisi, käsite voidaan yleistää kuinka moneen ulottuvuuteen tahansa.

Esimerkiksi mekaniikassa kulmanopeus voidaan tulkita joko pseudovektoriksi $\omega$ tai antisymmetriseksi matriisiksi eli ristikkäissymmetriseksi tensoriksi $\mathrm{\Omega }$. Jälkimmäisessä tapauksessa jäykän kappaleen nopeuslaki saa muodon:

${𝐯}_P-{𝐯}_Q=\mathrm{\Omega }\cdot ({𝐫}_P-{𝐫}_Q)$

missä O määritellään muodollisesti kappaleen asemaan liittyvän pyörähdysmatriisin $R^{N\times N}$ avulla: $\mathrm{\Omega }\triangleq \frac{dR}{dt}{R}^{\mathrm{T}}$. Kolmessa ulottuvuudessa pätee:

$\mathrm{\Omega }=[\omega {]}_{\times }=\left[\begin{array}{ccc}0& -{\omega }_3& {\omega }_2\\ {\omega }_3& 0& -{\omega }_1\\ -{\omega }_2& {\omega }_1& 0\end{array}\right]$

Kvanttimekaniikassa pyörimismäärä eli liikemäärämomentti $L$ esitetään usein antisymmetrisenä matriisina tai tensorina. Tarkemmin sanottuna se on kappaleen paikan $𝐱$ ja liikemäärän $𝐩$ ristitulo:

$L_{ij}=x_i{p}_j-p_i{x}_j$

Koska sekä $𝐱$:llä että $𝐩$:llä voisi olla mielivaltainen määrä $N$ komponentteja, tämäntyyppinen ristitulo voidaan yleistää kuinka moneen ulottuvuuteen tahansa siten, että laskutoimituksen "fysikaalinen" tulkinta säilyy.

Asian laskennallisesta puolesta kerrottiin edellä osiossa #Vaihtoehtoisia tapoja ristitulon laskemiseksi.

Historia

Vuonna 1773 italialainen matemaatikko Joseph Louis Lagrange (alkuperäiseltä nimeltään Giuseppe Luigi Lagrancia) otti käyttöön sekä piste- että ristituloksi nykyisin nimitetyt lausekkeet tutkiessaan tetraedriä kolmessa ulottuvuudessa. Vuonna 1843 irlantilainen matemaattinen fyysikko Sir William Rowan Hamilton otti käyttöön kvaterniot ja niiden kertolaskun sekä samalla myös termit "vektori" ja skalaari". Jos Malline:Nowrap ja Malline:Nowrap ovat kaksi kvaternioita, joissa u ja v ovat ${ℝ}^3$:n vektoreita, kvaternioiden tulo on Malline:Nowrap. James Clerk Maxwell muotoili kuuluisat sähkömagnetismin yhtälönsä alun perin Hamiltonin kvaternioiden avulla, ja tästä ja muista syistä kvaterniot kuuluivat jonkin aikaa oleellisena osana fysiikan oppimäärään.

Vuonna 1878 William Kingdon Clifford julkaisi teoksensa Elements of Dynamic (Dynamiikan alkeet), joka aikanaan oli hyvin edistyksellinen. Siinä hän määritteli kahden vektorin tulon vektoriksi, joka oli suuruudeltaan yhtä suuri kuin sen suunnikkaan pinta-ala, jonka sivuina alkuperäiset vektorit ovat, ja suunta kohtisuorassa niiden muodostamaa tasoa vasten.

Englantilainen Oliver Heaviside ja Yalen yliopiston professori Josiah Willard Gibbs Connecticutissa olivat myös sitä mieltä, että kvaternioihin perustuvat laskenta­menetelmät olivat liian hankalia, ja niitä käytettäessä tuloksesta oli usein merkitystä vain sen skalaari- tai vektoriosalla. Niinpä he ottivat käyttöön sekä piste- että risti­tulon noin 40 vuotta kvater­nioiden käyttöön­oton jälkeen, mutta he saivat osakseen kiivasta vastustusta. Siihen, että uusi lähestymis­tapa lopulta hyväksyttiin, vaikutti paljolti sen tehokkuus, joka teki Heavisidelle mahdolliseksi yhdistää Maxwellin alku­peräisistä 20 sähkö­magnetismin yhtälöistä useita siten, että jäljelle jäivät vain ne neljä, joita nykyisinkin yleisesti käytetään.

Tästä kehityksestä pitkälti riippumatta ja saamatta omana aikanaan osakseen sanottavaa huomiota Hermann Grassmann kehitti geometrisen algebran, joka ei rajoittunut kahteen tai kolmeen ulottuvuuteen ja jossa ulkoisella tulolla oli keskeinen osa. Vuonna 1853 Grassmannin aikalainen Augustin-Louis Cauchy julkaisu tutkielman algebrallisista avaimista, joilla voitiin ratkaista yhtälöitä ja joilla oli samat kertolaskuominaisuudet kuin ristitulolla. William Kingdon Clifford yhdisti Hamiltonin ja Grassmanin algebrat Cliffordin algebraksi, jossa kahden vektorin tulona saatava bivektori kolmiulotteisten vektorien tapauksessa on vektorin kaltainen ja vastaa vektorien ristituloa.

Ristitulon nimen ja merkinnän otti käyttöön Gibbs. Alun perin ne esiintyivät hänen yksityisesti opiskelijoilleen laatimassa monisteessa Elements of Vector Analysis vuodelta 1881. Käsitteen käyttökelpoisuuden mekaniikassa pani merkille Aleksandr Kotelnikov. Gibbsin merkintä ja nimitys "ristitulo" tulivat yleiseen käyttöön sen jälkeen, kun hänen entinen oppilaansa Edwin Bidwell Wilson laati oppikirjan Vector Analysis. Wilson järjesteli Gibbsin luentojen aineiston uudelleen ja yhdisti siihen aineistoa Heavisideltä, Föppsiltä ja Hamiltonilta. Hän jakoi vektorianalyysin kolmeen osaan: Malline:Lainaus Kirjassa määriteltiin kahdenlaiset vektorien kertolaskut, joista käytettiin seuraavia nimiä:

• kahden vektorin suora, skalaari- eli pistetulo
• kahden vektorin ristikkäinen, vektori- eli ristitulo.

Kirjassa käsiteltiin myös useita erilaisia kolmituloja sekä useamman kuin kolmen vektorin tuloja. Edellä mainittu kolmitulon laajennus oli myös mukana.

Katso myös

• Karteesinen tulo (tulojoukko)
• Pistetulo
• Skalaarikolmitulo
• Pseudovektori

Lähteet

• Malline:Kirjaviite
• Malline:Kirjaviite
• Malline:Kirjaviite
• Malline:Kirjaviite

Kirjallisuutta

• Malline:Kirjaviite
• Malline:Kirjaviite
• Malline:Verkkoviite

Aiheesta muualla

• Malline:Kirjaviite
• Malline:Verkkoviite
• Malline:Verkkoviite
• Malline:Verkkoviite
• Malline:Verkkoviite
• Malline:Verkkoviite