Bu madde vektörler üzerindeki üçlü işlemler hakkındadır. sayılar kuramındaki kullanımı için Jacobi üçlü çarpımını sayfasına bakınız. nükleer füzyondaki çarpım için Lawson kategorizyonu sayfasına bakınız.
Vektör kalkülüsün'de, matematiğin bir dalıdır, üçlü çarpım genellikle öklit vektörü olarak adlandırılan üç boyutlu vektörlerin çarpımıdır. Üçlü çarpım tabiri iki farklı çarpım için kullanılır, bunlardan ilki skaler değerler için kullanılan skaler üçlü çarpımı, bir diğeri ise vektörel değerliler için kullanılan vektörel üçlü çarpımdır.
Skaler üçlü çarpım
Skaler üçlü çarpım (aynı zamanda karışık ya da kutu çarpımı olarak da adlandırılır) bir vektörün diğer iki vektörün vektörel çarpımıyla olan nokta çarpımı olarak tanımlanır.
Geometrik gösterim
Geometrik olarak, skaler üçlü çarpım
şekildeki paralelkenarın verilen üç vektörle tanımlanmış hacmidir.
Özellikleri
Üçlü skaler çarpım işlemi, Üç işlemcisinin (a, b, c) dairesel yerdeğişimine göre değişme özelliğine sahiptir:
Operantları tekrar dizmeden operatörlerin yerini değiştirmek üçlü çarpımın sonucunu değiştirmez. Bunun sebebi nokta çarpımının birleşme özelliği ve işlem öncelidir.
Kross çarpımında iki vektörün yer değiştirmesi orijinal üçlü çarpımın işaretini değiştiri:
Burada parantezler belirsizliğe yol açmadan atılabilir, çünkü işlem sırası açısından nokta çarpımı kross çarpımından sonradır. Eğer öncelik nokta çarpımında olsaydı, bir skaler ile bir vektörün çarpımı bir sonraki işlemimiz olurdu ve böyle bir işlem yapılamaz.
Skaler üçlü çarpım üç vektörü kolonları yahut sütunları (bir matris transpozesiyle aynı determinanta sahiptir) boyunca gösterilen3×3 'lük matrisin determinantı şekilde de anlaşılabilir:
Eğer üçlü skaler çarpım sıfırsa, bu a, b ve c vektörleri düzlemsel demektir, böyle vektörler tarafından tanımlan üç boyutlu bir paralel kenarın yüksekliği yoktur dolayısıyla hacmi sıfırdır.
Eğer iki üçlü skaler çarpımı sonucu çıkan vektör birbirine eşitse, o zaman çarpımın değeri sıfırdır:
Bu da bir başka özelliktir,
İki üçlü çarpımın birbiriyle olan basit çarpımı (yahut bir üçlü çarpımın karesi) nokta çarpımları çinsinden şu şekilde gösterilebilir:[1]
Bu iki 3×3 matrisin determinantlarının çarpımının iki vektörün matris çarpımının determinantına eşit olduğunu vektör notasyonunda yeniden gösterir.
Skaler yahut yalancı-skaler
skaler üçlü çarpımın üç boyutlu paralel kenarın hacmini vermesine rağmen, işareti olan bir hacimdir, işaret sistemin oriyantasyonuna (Vektör uzayı) yahut vektörlerin çiftli permütasyonuna bağlıdır. Bu oriyantasyon değişirse çarpımın işareti de değişimi anlamına gelir, çift dönüşümü buna bir örnek olabilir ve bu yüzden oriyantasyon değiştirilebilirse daha çok yalancı-skaler olarak adlandırılır.
Bu aynı zamanda kross çarpımının yönlülüğü ile ilgilidir ; kross çarpımı çiftli dönüşümler altında yalancı-vektörüne dönüşür ve daha doğru bir tabirle yalancı-vektörü olarak tanımlanır. İki vektörün nokta çarpımı skalerdir fakat bir vektörle yalancı-vektörün nokta çarpımı bir yalancı-skalerdir, yani skaler üçlü çarpım yalancı-skaler-değerli olmak zorundadır.
Eğer T bir rotasyon operatörü ise, o zaman
fakat eğer T uygunsuz rotasyon ise, o zaman
Bir dış çarpım olarak
Dış ve geometrik cebirde iki vektörün dış çarpımı bir çiftli vektördür, aynı şekilde üç vektörün dış çarpımı bir üçlü vektördür. Bir üçlü vektör yön verilmiş bir düzlem elemanıdır ve bir üçlü vektör dyön verilmiş bir hacim elemanıdır, aynı şekilde bir vektör yön verilmiş bir doğrudur. Verilen a, b ve c elemanları için, çarpım
bir skaler üçlü çarpımın büyüklüğüne eşit üçlü vektördür ve üçlü çarpımın Hodge çiftlisidir. Dış çarpım gereksiz olan parantezlerle ilgili olduğu için çünkü a ∧ b or b ∧ c işlemlerinden hangisinin önce yapıldığı önemli değildir, çarpımda vektörlerin sırasının fark etmesine rağmen. Geometrik olarak bir a ∧ b ∧ c üçlü vektörüa, b ve c elemanlarını içeren ve bir üç boyutlu paralel kenarın ikili vektörlerinden oluşan a ∧ b, b ∧ ca ∧ c ve her biri paralelkenarın yüzleriyle eşleşen üç boyutlu bir paralel kenara tekabül eder.
Üçlü lineer fonksiyoneli olarak
Üçlü çarpım iç çarpıma göre vektörlere uygulanamış üç boyutlu öklit uzayının hacim formuna özdeştir. Aynı şekilde şu ifadeye denk olan, bakınız below, üçüncü derce tensörlü vektörleri kısaltması olarak da ifade edilir.
Vektör üçlü çarpımı
The Vektör üçlü çarpımı bir vektörün diğer iki vektörün kross çarpımıyla olan kross çarpımı olarak tanımlanır. İzleyen ilişkiler bu bağlamda tutarlıdır:
.
Bu üçlü çarpım genişlemesi, yahut Lagrange formülü, olarak da bilinir[2][3]
Lagrange formülü ve bazı diğer formüller cinsinden kullanılmasına rağmen. Sağ tarafı bu mnemonik teknik kullanılarak hatırlanabilir "BAC − CAB", bu hangi vektörler arasında nokta çarpımı olduğunu hatırlamamız için kullanılabilir. Bir kanıtı brada gösterilmiştir below.
Kross çarpımının birleşme özelliği olmadığı için, bu formül şu şekilde de yazılabilir (harflerin permütasyonuna bağlı):
Lagrange formülünden şu çıkarım yapılabilir ki üçlü vektör çarpımı kross çarpımı için Jacobi özdeşliği olan şu ifadeyi sağlar:
Bu formüller fizikteki vektör hesaplarını basitleştirmek için kullanışlıdır. İçerikle ilgili ve vektör kalkülüsünde kullanışlı olan bir özdeşlik Lagrange formülünün vektör kross çarpımı özdeşliğidir :[4]
Bu daha genel olan Laplace–de Rham operatörünün özel bir durumu olarak ele alınabilir.
Kanıt
The component of is given by:
yahut
Ekleme ve çıkartma işlemleriyle , ifadesi şu şekli alır
Benzer olarak, ve </math> bileşenleri ifadesi buradan gelir:
Eğer geometrik cebir kullanılırsa b × c vektörlerinin kross çarpımı onların dış çarpımı şeklinde gösterilir b∧c, bir çiftli vektör. İkinci kross çarpımı bir dış çarpım olarak gösterilemez, aksi halde skaler bu üçlü çarpımla sonuçlanırdı. Sol kısaltma yerine[6] can be used, so the formula becomes[7]
Kanıt kısaltmalar özelliklerinden çıkıyor.[6] Sonuç a × (b × c) kullanılarak bulunanla aynı vektör.
Gösterimler
Tensör kalkülüsü
Tensör notasyonunda üçlü çarpım Levi-Civita sembolü kullanılarak gösterilir:[8]
^Joseph Louis Lagrange kross çarpımını vektörler üstündeki kross çarpımı olarak geliştirmemiştir, fakat onun bir denk formunu bileşenlerde kullanmıştır: bakınız Lagrange, J-L (1773). "Solutions analytiques de quelques problèmes sur les pyramides triangulaires". Oeuvres. vol 3. çarpım genişlemesine benzer bir formülü bileşenler cinsinden yazmıştır. Buna da bakınız Lagrange özdeşliği ve Kiyoshi Itō (1987). Encyclopedic Dictionary of Mathematics. MIT Press. s. 1679. ISBN0-262-59020-4.