✨Tô pô giới hạn dưới

Trong toán học, tô pô giới hạn dưới hay tô pô khoảng nửa mở phải là tô pô được định nghĩa trên tập $\backslash mathbb\{R\}$ của các số thực; nó khác với tô pô tiêu chuẩn trên $\backslash mathbb\{R\}$ (sinh bởi các khoảng mở) và có nhiều tính chất đặc biệt.Nó là tô pô được sinh bởi cơ sở của tất cả khoảng nửa mở [a,b), trong đó a và b là hai số thực.

Không gian tô pô thu về được được gọi là đường Sorgenfrey theo nhà toán học Robert Sorgenfrey hay mũi tên và đôi khi được ký hiệu là $\backslash mathbb\{R\}\_l$. Giống tập Cantor và đường dài, đường Sorgenfrey thường được dùng làm ví dụ phản chứng cho nhiều giả thuyết trong tô pô nói chung.
tích của $\backslash mathbb\{R\}\_l$ với chính nó cũng được làm ví dụ phản chứng, được gọi là mặt phẳng Sorgenfrey.

Tương tự, ta có thể định nghĩa tô pô giới hạn trên, hay tô pô khoảng nửa mở trái.

Các tính chất

• Với bất kỳ số thực $a$ và $b$, khoảng $[a,b)$ vừa đóng vừa mở trong $\backslash mathbb\{R\}\_l$ (nghĩa là nó vừa là tập đóng, vừa là tập mở). Hơn nữa, với mọi số thực $a$, các tập hợp và $\{x\; \backslash in\backslash mathbb\{R\}\; :\; x\; \backslash geq\; a\}$ cũng vừa đóng vừa mở. Điều này cho thấy đường Sorgenfrey hoàn toàn không liên thông.

• Bất kỳ tập con compact của $\backslash mathbb\{R\}\_l$ cùng lắm là tập đếm được. Để chứng minh điều này, xét tập con compact không rỗng $C\backslash subseteq\backslash mathbb\{R\}\_l$. Cố định $x\; \backslash in\; C$, xét phủ mở sau của $C$: ::$\backslash bigl\{\; [x,\; +\backslash infty)\; \backslash bigr\}\; \backslash cup\; \backslash Bigl\{\; \backslash bigl(-\backslash infty,\; x\; -\; \backslash tfrac\{1\}\{n\}\; \backslash bigr)\; \backslash ,\backslash Big|\backslash ,\; n\; \backslash in\; \backslash mathbb\{N\}\; \backslash Bigr\}.$ :Bởi $C$ compact, nên phủ này có phủ con hữu hạn, và do đó tồn tại số thực $a(x)$ sao cho khoảng $(a(x),\; x]$ không chứa điểm nào của $C$ ngoại trừ $x$. Điều này đúng với mọi $x\backslash in\; C$. Sau đó chọn ra một số hữu tỷ $q(x)\; \backslash in\; (a(x),\; x]\backslash cap\backslash mathbb\{Q\}$. Bởi các khoảng $(a(x),\; x]$, được tham số hóa bởi $x\; \backslash in\; C$, không giao nhau từng cặp, và hàm $q:\; C\; \backslash to\; \backslash mathbb\{Q\}$ nội xạ nên $C$ cùng lắm đếm được.

• Thuật ngữ "tô pô giới hạn dưới" đến từ nội dung sau: một dãy (hay mạng lưới) $(x\_\backslash alpha)$ thuộc $\backslash mathbb\{R\}\_l$ hội tụ đến giới hạn $L$ khi và chỉ khi chúng "tiến đến $L$ từ bên phải", nghĩa là với mọi $\backslash epsilon>0$ tồn tại chỉ số $\backslash alpha\_0$ sao cho $\backslash forall\backslash alpha\; \backslash geq\; \backslash alpha$0 : L \leq x\alpha < L+\epsilon. Do đó, đường Sorgenfrey có thể dùng để các nghiên cứu các giới hạn phải: nếu $f:\; \backslash mathbb\{R\}\; \backslash to\; \backslash mathbb\{R\}$ là hàm số, thì giới hạn phải thường của $f$ tại $x$ (khi đối miền chứa tô pô tiêu chuẩn) bằng với giới hạn của $f$ tại $x$ khi miền đi cùng tô pô giới hạn dưới và đối miền chứa tô pô tiêu chuẩn.

• Theo tiên đề tách, $\backslash mathbb\{R\}\_l$ là không gian Hausdorff chuẩn tắc hoàn hảo.

• Theo tiên đề đếm được, $\backslash mathbb\{R\}\_l$ là không gian đếm được bậc nhất và là không gian khả ly, nhưng không đếm được bậc hai.

• Theo tính chất compact, $\backslash mathbb\{R\}\_l$ là không gian Lindelöf và paracompact, nhưng không phải không gian σ-compact hay compact địa phương.

• $\backslash mathbb\{R\}\_l$ không mêtric hóa được, bởi không gian mêtric khả ly thì đếm được bậc hai. Tuy nhiên, tô pô của đường Sorgenfrey được sinh bởi tựa mêtric.
• $\backslash mathbb\{R\}\_l$ là không gian Baire.
• $\backslash mathbb\{R\}\_l$ không có bất cứ compact hóa liên thông nào.