Produk Tensor

Produk tensor dari dua modul adalah penerima universal dari peta bilinear, mengubah konstruksi bilinear menjadi konstruksi linear dan memungkinkan perubahan skalar antar gelanggang.

Definition

Produk tensor dari dua modul di atas gelanggang komutatif adalah modul bersama dengan peta bilinear ke dalamnya yang bersifat universal: setiap peta bilinear dari pasangan modul terfaktor secara unik melaluinya sebagai peta linear.

Scope

Topik ini mencakup konstruksi dan sifat universal produk tensor modul, perilakunya pada generator dan relasi, perubahan basis dan perluasan skalar, produk tensor ruang vektor dan aljabar, serta ketepatan-kanan dari funktor tensor.

Core questions

• Bagaimana peta bilinear dapat diubah menjadi peta linear?
• Sifat universal apa yang mendefinisikan produk tensor?
• Bagaimana produk tensor mengimplementasikan perubahan skalar antar gelanggang?
• Bagaimana produk tensor berinteraksi dengan jumlah langsung dan barisan eksak?

Key theories

Sifat universal produk tensor

Produk tensor adalah modul unik di mana setiap peta bilinear dari sepasang modul terfaktor sebagai peta linear, yang mengkarakterisasikannya hingga isomorfisme dan mengatur semua sifatnya.

Perluasan skalar

Mensor modul dengan gelanggang yang lebih besar sepanjang homomorfisme gelanggang memperluas skalarnya, mengubah modul di atas satu gelanggang menjadi modul di atas gelanggang lain, mekanisme dasar perubahan basis dalam aljabar dan geometri.

Ketepatan-kanan dari funktor tensor

Tensoring mempertahankan kokernel dan surjeksi tetapi secara umum tidak injeksi, sehingga bersifat tepat-kanan; kegagalan ketepatan-kiri diukur oleh funktor turunan Tor, yang mendasari aljabar homologi.

Clinical relevance

Produk tensor sangat umum: produk ini membangun aljabar multilinear serta aljabar eksterior dan simetris, memodelkan sistem kuantum komposit sebagai produk tensor ruang keadaan, mengimplementasikan perubahan basis dalam geometri aljabar, dan mendasari tensor geometri diferensial dan pembelajaran mesin.

History

Tensor muncul dalam karya Ricci dan Levi-Civita tentang geometri diferensial dan dalam aljabar eksterior Grassmann, sementara produk tensor teori modul dan sifat universalnya diabstraksikan pada pertengahan abad kedua puluh seiring dengan perkembangan aljabar homologi, menjadi alat standar melalui karya Cartan, Eilenberg, dan Mac Lane.

Key figures

• Hermann Grassmann
• Élie Cartan
• Emmy Noether
• Saunders Mac Lane

Seminal works

• dummit2004
• atiyah1969
• lang2002

Frequently asked questions

Masalah apa yang dipecahkan oleh produk tensor?

Produk ini menyediakan modul tunggal di mana semua peta bilinear terfaktor secara linear, sehingga pertanyaan bilinear menjadi pertanyaan linear. Sifat universal ini, bukan formula eksplisit apa pun, yang membuat konstruksi ini berguna dan berperilaku baik.

Mengapa produk tensor hanya tepat-kanan?

Tensoring mempertahankan surjeksi dan kokernel tetapi dapat merusak injektivitas, karena relasi antar elemen dapat runtuh. Kegagalan yang tepat ditangkap oleh funktor Tor, itulah sebabnya produk tensor dipelajari bersama dengan aljabar homologi.