Lihat sumber Produk Tensor

{{Short description|Konsep dalam aljabar linear, digeneralisasikan di seluruh matematika}}
{{For|generalisasi dari konsep ini|Produk sensor dari modul|Produk sensor (disambiguasi)}}
{{Technical|date=Maret 2019}}
Dalam [[matematika]], '''produk tensor''' adalah {{math|''V'' ⊗ ''W''}} dari dua [[ruang vektor]] {{math|''V''}} dan {{math|''W''}} (di atas [[Bidang (matematika)|bidang]] yang sama) adalah ruang vektor, diberkahi dengan operasi komposisi [[Bilinear map|bilinear]], dilambangkan dengan {{math | ⊗}}, dari pasangan terurut di [[produk Kartesius]] {{math|''V'' × ''W''}} ke {{math|''V'' ⊗ ''W''}} dengan cara yang menggeneralisasi [[produk luar]].

Pada dasarnya perbedaan antara hasil kali tensor dua vektor dan pasangan vektor terurut adalah bahwa jika satu vektor dikalikan dengan skalar bukan nol dan yang lainnya dikalikan dengan kebalikannya, hasilnya adalah pasangan vektor terurut yang berbeda, tetapi hasil kali tensor yang sama dari dua vektor, dan pasangan vektor ditambahkan satu koordinat pada satu waktu (dengan koordinat lain tetap sama) daripada kedua koordinat pada saat yang sama, semua seperti yang diharapkan jika vektor "dikalikan langsung" dalam arti tertentu, produk tensor membuat ide ini tepat.

Produk tensor dari {{math | '' V ''}} dan {{math | '' W ''}} adalah [[ruang vektor]] yang dihasilkan oleh simbol {{math|''v'' ⊗ ''w''}}, dengan {{math|''v'' ∈ ''V''}} dan {{math|''w'' ∈ ''W''}}, di mana hubungan bilinearitas diterapkan untuk operasi produk {{math|⊗}}, ''dan tidak ada hubungan lain'' yang dianggap berlaku. Dengan demikian, ruang hasil kali tensor adalah[[objek bebas|paling bebas]]" (atau paling umum) ruang vektor tersebut, dalam arti memiliki kendala paling sedikit.

Hasil kali tensor ruang vektor (berdimensi-hingga) memiliki dimensi yang sama dengan hasil kali dimensi kedua faktor:

:<math>\dim(V\otimes W) = \dim V \times \dim W.</math>

Secara khusus, ini membedakan hasil kali tensor dari ruang vektor [[jumlah langsung]], yang dimensinya adalah jumlah dari dimensi kedua penjumlahan.:

:<math>\dim(V\oplus W) = \dim V + \dim W.</math>

Lebih umum lagi, produk tensor dapat diperluas ke [[kategori (matematika)|kategori]] objek matematika selain ruang vektor, seperti [[matriks (matematika)|matriks]], [[tensor]], [[aljabar di atas bidang|aljabar]], [[spasi vektor topologi]], dan [[modul (matematika)|modul]]. Dalam setiap kasus, produk tensor dicirikan oleh [[#Sifat universal|sifat universal]] yang serupa: it is the freest [[operator bilinear|operasi bilinear]]. Konsep umum dari "produk tensor" ditangkap oleh [[kategori monoidal|kategori monoid]]; itu adalah, kelas segala sesuatu yang memiliki produk tensor adalah kategori monoid.

== Motivasi intuitif dan hasil perkalian tensor beton ==
Motivasi intuitif untuk produk tensor bergantung pada konsep '''tensor''' secara lebih umum. Secara khusus, tensor adalah objek yang dapat dianggap sebagai tipe khusus [[peta multilinear]], yang mengambil sejumlah vektor ('' urutannya '') dan mengeluarkan skalar. Objek seperti itu berguna di sejumlah area aplikasi, seperti [[geometri Riemannian]], terkenal karena penggunaannya dalam [[teori relativitas umum]] [[teori relativitas umum]] [[fisika modern]] [[metrik tensor]] oleh [[Albert Einstein]] adalah konsep fundamental. Secara khusus, tensor metrik mengambil dua vektor, yang dipahami secara kasar sebagai panah kecil yang berasal dari titik tertentu dalam ruang melengkung, atau [[manifold]], dan mengembalikan '' lokal '' [[produk titik]] dari mereka relatif terhadap titik tertentu — operasi yang menyandikan beberapa informasi tentang vektor' [[panjang]] serta [[sudut]] di antara keduanya. Karena produk titik adalah skalar, tensor metrik dianggap layak untuk namanya. Ada satu tensor metrik di setiap titik manifold, dan variasi dalam tensor metrik tersebut mengkodekan bagaimana konsep jarak dan sudut, sehingga hukum [[geometri analitik]], bervariasi di seluruh manifold.

Kita dapat membayangkan perkalian tensor dari dua ruang vektor, <math> V </math> dan <math> W </math>, mewakili himpunan semua tensor yang mengambil vektor dari <math> V </math> dan vektor dari <math> W </math> dan mengeluarkan skalar dalam bidang dasarnya yang sama (dan dengan demikian hanya dapat ditentukan jika mereka memiliki bidang dasar yang sama). Kedua ruang itu mungkin sama di atas, mereka adalah vektor di "ruang tangen" pada suatu titik: kira-kira ruang datar sepotong kecil manifold "terlihat seperti" di dekat titik tertentu, dan dengan demikian tensor metrik hidup dalam produk tensor ruang itu dengan sendirinya. Namun kedua ruang tersebut mungkin juga berbeda.

Jika kita memiliki [[basis (aljabar linear)|basis]] untuk masing-masing ruang vektor, dan ruang vektor berdimensi-hingga, kita dapat merepresentasikan vektor dalam komponen di bawah vektor basis tersebut

:<math>\mathbf{v} = \begin{bmatrix}v_1 \\ v_2 \\ \vdots \\ v_n\end{bmatrix},\ \mathbf{w} = \begin{bmatrix}w_1 \\ w_2 \\ \vdots \\ w_m\end{bmatrix}.</math>

di mana setiap vektor kolom mewakili komponen dalam basis tertentu, yaitu <math>\mathbf{v} = v_1 \mathbf{e}_1 + v_2 \mathbf{e}_2 + \cdots + v_n \mathbf{e}_n</math> (dan juga untuk <math>\mathbf{w}</math>).

Tensor kemudian menjadi peta <math>T(\mathbf{v}, \mathbf{w})</math> yang berfungsi seperti di atas, mengembalikan skalar dan linier di kedua argumennya. Tensor seperti itu dapat direpresentasikan menggunakan [[perkalian matriks]]:

:<math>T(\mathbf{v}, \mathbf{w}) = \mathbf{v}^\mathsf{T} \mathbf{T} \mathbf{w}</math>

dimana superskripnya <math>\mathsf{T}</math> menunjukkan [[transposisi matriks]], yang mengirimkan vektor <math>\mathbf{v}</math> ke [[ruang ganda|vektor ganda]].

Diberikan dua vektor, kita dapat membentuk tensornya sendiri dari mereka secara alami menggunakan '''[[produk luar]]''', yang dilambangkan <math>\mathbf{v} \otimes \mathbf{w}</math> dan sama <math>\mathbf{v} \mathbf{w}^\mathsf{T}</math>. Tensor ini keluar sebagai matriks

:<math>\mathbf{v} \otimes \mathbf{w} = \begin{bmatrix}
  v_1 w_1 & v_1 w_2 & \cdots & v_1 w_m \\
  v_2 w_1 & v_2 w_2 & \cdots & v_2 w_m \\
   \vdots &  \vdots & \ddots &  \vdots \\
  v_n w_1 & v_n w_2 & \cdots & v_n w_m
\end{bmatrix}</math>

dan matriks ini sesuai dengan tensor dengan konstruksi sebelumnya, yang mengingatkan bagaimana ia sesuai dengan peta linier (dengan mengalikan hanya pada satu sisi). Tensor ini sendiri menghasilkan ruang vektor dengan menambahkannya bersama-sama dan mengalikannya dengan skalar seperti yang biasa kita lakukan untuk matriks dan fungsi, dan kumpulan dari semua tensor yang terbentuk adalah '' produk tensor '' <math>V \otimes W</math> dari dua ruang vektor itu sendiri. Faktanya, ruang ini setara dengan ruang peta yang diwakili oleh setiap matriks yang mungkin dari ukuran di atas, seperti yang dapat dilihat dengan mencatat bahwa produk tensor sederhana <math>\mathbf{e}_i \otimes \mathbf{f}_j</math> (dimana <math>\mathbf{f}_j</math> adalah dasar dari ruang vektor lainnya, <math> W </math>) memiliki "1" di posisi ke-<math> (i, j) </math> dan "0" di tempat lain, yang memungkinkan mereka untuk dikalikan dengan angka apa pun dan kemudian ditambahkan untuk mendapatkan matriks dengan entri arbitrer.

Tujuan dari bagian-bagian selanjutnya adalah untuk menemukan definisi yang setara dengan ini dimana dapat diterapkan tetapi tidak memerlukan pilihan basis tertentu dan itu juga dapat lebih mudah diterapkan ke [[berdimensi tak hingga]] pengaturan di mana konsep dasar yang biasa ([[Hamel basis]]) mungkin berperilaku buruk. Tidak memerlukan basis khusus berguna dari sudut pandang teoretis karena setiap ruang vektor memiliki basis, tidak semua basis dapat dibangun, dan terlebih lagi hasil itu sendiri tergantung pada penerimaan [[aksioma pilihan]], yang mungkin ditolak dalam beberapa sistem matematika. Juga, berguna untuk menemukan konstruksi abstrak untuk analisis dari sudut pandang [[teori kategori]], teori "gambaran besar matematika" yang sangat diperbesar dan bagaimana semua objek matematika berhubungan satu sama lain dalam pengertian yang sangat umum. Penggunaan kehidupan nyata yang sangat penting untuk memiliki definisi seperti itu dapat ditemukan di [[mekanika kuantum]]: hasil kali tensor dalam bentuk ini memungkinkan kita untuk membicarakan [[fungsi gelombang]] dari sistem dua partikel sebagai abstrak [[ruang Hilbert]] vektor tanpa harus menentukan dasar tertentu dari [[mekanisme kuantum|yang dapat diamati]].

== Langkah bayi menuju perkalian tensor abstrak: ruang vektor bebas ==
Langkah pertama yang akan kita pertimbangkan melibatkan memperkenalkan sesuatu yang disebut "[[ruang vektor bebas]]" di atas himpunan tertentu. Dorongan di balik ide ini pada dasarnya terdiri dari apa yang kita katakan di poin terakhir: karena tensor <math> T </math> dapat ditulis dengan penjumlahan ganda

:<math>T = \sum_{i=1}^{n} \sum_{j=1}^{m} (v_i w_j) (\mathbf{e}_i \otimes \mathbf{f}_j)</math>

cara paling alami untuk mendekati masalah ini adalah dengan mencari tahu bagaimana kita bisa "melupakan" tentang pilihan basa tertentu <math>\mathbf{e}</math> dan <math>\mathbf{f}</math> yang digunakan di sini. Dalam matematika, cara kita "melupakan" tentang detail representasi dari sesuatu adalah untuk menetapkan suatu identifikasi yang memberitahu kita bahwa dua hal berbeda yang dianggap representasi dari hal yang sama pada kenyataannya adalah demikian, yaitu, jika mereka mengatakan "ya, mereka" atau "tidak, mereka tidak", dan kemudian "menyatukan" semua representasi sebagai penyusun "hal yang diwakili" tanpa mengacu pada siapa pun secara khusus dengan mengemas semuanya menjadi satu himpunan. Dalam istilah formal, pertama kita membangun [[relasi ekivalen]], dan kemudian mengambil [[himpunan hasil bagi]] dengan relasi itu.

Tapi sebelum kita bisa melakukan itu, pertama-tama kita perlu mengembangkan apa yang akan kita ambil alih hubungan kesetaraan. Cara kami melakukannya adalah dengan melakukan pendekatan sebaliknya, dari "bottom up": karena kita tidak dijamin, setidaknya dapat dibangun, dasar saat memulai dari ruang vektor arbitrer, sebagai gantinya kita mungkin mencoba untuk memulai dengan menjamin bahwa kita memiliki satu — yaitu, kita akan mulai terlebih dahulu dengan mempertimbangkan "basis", dengan sendirinya, seperti yang diberikan, dan kemudian membangun ruang vektor di atas. Untuk itu, kita mencapai hal berikut: misalkan <math> B </math> adalah beberapa set, yang bisa kita sebut '' himpunan dasar abstrak ''. Sekarang pertimbangkan semua ekspresi '' formal '' dari formulir

:<math>\mathbf{v} = a_1 \beta_1 + a_2 \beta_2 + \cdots + a_n \beta_n</math>

dari sembarang, tapi terbatas, panjang <math> n </math> dan <math> a_j </math> yang mana adalah skalar dan <math>\beta_j</math> adalah anggota <math> B </math>. Secara intuitif, ini adalah kombinasi linier dari vektor basis dalam arti biasa untuk memperluas elemen ruang vektor. Kami menyebutnya "ekspresi formal" karena secara teknis memperbanyak adalah <math>a_j \beta_j</math> karena tidak ada operasi perkalian yang ditentukan secara default pada kumpulan arbitrer dan bidang skalar arbitrer. Sebaliknya, kita akan "berpura-pura" (mirip dengan mendefinisikan [[bilangan imajiner]] bahwa ini merujuk pada sesuatu, dan kemudian akan memanipulasinya sesuai dengan aturan yang kita harapkan untuk ruang vektor, misalnya jumlah dari dua string menggunakan urutan yang sama dari anggota <math> B </math> adalah

:<math>(a_1 \beta_1 + a_2 \beta_2 + \cdots + a_n \beta_n) + (b_1 \beta_1 + b_2 \beta_2 + \cdots + b_n \beta_n) = (a_1 + b_1) \beta_1 + (a_2 + b_2) \beta_2 + \cdots + (a_n + b_n) \beta_n</math>

di mana kita telah menggunakan hukum [[asosiatif]], [[komutatif]], dan [[properti distributif|distributif]] untuk mengatur ulang jumlah pertama menjadi yang kedua. Melanjutkan cara ini untuk kelipatan skalar dan semua kombinasi vektor dengan panjang yang berbeda memungkinkan kita untuk membuat penjumlahan vektor dan [[perkalian skalar]] pada kumpulan ekspresi formal ini, dan kami menyebutnya '' 'ruang vektor gratis' '' di atas <math> B </math>, menulis <math> F(B) </math>. Perhatikan bahwa elemen <math>B</math>, dianggap sebagai ekspresi formal panjang-satu dengan koefisien 1 di depan, membentuk [[basis Hamel]] untuk ruang ini.

Ekspresi hasil kali tensor kemudian diabstraksi dengan mempertimbangkan jika <math>\beta_j</math> dan <math>\gamma_j</math> mewakili "vektor basis abstrak" dari dua himpunan <math> B </math> dan <math>G</math>, yaitu "<math>\beta_j = \mathbf{e}_j</math>" dan "<math>\gamma_j = \mathbf{f}_j</math>", kemudian pasangkan ini di produk Kartesius <math>B \times G</math>, yaitu <math>(\beta_i, \gamma_j)</math> dianggap sebagai singkatan dari produk tensor <math>\mathbf{e}_i \otimes \mathbf{f}_j</math>. (Perhatikan bahwa produk tensor dalam pernyataan tersebut dalam beberapa hal adalah "atom", yaitu penambahan dan perkalian skalar tidak membaginya menjadi yang lain, jadi kita dapat menggantinya dengan sesuatu yang berbeda tanpa mengubah struktur matematisnya.) Dengan identifikasi seperti itu, kita dapat menentukan produk tensor dari dua ruang vektor bebas <math>F(B)</math> dan <math>F(G)</math> sebagai sesuatu (belum diputuskan) yang isomorfik <math>F(B \times G)</math>.

== Menggunakan ruang vektor gratis untuk "melupakan" tentang basis ==
Definisi di atas akan bekerja untuk setiap ruang vektor di mana kita '' dapat '' menentukan dasarnya, karena kita bisa membangunnya kembali sebagai ruang vektor gratis atas dasar itu: konstruksi di atas persis mencerminkan bagaimana Anda merepresentasikan vektor melalui konstruksi dasar Hamel menurut desain. Akibatnya, kami belum mendapatkan apa-apa... sampai kami melakukan ini.

Sekarang, kita tidak mengasumsikan akses ke basis untuk ruang vektor <math> V </math> dan <math> W </math> yang ingin kita bentuk produk tensor <math>V \otimes W</math>. Sebagai gantinya, kita akan mengambil '' semua '' dari <math> V </math> dan <math> WITH </math> sebagai "dasar" untuk membangun tensor. Ini adalah hal terbaik berikutnya dan satu hal yang '' dijamin '' dapat kami lakukan, terlepas dari kekhawatiran apa pun dalam menemukan dasar tertentu; ini sesuai dengan menambahkan bersama-sama produk luar yang sewenang-wenang <math>\mathbf{v} \otimes \mathbf{w}</math> vektor sewenang-wenang di bagian terakhir dari bagian "Motivasi intuitif". Satu-satunya perbedaan di sini adalah jika kita menggunakan konstruksi ruang vektor bebas dan membentuk yang sudah jelas <math>F(V) \otimes F(W) = F(V \times W)</math>, ia akan memiliki banyak versi redundan dari apa yang seharusnya merupakan tensor yang sama; kembali ke kasus dasar kita jika kita mempertimbangkan contoh di mana <math>V = W = \R^2</math> dalam basis standar, kita dapat menganggap bahwa tensor yang dibentuk oleh vektor <math>\mathbf{x} = \begin{bmatrix} 0 & 3 \end{bmatrix}^\mathsf{T}</math> and <math>\mathbf{y} = \begin{bmatrix} 5 & -3 \end{bmatrix}^\mathsf{T}</math>, yaitu

:<math>T := \mathbf{x} \otimes \mathbf{y} = \begin{bmatrix} 0 & 0 \\ 15 & -9 \end{bmatrix},</math>

bisa '' juga '' diwakili oleh penjumlahan lain, seperti penjumlahan menggunakan tensor dasar individu <math>\mathbf{e}_i \otimes \mathbf{e}_j</math>, misalnya

:<math>T = 0(\mathbf{e}_1 \otimes \mathbf{e}_1) + 0(\mathbf{e}_1 \otimes \mathbf{e}_2) + 15(\mathbf{e}_2 \otimes \mathbf{e}_1) - 9(\mathbf{e}_2 \otimes \mathbf{e}_2).</math>

Ini, meskipun ekspresi yang sama dalam kasus konkret, akan sesuai dengan elemen berbeda dari ruang vektor bebas <math>F(V \times W)</math>, namely

:<math>T = (x, y)</math>

dalam kasus pertama dan

:<math>T = 0(e_1, e_1) + 0(e_1, e_2) + 15(e_2, e_1) - 9(e_2, e_2)</math>

dalam kasus kedua. Jadi kita harus memadatkannya — di sinilah hubungan kesetaraan berperan. Trik untuk membangunnya adalah dengan memperhatikan vektor yang diberikan <math>\mathbf{x}</math> dalam ruang vektor, itu selalu memungkinkan untuk merepresentasikannya sebagai jumlah dari dua vektor lainnya <math>\mathbf{a}</math> dan <math>\mathbf{b}</math> tidak sama dengan aslinya. Jika tidak ada yang lain, karena <math>\mathbf{a}</math> menjadi vektor apapun dan kemudian mengambil <math>\mathbf{b} := \mathbf{x} - \mathbf{a}</math> yang juga menunjukkan bahwa jika kita diberikan satu vektor dan kemudian vektor kedua, kita dapat menulis vektor pertama dalam suku yang kedua bersama dengan vektor ketiga yang sesuai (memang dalam banyak hal, anggap saja kelipatan skalar dari vektor kedua dalam pengurangan yang sama).

Ini berguna bagi kami karena hasil kali luar memenuhi properti linearitas berikut, yang dapat dibuktikan dengan aljabar sederhana pada ekspresi matriks terkait:

:<math>\begin{align}
    (\mathbf{u} \otimes \mathbf{v})^\mathsf{T} &= (\mathbf{v} \otimes \mathbf{u}) \\
  (\mathbf{v} + \mathbf{w}) \otimes \mathbf{u} &= \mathbf{v} \otimes \mathbf{u} + \mathbf{w} \otimes \mathbf{u} \\
  \mathbf{u} \otimes (\mathbf{v} + \mathbf{w}) &= \mathbf{u} \otimes \mathbf{v} + \mathbf{u} \otimes \mathbf{w} \\
             c (\mathbf{v} \otimes \mathbf{u}) &= (c\mathbf{v}) \otimes \mathbf{u} = \mathbf{v} \otimes (c\mathbf{u})
\end{align}</math>

Jika kita ingin menghubungkan produk luarnya <math>\mathbf{v} \otimes \mathbf{w}</math> untuk <math>\mathbf{e_1} \otimes \mathbf{w}</math>, kita bisa menggunakan relasi pertama di atas bersama dengan ekspresi yang sesuai <math>\mathbf{v}</math> sebagai penjumlahan dari beberapa vektor dan beberapa kelipatan skalar <math>\mathbf{e_1}</math>.

Persamaan antara dua tensor beton kemudian diperoleh jika menggunakan aturan di atas akan memungkinkan kita untuk mengatur ulang satu penjumlahan dari hasil kali luar ke yang lain dengan menguraikan vektor yang sesuai — terlepas dari apakah kita memiliki himpunan vektor basis aktual. Menerapkannya pada contoh kita di atas, kita melihat bahwa tentu saja kita punya

:<math>\begin{align}
  \mathbf{x} &= 0 \mathbf{e}_1 + 3 \mathbf{e}_2 \\
  \mathbf{y} &= 5 \mathbf{e}_1 - 3 \mathbf{e}_2
\end{align}</math>

untuk substitusi mana

:<math>T = \mathbf{x} \otimes \mathbf{y}</math>

memberi kami

:<math>T = (0 \mathbf{e}_1 + 3 \mathbf{e}_2) \otimes (5 \mathbf{e}_1 - 3 \mathbf{e}_2)</math>

dan penggunaan yang bijaksana dari properti distributivitas memungkinkan kami mengatur ulang ke bentuk yang diinginkan. Demikian juga, ada manipulasi "cermin" yang sesuai dalam kaitannya dengan elemen ruang vektor bebas <math>(x, y)</math> dan <math>(e_1, e_1)</math>, <math>(e_1, e_2)</math>, dll. Dan ini akhirnya membawa kita ke definisi formal dari produk tensor.

== Definisi perkalian tensor abstrak ==
Abstrak '''hasil kali tensor''' dari dua ruang vektor <math> V </math> dan <math> W </math> di atas bidang dasar yang sama <math> K </math> adalah [[vektor hasil bagi]]

:<math>V \otimes W := F(V \times W)/{\sim}</math>

dimana <math>\sim</math> adalah [[hubungan kesetaraan]] dari '' persamaan formal '' yang dihasilkan dengan mengasumsikan bahwa, untuk masing-masing <math>(v, w)</math> dan <math>(v', w')</math> diambil sebagai ekspresi formal dalam ruang vektor bebas <math>F(V \times W)</math>, penangguhan berikut:

:''Identitas''. <math>(v, w) \sim (v, w).</math>
:''Simetri''. <math>(v, w) \sim (v', w')</math> berarti <math>(v', w') \sim (v, w).</math>
:''Transitivitas''. <math>(v, w) \sim (v', w')</math> dan <math>(v', w') \sim (v'', w'')</math> berarti <math>(v, w) \sim (v'', w'').</math>
:''Distributivitas.'' <math>(v, w) + (v', w) \sim (v + v', w)</math> dan <math>(v, w) + (v, w') \sim (v, w + w').</math>
:''Kelipatan skalar'' <math>c(v, w) \sim (cv, w)</math> dan <math>c(v, w) \sim (v, cw).</math>

dan kemudian menguji kesetaraan ekspresi formal generik melalui manipulasi yang sesuai berdasarkan padanya.{{citation needed|date=Juli 2019}} Aritmetika didefinisikan pada hasil kali tensor dengan memilih elemen perwakilan, menerapkan aturan [[Aritmetika|aritmatika]], dan akhirnya mengambil kelas ekivalen. Apalagi diberikan dua vektor <math>v \in V</math> dan <math>w \in W</math>, kelas kesetaraan <math> [(v, w)] </math> dilambangkan <math>v \otimes w</math>.

== Sifat ==
=== Notasi ===
Elemen {{math|''V'' ⊗ ''W''}} sering disebut sebagai '' tensor '', meskipun istilah ini juga mengacu pada banyak konsep terkait lainnya.<ref>Lihat [[Tensor]] atau [[Tensor (definisi intrinsik)]].</ref> Jika {{math|''v''}} milik {{math | '' V ''}} dan {{math | '' w ''}} milik {{math | '' W ''}}, maka kelas ekivalen dari {{math|(''v'', ''w'')}} dilambangkan dengan {{math | '' v '' ⊗ '' w ''}}, yang disebut hasil kali tensor dari {{math | '' v ''}} dengan {{math|''w''}}. Dalam fisika dan teknik, ini menggunakan {{math | Simbol "⊗"}} merujuk secara khusus ke operasi [[hasil luar]]; hasil perkalian luar {{math | '' v '' ⊗ '' w ''}} adalah salah satu cara standar untuk merepresentasikan kelas ekivalensi {{math|''v'' ⊗ ''w''}}.<ref>Ini mirip dengan bagaimana [[Operasi Modulo|penggunaan teknik]] dari "<math>(\bmod n)</math>" secara khusus mengembalikan sisanya, salah satu dari banyak elemen <math>(\bmod n)</math> kelas kesetaraan.</ref> An elemen dari {{math | '' V '' ⊗ '' W ''}} yang bisa ditulis dalam bentuk {{math | '' v '' ⊗ '' w ''}} disebut ''murni'' atau ''[[tensor sederhana]]''. Secara umum, elemen hasil kali tensor bukanlah tensor murni, melainkan kombinasi linier terbatas dari tensor murni. Misalnya, jika {{math|''v''<sub>1</sub>}} dan {{math|''v''<sub>2</sub>}} adalah [[independen linear]], dan {{math|''w''<sub>1</sub>}} dan {{math|''w''<sub>2</sub>}} juga independen linear {{math|''v''<sub>1</sub> ⊗ ''w''<sub>1</sub> + ''v''<sub>2</sub> ⊗ ''w''<sub>2</sub>}} tidak dapat ditulis sebagai tensor murni. Jumlah tensor sederhana yang diperlukan untuk mengekspresikan elemen produk tensor disebut [[peringkat tensor]] (jangan bingung dengan [[urutan tensor]], yang merupakan jumlah spasi yang telah diambil hasil kali, dalam hal ini 2; dalam notasi, jumlah indeks), dan untuk operator linier atau matriks, dianggap sebagai tensor {{math | (1, 1)}} (elemen ruang {{math|''V'' ⊗ ''V''<sup>∗</sup>}}), itu setuju dengan [[peringkat matriks]].

=== Dimensi ===
Pangkalan yang diberikan {{math|{''v<sub>i</sub>''} }} dan {{math|{''w<sub>j</sub>''} }} untuk {{math | '' V ''}} dan {{math | '' W ''}}, tensor {{math|{''v<sub>i</sub>'' ⊗ ''w<sub>j</sub>''}<nowiki/>}} membentuk dasar untuk {{math | '' V '' ⊗ '' W ''}}. Oleh karena itu, jika {{math | '' V ''}} dan {{math | '' W ''}} adalah berdimensi berhingga, dimensi produk tensor adalah hasil kali dari dimensi ruang asli; contohnya {{math|'''R'''<sup>''m''</sup> ⊗ '''R'''<sup>''n''</sup>}} isomorfik untuk {{math|'''R'''<sup>''mn''</sup>}}.

=== Produk sensor dari peta linier ===
Produk tensor juga beroperasi pada [[peta linier]] antara ruang vektor. Secara khusus, diberikan dua peta linear {{math|''S'' : ''V'' → ''X''}} and {{math|''T'' : ''W'' → ''Y''}} antara ruang vektor, '' perkalian tensor dari dua peta linier '' {{math|''S''}} dan {{math|''T''}} adalah peta linier
:<math>S\otimes T:V\otimes W\to X\otimes Y</math>
didefinisikan oleh
:<math>(S\otimes T)(v\otimes w)=S(v)\otimes T(w).</math>

Dengan cara ini, hasil kali tensor menjadi [[bifunctor]] dari kategori ruang vektor ke dirinya sendiri, [[Funktor#Kovarian dan kontravarian|kovarian]] di kedua argumen.<ref>{{cite book| last1=Hazewinkel|first1=Michiel|last2=Gubareni|first2=Nadezhda Mikhaĭlovna| last3=Gubareni|first3=Nadiya|last4=Kirichenko|first4=Vladimir V.|title=Algebras, rings and modules|page=100|
publisher=Springer|year=2004|isbn=978-1-4020-2690-4}}</ref>

Jika {{math | '' S ''}} dan {{math | '' T ''}} keduanya [[injektif]], [[dugaan]] atau (dalam hal {{math|''V''}}, {{math|''X''}}, {{math|''W''}}, dan {{matematika | '' Y ''}} adalah [[ruang vektor bernorma]] atau [[ruang vektor topologis]] s) [[Fungsi kontinu|kontinu]], lalu {{math|''S'' ⊗ ''T''}} bersifat injektif, surjektiv atau kontinu.

Dengan memilih basis dari semua ruang vektor yang terlibat, peta linier {{math | '' S ''}} dan {{math | '' T ''}} dapat diwakili oleh [[matriks (matematika)|matriks]]. Lalu, tergantung bagaimana tensor <math>v \otimes w</math> adalah vektor, matriks yang menjelaskan hasil kali tensor {{math | '' S '' ⊗ '' T ''}} adalah [[hasil Kronecker]] dari dua matriks. Misalnya, jika {{math|''V'', ''X'', ''W''}}, dan {{math | '' Y ''}} di atas semuanya dua dimensi dan basis telah ditetapkan untuk semuanya, dan {{math | '' S ''}} dan {{math | '' T '' }} diberikan oleh matriks
:<math>A=\begin{bmatrix}
 a_{1,1} & a_{1,2} \\
 a_{2,1} & a_{2,2} \\
 \end{bmatrix}, \qquad B=\begin{bmatrix}
 b_{1,1} & b_{1,2} \\
 b_{2,1} & b_{2,2} \\
 \end{bmatrix}, </math>

masing-masing, maka produk tensor dari kedua matriks ini adalah

:<math>
  \begin{bmatrix}
    a_{1,1} & a_{1,2} \\
    a_{2,1} & a_{2,2} \\
  \end{bmatrix}
  \otimes
  \begin{bmatrix}
    b_{1,1} & b_{1,2} \\
    b_{2,1} & b_{2,2} \\
  \end{bmatrix}
  =
  \begin{bmatrix}
    a_{1,1} \begin{bmatrix}
      b_{1,1} & b_{1,2} \\
      b_{2,1} & b_{2,2} \\
    \end{bmatrix} & a_{1,2} \begin{bmatrix}
      b_{1,1} & b_{1,2} \\
      b_{2,1} & b_{2,2} \\
    \end{bmatrix} \\[3pt]
    a_{2,1} \begin{bmatrix}
      b_{1,1} & b_{1,2} \\
      b_{2,1} & b_{2,2} \\
    \end{bmatrix} & a_{2,2} \begin{bmatrix}
      b_{1,1} & b_{1,2} \\
      b_{2,1} & b_{2,2} \\
    \end{bmatrix} \\
  \end{bmatrix}
  =
  \begin{bmatrix}
    a_{1,1} b_{1,1} & a_{1,1} b_{1,2} & a_{1,2} b_{1,1} & a_{1,2} b_{1,2} \\
    a_{1,1} b_{2,1} & a_{1,1} b_{2,2} & a_{1,2} b_{2,1} & a_{1,2} b_{2,2} \\
    a_{2,1} b_{1,1} & a_{2,1} b_{1,2} & a_{2,2} b_{1,1} & a_{2,2} b_{1,2} \\
    a_{2,1} b_{2,1} & a_{2,1} b_{2,2} & a_{2,2} b_{2,1} & a_{2,2} b_{2,2} \\
  \end{bmatrix}.
</math>

Peringkat yang dihasilkan paling banyak 4, dan dengan demikian dimensi yang dihasilkan adalah 4. Perhatikan bahwa '' peringkat '' di sini menunjukkan [[peringkat tensor]] yaitu jumlah indeks yang diperlukan (sedangkan [[peringkat matriks]] menghitung jumlah derajat kebebasan dalam larik yang dihasilkan). Catatan <math>\operatorname{Tr}  A\otimes B=  \operatorname{Tr}A \times  \operatorname{Tr}B</math>.

[[perkalian diadik]] adalah kasus khusus dari hasil kali tensor antara dua vektor dengan dimensi yang sama.

=== Sifat universal ===
[[Berkas:Another universal tensor prod.svg|right|jmpl|200px|[[Diagram komutatif]] ini menyajikan properti universal produk tensor. Maka <math>\varphi</math> dan <math> h </math> bilinear, sedangkan <math>\tilde{h}</math> linier.]]

Dalam konteks ruang vektor, hasil kali tensor <math>V \otimes W</math> dan peta bilinear terkait <math>\varphi: V \times W \to V \otimes W</math> dicirikan hingga isomorfisme oleh [[properti universal]] terkait [[peta bilinear]]. (Ingatlah bahwa peta bilinear adalah fungsi yang '' terpisah '' linier di setiap argumennya.) Secara informal, <math>\varphi</math> adalah peta bilinear yang paling umum <math>V \times W</math>.

{{gbq|
Ruang vektor <math>V \otimes W</math> dan peta bilinear terkait <math>\varphi: V \times W \to V \otimes W</math> memiliki properti yang peta bilinear apapun <math>h: V \times W \to Z</math> dari <math>V \times W</math> ke ruang vektor mana pun yang dimasukkan faktor <math> Z </math> <math>\varphi</math> secara unik. Dengan mengucapkan "<math> h </math> faktor melalui <math>\varphi</math> secara unik ", maksud kami ada peta linier unik <math>\tilde{h}: V \otimes W \to Z</math> seperti <math>h = \tilde{h} \circ \varphi</math>.
}}

Karakterisasi ini dapat menyederhanakan pembuktian tentang produk tensor. Misalnya, hasil kali tensor simetris, artinya terdapat [[isomorfisma kanonik]]:
:<math>V \otimes W \cong W \otimes V.</math>
Untuk membuat, katakanlah, peta dari <math>V \otimes W</math> ke <math>W \otimes V</math>, itu sudah cukup untuk memberikan peta bilinear <math>h: V \times W \to W \otimes V</math> peta itu <math>(v,w)</math> ke <math>w \otimes v</math>. Kemudian properti universal <math>V \otimes W</math> berarti faktor <math> h </math> ke dalam peta <math>\tilde{h}:V \otimes W \to W \otimes V</math>.
A map <math>\tilde{g}:W \otimes V \to V \otimes W</math> dalam arah yang berlawanan didefinisikan dengan cara yang sama, dan seseorang memeriksa bahwa dua peta linier <math>\tilde{h}</math> dan <math>\tilde{g}</math> adalah [[Fungsi invers|invers]] satu sama lain dengan kembali menggunakan properti universal mereka.

Properti universal sangat berguna dalam menunjukkan bahwa peta ke produk tensor bersifat injektif. Misalnya, kita ingin menunjukkan <math>\mathbb R \otimes \mathbb R</math> is isomorphic to <math>\mathbb R</math>. Karena semua tensor sederhana berbentuk <math>a \otimes b = (ab) \otimes 1</math>, dan karenanya semua elemen produk tensor adalah bentuk <math>x \otimes 1</math> dengan aditifitas pada koordinat pertama, kita memiliki kandidat alami untuk isomorfisme <math>\mathbb R \rightarrow \mathbb R \otimes \mathbb R</math> diberikan oleh pemetaan <math>x</math> ke <math>x \otimes 1</math>, dan peta ini sangat meyakinkan.

Menunjukkan suntikan secara langsung akan melibatkan entah bagaimana menunjukkan bahwa tidak ada hubungan non-sepele di antara keduanya <math>x \otimes 1</math> dan <math>y \otimes 1</math> ke <math>x \neq y</math>, yang tampaknya menakutkan. Namun, kita tahu bahwa ada peta bilinear <math>\mathbb R \times \mathbb R \rightarrow \mathbb R</math> diberikan dengan mengalikan koordinat, dan properti universal produk tensor kemudian melengkapi peta ruang vektor <math>\mathbb R \otimes \mathbb R \rightarrow \mathbb R</math> peta <math>x \otimes 1</math> ke <math> x </math>, dan karenanya merupakan kebalikan dari homomorfisme yang dikonstruksi sebelumnya, segera menyiratkan hasil yang diinginkan. Perhatikan bahwa, apriori, bahkan tidak jelas bahwa peta terbalik ini terdefinisi dengan baik, tetapi properti universal dan peta bilinear yang terkait bersama-sama menyiratkan bahwa memang demikian.

Penalaran serupa dapat digunakan untuk menunjukkan bahwa produk tensor bersifat asosiatif, yaitu terdapat isomorfisme alami
:<math>V_1\otimes(V_2\otimes V_3)\cong (V_1\otimes V_2)\otimes V_3.</math>
Oleh karena itu, biasanya tanda kurung dihilangkan dan ditulis <math>V_1 \otimes V_2 \otimes V_3</math>.

Kategori ruang vektor dengan hasil kali tensor adalah contoh dari sebuah [[kategori monoidal simetris]].

Definisi properti universal dari produk tensor valid di lebih banyak kategori daripada hanya kategori ruang vektor. Alih-alih menggunakan peta multilinear (bilinear), definisi produk tensor umum menggunakan multimorfisme.<ref>{{cite web |url=https://ncatlab.org/nlab/show/tensor+product |title=Archived copy |accessdate=2017-09-02 |url-status=live |archiveurl=https://web.archive.org/web/20170902184851/https://ncatlab.org/nlab/show/tensor+product |archivedate=2017-09-02 }}{{user-generated source|date=September 2017}}</ref>

=== Kekuatan sensor dan jalinan ===
Misalkan {{math | '' n ''}} adalah bilangan bulat non-negatif. {{Math | '' n ''}} ke '''tensor pangkat''' dari ruang vektor {{math | '' V ''}} adalah {{math | '' n ''}} - hasil kali tensor lipat dari {{math | '' V ''}} dengan dirinya sendiri. Itu adalah
:<math>V^{\otimes n} \;\overset{\mathrm{def}}{=}\; \underbrace{V\otimes\cdots\otimes V}_{n}.</math>

[[Permutasi]] {{math | '' σ ''}} dari himpunan {{math | {1, 2, ..., '' n ''}}} menentukan pemetaan dari {{math | '' n ''}} pangkat Kartesius dari {{math | '' V ''}} sebagai berikut:

:<math>\begin{cases}
  \sigma : V^n \to V^n \\
  \sigma(v_1,v_2,\ldots,v_n) = \left(v_{\sigma(1)}, v_{\sigma(2)},\ldots,v_{\sigma(n)}\right)
\end{cases}</math>

Maka

:<math>\varphi : V^n \to V^{\otimes n}</math>

jadilah multilinear alami yang menanamkan pangkat Kartesius dari {{math | '' V ''}} ke dalam pangkat tensor {{math | '' V ''}}. Kemudian, berdasarkan sifat universal, ada isomorfisme yang unik

:<math>\tau_\sigma : V^{\otimes n} \to V^{\otimes n}</math>

seperti

:<math>\varphi\circ\sigma = \tau_\sigma\circ\varphi.</math>

Isomorfisme {{math|''τ<sub>σ</sub>''}} disebut '''mengepang peta''' yang terkait dengan permutasi {{math|''σ''}}.

== Hasil kali tensor ==
{{See also|Perlakuan klasik tensor}}
Untuk bilangan bulat non-negatif {{math | '' r ''}} dan {{math | '' s ''}} tipe {{math | ('' r '', '' s '')}} [ [tensor]] pada ruang vektor {{math | '' V ''}} adalah elemen dari

:<math> T^r_s(V) = \underbrace{ V \otimes \cdots \otimes V}_r \otimes \underbrace{ V^* \otimes \cdots \otimes V^*}_s = V^{\otimes r} \otimes \left(V^*\right)^{\otimes s}.</math>

Maka {{math|''V''<sup>∗</sup>}} adalah [[ruang vektor ganda]] (yang terdiri dari semua [[peta linier]] {{math | '' f ''}} dari {{math | '' V ''}} ke bidang tanah {{ matematika | '' K ''}}).

Ada peta produk, yang disebut '' (tensor) produk tensor ''{{refn|{{harvp|Bourbaki|1989|p=244}} mendefinisikan penggunaan "produk tensor '' x '' dan '' y ''", elemen dari masing-masing modul.}}
:<math>T^r_s (V) \otimes_K T^{r'}_{s'} (V) \to T^{r+r'}_{s+s'}(V).</math>

Ini ditentukan dengan mengelompokkan semua "faktor" yang muncul {{math | '' V ''}} bersama-sama: menulis {{math|''v''<sub>''i''</sub>}} untuk elemen {{math | '' V ''}} dan {{math|''f''<sub>''i''</sub>}} untuk elemen ruang ganda,
:<math>(v_1 \otimes f_1) \otimes (v'_1) = v_1 \otimes v'_1 \otimes f_1.</math>

Memilih basis dari {{math | '' V ''}} dan [[basis ganda]] yang sesuai {{math|''V''<sup>∗</sup>}} secara alami menginduksi dasar untuk {{math|''T''{{su|b=''s''|p=''r''}}(''V'')}} (dasar ini dijelaskan di [[Produk Kronekker#Sifat abstrak|artikel tentang produk Kronecker]]). Dalam hal basis ini, [[vektor Koordinat|komponen]] dari produk (tensor) dari dua (atau lebih) [[tensor]] dapat dihitung. Sebagai contoh, jika {{math | '' F ''}} dan {{math | '' G ''}} adalah dua [[kovariansi dan kontradiksi vektor|kovarian]] tensor urutan {{math | '' m ''} } dan {{math | '' n ''}} (yaitu {{math|''F'' ∈ ''T''{{su|b=''m''|p= 0}}}}, dan {{math|''G'' ∈ ''T''{{su|b=''n''|p= 0}}}}), kemudian komponen produk tensor mereka diberikan oleh<ref>Rumus analog juga berlaku untuk tensor [[Kovariansi dan kontravarian vektor|kontravarian]], serta tensor varian campuran. Meskipun dalam banyak kasus seperti ketika ada [[produk dalam]] yang ditentukan, perbedaannya tidak relevan.</ref>
:<math>(F \otimes G)_{i_1 i_2 \cdots i_{m+n}} = F_{i_1 i_2 \cdots i_m} G_{i_{m+1} i_{m+2} i_{m+3} \cdots i_{m+n}}.</math>

Jadi, komponen hasil kali tensor dari dua buah tensor merupakan hasil kali biasa dari komponen setiap tensor. Contoh lain: misalkan {{math | '' 'U' ''}} menjadi tensor bertipe {{math | (1, 1)}} dengan kompenen {{math|''U<sup>α</sup><sub>β</sub>''}}, dan biarkan {{math | '''V'''}} menjadi tensor berjenis {{math | (1, 0)}} dengan komponen {{math|''V'' <sup>''γ''</sup>}}. Then
:<math> (U \otimes V)^\alpha {}_\beta {}^\gamma = U^\alpha {}_\beta V^\gamma </math>

dan
:<math>(V \otimes U)^{\mu\nu} {}_\sigma = V^\mu U^\nu {}_\sigma.</math>

Tensor yang dilengkapi dengan operasi produknya membentuk sebuah [[aljabar di atas bidang|aljabar]], yang disebut [[aljabar tensor]].

=== Peta evaluasi dan kontraksi tensor ===
Untuk tensor tipe {{math | (1, 1)}} ada kanonik '''peta evaluasi'''

:<math>V \otimes V^* \to K</math>

ditentukan oleh aksinya pada tensor murni:

:<math>v \otimes f \mapsto f(v).</math>

Secara lebih umum, untuk tensor jenis {{math | ('' r '', '' s '')}}, dengan {{math | '' r '', '' s ''> 0}}, terdapat peta, yang disebut [[kontraksi tensor]],

:<math>T^r_s (V) \to T^{r-1}_{s-1}(V).</math>

(Salinan dari {{math | '' V ''}} dan {{math|''V''<sup>*</sup>}} di mana peta ini akan diterapkan harus ditentukan.)

Di sisi lain, jika {{math | '' V ''}} adalah '' finite-dimensional '', ada peta kanonik di arah lain (disebut '''peta evaluasi''')

:<math>\begin{cases} K \to V \otimes V^* \\ \lambda \mapsto \sum_i \lambda v_i \otimes v^*_i \end{cases}</math>

dimana {{math|''v''<sub>1</sub>, ..., ''v''<sub>''n''</sub>}} adalah dasar apa pun dari {{math | '' V ''}}, dan {{math|''v''<sub>''i''</sub><sup>∗</sup>}} adalah [[basis ganda]]. Peta ini tidak bergantung pada pilihan dasar.<ref>{{Cite web| url= https://unapologetic.wordpress.com/2008/11/13/the-coevaluation-on-vector-spaces/|title=The Coevaluation on Vector Spaces|date=2008-11-13| website=The Unapologetic Mathematician|access-date=2017-01-26| url-status=live |archiveurl =https://web.archive.org/web/20170202080439/https://unapologetic.wordpress.com/2008/11/13/the-coevaluation-on-vector-spaces/| archivedate =2017-02-02}}</ref>

Interaksi evaluasi dan koevaluasi dapat digunakan untuk mengkarakterisasi ruang vektor berdimensi-hingga tanpa mengacu pada basis.<ref>Lihat [[Kategori tertutup rapat]].</ref>

=== Representasi adjoint ===
Produk tensor <math>T^r_s(V) </math> secara alami dapat dilihat sebagai modul untuk [[aljabar Lie]] {{math | End ('' V '')}} melalui aksi diagonal: untuk kesederhanaan mari kita asumsikan {{math|1=''r'' = ''s'' = 1}}, then, for each {{math|''u'' ∈ End(''V'')}},

:<math> u(a \otimes b) = u(a) \otimes b - a \otimes u^*(b),</math>

dimana {{math|''u''<sup>∗</sup>}} pada {{math|End(''V''<sup>∗</sup>)}} adalah [[transpos]] dari {{math | '' u ''}}, yaitu, dalam hal pasangan yang jelas pada {{math|''V'' ⊗ ''V''<sup>∗</sup>}},

:<math>\langle u(a), b \rangle = \langle a, u^*(b) \rangle</math>.

There is a canonical isomorphism <math>T^1_1(V) \to \mathrm{End}(V) </math> given by

:<math>(a \otimes b)(x) = \langle x, b \rangle a. </math>

Under this isomorphism, every {{math|''u''}} in {{math|End(''V'')}} may be first viewed as an endomorphism of <math>T^1_1(V)</math> and then viewed as an endomorphism of {{math|End(''V'')}}. In fact it is the [[Adjoint representation of a Lie algebra|adjoint representation]] {{math|ad(''u'')}} of {{math|End(''V'')}}.

== Lihat pula ==
{{wiktionary}}

* {{annotated link|Produk diadik}}
* {{annotated link|Perpanjangan skalar}}
* {{annotated link|Kategori monoid}}
* {{annotated link|Tensor aljabar}}
* {{annotated link|Tensor kontraksi}}
* {{annotated link|Produk tensor topologi}}

== Catatan ==
{{Reflist}}

== Referensi ==
*{{cite book |first = Nicolas|last=Bourbaki|authorlink=Nicolas Bourbaki | title = Elements of mathematics, Algebra I|url = https://archive.org/details/elementsofmathem0000nico_s0g9| publisher = Springer-Verlag | year = 1989|isbn=3-540-64243-9}}
*{{cite web|last=Gowers|first=Timothy|authorlink=Tim Gowers|url=https://www.dpmms.cam.ac.uk/~wtg10/tensors3.html|title=How to lose your fear of tensor products}}
*{{cite book |first=Pierre A.|last=Grillet|title=Abstract Algebra|url=https://archive.org/details/abstractalgebra0000gril|year=2007|publisher=Springer Science+Business Media, LLC| isbn= 978-0387715674}}
*{{cite book |authorlink=Paul Halmos|first=Paul|last=Halmos|title=Finite dimensional vector spaces| year=1974 |publisher= Springer |isbn= 0-387-90093-4}}
*{{cite book |first=Thomas W.|last=Hungerford|authorlink=Thomas W. Hungerford| title=Algebra |year=2003 |publisher= Springer |isbn= 0387905189}}
*{{Lang Algebra|edition=3r}}
*{{cite book |first1=S.|last1=Mac Lane|authorlink1=Saunders Mac Lane|authorlink2=Garrett Birkhoff |last2= Birkhoff |first2= G. |title= Algebra|publisher=AMS Chelsea|year=1999|isbn=0-8218-1646-2}}
*{{cite book |first1=M.|last1=Aguiar|first2=S.|last2=Mahajan| title = Monoidal functors, species and Hopf algebras|publisher = CRM Monograph Series Vol 29 |year=2010|isbn=978-0-8218-4776-3}}
*{{cite web |url=http://pages.bangor.ac.uk/~mas010/nonabtens.html |title=Bibliography on the nonabelian tensor product of groups }}

{{tensor}}

{{DEFAULTSORT:Tensor Product}}
[[Kategori:Operasi biner]]
[[Kategori:Operator Bilinear]]