Visa källa för Bivektor

Inom [[matematik]]en är en '''bivektor''' eller '''2-vektor''' en kvantitet inom [[yttre algebra]] eller [[geometrisk algebra]] som utökar idén om [[skalär]]er och [[vektor]]er. Om en skalär anses vara en kvantitet av ordning noll och en vektor av ordning ett, kan en bivektor anses vara av ordning två. Bivektorer har tillämpningar inom många områden av matematik och [[fysik]]. De är relaterade till [[komplexa tal]] i två dimensioner och till både [[pseudovektor]]er och [[Kvaternion|kvaternioner]] i tre dimensioner. De kan användas för att generera rotationer i valfritt antal dimensioner och är ett användbart verktyg för att klassificera sådana rotationer. De används också inom fysiken och binder samman ett antal orelaterade mängder.

[[File:Wedge product.JPG|thumb|Parallella plana segment med samma orientering och area motsvarande samma bivektor {{nowrap|'''a''' ∧ '''b'''}} <ref name=Dorst>
{{Bokref|författare1=Leo Dorst |författare2=Daniel Fontijne |författare3=Stephen Mann |titel=Geometric Algebra for Computer Science: An Object-Oriented Approach to Geometry |url=https://books.google.com/books?id=-1-zRTeCXwgC&pg=PA32#v=onepage&q=&f=false |sid=32 |isbn=0-12-374942-5 |utgivare=Morgan Kaufmann |år=2009 |upplaga=2nd |citat=The algebraic bivector is not specific on shape; geometrically it is an amount of oriented area in a specific plane, that's all.}}</ref>]]
Bivektorer genereras av den [[yttre produkt]]en på vektorer: givet två vektorer ''a'' och ''b'', är deras yttre produkt en bivektor ''a'' ∧ ''b'', liksom varje summa av bivektorer. Inte alla bivektorer kan genereras som en enda yttre produkt. Mer exakt kallas en bivektor som kan uttryckas som en yttre produkt enkel; i upp till tre dimensioner är alla bivektorer enkla, men för högre dimensioner är detta inte fallet. Bivektorn ''b'' ∧ ''a'' är negationen av bivektorn ''a'' ∧ ''b'', vilket ger motsatt orientering och en bivektor ''a'' ∧ ''a'' är nollbivektorn.

Segment av parallella plan med samma orientering och area motsvarar samma bivektor ''a'' ∧ ''b''.
En enkel bivektor kan geometriskt tolkas som ett orienterat plant areasegment, på liknande sätt som vektorer kan anses vara riktade linjesegment<ref name=Hestenes>
{{Bokref|titel=New foundations for classical mechanics: Fundamental Theories of Physics |författare=David Hestenes |url=https://books.google.com/books?id=AlvTCEzSI5wC&pg=PA21 |sid=21 |isbn=0-7923-5302-1 |upplaga=2nd |år=1999 |utgivare=Springer |författarlänk=David Hestenes}}
</ref>. Bivektorn ''a'' ∧ ''b'' har en magnitud lika med storleken av det område i [[parallellogram]]men med sidorna ''a'' och ''b'', som spänns upp av ''a'' och ''b'' och vars orientering är den rotation som skulle få ''a'' att sammanfalla med ''b''.
I lekmannatermer är varje yta samma bivektor om den har samma area, samma orientering och är parallell med ett givet plan.

==Härledning==
I denna artikel kommer bivektorer endast att behandlas inom ramen reella geometriska algebror. I praktiken är detta en mindre begränsning då alla användbara applikationer härleds från sådana algebror. 

===Geometrisk algebra och den geometriska produkten===
Bivektorn uppkommer från definitionen av den '''geometriska produkten''' över ett vektorrum. För vektorna '''a''', '''b''' och '''c''', definieras den geometriska produkten för vektorer enligt

[[Associativitet]]:
:<math> (\mathbf{ab})\mathbf{c} = \mathbf{a}(\mathbf{bc}) </math>
Vänster- och höger[[distributivitet]]:
: <math> \mathbf{a}(\mathbf{b} + \mathbf{c}) = \mathbf{ab} + \mathbf{ac} </math>
: <math> (\mathbf{b} + \mathbf{c})\mathbf{a} = \mathbf{ba} + \mathbf{ca} </math>
[[Kontraktionsavbildning|Kontraktion]]:
: <math> {\mathbf{a}}^2 = Q(\mathbf{a}) = \epsilon_{\mathbf{a}}{\left |\mathbf{a}\right|}^2</math>
där ''Q'' är en [[kvadratisk form]], |'''a'''| är [[Norm (matematik)|magnituden]] av '''a''' och ''ϵ''<sub>'''a'''</sub> är vektorns metriska signatur. För en rymd där den euklidiska metriken ''ϵ''<sub>'''a'''</sub> är 1 och kan utelämnas, blir kontraktionsvillkoret
: <math> {\mathbf{a}}^2 = {\left |\mathbf{a}\right|}^2</math>

===Den inre produkten===
Från associativiteten följer {{nowrap|'''a'''('''ab''') {{=}} '''a'''<sup>2</sup>'''b'''}}, en skalär multiplicerad med '''b'''. När '''b''' inte är parallell med '''a''' och således inte är en skalär multipel av '''a''', kan '''ab''' inte vara skalär. Men
:<math> \frac{1}{2}(\mathbf{ab} + \mathbf{ba}) = \frac{1}{2} ((\mathbf{a} + \mathbf{b})^2 - \mathbf{a}^2 - \mathbf{b}^2)</math>
är en summa av skalärer och är således en skalär. Av [[cosinussatsen]] tillämpad på triangeln som bildas av vektorerna, är dess värde |'''a'''||'''b'''| cos ''θ'', där ''θ'' är vinkeln mellan vektorerna. Den är därför identisk med den inre produkten av två vektorer och skrivs på samma sätt,
:<math>\mathbf{a} \cdot \mathbf{b} = \frac{1}{2}(\mathbf{ab} + \mathbf{ba}).</math>
Den är symmetrisk, skalär och kan användas till att bestämma vinkeln mellan två vektorer.

===Den yttre produkten===
Precis som den inre produkten kan formuleras som den symmetriska delen av den geometriska produkten, kan en annan kvantitet, den yttre produkten, formuleras som den antisymmetriska delen av den geometriska produkten:

: <math> \mathbf{a} \wedge \mathbf{b} = \frac{1}{2}(\mathbf{ab} - \mathbf{ba})</math>

Den är antisymmetisk i  '''a''' och '''b'''
: <math> \mathbf{b} \wedge \mathbf{a} = \frac{1}{2}(\mathbf{ba} - \mathbf{ab})  = -\frac{1}{2}(\mathbf{ab} - \mathbf{ba}) = -\mathbf{a} \wedge \mathbf{b}</math>

och genom addition:

: <math>\mathbf{a} \cdot \mathbf{b} + \mathbf{a} \wedge \mathbf{b} = \frac{1}{2}(\mathbf{ab} + \mathbf{ba}) + \frac{1}{2}(\mathbf{ab} - \mathbf{ba}) = \mathbf{ab}</math>

Det vill säga, den geometriska produkten är summan av den symmetriska inre produktem och den antisymmetriska yttre produkten.

För att undersöka egenskaperna hos {{nowrap|'''a''' ∧ '''b'''}}, betrakta formeln
: <math>(\mathbf{a} \cdot \mathbf{b})^2 - (\mathbf{a} \wedge \mathbf{b})^2 = \mathbf{a}^2\mathbf{b}^2 ,</math>

vilken genom användande av [[Pythagoras sats|Phytagoras sats]] ger värdet av {{nowrap|('''a''' ∧ '''b''')<sup>2</sup>}} som

: <math> (\mathbf{a} \wedge \mathbf{b})^2 = (\mathbf{a} \cdot \mathbf{b})^2 - \mathbf{a}^2\mathbf{b}^2 = \left|\mathbf{a}\right|^2\left|\mathbf{b}\right|^2( \cos^2 \theta - 1) = -\left|\mathbf{a}\right|^2\left|\mathbf{b}\right|^2\sin^2 \theta</math>

Med en negativ kvadrat, kan den inte vara en skalär kvantitet utan är ett nytt slag av objekt, en '''bivektor'''. Den har magnituden
:<math>|\mathbf a|\ |\mathbf b|\ |\sin\theta|</math> 
där ''θ'' är vinkeln mellan vektorerna och är 0 för parallella vektorer.

==Referenser==
* {{enwp|url=//en.wikipedia.org/w/index.php?title=bivector&oldid=|artikel=bivector|datum=18 maj 2017}}
===Noter===
<references/>
== Externa länkar ==
*{{Commonscat|Bivectors}}

{{Linjär-algebra|state=collapsed}}

[[Kategori:Vektoranalys]]
[[Kategori:Tensorer]]
[[Kategori:Bilinjära former]]
[[Kategori:Riemanngeometri]]