Vektorový produkt

Vektorový součin dvou vektorů v trojrozměrném euklidovském prostoru  je vektor kolmý na oba původní vektory, jehož délka je číselně rovna ploše rovnoběžníku tvořeného původními vektory a je určena volba dvou směrů. aby trojice vektorů v pořadí v součinu a výsledný vektor byl správný . Vektorový součin kolineárních vektorů (zejména, pokud je alespoň jeden z faktorů nulový vektor ) je považován za rovný nulovému vektoru.

Pro určení křížového součinu dvou vektorů je tedy nutné určit orientaci prostoru, tedy říci, která trojice vektorů je pravá a která levá. V tomto případě není povinné nastavit jakýkoli souřadnicový systém v uvažovaném prostoru . Zejména pro danou orientaci prostoru výsledek vektorového součinu nezávisí na tom, zda je uvažovaný souřadnicový systém pravý nebo levý. V tomto případě se vzorce pro vyjádření souřadnic vektorového součinu pomocí souřadnic původních vektorů v pravém a levém ortonormálním pravoúhlém souřadnicovém systému liší znaménkem.

Vektorový součin nemá vlastnosti komutativnosti a asociativnosti . Je antikomutativní a na rozdíl od bodového součinu vektorů je výsledkem opět vektor.

Užitečné pro "měření" kolmosti vektorů - modul křížového součinu dvou vektorů se rovná součinu jejich modulů, pokud jsou kolmé, a klesá na nulu, pokud jsou vektory kolineární .

Široce používán v mnoha technických a fyzikálních aplikacích. Například moment hybnosti a Lorentzova síla jsou matematicky zapsány jako křížový součin.

Historie

Vektorový součin zavedl W. Hamilton v roce 1846 [1] současně se skalárním součinem v souvislosti s kvaterniony  - respektive jako vektorovou a skalární část součinu dvou kvaternionů, jejichž skalární část je rovna nule [2 ] .

Definice

Vektorový součin vektoru vektorem v trojrozměrném euklidovském prostoru je vektor , který splňuje následující požadavky:

Označení:

Poznámky

Jako definici můžete použít křížové vyjádření produktu popsané níže v souřadnicích v pravém (nebo levém) pravoúhlém souřadnicovém systému .

Také, soubor algebraických vlastností vektorového součinu může být vzat jako počáteční definice.

Pravé a levé trojice vektorů v trojrozměrném euklidovském prostoru

Uvažujme uspořádanou trojici nekomplanárních ( lineárně nezávislých ) vektorů v trojrozměrném euklidovském prostoru. V orientovaném prostoru bude taková trojice vektorů buď "vpravo" nebo "vlevo".

Geometrické definice

Spojme počátky vektorů v jednom bodě. Uspořádaná trojice nekoplanárních vektorů v trojrozměrném prostoru se nazývá pravá , jestliže od konce vektoru je pro pozorovatele viditelná nejkratší odbočka z vektoru na vektor proti směru hodinových ručiček . Naopak, pokud je nejkratší zatáčka vidět ve směru hodinových ručiček , pak se trojka nazývá levá .

Definice ruky

Další definice je spojena s pravou rukou člověka, od které je jméno převzato. Na obrázku je trojice vektorů , , správná .

Algebraická definice

Existuje také analytický způsob, jak určit pravou a levou trojici vektorů, což vyžaduje nastavení pravého nebo levého souřadnicového systému v uvažovaném prostoru a nemusí být nutně pravoúhlý a ortonormální .

Je nutné vytvořit matici, jejíž první řádek bude souřadnicemi vektoru , druhý - vektor , třetí - vektor . Potom v závislosti na znaménku determinantu této matice můžeme vyvodit následující závěry:

Poznámky

Definice „pravé“ a „levé“ trojice vektorů závisí na orientaci prostoru, ale nevyžadují, aby byl v uvažovaném prostoru specifikován žádný souřadnicový systém , stejně jako definice samotného vektorového součinu nevyžaduje tento. V tomto případě se vzorce pro vyjádření souřadnic vektorového součinu prostřednictvím souřadnic původních vektorů budou lišit znaménkem v pravém a levém pravoúhlém souřadnicovém systému .

Všechny vpravo (a vlevo od sebe) trojice vektorů se nazývají stejně orientované .

Pro danou prostorovou orientaci se souřadnicový systém nazývá pravý ( levý ), pokud je trojice vektorů se souřadnicemi , , pravá (levá).

Geometrická definice a definice pomocí ruky samy určují orientaci prostoru. Algebraická definice určuje způsob, jak rozdělit trojice nekoplanárních vektorů do dvou tříd stejně orientovaných vektorů, ale nespecifikuje orientaci prostoru, ale používá tu již danou - tu, na základě které je daná souřadnice systém je považován za pravý nebo levý. V tomto případě, je-li orientace souřadného systému neznámá, můžete porovnat znaménko determinantu se znaménkem determinantu jiné trojice nekoplanárních vektorů, jejichž orientace je známa - pokud jsou znaménka stejná , pak jsou trojky orientovány stejně, pokud jsou znaménka protilehlá, jsou trojky orientovány opačně.

Vlastnosti

Geometrické vlastnosti vektorového součinu

Obrázek ukazuje, že tento objem lze nalézt dvěma způsoby: geometrický výsledek je zachován, i když jsou „skalární“ a „vektorové“ produkty zaměněny:

Hodnota křížového součinu závisí na sinu úhlu mezi původními vektory, takže křížový součin lze považovat za stupeň "kolmosti" vektorů, stejně jako bodový součin lze považovat za stupeň "rovnoběžnost". Křížový součin dvou jednotkových vektorů je roven 1 (jednotkový vektor), pokud jsou počáteční vektory kolmé, a rovný 0 (nulový vektor), pokud jsou vektory paralelní nebo antiparalelní.

Algebraické vlastnosti křížového součinu

Dále , a označují, v tomto pořadí, vektor a skalární součin vektorů a .

Výkon Popis
Antikomutativnost .
Asociativita násobení skalárem.
Distributivita s ohledem na sčítání.
Jacobiho identita .
Formule "BAC minus CAB", Lagrangeova identita .
Speciální případ multiplikativnosti kvaternionové normy .
Hodnota tohoto výrazu se nazývá smíšený součin vektorů , , .

Vyjádření v souřadnicích

Na správném ortonormálním základě

Jsou-li dva vektory a reprezentovány v pravé ortonormální bázi souřadnicemi

pak jejich vektorový součin má souřadnice

Pro zapamatování tohoto vzorce je vhodné použít mnemotechnický determinant :

kde , , , nebo

kde  je symbol Levi-Civita .

Na levém ortonormálním základě

Pokud je základ ponechán ortonormální, pak vektorový součin v souřadnicích má tvar

Pro zapamatování podobně:

nebo

Vzorce pro levý souřadnicový systém lze získat ze vzorců pro pravý souřadnicový systém zápisem stejných vektorů do pomocného pravého souřadného systému ( ):

V libovolném afinním souřadnicovém systému

Vektorový součin v libovolném afinním souřadnicovém systému má souřadnice

Variace a zobecnění

Čtveřice

Souřadnice vektorového součinu na pravém ortonormálním základě lze také zapsat ve formě čtveřice , takže písmena , ,  jsou standardním zápisem pro orts v : jsou považovány za imaginární čtveřice.

Všimněte si, že křížové součinové vztahy mezi , a odpovídají pravidlům násobení pro čtveřice , a . Pokud vektor reprezentujeme jako čtveřici , pak vektorový součin dvou vektorů získáme tím, že vektorovou část součinu odpovídajících čtveřic získáme. Bodový součin těchto vektorů je opakem bodového součinu těchto kvaternionů.

Transformace do maticového tvaru

Vektorový součin dvou vektorů v souřadnicích v pravé ortonormální bázi lze zapsat jako součin šikmo symetrické matice a vektoru:

kde

Nechť se rovná vektorovému součinu:

pak

Tato forma zápisu umožňuje zobecnit vektorový součin do vyšších dimenzí, reprezentujících pseudovektory ( úhlová rychlost , indukce atd.) jako takové šikmo symetrické matice. Je jasné, že takové fyzikální veličiny budou mít v -rozměrném prostoru nezávislé složky . V trojrozměrném prostoru se získají tři nezávislé složky, takže takové veličiny lze reprezentovat jako vektory tohoto prostoru.

S touto formou zápisu se také často lépe pracuje (například v epipolární geometrii ).

Z obecných vlastností vektorového součinu vyplývá, že

a

a protože je šikmo symetrický, pak

V této formě zápisu se Lagrangeova identita snadno prokáže (pravidlo „BAC minus CAB“).

Rozšíření na matrice

V trojrozměrném případě lze v souřadnicích na libovolném základě definovat vektorový součin matic a součin matice vektorem. To činí výše uvedený izomorfismus zřejmým a umožňuje nám zjednodušit mnoho výpočtů. Představme si tedy matici jako sloupec vektorů

Násobení maticových vektorů vlevo je definováno podobně, když je reprezentováno jako řetězec vektorů. Transpozice matice převádí řadu vektorů do sloupce vektorů a naopak. Je snadné zobecnit mnoho vztahů pro vektory na vztahy pro vektory a matice, například (  je matice, ,  jsou vektory):

Poté můžete změnit zápis vektorového produktu:

 je matice identity. Z toho je zřejmá existence a tvar matice odpovídající vektorovému násobení vektorem vlevo. Podobně lze získat výraz pro matici násobení pomocí vektoru vpravo. Rozšířením operací s vektory na matice komponentu po komponentě, reprezentující je jako "vektory vektorů", lze standardní vztahy pro vektory snadno zobecnit na matice. Například Stokesova věta má tvar:

kde se zvlnění matice vypočítá jako vektorový součin matice a Hamiltonova operátoru vlevo (předpokládá se, že základ je pravý ortonormální). V tomto zápisu je velmi snadné dokázat například následující formy Stokesovy věty:

Rozměry se nerovnají třem

Nechť  je rozměr prostoru.

Vektorový součin, který má všechny vlastnosti běžného trojrozměrného vektorového součinu, tj. binární bilineární antisymetrické nedegenerované zobrazení , lze zavést pouze pro rozměry 3 a  7 .

Existuje však jednoduché zobecnění na další přírodní dimenze, počínaje 3, a v případě potřeby i do dimenze 2 (ta však poměrně specifickým způsobem). Pak se toto zobecnění, na rozdíl od nemožného popsaného výše, zavádí nikoli pro dvojici vektorů, ale pouze pro množinu faktorových vektorů. Je to zcela analogické se smíšeným produktem , který je přirozeně zobecněn v -dimenzionálním prostoru na operaci s faktory. Pomocí symbolu Levi-Civita s indexy lze explicitně napsat takový -valentní křížový produkt jako

Takové zobecnění poskytuje hyperplochu dimenze .

Pokud potřebujete zavést operaci pouze pro dva faktory, která má geometrický význam, který je extrémně blízký významu vektorového součinu (tj. představující orientovanou oblast), pak výsledkem již nebude vektor, protože při faktory. Lze zavést bivektor, jehož složky se rovnají průmětům orientované oblasti rovnoběžníku překlenutého dvojicí vektorů na souřadnicové roviny:

.

Tato konstrukce se nazývá vnější produkt .

Pro dvourozměrný případ operace

.

se nazývá pseudoskalární součin , protože výsledný prostor je jednorozměrný a výsledkem je pseudoskalární . (Dvouindexový vnější součin popsaný výše lze také zavést pro dvourozměrný prostor, ale zjevně zcela triviálně souvisí s pseudoskalárním součinem, totiž vnější součin je v tomto případě reprezentován maticí s nulami na diagonále a zbývající dva mimodiagonální prvky se rovnají pseudoskalárnímu součinu a mínus pseudoskalární součin.)

Lieova algebra vektorů

Vektorový součin zavádí strukturu Lieovy algebry (protože splňuje oba axiomy – antisymetrii i Jacobiho identitu ). Tato struktura odpovídá identifikaci s Lieovou tečnou algebrou k Lieově grupe ortogonálních lineárních transformací trojrozměrného prostoru.

Viz také

Součin vektorů

jiný

Poznámky

  1. Crowe MJ Historie vektorové analýzy – Vývoj myšlenky vektorového systému . - Courier Dover Publications, 1994. - S. 32. - 270 s. — ISBN 0486679101 .
  2. Hamilton WR na kvaternionech; aneb o novém systému imaginací v algebře  // Filosofický časopis. 3. série. - Londýn, 1846. - T. 29 . - S. 30 .

Literatura

Odkazy