Tensör Çarpımı
İki modülün tensör çarpımı, bilineer haritaların evrensel alıcısıdır; bilineer yapıları lineer olanlara dönüştürür ve halkalar arasında skaler değişimini mümkün kılar.
Tanım
Değişmeli bir halka üzerindeki iki modülün tensör çarpımı, evrensel nitelikte olan, içine bir bilineer harita ile birlikte bir modüldür: modül çiftinden çıkan her bilineer harita, onun aracılığıyla tekil olarak lineer bir harita şeklinde çarpanlarına ayrılmaktadır.
Kapsam
Bu konu, modüllerin tensör çarpımının yapısını ve evrensel özelliğini, üreteçler ve bağıntılar üzerindeki davranışını, taban değişimi ve skalerlerin genişletilmesini, vektör uzaylarının ve cebirlerin tensör çarpımını ve tensör funktorunun sağ-kesinliğini kapsamaktadır.
Temel sorular
- Bilineer haritalar nasıl lineer haritalara dönüştürülebilir?
- Tensör çarpımını hangi evrensel özellik tanımlar?
- Tensör çarpımı, halkalar arasında skaler değişimini nasıl uygular?
- Tensör çarpımı, direkt toplamlar ve kesin dizilerle nasıl etkileşir?
Temel kuramlar
- Tensör çarpımının evrensel özelliği
- Tensör çarpımı, bir modül çiftinden gelen her bilineer haritanın lineer bir harita olarak çarpanlarına ayrıldığı tekil modüldür; bu özellik onu izomorfizmaya kadar karakterize etmekte ve tüm özelliklerini yönetmektedir.
- Skalerlerin genişletilmesi
- Bir modülü, bir halka homomorfizmi boyunca daha büyük bir halka ile tensörlemek, skalerlerini genişletir ve bir halka üzerindeki bir modülü başka bir halka üzerindeki bir modüle dönüştürür; bu, cebir ve geometride taban değişiminin temel mekanizmasıdır.
- Tensör funktorunun sağ-kesinliği
- Tensörleme, çekirdekleri (cokernels) ve örten haritaları (surjections) korurken, genellikle birebir haritaları (injections) korumaz, bu nedenle sağ-kesindir. Sol-kesinliğin başarısızlığı, türetilmiş funktorlar Tor tarafından ölçülmekte ve homolojik cebirin temelini oluşturmaktadır.
Klinik önem
Tensör çarpımları oldukça yaygın bir kullanıma sahiptir: multilineer cebiri, dış ve simetrik cebirleri inşa etmekte, bileşik kuantum sistemlerini durum uzaylarının tensör çarpımları olarak modellemekte, cebirsel geometride taban değişimini uygulamakta ve diferansiyel geometri ile makine öğreniminin tensörlerinin temelini oluşturmaktadır.
Tarihçe
Tensörler, Ricci ve Levi-Civita'nın diferansiyel geometri üzerine çalışmalarında ve Grassmann'ın dış cebirinde ortaya çıkmıştır. Modül-teorik tensör çarpımı ve evrensel özelliği ise, homolojik cebir geliştikçe yirminci yüzyılın ortalarında soyutlanmış ve Cartan, Eilenberg ile Mac Lane'in çalışmalarıyla standart bir araç haline gelmiştir.
Öne çıkan isimler
- Hermann Grassmann
- Élie Cartan
- Emmy Noether
- Saunders Mac Lane
İlgili konular
Temel eserler
- dummit2004
- atiyah1969
- lang2002
Sıkça sorulan sorular
- Tensör çarpımı hangi sorunu çözer?
- Tüm bilineer haritaların lineer olarak çarpanlarına ayrıldığı tek bir modül sağlamaktadır; böylece bilineer sorular lineer sorular haline gelmektedir. Bu evrensel özellik, herhangi bir açık formül değil, yapıyı kullanışlı ve iyi davranışlı kılan temel unsurdur.
- Tensör çarpımı neden sadece sağ-kesindir?
- Tensörleme, örten haritaları (surjections) ve çekirdekleri (cokernels) korurken, birebirliği (injectivity) bozabilmektedir, çünkü elemanlar arasındaki bağıntılar çökebilir. Bu kesin başarısızlık Tor funktorları tarafından yakalanmakta ve tensör çarpımlarının homolojik cebirle birlikte incelenmesinin nedenini oluşturmaktadır.