Phép nhúng (toán học)

Trong toán học, một phép nhúng khái quát hóa ý tưởng về việc đặt một vật thể vào trong một vật thể khác (một cách phù hợp).

Tô pô và hình học

Tô pô đại cương

Trong tô pô đại cương, một phép nhúng là một phép đồng phôi vào ảnh của nó. Cụ thể hơn, một đơn ánh liên tục $f:X\to Y$ giữa các không gian tôpô $X$ và $Y$ là một phép nhúng tô pô nếu $f$ là một đồng phôi giữa $X$ và $f(X)$ ($f(X)$ mang cấu trúc tô pô cảm sinh từ $Y$). Với một phép nhúng $f:X\to Y$, ta có thể coi $X$ như một không gian con của $Y$.

Tô pô vi phân

Trong tô pô vi phân: Xét $M$ và $N$ là đa tạp trơn và $f:M\to N$ là một ánh xạ trơn. $f$ là một phép dìm nếu vi phân của nó là đơn ánh tại mọi điểm. Ta định nghĩa một phép nhúng là một đơn ánh ngâm đồng thời là một phép nhúng tô pô (tức là phép đồng phôi vào ảnh của nó).

Hình học Riemann

Trong hình học Riemann: Xét (M,g) và (N,h) hai đa tạp Riemann. Một phép nhúng đẳng cự là một phép nhúng trơn (theo nghĩa vi phân) f: M → N bảo toàn metric theo nghĩa g bằng với pull-back của h bởi f, tức là g = f *h. Cụ thể hơn, với mọi vectơ tiếp tuyến $v,w\in T_x(M)$ ta có

$g(v,w)=h(df(v),df(w)).$

Tương tự, một phép ngâm đẳng cự là một phép ngâm giữa các đa tạp Riemann bảo tồn các metric Riemann.

Đại số

Nói chung, đối với một phạm trù đại số C, một phép nhúng giữa hai đối tượng X và Y là một C-đơn cấu Bản mẫu:Nowrap.

Tham khảo

• Bản mẫu:Chú thích sách
• Bản mẫu:Chú thích sách
• Bản mẫu:Chú thích sách
• Bản mẫu:Chú thích sách
• Bản mẫu:Chú thích sách
• Bản mẫu:Chú thích sách
• Bản mẫu:Chú thích sách
• Bản mẫu:Chú thích sách
• Bản mẫu:Chú thích sách
• Bản mẫu:Chú thích sách
• Bản mẫu:Chú thích sách
• Bản mẫu:Chú thích sách.
• Bản mẫu:Chú thích sách
• Bản mẫu:Chú thích sách.

Liên kết ngoài

• Bản mẫu:Chú thích sách
• Nhúng đa tạp trên Atlas Manifold