Bivektor

Från Wikipedia
Hoppa till navigering Hoppa till sök

Inom matematiken är en bivektor eller 2-vektor en kvantitet inom yttre algebra eller geometrisk algebra som utökar idén om skalärer och vektorer. 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 pseudovektorer och 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.

Parallella plana segment med samma orientering och area motsvarande samma bivektor ab [1]

Bivektorer genereras av den yttre produkten på vektorer: givet två vektorer a och b, är deras yttre produkt en bivektor ab, 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 ba är negationen av bivektorn ab, vilket ger motsatt orientering och en bivektor aa är nollbivektorn.

Segment av parallella plan med samma orientering och area motsvarar samma bivektor ab. En enkel bivektor kan geometriskt tolkas som ett orienterat plant areasegment, på liknande sätt som vektorer kan anses vara riktade linjesegment[2]. Bivektorn ab har en magnitud lika med storleken av det område i parallellogrammen 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[redigera | redigera wikitext]

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[redigera | redigera wikitext]

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:

Vänster- och högerdistributivitet:

Kontraktion:

där Q är en kvadratisk form, |a| är magnituden av a och ϵa är vektorns metriska signatur. För en rymd där den euklidiska metriken ϵa är 1 och kan utelämnas, blir kontraktionsvillkoret

Den inre produkten[redigera | redigera wikitext]

Från associativiteten följer a(ab) = a2b, 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

ä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,

Den är symmetrisk, skalär och kan användas till att bestämma vinkeln mellan två vektorer.

Den yttre produkten[redigera | redigera wikitext]

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:

Den är antisymmetisk i a och b

och genom addition:

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 ab, betrakta formeln

vilken genom användande av Phytagoras sats ger värdet av (ab)2 som

Med en negativ kvadrat, kan den inte vara en skalär kvantitet utan är ett nytt slag av objekt, en bivektor. Den har magnituden

där θ är vinkeln mellan vektorerna och är 0 för parallella vektorer.

Referenser[redigera | redigera wikitext]

Den här artikeln är helt eller delvis baserad på material från engelskspråkiga Wikipedia, bivector, 18 maj 2017.

Noter[redigera | redigera wikitext]

  1. ^ Leo Dorst; Daniel Fontijne; Stephen Mann (2009). Geometric Algebra for Computer Science: An Object-Oriented Approach to Geometry (2nd). Morgan Kaufmann. sid. 32. ISBN 0-12-374942-5. https://books.google.com/books?id=-1-zRTeCXwgC&pg=PA32#v=onepage&q=&f=false. ”The algebraic bivector is not specific on shape; geometrically it is an amount of oriented area in a specific plane, that's all.” 
  2. ^ David Hestenes (1999). New foundations for classical mechanics: Fundamental Theories of Physics (2nd). Springer. sid. 21. ISBN 0-7923-5302-1. https://books.google.com/books?id=AlvTCEzSI5wC&pg=PA21 
Venn A intersect B.svg Matematikportalen – portalen för matematik på svenskspråkiga Wikipedia.