Đa tạp trong không gian Euclid 31.2 nhúng parametrizationsChúng tôi giới thiệu một tài sản của parametrizations, mà về cơ bản có nghĩa làkhông có không có nút giao thông tự. Về cơ bản, điều này có nghĩa là mà parametrizationlà phải, nhưng chúng ta sẽ thấy rằng injectivity một mình là không đủ để đảm bảo hành vi mà chúng tôi muốn, và chúng tôi sẽ bổ sung injectivity với nhauđiều kiện.Định nghĩa 1.2.1. Cho phép một ⊂ Rm và B ⊂ Rn. Một bản đồ f: một → B mà làsong ánh liên tục, và có một liên tục nghịch đảo được gọi là một phép đồng phôi.Các tập A và B là không gian metric, với các chức năng cùng một khoảng cáchnhư các không gian Euclide xung quanh, và liên tục của f và f −1 làgiả định là đối với các số liệu này.Định nghĩa 1.2.2. Một thường xuyên parametrized đa tạp σ: U → Rn là mộtphép đồng phôi U → σ(U), được gọi là một đa tạp nhúng parametrized.Đặc biệt định nghĩa này áp dụng cho đường cong và bề mặt, và vì thế chúng tôicó thể nói về đường cong nhúng parametrized và nhúng parametrizedbề mặt.Ngoài việc được mịn màng và thường xuyên, các điều kiện trên σ là như vậy mànó là phải và nghịch đảo bản đồ σ(x) 7→ x là liên tục σ(U) → U.Kể từ khi các điều kiện sau này liên tục là quan trọng trong sau đây, chúng tôi sẽxây dựng một chút về nó.Định nghĩa 1.2.3. Cho phép một Rn ⊂. Một tập hợp con B ⊂ A được gọi là tương đốimở nếu nó có dạng B = A ∩ W cho một số tập mở W ⊂ Rn.Ví dụ, khoảng B = [0; 1 [tương đối mở cửa trong A = [0, ∞ [, kể từ khinó có hình thức A∩W với W =] −1, 1 [. Một ví dụ khác, để cho A = {(x, 0)}là trục x trong R2. Một tập hợp con B ⊂ A là tương đối mở nếu và chỉ nếu nó cóhình thức U × {0} nơi U ⊂ R là mở (dĩ nhiên, không có con của các trụcđược mở trong R2, ngoại trừ tập rỗng). Nếu A là đã mở trong Rn, sau đó, cáctương đối mở tập con là chỉ là các tập con mở.Nó dễ dàng nhìn thấy rằng B ⊂ A là tương đối mở nếu và chỉ nếu nó đang mở trongkhông gian metric của A được trang bị với hàm khoảng cách của Rn.Sự liên tục của σ(x) 7→ x từ σ(U) để U có nghĩa là theo định nghĩa đó mỗimở tập con V ⊂ U có một preimage mở trong σ(U). Preimage V bằng cách nàybản đồ là σ (V), do đó các điều kiện là V ⊂ U mở ngụ ý σ (V) ⊂ σ(U)mở. Bởi nhận xét và định nghĩa trước đây là tương đương để yêu cầucho mỗi mở V ⊂ U có tồn tại một mở thiết lập W ⊂ Rn sao choΣ (V) = Σ(U) ∩ W. (1.1)Tầm quan trọng của tình trạng này được minh họa trong ví dụ 1.2.2 dưới đây.Nhận thấy rằng một reparametrization τ = σ ◦ φ của một parametrized nhúngđa tạp nhúng một lần nữa. Ở đây φ: W → U là một diffeomorphism mở
đang được dịch, vui lòng đợi..
