Vektora produto: Malsamoj inter versioj

El Vikipedio, la libera enciklopedio
[nekontrolita versio][nekontrolita versio]
Enhavo forigita Enhavo aldonita
ArthurBot (diskuto | kontribuoj)
e roboto aldono de: bs:Vektorski proizvod
Xqbot (diskuto | kontribuoj)
e roboto aldono de: als:Kreuzprodukt; cosmetic changes
Linio 39: Linio 39:
:'''a''' × ('''b''' × '''c''') + '''b''' × ('''c''' × '''a''') + '''c''' × ('''a''' × '''b''') = '''0'''.
:'''a''' × ('''b''' × '''c''') + '''b''' × ('''c''' × '''a''') + '''c''' × ('''a''' × '''b''') = '''0'''.


Se '''a''' × '''b''' = '''a''' × '''c''' kaj '''a''' ≠ '''0''' ne nepre '''b''' = '''c''':
Se '''a''' × '''b''' = '''a''' × '''c''' kaj '''a''' ≠ '''0''' ne nepre '''b''' = '''c''':
:Se '''a''' × '''b''' = '''a''' × '''c''' kaj '''a''' ≠ '''0''' tiam ni povas skribi:
:Se '''a''' × '''b''' = '''a''' × '''c''' kaj '''a''' ≠ '''0''' tiam ni povas skribi:
:('''a''' × '''b''') − ('''a''' × '''c''') = '''0''' kaj, per la distribuebloregulo pli supre:
:('''a''' × '''b''') − ('''a''' × '''c''') = '''0''' kaj, per la distribuebloregulo pli supre:
Linio 151: Linio 151:


== Ekzemploj ==
== Ekzemploj ==
=== Ekzemplo 1===
=== Ekzemplo 1 ===
Estu du vektoroj '''a''' = (1,2,3) kaj '''b''' = (4,5,6). La vektora produto '''a''' × '''b''' estas
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).
: '''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===
=== Ekzemplo 2 ===
Estu du vektoroj '''a''' = (3,0,0) kaj '''b''' = (0,2,0). La vektora produto '''a''' × '''b''' estas
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).
: '''a''' × '''b''' = (3,0,0) × (0,2,0) = ((0 × 0 - 0 × 2), (0 × 0 - 3 × 0), (3 × 2 - 0 × 0)) = (0,0,6).
Linio 172: Linio 172:
La aliaj eblecoj estas la [[sep-dimensia vektora produto]] kaj la [[ekstera produto]] en [[eksteraĵa algebro]].
La aliaj eblecoj estas la [[sep-dimensia vektora produto]] kaj la [[ekstera produto]] en [[eksteraĵa algebro]].


==Vidu ankaŭ==
== Vidu ankaŭ ==
* [[Skalara produto]] (aŭ ''punkta produto'')
* [[Skalara produto]] (aŭ ''punkta produto'')
* [[Triopa produto]] - kelkaj produtoj de tri vektoroj
* [[Triopa produto]] - kelkaj produtoj de tri vektoroj
Linio 179: Linio 179:
* [[×]] (la simbolo)
* [[×]] (la simbolo)


==Eksteraj ligiloj==
== Eksteraj ligiloj ==
{{el}} [http://uk.arxiv.org/abs/math.la/0204357 Z.K. Mult-dimensia vektora produto. Ĵurnalo de Fiziko. A35, 4949] (ĝi estas ebla nur en 7-D spaco)
{{el}} [http://uk.arxiv.org/abs/math.la/0204357 Z.K. Mult-dimensia vektora produto. Ĵurnalo de Fiziko. A35, 4949] (ĝi estas ebla nur en 7-D spaco)
{{el}} [http://www.cut-the-knot.org/arithmetic/algebra/RealComplexProducts.shtml Reela kaj kompleksa produtoj de kompleksaj nombroj]
{{el}} [http://www.cut-the-knot.org/arithmetic/algebra/RealComplexProducts.shtml Reela kaj kompleksa produtoj de kompleksaj nombroj]
Linio 187: Linio 187:
[[Kategorio:Duumaj operacioj]]
[[Kategorio:Duumaj operacioj]]


[[als:Kreuzprodukt]]
[[ar:جداء اتجاهي]]
[[ar:جداء اتجاهي]]
[[bg:Векторно произведение]]
[[bg:Векторно произведение]]

Kiel registrite je 22:40, 20 apr. 2009

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 ne estas difinita ne en tridimensioj. Algebro super kampo 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 estimita nOT kiel vektoro, sed kiel pseŭdovektoro.

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

Difino

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 dekstra regulo 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 dekstra regulo.

Propraĵoj

Geometria signifo

La areo de paralelogramo kiel 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 propraĵoj

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 algebron de Lie.

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

Triopa produto

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-Rham .

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

Vektora produto en karteziaj koordinatoj

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

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

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

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 uzitaj 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

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

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

Ekzemplo 1

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

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

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

En la ĉirkaŭteksto de plurlineara algebro, 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 algebro.

Vidu ankaŭ

Eksteraj ligiloj

greke Z.K. Mult-dimensia vektora produto. Ĵurnalo de Fiziko. A35, 4949 (ĝi estas ebla nur en 7-D spaco) greke Reela kaj kompleksa produtoj de kompleksaj nombroj