Phép đồng phôi

Một ánh xạ ${\displaystyle f:\;X\rightarrow Y}$ giữa hai không gian tô pô ${\displaystyle (X,\tau _{X}),\;(Y,\tau _{Y})}$ được gọi là một phép đồng phôi nếu thỏa mãn các tính chất bên dưới:^[1][2]

• f là một song ánh
• f là ánh xạ liên tục
• ánh xạ ngược ${\displaystyle f^{-1}}$ là liên tục(f là ánh xạ mở).

Nếu tồn tại một ánh xạ f thỏa mãn các tính chất trên thì ${\displaystyle X,Y}$ được gọi là đồng phôi với nhau.^[2]

Một phép tự đồng phôi là một phép đồng phôi từ một không gian tô pô vào chính nó.

Phép đồng phôi hình thành nên một quan hệ tương đương trên lớp các không gian tô pô, lớp tương đương này còn được gọi là những lớp đồng phôi.

• Ánh xạ đồng nhất id: ${\displaystyle X\rightarrow X}$ là một phép đồng phôi.

Dưới topo Euclid, với ${\displaystyle a,b,c,d}$ là các số thực bất kỳ sao cho ${\displaystyle a<b,a'<b'}$ , ta có ^[3]:

• Các Khoảng mở ${\displaystyle (a,b),(a',b'),(a,\infty ),(-\infty ,a)}$ và ${\displaystyle \mathbb {R} }$ đồng phôi với nhau.
• Hai khoảng đóng, bị chặn bất kỳ của đường thẳng thực ${\displaystyle \mathbb {R} }$ thì đồng phôi với nhau.
• Các nửa khoảng ${\displaystyle (a,b],[a',b'),[a,\infty ),(-\infty ,a]}$ đồng phôi với nhau.

• Mặt cầu trong không gian n chiều bỏ đi một điểm thì đồng phôi với cả không gian ${\displaystyle R^{n}}$ ^[4] Phép đồng phôi có thể được chọn như phép chiếu lập thể từ điểm bỏ đi đó.

Lưu ý:

• Với ${\displaystyle m\neq n,\mathbb {R} ^{m}}$ và ${\displaystyle \mathbb {R} ^{n}}$ không đồng phôi với nhau (đây là hệ quả của Định lý bất biến miền).^[5]
• Đường thẳng thực Euclid không đồng phôi với đường tròn đơn vị bởi vì đường tròn đơn vị compắc nhưng đường thẳng thực thì không compắc.

• Tính chất thứ 3, ${\displaystyle f^{-1}}$ liên tục là điều kiện thiết yếu. Xét ví dụ, cho hàm ${\displaystyle f:[0,2\pi )\rightarrow S^{1}}$ , với ${\displaystyle f(\varphi )=(cos(\varphi ),sin(\varphi ))}$ , thì ${\displaystyle f}$ là một song ánh và liên tục nhưng không là đồng phôi (${\displaystyle S^{1}}$ compắc nhưng ${\displaystyle [0,2\pi )}$ không compắc).^[6]
• Phép đồng phôi là một phép đẳng cấu trong phạm trù không gian topo. Như vậy, hợp của hai phép đồng phôi là một phép đồng phôi, và tập tất cả các tự đồng phôi từ ${\displaystyle X\rightarrow X}$ tạo thành một nhóm, được gọi là nhóm đồng phôi của ${\displaystyle X}$ , ký hiệu là ${\displaystyle \mathrm {Homeo} (X)}$ .^[7]
• Lưu ý: Nếu ${\displaystyle f}$ là phép đồng phôi giữa ${\displaystyle X}$ và ${\displaystyle Y}$ thì ${\displaystyle f}$ vừa là ánh xạ đóng vừa là ánh xạ mở, nghĩa là ${\displaystyle f}$ biến tập mở trong ${\displaystyle X}$ thành tập mở trong ${\displaystyle Y}$ , biến tập đóng trong ${\displaystyle X}$ thành tập đóng trong ${\displaystyle Y}$ .^[8]
• Hơn nữa, nếu ${\displaystyle f}$ là một ánh xạ liên tục, ta có ba điều kiện tương đương sau:^[9]
  • ${\displaystyle f}$ là một phép đồng phôi
  • ${\displaystyle f}$ là một song ánh đóng
  • ${\displaystyle f}$ là một song ánh mở

Hai không giao topo đồng phôi với nhau thì có cùng tính chất topo với nhau.Cho ánh xạ ${\displaystyle f:X\to Y}$ . Với ${\displaystyle f}$ là phép đồng phôi giữa ${\displaystyle X}$ và ${\displaystyle Y}$ . Nếu

• ${\displaystyle X}$ là không gian topo compact thì ${\displaystyle Y}$ cũng là không gian topo compact và ngược lại.
• ${\displaystyle X}$ là không gian topo liên thông thì ${\displaystyle Y}$ cũng là không gian topo liên thông và ngược lại.
• ${\displaystyle X}$ là không gian topo Hausdorff thì ${\displaystyle Y}$ cũng là không gian topo Hausdorff và ngược lại.
• Cho nên không gian R với tô pô chuẩn thì không đồng phôi với không gian R với tô pô phần bù hữu hạn, vì không gian R với tô pô chuẩn là không gian Hausdorff, còn không gian R với tô pô phần bù hữu hạn thì không.

• Phép nhúng ^[10]

của ${\displaystyle X}$ trong ${\displaystyle Y}$ là một ánh xạ: ${\displaystyle f:X\to Y}$ sao cho ${\displaystyle f}$ là phép đồng phôi giữa ${\displaystyle X}$ và không gian con ${\displaystyle f(X)}$ của ${\displaystyle Y}$ .

• Cho ${\displaystyle X}$ là không gian topo.Nếu ${\displaystyle f:[-1,1]\to X}$ là một phép nhúng thì ảnh của ${\displaystyle f}$ là một cung trong ${\displaystyle X}$ .Nếu ${\displaystyle f:S^{1}\to X}$ là một phép nhúng thì ảnh của ${\displaystyle f}$ là một đường cong đơn kín đơn giản trong ${\displaystyle X}$ .
• Ví dụ: những nốt thắt dây là phép nhúng của một vòng tròn vào không gian 3 chiều.

• Colin, Adams, Introduce to Topology: Pure and Applied
• Huỳnh Quang Vũ, 2012, Lecture notes on Topology
• Manetti, Marco, 2014, Topology, ISBN 978-3-319-16958-3
• L. E. J. Brouwer, 1911, Beweis der invarianz des n-dimensionalen gebiets, Mathematische Annalen, 71 (1911): 305–313