Vektora produto

(Alidirektita el Vektora transproduto)

En matematiko, la vektora produtokruca produto estas operacio sur du vektoroj en tri-dimensia eŭklida spaco, rezulto de kiu estas la alia vektoro.

Kontraste, la skalara produto de du vektoroj estas skalaro.

La vektora produto estas difinita nur en tridimensioj (aǔ pli ol tri, vidu la lastan paragrafon). Algebra strukturo difinita per la vektora produto estas ne asocieca. Simile al la skalara produto, ĝi dependas de la metriko de eŭklida spaco. Malsimile al la skalara produto, ĝi dependas ankaŭ de la elekto de orientiĝo. Por ajnaj elektoj de orientiĝo, la vektora produto devas esti estimata NE kiel vektoro, sed kiel pseŭdovektoro.

Ilustraĵo de la vektora produto en respektivo al dekstra koordinatsistemo.

Difino

redakti
 
Reguloj de la tri fingroj de la maldekstra mano (pri maldekstra koordinatsistemo) kaj de la dekstra mano (pri dekstra koordinatsistemo).

La vektora produto de du vektoroj a kaj b estas skribata kiel a × b. En tri-dimensia eŭklida spaco, kun dekstraj karteziaj koordinatoj, ĝi estas difinita kiel vektoro c kiu estas perpendikulara al ambaŭ a kaj b, kun direkto donita per la regulo de la tri fingroj kaj kun grandeco egala al la areo de la paralelogramo kiun la vektoroj generas.

La vektora produto estas donita per formulo

 

kie θ estas angulo inter a kaj b (0° ≤ θ ≤ 180°), a kaj b estas la grandecoj de vektoroj a kaj b, kaj   estas unuobla vektoro perpendikulara al la ebeno enhavanta na a kaj b. Se vektoroj a kaj b estas samrekta (do la angulo θ inter ilin estas ĉu 0° aŭ 180°), la ebeno ne estas difinita, sed ĉi tio ne gravas ĉar tiam sin θ = 0 kaj la vektora produto de a kaj b estas la nula vektoro 0.

La direkto de la vektoro   estas donita per la reguloj de la dekstra mano aǔ de la maldekstra mano (vidu la apudan bildon).

Proprecoj

redakti

Geometria signifo

redakti
 
La areo de la paralelogramo kiel amplitudo de la vektora produto.

La grandeco de la vektora produto povas esti interpretita kiel la sensigna areo de la paralelogramo havanta a kaj b kiel flankoj:

 

Algebraj proprecoj

redakti

La vektora produto estas malkomuteca,

a × b = −b × a,

distribueca super adicio,

a × (b + c) = (a × b) + (a × c),

kaj kongrua kun skalara multipliko tiel ke

(r a) × b = a × (r b) = r (a × b).

Ĝi estas ne asocieca, sed verigas la jakobian identon:

a × (b × c) + b × (c × a) + c × (a × b) = 0.

Se a × b = a × c kaj a0 ne nepre b = c:

Se a × b = a × c kaj a0 tiam ni povas skribi:
(a × b) − (a × c) = 0 kaj, per la distribuebloregulo pli supre:
a × (bc) = 0
Nun, se a estas paralelo al (bc), tiam eĉ se a0 ĝi eblas ke (bc) ≠ 0 kaj pro tio bc.

Tamen, se a0 kaj ambaŭ a · b = a · c kaj a × b = a × c, tiam oni povas konkludi ke b = c. Ja,

a . (b - c) = 0, kaj
a × (b - c) = 0

por ke b - c estas ambaŭ paralela kaj perpendikulara al la ne-nula vektoro a. Ĉi tiu eblas nur se b - c = 0.

La distribueco, lineareco kaj Jakobia idento donas ke R3 kaj ankaŭ vektora adicio kaj vektora produto formas alĝebron de Lie.

Du ne-nulaj vektoroj a kaj b estas paralelaj se kaj nur se a × b = 0.

Triopa produto

redakti
  Pli detalaj informoj troveblas en artikolo Triopa produto.

La elvolvaĵo de triopa produto, ankaŭ sciata kiel formulo de Lagrange, estas formulo rilatanta al vektora produto de tri vektoroj, vektora triopa produto:

a × (b × c) = b(a · c) - c(a · b).

Speciala okazo, kun gradiento kiu estas uzata en vektora kalkulo, estas:

 

Ĉi tiu estas speciala okazo de la pli ĝenerala operatoro de Laplaco  .

Jena idento ankaŭ rilatas la vektora produto kaj la skalara produto:

 

Kvankam skribita ĉi tie en terminoj de koordinatoj, kiel sekvas el la geometria difino pli supre, la vektora produto estas invarianta sub turnadoj de la koordinatosistemo se la orientiĝo konserviĝas.

Se la akso de turnado estas paralela al a×b, ankaŭ la nombra rezulto de vektora produto en koordinatoj konserviĝas.

Skribmaniero kun apartaj koordinatoj

redakti

La unuoblaj vektoroj i, j, kaj k de la donita perpendikulara koordinatsistemo kontentigas jenon:

i × j = k j × k = i k × i = j.

Kun ĉi tiuj reguloj, la koordinatoj de la vektora produto de du vektoroj povas esti komputita facile, sen la bezono difini angulojn. Estu:

a = a1i + a2j + a3k = (a1, a2, a3)

kaj

b = b1i + b2j + b3k = (b1, b2, b3)

Do

a × b = (a2b3 - a3b2) i + (a3b1 - a1b3) j + (a1b2 - a2b1) k = (a2b3 - a3b2, a3b1 - a1b3, a1b2 - a2b1)

Matrica skribmaniero

redakti

La skribmaniero kun apartaj koordinatoj povas ankaŭ esti skribita formale kiel la determinanto de matrico:

 

La determinanto de tri vektoroj povas esti reakirita kiel

det (a, b, c) = a · (b × c).

Konvertiĝo al matrica multipliko

redakti

Vektora produto de du vektoroj (kiu povas nur esti difinita en tri-dimensia spaco) povas esti reskribita en terminoj de pura matrica multipliko kiel la produto de kontraŭsimetria matrico kaj vektoro, kiel sekvas:

 
 

kie

 

ankaŭ se   estas rezulto de vektora produto:

 

tiam

 

Ĉi tiu skribmaniero donas manieron de ĝeneraligado de vektora produto al la pli altaj dimensioj per anstataŭigo de pseŭdovektoroj (tiaj kiel angula rapidomagneta kampo) per tiaj deklivo-simetriaj matricoj. Ĉi tiaj fizikaj kvantoj havas n(n-1)/2 sendependajn komponantojn en n dimensioj, kio koincidas kun kvanto de dimensioj por tri-dimensia spaco, kaj ĉi tio estas kial vektoroj povas esti uzataj por prezenti ĉi tiaj kvantoj en 3-dimensia fiziko.

De la ĝeneralaj propraĵoj de la vektora produto sekvas ke:

  kaj  

kaj de tio ke   estas deklivo-simetria ĝi sekvas ke

 

La formulo de Lagrange (vidu pli supre) povas esti pruvita uzante ĉi tiun skribmanieron.

La pli supra difino de   signifas ke estas dissurĵeto inter la aro de 3×3 deklivo-simetriaj matricoj (ankaŭ skribata kiel SO(3)), kaj la operacio de prenado la vektora produto kun iu vektoro  .

Aplikoj

redakti

La vektora produto okazas en la formulo por la vektora operatora kirlo. Ĝi estas ankaŭ uzita por priskribi la lorencan forton spertatan per movanta elektra ŝargo en magneta kampo. La difinoj de momanto (fiziko) kaj angula movokvanto ankaŭ enhavas la vektoran produton.

La vektora produto povas ankaŭ esti uzata por kalkuli la normalon por triangulo aŭ plurlatero, operacio ofte plenumata en komputila grafiko.

Por donita punkto p kaj linio tra a kaj b en ebeno, ĉiuj kun z koordinata nulo, z komponanto de (p-a) × (b-a) estas pozitiva aŭ negativa, depende de tio en kiu flanko de la linio p estas.

Vektora produto kaj dekstreco

redakti

Kiam mezureblaj kvantoj enhavas vektorajn produtojn, la dekstreco de la uzartaj koordinatsistemoj ne povas esti ajna. Tamen, kiam fizikaj leĝoj estas skribitaj kiel ekvacioj, devus ebli fari ajnan elekton de la koordinatsistemo (inkluzivante ajnan dekstrecon). Por eviti problemojn, oni devus singardi al neniam skribi ekvacion kie la du flankoj ne kondutas egale sub ĉiuj transformoj kiuj bezone estas konsiderataj. Ekzemple, se unu flanko de la ekvacio estas vektora produto de du vektoroj, oni devas konsideri ke kiam la dekstreco de la koordinatsistemo ne estas fiksita apriore, la rezulto estas ne (vera) vektoro sed pseŭdovektoro. Pro tio, por konsekvenco, la kateto devas ankaŭ esti pseŭdovektoro.

Pli ĝenerale, la rezulto de vektora produto povas esti ĉu vektoro aŭ pseŭdovektoro, dependanta de la specoj de ĝiaj argumentaj vektoroj aŭ pseŭdovektoroj:

vektoro × vektoro = pseŭdovektoro
vektoro × pseŭdovektoro = vektoro
pseŭdovektoro × pseŭdovektoro = pseŭdovektoro

Ĉar la vektora produto povas ankaŭ esti vera vektoro, ĝi povas ne ŝanĝi direkton kun spegula bilda transformo. Ĉi tiu okazas, laŭ la pli supre interrilatoj, se unu el la argumentoj estas (vera) vektoro kaj la alia unu estas pseŭdovektoro (e.g., la vektora produto de du vektoroj).

Ekzemploj

redakti

Ekzemplo 1

redakti

Estu du vektoroj a = (1,2,3) kaj b = (4,5,6). La vektora produto a × b estas

a × b = (1,2,3) × (4,5,6) = ((2 × 6 - 3 × 5),-(1 × 6 - 3 × 4),+(1 × 5 - 2 × 4)) = (-3,6,-3).

Ekzemplo 2

redakti

Estu du vektoroj a = (3,0,0) kaj b = (0,2,0). La vektora produto a × b estas

a × b = (3,0,0) × (0,2,0) = ((0 × 0 - 0 × 2), (0 × 0 - 3 × 0), (3 × 2 - 0 × 0)) = (0,0,6).

Ĉi tiu ekzemplo havas jenaj interpretadoj:

  1. La areo de la paralelogramo (ortangulo en ĉi tiu okazo) estas 2 × 3 = 6.
  2. La vektora produto de du vektoroj en la xy ebeno estos esti paralela al la z akso.
  3. Pro tio ke) la z-komponanto de la rezulto estas pozitiva, la ne-malakuta angulo de a al b estas kontraŭhorloĝnadla, se observita de punkto sur la +z duonakso, se la koordinatsistemo estas dekstra.

Pli altaj dimensioj

redakti

Estas kelkaj vojoj al ĝeneraligi la vektora produto al la pli altaj dimensioj.

En la ĉirkaŭteksto de plurlineara alĝebro, eblas difini ĝeneraligitan vektoran produton en terminoj de pareco tiel ke la ĝeneraligita vektora produto de du vektoroj de dimensio n estas deklivo-simetria tensoro de rango n-2.

La aliaj eblecoj estas la sep-dimensia vektora produto kaj la ekstera produto en eksteraĵa alĝebro.

Vidu ankaŭ

redakti

Eksteraj ligiloj

redakti