Các Hệ Mét Riemann và Đường Trắc Địa

Một hệ mét Riemann đo độ dài và góc trên một đa tạp, và các đường trắc địa là những đường cong cục bộ cực tiểu hóa độ dài — tương tự như đường thẳng trong không gian cong.

Definition

Một hệ mét Riemann gán cho mỗi không gian tiếp tuyến một tích vô hướng xác định dương phụ thuộc trơn tru vào điểm; một đường trắc địa là một đường cong cục bộ cực tiểu hóa độ dài, tương đương với một đường cong có vận tốc song song với chính nó.

Scope

Chủ đề này định nghĩa hệ mét Riemann là một tích vô hướng xác định dương biến đổi trơn tru trên các không gian tiếp tuyến, các khái niệm về độ dài cung, góc và thể tích Riemann, cũng như hàm khoảng cách biến một đa tạp Riemann liên thông thành một không gian metric. Nó phát triển các đường trắc địa vừa là đường cong cực tiểu hóa độ dài vừa là nghiệm của phương trình trắc địa, ánh xạ mũ và tọa độ chuẩn, tính đầy đủ trắc địa, và định lý Hopf-Rinow liên hệ tính đầy đủ với sự tồn tại của các đường trắc địa cực tiểu hóa. Các phép đẳng cự và đặc trưng biến phân của các đường trắc địa cũng được bao gồm.

Core questions

• Làm thế nào một hệ mét biến một đa tạp trơn thành một không gian metric với một khoảng cách được xác định rõ ràng?
• Theo nghĩa nào thì các đường trắc địa là những đường cong thẳng nhất và cục bộ ngắn nhất?
• Ánh xạ mũ cung cấp các tọa độ chính tắc xung quanh một điểm như thế nào?
• Khi nào tính đầy đủ trắc địa đảm bảo các đường trắc địa cực tiểu hóa giữa bất kỳ hai điểm nào (Hopf-Rinow)?

Key concepts

• Hệ mét Riemann, độ dài cung và thể tích
• Hàm khoảng cách Riemann và các phép đẳng cự
• Phương trình trắc địa và cực tiểu hóa độ dài
• Ánh xạ mũ và tọa độ chuẩn
• Tính đầy đủ trắc địa và định lý Hopf-Rinow

Clinical relevance

Các đường trắc địa mô hình hóa chuyển động của hạt tự do và đường đi của ánh sáng trong thuyết tương đối, các đường tối ưu trong không gian hình dạng và robot học, và các tuyến đường ngắn nhất trên các bề mặt cong; cấu trúc metric biến một đa tạp thành một đối tượng hình học và không gian metric thực sự.

History

Riemann đã giới thiệu hệ mét vào năm 1854; nghiên cứu biến phân về các đường trắc địa phát triển mạnh vào cuối thế kỷ 19 và đầu thế kỷ 20, và định lý Hopf-Rinow (1931) đã làm rõ sự tương đương giữa tính đầy đủ metric và tính đầy đủ trắc địa, hoàn thiện bức tranh nền tảng được giảng dạy ngày nay.

Key figures

• Bernhard Riemann
• Heinz Hopf
• Willi Rinow

Seminal works

• lee1997
• docarmo1992

Frequently asked questions

Các đường trắc địa có luôn là đường đi ngắn nhất không?

Chỉ cục bộ. Một đường trắc địa cực tiểu hóa độ dài giữa các điểm đủ gần, nhưng trên toàn cục, một đường trắc địa giữa hai điểm xa có thể không phải là đường ngắn nhất — ví dụ, một cung vòng tròn lớn đi đường dài hơn quanh một hình cầu.

Định lý Hopf-Rinow đảm bảo điều gì?

Trên một đa tạp Riemann liên thông, tính đầy đủ trắc địa, tính đầy đủ metric, và tính chất các tập hợp đóng bị chặn là compact đều tương đương, và bất kỳ tính chất nào trong số đó đều đảm bảo rằng mọi cặp điểm được nối với nhau bằng một đường trắc địa cực tiểu hóa.