Compact hóa

Trong toán học và lý thuyết topo, **compact hóa** (phiên âm: compắc hóa, tiếng Anh: *compactification*) là một quá trình biến một không gian topo thông thường thành một không gian compact. Không gian compact hay tập compact có những tính chất hữu ích như:
* Tập compact thì đóng và bị chặn trong không gian mêtric.
* Với mọi dãy có dãy con hội tụ trong một tập compact của không gian mêtric.
* Các hàm liên tục trên không gian compact thì tồn tại giá trị lớn nhất và nhỏ nhất.

Một phương pháp thông dụng để compact hóa một không gian topo là "compact hóa một điểm" (one-point compactification) với định lý Alexandroff và tính chất compact địa phương.

## Định nghĩa
Một compact hóa của X là một không gian compact Y sao cho X đồng phôi với một không gian con trù mật của Y.

**Ví dụ:**
* Tập compact hóa của tập X=(0,1) là Y=[0,1].
* Tập compact hóa của tập A=\left\{(x,y)\in\mathbb{R}^2:x^2+y^2 là S^2=\left\{(x,y,z)\in\mathbb{R}^3:x^2+y^2+z^2=1\right\}.

## Compact hóa một điểm

Trong một vài trường hợp nhất định, ta có thể compact hóa một không gian không compact bằng việc thêm vào đó một điểm. Khi đó, ta gọi đó là compact hóa một điểm.

**Ví dụ:**
* Một tập compact hóa một điểm của tập X=[0,1) là [0,1].
* Một tập compact hóa một điểm của tập X=(0,1) là S^1=\left\{(x,y)\in\mathbb{R}^2:x^2+y^2=1\right\}

### Compact hóa một điểm [[Pavel Sergeevich Aleksandrov|Alexandroff]]
Cho X là một không gian mà \infty\notin X. Gọi X^\infty=X\cup \left\{\infty\right\}, xác định một topo trên X^\infty=X\cup \left\{\infty\right\} như sau:

Một tập mở trong X^\infty=X\cup \left\{\infty\right\}:
* là một tập con mở của X,
* là {X^\infty}\backslash{C}, với C là một tập con đóng, compact của X.

Với topo này, X^\infty=X\cup \left\{\infty\right\} là compact và chứa X như một không gian con. Nếu X không compact thì X trù mật trong X^\infty=X\cup \left\{\infty\right\} và X^\infty=X\cup \left\{\infty\right\} được gọi là **compact hóa Alexandroff của <math>X</math>**.

**Ví dụ:**
* Compact hóa Alexandroff của \mathbb{R}^n là S^n.
* Compact hóa Alexandroff của \displaystyle{\bigcup_{i=1}^{n} {(i,i+\frac{1}{2})}} là n đường tròn tiếp xúc với nhau tại một điểm.

### Tính chất liên quan
* X^\infty là không gian T_1 nếu X là T_1.
* X^\infty là không gian Hausdorff nếu X là Hausdorff và compact địa phương.
* Nếu X đồng phôi với Y thì không gian Hausdorff compact hóa Alexandroff của X sẽ đồng phôi với không gian Hausdorff compact hóa Alexandroff của Y. (X\approx Y \Longrightarrow X^\infty \approx Y^\infty)

## Compact hóa Stone - Cech

Như đã nói, với topo thông thường, compact hóa Alexandroff của (0,1] là [0,1]. Tuy nhiên, với một hàm f cho bởi f(x)=\sin{\frac{1}{x}} (Topologist's sine curve) là một hàm bị chặn và liên tục trên (0,1] nhưng hoàn toàn không thể được mở rộng liên tục vào [0,1]. Như vậy, với trường hợp này, compact hóa Alexandroff chưa bảo đảm tính liên tục của một hàm trên không gian compact hóa.
Khi đó, phương pháp compact hóa Stone-Čech sau đây sẽ giải quyết được vấn đề nêu trên.
Compact hóa Stone-Čech lần đầu xuất hiện trong một bài báo của Tychonoff (năm 1930) và sau đó được nói đến rõ ràng bởi Marshall Stone (năm 1937) và Eduard Čech (năm 1937).
### Định nghĩa
Cho X là một không gian topo, ký hiệu C(X) là tập các hàm liên tục bị chặn từ X vào \mathbb{R}. Xét hàm sau
\begin{matrix}
\Phi:X & \to & \displaystyle{\prod_{f\in C(X)} [\inf f,\sup f]}\\
x & \mapsto & \left(f\left(x\right)\right)_{f\in C\left(X\right)}
\end{matrix}
Nếu X là chính tắc đầy đủ thì \Phi:X\to\Phi(X) là một đồng phôi, nghĩa là \Phi là một phép nhúng. Trong trường hợp này, vì \displaystyle{\prod_{f\in C(X)} [\inf f,\sup f]} compact nên không gian con \overline{\Phi(X)} là compact. Khi đó, \overline{\Phi(X)} được gọi là **compact hóa Stone - Cech của <math>X</math>**. Hơn nữa, nó là một không gian Hausdorff.

### Tính chất liên quan
* Cho Y là một không gian compact Hausdorff thì với mỗi hàm f:X\to Y liên tục, thì tồn tại duy nhất một hàm mở rộng liên tục g của f mà g:\overline{\Phi(X)}\to Y.
* \overline{\Phi(X)} liên thông khi và chỉ khi X là liên thông.
* X mở trong \overline{\Phi(X)} khi và chỉ khi X là một không gian compact địa phương.

## Tham khảo