Tích Tenxơ

Tích tenxơ của hai mô-đun là đối tượng tiếp nhận phổ quát của các ánh xạ song tuyến tính, chuyển đổi các cấu trúc song tuyến tính thành tuyến tính và cho phép thay đổi các vô hướng giữa các vành.

Definition

Tích tenxơ của hai mô-đun trên một vành giao hoán là một mô-đun cùng với một ánh xạ song tuyến tính vào nó có tính phổ quát: mọi ánh xạ song tuyến tính từ cặp mô-đun đều được phân tích duy nhất thông qua nó dưới dạng một ánh xạ tuyến tính.

Scope

Chủ đề này bao gồm việc xây dựng và tính chất phổ quát của tích tenxơ của các mô-đun, hành vi của nó trên các phần tử sinh và quan hệ, thay đổi cơ sở và mở rộng vô hướng, tích tenxơ của các không gian vectơ và của các đại số, và tính đúng-chính xác của hàm tử tenxơ.

Core questions

• Làm thế nào để biến các ánh xạ song tuyến tính thành các ánh xạ tuyến tính?
• Tính chất phổ quát nào định nghĩa tích tenxơ?
• Tích tenxơ thực hiện việc thay đổi các vô hướng giữa các vành như thế nào?
• Tích tenxơ tương tác với các tổng trực tiếp và các dãy chính xác như thế nào?

Key theories

Tính chất phổ quát của tích tenxơ

Tích tenxơ là mô-đun duy nhất mà qua đó mọi ánh xạ song tuyến tính từ một cặp mô-đun được phân tích thành một ánh xạ tuyến tính, điều này đặc trưng cho nó cho đến đẳng cấu và chi phối tất cả các tính chất của nó.

Mở rộng vô hướng

Việc lấy tích tenxơ của một mô-đun với một vành lớn hơn theo một đồng cấu vành sẽ mở rộng các vô hướng của nó, biến một mô-đun trên một vành thành một mô-đun trên một vành khác, đây là cơ chế cơ bản của việc thay đổi cơ sở trong đại số và hình học.

Tính đúng-chính xác của hàm tử tenxơ

Việc lấy tích tenxơ bảo toàn các đối hạt nhân và các toàn ánh nhưng nói chung không bảo toàn các đơn ánh, vì vậy nó là đúng-chính xác; sự thất bại của tính trái-chính xác được đo bằng các hàm tử dẫn xuất Tor, đặt nền móng cho đại số đồng điều.

Clinical relevance

Tích tenxơ có mặt ở khắp mọi nơi: chúng xây dựng đại số đa tuyến tính và các đại số đối xứng và đối xứng ngoài, mô hình hóa các hệ thống lượng tử phức hợp dưới dạng tích tenxơ của các không gian trạng thái, thực hiện thay đổi cơ sở trong hình học đại số, và là nền tảng của các tenxơ trong hình học vi phân và học máy.

History

Các tenxơ xuất hiện trong công trình của Ricci và Levi-Civita về hình học vi phân và trong đại số đối xứng ngoài của Grassmann, trong khi tích tenxơ theo lý thuyết mô-đun và tính chất phổ quát của nó được trừu tượng hóa vào giữa thế kỷ 20 khi đại số đồng điều phát triển, trở thành một công cụ tiêu chuẩn thông qua công trình của Cartan, Eilenberg và Mac Lane.

Key figures

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

Seminal works

• dummit2004
• atiyah1969
• lang2002

Frequently asked questions

Tích tenxơ giải quyết vấn đề gì?

Nó cung cấp một mô-đun duy nhất mà qua đó tất cả các ánh xạ song tuyến tính được phân tích tuyến tính, để các vấn đề song tuyến tính trở thành vấn đề tuyến tính. Tính chất phổ quát này, chứ không phải bất kỳ công thức rõ ràng nào, là điều làm cho cấu trúc này hữu ích và hoạt động tốt.

Tại sao tích tenxơ chỉ đúng-chính xác?

Việc lấy tích tenxơ bảo toàn các toàn ánh và các đối hạt nhân nhưng có thể phá hủy tính đơn ánh, vì các quan hệ giữa các phần tử có thể bị sụp đổ. Sự thất bại chính xác được nắm bắt bởi các hàm tử Tor, đó là lý do tại sao các tích tenxơ được nghiên cứu cùng với đại số đồng điều.