Tô pô compact-mở

Trong toán học, tô pô compact-mở  (compact-open topology)  là một tô pô được định nghĩa bởi tập hợp các ánh xạ liên tục giữa 2 không gian tô pô. Tô pô compact-mở là một trong những tô pô thông dụng nhất trong các không gian hàm, và được ứng dụng trong lý thuyết đồng luân và giải tích hàm. Nó được giới thiệu bởi Ralph Fox năm 1945.

Nếu tập hợp đích của các hàm đang xét có cấu trúc đều hoặc cấu trúc metric, thì tô pô compact-mở chính là "tô pô của sự hội tụ đều trên các tập compact". Nghĩa là, một dãy hàm hội tụ trong không gian tô pô compact-mở khi nó hội tụ đều trên mọi tập con compact của tập hợp nguồn.

Định nghĩa 
Cho   là 2 không gian tô pô. Đặt  hoặc  là tập hợp gồm tất cả các hàm liên tục từ  vào .

Cho  là một tập con compact của , cho  là một tập con mở của . Đặt  , và  .

Khi đó, tô pô compact-mở của tập  là  tô pô sinh bởi họ  , nghĩa là:
 

 
trong đó, là tô pô compact-mở của , với cơ sở  là họ gồm tất cả các giao hữu hạn của các phần tử trong .

Tính chất 

 Nếu  là không gian tô pô một điểm và  là một không gian tô pô, thì ta có thể xác định  . Theo cách này, tô pô compact-mở là trùng với tô pô của .

Tổng quát hơn, nếu  là một không gian rời rạc gồm  điểm, thì  có thể được xác định bởi   phiên bản của , và tô pô compact-mở trùng với tô pô tích.

 Nếu  là không gian   Hausdorff, chính tắc hay Tychonoff, thì tô pô compact-mở có hệ tiên đề tách tương ứng.
 Nếu   Hausdorff và  là một tiền cơ sở của , thì họ  là một tiền cơ sở cho tô pô compact-mở của .
 Nếu  là không gian metric hay tổng quát hơn là một không gian đều,  thì tô pô compact-mở trùng với tô pô hội tụ compact  (topology of compact convergence). Nói cách khác, Nếu  là không gian metric, thì một dãy hàm  hội tụ về  trong tô pô compact-mở  hội tụ đều về  trong 

Nếu  compact và  là không gian đều, thì tô pô compact-mở tương đương với tô pô hội tụ đều  (topology of uniform convergence).

 Nếu  là các không gian tô pô, với   compact Hausdorff địa phương (Locally compact Hausdorff space), hay thậm chí là compact tiền chính tắc địa phương (locally compact preregular), thì ánh xạ hợp nối

     

                     
là liên tục, với  đều được trang bị tô pô compact-mở, và   được trang bị tô pô tích.

 Nếu  compact Hausdorff địa phương hoặc tiền chính tắc,  thì ánh xạ định lượng (evaluation map)

     

               
là liên tục. Có thể xem đây là một trường hợp đặc biệt của các tính chất trên, với   là không gian 1 điểm.

 Nếu   là không gian tô pô compact và   là không gian metric, thì tô pô compact-mở của  là khả metric, nghĩa là tô pô này có thể sinh ra metric, và metric đó là

 .

Ứng dụng 
Tô pô compact-mở có thể được dùng để compact hóa các tập hợp sau:

 
 
 

Ngoài ra, còn có sự tương đương đồng luân giữa các không gian . Đối với những không gian này,  rất hữu ích trong lý thuyết đồng luân bởi vì nó có thể được sử dụng để tạo thành một không gian tôpô và mô hình cho kiểu đồng luân của tập hợp gồm tất cả lớp đồng luân của các ánh xạ:
 
Điều này là bởi  là tập gồm các thành phần đường của  , nghĩa là có một đẳng cấu giữa 2 tập
 
với  là một tương đương đồng luân.

Hàm khả vi Fréchet 
Cho  và  là 2 không gian Banach xác định trên cùng một trường và . Đặt . Khi đó, tô pô compact-mở là tô pô gốc được sinh bởi nửa chuẩn 
 
trong đó, .

Tham khảo