Produk dot

Produk dot, juga disebut darab bintik () atau produk skalar, juga disebut darab skalar (), juga disebut inner product (="produk dalam") dalam konteks ruang Euclid) dalam matematika adalah suatu operasi aljabar yang memasukkan dua urutan bilangan dengan panjang yang sama (biasanya vektor koordinat) dan menghasilkan suatu bilangan tunggal. Operasi ini dapat didefinisikan menurut aljabar maupun geometri.
Menurut aljabar, produk skalar merupakan jumlah dari produk-produk masukan yang bersangkutan dari bilangan-bilangan pada dua urutan tersebut. Menurut geometri, produk skalar adalah produk dari "besaran Euclidean" atau "panjang vektor" dua vektor dan kosinus sudut di antara keduanya. Nama "produk dot" diambil dari tanda dot, yaitu "tanda titik di tengah", " · " yang sering digunakan untuk melambangkan operasi ini; nama "produk skalar" menekankan sifat skalar hasilnya (bukan vektorial).

Dalam ruang tiga dimensi, produk skalar dikontraskan dengan produk silang (cross product) dua vektor, yang menghasilkan suatu pseudovector. Produk skalar berkaitan langsung dengan kosinus sudut yang dibentuk oleh dua vektor dalam ruang Euclidean dari seberapapun banyaknya dimensi.

Definisi
Produk skalar sering didefinisikan menurut satu dari dua cara: menurut aljabar atau menurut geometri. Definisi geometris didasarkan pada pengertian sudut dan jarak (besaran vektor). Persamaan dua definisi ini bergantung pada memiliki sistem koordinat Kartesius untuk ruang Euklides.

Dalam presentasi modern geometri Euclidean, titik-titik ruang ditentukan berdasarkan koordinat Cartesiannya, dan ruang Euclidean itu sendiri umumnya diidentifikasikan dengan ruang kordinat nyata Rn. Dalam presentasi seperti itu, pengertian panjang dan sudut tidaklah primitif. Mereka ditentukan melalui perkalian titik:  panjang vektor didefinisikan sebagai akar kuadrat dari hasil kali titik vektor itu sendiri, dan kosinus dari (tidak berorientasi) sudut dua vektor dengan panjang satu didefinisikan sebagai perkalian titik mereka.  Jadi kesetaraan dari dua definisi hasil perkalian titik adalah bagian dari kesetaraan klasik dan formulasi modern geometri Euklides.

Definisi menurut aljabar 
Produk skalar dua vektor  dan  didefinisikan sebagai:

di mana Σ melambangkan summation notation dan n adalah dimensi ruang vektor. Misalnya, dalam ruang tiga dimensi, produk skalar vektor-vektor  dan  adalah:

Definisi menurut geometri 
Dalam ruang Euclidean, suatu vektor Euclidean adalah sebuah objek geometri yang memiliki baik besaran (magnitude) dan arah (direction). Sebuah vektor dapat digambarkan seperti sebuah anak panah. Besarannya adalah panjangnya, sedangkan arahnya adalah yang ditunjuk oleh ujung panah. Besaran vektor A dilambangkan dengan . Produk skalar dua vektor Euclidean A dan B didefinisikan sebagai

di mana θ adalah sudut di antara A dan B.

Secara khusus, jika A dan B adalah ortogonal, maka sudut di antara keduanya adalah 90° dan

Pada keadaan ekstrem lain, jika kedua vektor itu mempunyai arah yang sama (codirectional), maka sudut di antara keduanya adalah 0° dan

Ini menyiratkan bahwa produk skalar suatu vektor A dengan dirinya sendiri adalah

yang menghasilkan
 
rumus untuk panjang Euclidean vektor itu.

Sifat 
Produk skalar memenuhi sifat-sifat berikut jika a, b, dan c adalah vektor real dan r adalah suatu bilangan skalar.

 Komutatif:
 
 which follows from the definition (θ is the angle between a and b):
 
 Distributif over vector addition:
 
 Bilinear:
 
 Perkalian skalar:
 
 Ortogonal:
 Dua vektor bukan-nol a dan b adalah ortogonal jika dan hanya jika .
 Tidak ada cancellation:
 Berbeda dengan perkalian angka biasa, di mana jika , maka b selalu sama dengan c kecuali a sama dengan nol, produk skalar tidak menuruti cancellation law:
 Jika  dan , maka dapat ditulis:  dengan hukum distributif; hasil di atas mengatakan bahwa ini hanya berarti a tegak lurus dengan , di mana masih mengizinkan , sehingga .
 Product Rule: Jika a dan b adalah suatu fungsi, maka turunan (dilambangkan oleh tanda prime ′) dari  adalah .

Generalisasi

Tensor 
Produk skalar antar suatu tensor pada ordo n dan suatu tensor pada ordo m adalah tensor pada ordo

Lihat pula 
 Pertidaksamaan Cauchy–Schwarz
 Perkalian matriks
 Perkalian silang
 Perkalian skalar
 Perkalian vektor

Referensi

Pranala luar 
 
 
 Explanation of dot product including with complex vectors
 "Dot Product" by Bruce Torrence, Wolfram Demonstrations Project, 2007.

Articles containing proofs
Bilinear forms
Aljabar
Vektor
Analytic geometry
Matematika