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 ![{\displaystyle K.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1bb0e178e42abf16ef4e4c0b0f22aa235ad6e6e5)
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:
![{\displaystyle \Omega {\big (}X,x_{0}{\big )}={\Big \{}f:I\longrightarrow X\ {\big |}\ f(0)=f(1)=x_{0}{\Big \}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ae964b00681768baec5ee2fd26a151027737a08b)
![{\displaystyle E{\big (}X,x_{0},x_{1}{\big )}={\Big \{}f:I\longrightarrow X\ {\big |}\ f(0)=x_{0},\ f(1)=x_{1}{\Big \}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e0b2dc2631670126c4edc5d699dc351915a6e818)
![{\displaystyle E{\big (}X,x_{0}{\big )}={\Big \{}f:I\longrightarrow X\ {\big |}\ f(0)=x_{0}{\Big \}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/aeee6007316be8adb0be976fee1fec0bc5f9b275)
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 đó, ![{\displaystyle D^{k}\equiv {\frac {d^{k}}{(dx)^{k}}},\ }](https://wikimedia.org/api/rest_v1/media/math/render/svg/8a74964b583a5477d6a4fabfedebeebb2dcbc01c)
.
Tham khảo