Liên kết (phân thớ véc tơ)
Trong toán học, đặc biệt là trong hình học vi phân, một liên kết (cũng gọi là liên thông)[1] trên một phân thớ véc tơ là một cách định nghĩa dịch chuyển song song trên phân thớ đó; nói cách khác, là một cách để so sánh các thớ liền kề nhau.
Định nghĩa
sửaGọi E → M là một phân thớ véc tơ trên một đa tạp vi phân M. Kí hiệu không gian các nhát cắt trơn của E là Γ(E). Một liên kết trên E là một ánh xạ tuyến tính[2]
sao cho luật Leibniz thỏa mãn:
với mọi hàm trơn f trên M và mọi nhát cắt trơn σ của E.
Trong trường hợp E là phân thớ tiếp tuyến TM, một nhát cắt của E cũng chính là một trường vectơ X trên M. Ta có thể định nghĩa đạo hàm hiệp biến dọc theo X
bằng cách đánh giá tại . Đạo hàm hiệp biến thỏa mãn:
Ngược lại, bất kỳ toán tử nào thỏa mãn các thuộc tính trên đều xác định một liên kết trên .
Nhát cắt song song
sửaMột nhát cắt song song (trên một tập mở ) là một nhát cắt sao cho .
Độ cong
sửaĐộ cong của một liên kết ∇ trên E → M là một dạng bậc hai F ∇ trên M với giá trị trong phân thớ tự đồng cấu End(E) = E⊗E *. Tức là,
F ∇ được định nghĩa bởi biểu thức
Trong đó và là các trường vectơ trên và là một nhát cắt của .
Ví dụ
sửa- Gắn với một đa tạp Riemann , ta có một liên kết Levi-Civita trên . Đây là liên kết duy nhất thỏa mãn hai tính chất sau đây:
- Tính không xoắn: với mọi trường véc-tơ , ta có
- Tính bảo toàn metric: với mọi trường véc-tơ , và , ta có (trong đó vế trái là tác động tự nhiên của trường véc-tơ lên hàm số ).
Độ cong của liên kết này cũng chính là ten-xơ độ cong Riemann (thường được biết đến qua kí hiệu mà, không gì khác hơn, chính là các hệ số của đối với cơ sở cảm sinh từ một hệ tọa độ địa phương ).
Tham khảo
sửaThư mục
sửa- Ambrose, W.; Singer, I.M., A theorem on holonomy, 1953
- Chern, Shiing-Shen, Topics in Differential Geometry, 1951
- Darling, R. W. R., Differential Forms and Connections, 1994, ISBN 0-521-46800-0
- Đoàn Quỳnh, Hình học vi phân, Nhà xuất bản giáo dục, 2000
- Kobayashi, Shoshichi; Nomizu, Katsumi, Foundations of Differential Geometry, Vol. 1, 1996, ISBN 0-471-15733-3
- Koszul, J. L., Homologie et cohomologie des algebres de Lie, 1950
- Lee, John, 1997, Introduction to Riemannian Manifolds, Springer, ISBN 0-387-98271-X
- Wells, R. O., Differential analysis on complex manifolds, 1973, ISBN 0-387-90419-0