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  của các số thực; nó khác với tô pô tiêu chuẩn trên  (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à . 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  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  và , khoảng  vừa đóng vừa mở trong  (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 , các tập hợp  và  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  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ố định , xét phủ mở sau của :

Bởi  compact, nên phủ này có phủ con hữu hạn, và do đó tồn tại số thực  sao cho khoảng  không chứa điểm nào của  ngoại trừ . Điều này đúng với mọi . Sau đó chọn ra một số hữu tỷ . Bởi các khoảng , được tham số hóa bởi , không giao nhau từng cặp, và hàm  nội xạ nên  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)  thuộc  hội tụ đến giới hạn  khi và chỉ khi chúng "tiến đến  từ bên phải", nghĩa là với mọi  tồn tại chỉ số  sao cho . Do đó, đường Sorgenfrey có thể dùng để các nghiên cứu các giới hạn phải: nếu  là hàm số, thì giới hạn phải thường của  tại  (khi đối miền chứa tô pô tiêu chuẩn) bằng với giới hạn của  tại  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,  là không gian Hausdorff chuẩn tắc hoàn hảo.
 Theo tiên đề đếm được,  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,  là không gian Lindelöf và paracompact, nhưng không phải không gian σ-compact hay compact địa phương.
  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.
  là không gian Baire.
  không có bất cứ compact hóa liên thông nào.

Xem thêm 

 Danh sách các tô pô

Tham khảo 

 

Không gian tô pô