Üçlü çarpım

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 == sağ|küçükresim|240px|Bir paralelkenarı tanımlayan üçlü vektörler 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 : \mathbf{a}\cdot(\mathbf{b}\times \mathbf{c}) ş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: :: \mathbf{a}\cdot(\mathbf{b}\times \mathbf{c})= \mathbf{b}\cdot(\mathbf{c}\times \mathbf{a})= \mathbf{c}\cdot(\mathbf{a}\times \mathbf{b}) * 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. :: \mathbf{a}\cdot (\mathbf{b}\times \mathbf{c}) = (\mathbf{a}\times \mathbf{b})\cdot \mathbf{c} * Kross çarpımında iki vektörün yer değiştirmesi orijinal üçlü çarpımın işaretini değiştiri: :: \mathbf{a}\cdot(\mathbf{b}\times \mathbf{c}) = -\mathbf{a}\cdot(\mathbf{c}\times \mathbf{b}) :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österilen 'lük matrisin determinantı şekilde de anlaşılabilir: ::\mathbf{a}\cdot(\mathbf{b}\times \mathbf{c}) = \det \begin{bmatrix} a_1 & a_2 & a_3 \\\ b_1 & b_2 & b_3 \\\ c_1 & c_2 & c_3 \\\ \end{bmatrix}. *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: :: \mathbf{a} \cdot (\mathbf{a} \times \mathbf{b}) = \mathbf{a} \cdot (\mathbf{b} \times \mathbf{a}) = \mathbf{a} \cdot (\mathbf{b} \times \mathbf{b}) = \mathbf{a} \cdot (\mathbf{a} \times \mathbf{a}) = 0 * Bu da bir başka özelliktir, :: [\mathbf{a}\cdot(\mathbf{b}\times \mathbf{c})] \mathbf{a} = (\mathbf{a}\times \mathbf{b})\times (\mathbf{a}\times \mathbf{c}) * İ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: ::((\mathbf{a}\times \mathbf{b})\cdot \mathbf{c})\;((\mathbf{d}\times \mathbf{e})\cdot \mathbf{f}) = \det\left[ \begin{pmatrix} \mathbf{a} \\\ \mathbf{b} \\\ \mathbf{c} \end{pmatrix}\cdot \begin{pmatrix} \mathbf{d} & \mathbf{e} & \mathbf{f} \end{pmatrix}\right] = \det \begin{bmatrix} \mathbf{a}\cdot \mathbf{d} & \mathbf{a}\cdot \mathbf{e} & \mathbf{a}\cdot \mathbf{f} \\\ \mathbf{b}\cdot \mathbf{d} & \mathbf{b}\cdot \mathbf{e} & \mathbf{b}\cdot \mathbf{f} \\\ \mathbf{c}\cdot \mathbf{d} & \mathbf{c}\cdot \mathbf{e} & \mathbf{c}\cdot \mathbf{f} \end{bmatrix} : 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 : \mathbf{Ta} \cdot (\mathbf{Tb} \times \mathbf{Tc}) = \mathbf{a} \cdot (\mathbf{b} \times \mathbf{c}), fakat eğer T uygunsuz rotasyon ise, o zaman : \mathbf{Ta} \cdot (\mathbf{Tb} \times \mathbf{Tc}) = -\mathbf{a} \cdot (\mathbf{b} \times \mathbf{c}). ===Bir dış çarpım olarak=== küçükresim|sağ|Üç vektörün üçlü çarpımı onların belirlediği paralelkenarın içerdiği hacmine eşittir. 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 :\mathbf{a} \wedge \mathbf{b} \wedge \mathbf{c} 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ü or 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 , 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: :\mathbf{a}\times (\mathbf{b}\times \mathbf{c}) = \mathbf{b}(\mathbf{a}\cdot\mathbf{c}) - \mathbf{c}(\mathbf{a}\cdot\mathbf{b}). Bu üçlü çarpım genişlemesi, yahut Lagrange formülü, olarak da bilinirJoseph 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 çarpım genişlemesine benzer bir formülü bileşenler cinsinden yazmıştır. Buna da bakınız Lagrange özdeşliği ve 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ı): :(\mathbf{a}\times \mathbf{b})\times \mathbf{c} = -\mathbf{c}\times(\mathbf{a}\times \mathbf{b}) = -(\mathbf{c}\cdot\mathbf{b})\mathbf{a} + (\mathbf{c}\cdot\mathbf{a})\mathbf{b} 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: :\mathbf{a}\times (\mathbf{b}\times \mathbf{c}) \; + \mathbf{b}\times (\mathbf{c}\times \mathbf{a}) \; + \mathbf{c}\times (\mathbf{a}\times \mathbf{b}) = 0 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 : : \boldsymbol{ abla} \times (\boldsymbol{ abla} \times \mathbf{f}) = \boldsymbol{ abla} (\boldsymbol{ abla} \cdot \mathbf{f}) - (\boldsymbol{ abla} \cdot \boldsymbol{ abla}) \mathbf{f} Bu daha genel olan Laplace–de Rham operatörünün \Delta = d \delta + \delta d özel bir durumu olarak ele alınabilir. ===Kanıt=== The x component of \mathbf{u}\times (\mathbf{v}\times \mathbf{w}) is given by: :\mathbf{u}_y(\mathbf{v}_x\mathbf{w}_y-\mathbf{v}_y\mathbf{w}_x)-\mathbf{u}_z(\mathbf{v}_z\mathbf{w}_x-\mathbf{v}_x\mathbf{w}_z) yahut :\mathbf{v}_x(\mathbf{u}_y\mathbf{w}_y+\mathbf{u}_z\mathbf{w}_z)-\mathbf{w}_x(\mathbf{u}_y\mathbf{v}_y+\mathbf{u}_z\mathbf{v}_z) Ekleme ve çıkartma işlemleriyle \mathbf{u}_x\mathbf{v}_x\mathbf{w}_x, ifadesi şu şekli alır :\mathbf{v}_x(\mathbf{u}_x\mathbf{w}_x+\mathbf{u}_y\mathbf{w}_y+\mathbf{u}_z\mathbf{w}_z)-\mathbf{w}_x(\mathbf{u}_x\mathbf{v}_x+\mathbf{u}_y\mathbf{v}_y+\mathbf{u}_z\mathbf{v}_z)=(\mathbf{u}\cdot\mathbf{w})\mathbf{v}_x-(\mathbf{u}\cdot\mathbf{v})\mathbf{w}_x Benzer olarak,\mathbf{u}\times (\mathbf{v}\times \mathbf{w}) ifadesinin y ve z bileşenleri ifadesi buradan gelir: : (\mathbf{u}\cdot\mathbf{w})\mathbf{v}_y-(\mathbf{u}\cdot\mathbf{v})\mathbf{w}_y ve : (\mathbf{u}\cdot\mathbf{w})\mathbf{v}_z-(\mathbf{u}\cdot\mathbf{v})\mathbf{w}_z Bu üç bileşeni birleştirerek şu sonuca varırız: :\mathbf{u}\times (\mathbf{v}\times \mathbf{w}) = (\mathbf{u}\cdot\mathbf{w})\ \mathbf{v} - (\mathbf{u}\cdot\mathbf{v})\ \mathbf{w} ===Geometrik cebirin kullanımı=== 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 can be used, so the formula becomes \begin{align} -\mathbf{a} \;\big\lrcorner\; (\mathbf{b} \wedge \mathbf{c}) &= \mathbf{b} \wedge (\mathbf{a} \;\big\lrcorner\; \mathbf{c}) - (\mathbf{a} \;\big\lrcorner\; \mathbf{b}) \wedge \mathbf{c} \\\ &= (\mathbf{a} \cdot \mathbf{c}) \mathbf{b} - (\mathbf{a} \cdot \mathbf{b}) \mathbf{c} \end{align} Kanıt kısaltmalar özelliklerinden çıkıyor. 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: : (\mathbf{a} \cdot (\mathbf{b}\times \mathbf{c})) = \varepsilon_{ijk} a^i b^j c^k and : (\mathbf{a} \times (\mathbf{b}\times \mathbf{c}))_i = \varepsilon_{ijk} a^j \varepsilon_{k\ell m} b^\ell c^m = \varepsilon_{ijk}\varepsilon_{k\ell m} a^j b^\ell c^m bu ifadede de Levi- Civita sembolleri üstünde kısaltması kullanılarak gösterilebilir, \varepsilon_{ijk} \varepsilon_{k\ell m}=\delta_{i\ell}\delta_{jm}-\delta_{im}\delta_{\ell j} and simplifying the result. == Notlar == ==Kaynakça== * Kategori:Vektör hesabı Kategori:Üçlü işlemler