Khác biệt giữa bản sửa đổi của “Mặt (tô pô)”

Nội dung được xóa Nội dung được thêm vào
nKhông có tóm lược sửa đổi
nKhông có tóm lược sửa đổi
Dòng 25:
 
 
Một mặt được định nghĩa nội tại thì không có thêm sự ràng buộc với vai trò là không gian con của một không gian Euclide. Điều này làm cho các mặt được định nghĩa nội tại có vẻ không phải là một mặt với cấu trúc ngoại lai (được định nghĩa trong không gian Euclide). Tuy nhiên, [[Whitney embedding theorem|định lý nhúng Whitney]] khẳng định rằng mọi mặt đều có thể nhúng đồng phôi vào một không gian Euclide, trong không gian '''E'''<sup>4</sup>: Cách định nghĩa ngoại lai và nội tại là tương đương với nhau.
 
 
Mọi mặt compact có định hướng được hoặc có biên đều có thể nhúng vô E3; mặt khác, một mặt phẳng thực xạ ảnh, compact, không định hướng được và không có biên, thì không thể nhúng vô E3 (xem Gramain). [[Mặt Steiner]], bao gồm [[mặt Boy]], [[mặt Roman]][[cross-cap]], được nhúng vào không gian xạ ảnh thực E3 '''E'''<sup>3</sup>.
 
Mọi mặt compact có định hướng được hoặc có biên đều có thể nhúng vô E3; mặt khác, một mặt phẳng thực xạ ảnh, compact, không định hướng được và không có biên, thì không thể nhúng vô E3 (xem Gramain). Mặt Steiner, bao gồm mặt Boy, mặt Roman và cross-cap, được nhúng vào không gian xạ ảnh thực E3.
 
[[Image:KnottedTorus.svg|right|thumb|A knotted torus.]]
 
Mỗi cách nhúng mặt vô một không gian khác (nếu có nhiều cách) cho ta một thông tin ngoại lai khác nhau. Ví dụ, mặt xuyến có thể nhúng vào '''E'''<sup>3</sup> một cách thông thường (giống chiếc nhẫn) hoặc thắt [[knot (mathematic)|nút]] (xem hình). Hai cách nhúng là đồng phôi với nhau, nhưng không [[HomotopyĐồng luân#IsotopyĐồng luân tương đương|tương đương đồng luân]].