Chương 1
đa tạp trong không gian Euclide
Trong Geometry 1 chúng tôi đã xử lý với những đường cong parametrized và bề mặt trong
R2 hoặc R3. Các định nghĩa chúng ta đã thấy cho hai khái niệm là tương tự
nhau, và chúng ta sẽ bắt đầu bằng cách khái quát chúng để kích thước tùy ý.
Kết quả là chúng ta có được ý niệm của một m chiều đa dạng parametrized
trong Rn.
Các nghiên cứu về đường và mặt trong Hình học 1 chủ yếu là thông qua
parametrizations. Tuy nhiên, vì nó đã được giải thích, ví dụ quan trọng của
đường cong và bề mặt phát sinh tự nhiên hơn khi bộ cấp, ví dụ như các vòng tròn
{(x, y) | x2 + y2 = 1} và các cầu {(x, y, z) | x2 + y2 + z2 = 1}. Để
đối phó với các bộ như vậy, chúng ta sẽ định nghĩa một khái niệm đa tạp, áp dụng cho
các tập con trong Rn mà không có đặc điểm kỹ thuật của một parametrization cụ thể. Các
khái niệm mới sẽ đưa vào tài khoản các khả năng rằng các tập con nhất định của Rn
không được bao phủ bởi một parametrization duy nhất. Nó rất dễ dàng để cung cấp cho các ví dụ về tập hợp con của R3 mà chúng ta nhận thức như các bề mặt, nhưng mà parametrizations tự nhiên
không bao gồm toàn bộ tập hợp (ít nhất là nếu chúng tôi yêu cầu các parametrizations là
thường xuyên).
Ví dụ, chúng tôi đã thấy rằng đối với hình cầu tiêu chuẩn tọa độ trên
mặt cầu có hai điểm ít, các cực. Để có một thường xuyên
parametrization chúng ta phải loại trừ những điểm này. Một biến thể của tiêu chuẩn
tọa độ cầu với vai trò thay đổi cho nhau của y và z sẽ có ít
cực ở hai điểm khác. Toàn bộ hình cầu do đó có thể được bao phủ bởi hình cầu
tọa độ nếu chúng ta cho phép hai parametrizations phủ khác nhau, chồng chéo
các tập con của hình cầu. Lưu ý rằng trong tương phản, các parametrization tiêu chuẩn
của vòng tròn theo tọa độ lượng giác là ở khắp mọi nơi thường xuyên.
1.1 parametrized đa tạp
Trong m sau và n là tùy ý các số nguyên không âm với m ≤ n.
Định nghĩa 1.1.1. Một đa tạp parametrized trong Rn là một σ đồ trơn: U →
Rn, nơi U ⊂ Rm là một tập mở không trống. Nó được gọi là thường xuyên tại x ∈
U nếu n × m Jacobi ma trận Dσ (x) có bậc m (có nghĩa là, nó có tuyến tính
cột độc lập), và nó được gọi là thường xuyên nếu đây là trường hợp ở tất cả các x ∈
U. Một đa tạp parametrized m chiều là một đa tạp parametrized
σ: U → Rn với U ⊂ Rm, đó là thường xuyên (có nghĩa là, đều đặn là ngụ ý ở
tất cả các điểm khi chúng ta nói về kích thước).
đang được dịch, vui lòng đợi..
