Cấu trúc topo là gì? Tiên đề, không gian và tính chất tô-pô

Cấu trúc topo (tiếng Anh: Topological Structure) là một đối tượng toán học nền tảng trang bị cho một tập hợp trừu tượng một khái niệm chặt chẽ về sự liên tục, lân cận, tính hội tụ và tính liên thông mà không cần dựa vào bất kỳ cấu trúc đo khoảng cách số học hay metric tường minh nào. Một tập hợp được trang bị một cấu trúc topo được gọi là một không gian topo. Trong bộ chuyên khảo kinh điển Các yếu tố của Toán học (với các tập Topologie Générale được khởi thảo từ giữa thế kỷ hai mươi và bản dịch tiếng Anh do nhà xuất bản Springer ấn hành vào năm 1989), Nicolas Bourbaki đã hệ thống hóa toàn diện lý thuyết cấu trúc topo đại cương, thiết lập ngôn ngữ chuẩn tắc cho toàn bộ nền toán học hiện đại từ hình học vi phân, giải tích hàm cho đến vật lý lý thuyết. Tại Việt Nam, vào năm 2000, giáo trình Tô-pô đại cương của nhà toán học Huỳnh Mùi do Nhà xuất bản Đại học Quốc gia Hà Nội ấn hành đã hệ thống hóa chuẩn mực hệ thống thuật ngữ và cấu trúc tiên đề topo phục vụ công tác đào tạo chuyên ngành toán học.

Hệ tiên đề của cấu trúc topo và họ tập mở

Cho một tập hợp $X$ bất kỳ. Một cấu trúc topo trên $X$ là một họ $\tau$ gồm các tập con của $X$ thỏa mãn ba tiên đề cơ bản sau đây:

• Tiên đề về tập tầm thường: Tập rỗng $\emptyset$ và toàn bộ tập hợp $X$ đều phải thuộc vào họ $\tau$.
• Tiên đề về phép hợp tùy ý: Hợp của một họ bất kỳ (dù hữu hạn, đếm được hay không đếm được) các phần tử thuộc $\tau$ vẫn là một phần tử thuộc $\tau$. Nghĩa là nếu $\{U_\alpha\}_{\alpha \in I} \subseteq \tau$ thì $\bigcup_{\alpha \in I} U_\alpha \in \tau$.
• Tiên đề về phép giao hữu hạn: Giao của một số hữu hạn các phần tử thuộc $\tau$ vẫn là một phần tử thuộc $\tau$. Nghĩa là nếu $U_1, U_2, \dots, U_n \in \tau$ thì $\bigcap_{k=1}^n U_k \in \tau$.

Các phần tử thuộc họ $\tau$ được gọi là các tập mở của không gian topo $(X, \tau)$. Một tập con $F \subseteq X$ được gọi là một tập đóng khi và chỉ khi phần bù của nó trong $X$ (tức tập hợp $X \setminus F$) là một tập mở. Do tính chất đối ngẫu De Morgan, phép giao của một họ tùy ý các tập đóng luôn là tập đóng, và phép hợp của một số hữu hạn các tập đóng luôn là tập đóng.

Bên cạnh cách tiếp cận qua họ tập mở, cấu trúc topo còn có thể được tiên đề hóa tương đương thông qua hệ tiên đề bao đóng Kuratowski. Trong cách tiếp cận này, một toán tử bao đóng $\operatorname{Cl}$ tác động trên các tập con của không gian thỏa mãn bốn điều kiện: bảo toàn tập rỗng $\operatorname{Cl}(\emptyset) = \emptyset$, tính mở rộng bao trùm $A \subseteq \operatorname{Cl}(A)$, tính cộng tính hữu hạn $\operatorname{Cl}(A \cup B) = \operatorname{Cl}(A) \cup \operatorname{Cl}(B)$, và tính lũy đẳng $\operatorname{Cl}(\operatorname{Cl}(A)) = \operatorname{Cl}(A)$. Khi đó một tập hợp là tập đóng khi và chỉ khi nó trùng với bao đóng của chính mình, và các tập mở được định nghĩa là phần bù của các tập đóng.

Cơ sở và tiền cơ sở của không gian topo

Trong thực hành toán học, việc mô tả tường minh toàn bộ họ tập mở của một không gian thường quá cồng kềnh. Thay vào đó, người ta thường xây dựng topo thông qua một hệ thống nhỏ hơn các tập mở cơ bản gọi là cơ sở topo. Vào năm 1983, trong giáo trình Tô-pô cơ bản của nhà xuất bản Springer, Armstrong đã trình bày chi tiết phương pháp tiếp cận không gian topo thông qua các hệ cơ sở hình học trực quan.

Một họ $\mathcal{B}$ gồm các tập con của $X$ được gọi là một cơ sở cho cấu trúc topo $\tau$ nếu thỏa mãn hai điều kiện đồng thời sau: thứ nhất, mỗi phần tử của $\mathcal{B}$ là một tập mở thuộc $\tau$; thứ hai, mỗi tập mở bất kỳ trong $\tau$ đều có thể biểu diễn dưới dạng hợp của một họ các tập hợp thuộc $\mathcal{B}$. Điều này tương đương với điều kiện nội tại: hợp của toàn bộ các tập trong $\mathcal{B}$ phủ kín $X$, và với hai tập hợp bất kỳ thuộc cơ sở cùng một điểm thuộc phần giao của chúng, luôn tồn tại một tập cơ sở thứ ba chứa điểm đó và nằm trọn vẹn trong phần giao.

Một bước trừu tượng hóa sâu hơn là khái niệm tiền cơ sở. Năm 2011, trong giáo trình Nhập môn đa tạp tô-pô thuộc chuỗi Graduate Texts in Mathematics của Springer, Lee đã hệ thống hóa vai trò của tiền cơ sở trong việc sinh ra cấu trúc topo yếu nhất chứa một họ tập hợp cho trước, là công cụ then chốt để định nghĩa topo tích Tychonoff trên các tích vô hạn của các không gian topo.

Các phép toán điểm và cấu trúc lân cận

Cấu trúc topo cho phép định nghĩa các phép toán hình học định tính mô tả cấu trúc vi mô xung quanh mỗi điểm trong không gian:

Toán tử topo	Ký hiệu	Định nghĩa hình học	Ý nghĩa trực quan
Phần trong	$\operatorname{Int}(A)$	Tập mở lớn nhất chứa trong $A$, là hợp của mọi tập mở nằm trong $A$	Tập hợp các điểm nằm hoàn toàn phía trong của $A$
Bao đóng	$\operatorname{Cl}(A)$	Tập đóng nhỏ nhất chứa $A$, là giao của mọi tập đóng bao trùm $A$	Tập hợp gồm các điểm của $A$ cùng toàn bộ các điểm dính
Biên	$\partial A$	Hiệu giữa bao đóng và phần trong: $\operatorname{Cl}(A) \setminus \operatorname{Int}(A)$	Ranh giới phân tách phần trong và phần ngoài của tập hợp
Tập dẫn xuất	$A'$	Tập hợp tất cả các điểm tụ của tập hợp $A$ trong không gian	Các điểm có lân cận bị thủng luôn cắt tập hợp $A$

Một điểm được gọi là điểm trong nếu tồn tại một tập mở chứa điểm đó và nằm trọn vẹn trong tập hợp đã cho. Một điểm được gọi là điểm dính nếu mọi tập mở chứa điểm đó đều có giao khác rỗng với tập hợp. Cấu trúc lân cận này cho phép định nghĩa khái niệm giới hạn của dãy và lưới một cách thuần túy tô-pô mà không cần khoảng cách số học.

Ánh xạ liên tục và phép đồng phôi

Trong cấu trúc topo, các cấu trúc không gian được nghiên cứu thông qua các ánh xạ bảo toàn tính chất lân cận. Cho hai không gian topo $(X, \tau_X)$ và $(Y, \tau_Y)$. Một ánh xạ $f: X \to Y$ được gọi là liên tục nếu và chỉ nếu tạo ảnh của mỗi tập mở trong $Y$ là một tập mở trong $X$:

Định nghĩa này tương đương với khẳng định tạo ảnh của mỗi tập đóng là một tập đóng, hoặc bao đóng của tạo ảnh luôn chứa trong tạo ảnh của bao đóng. Vào năm 1993, trong giáo trình Tô-pô và Hình học thuộc Graduate Texts in Mathematics của Springer, Bredon đã phân tích vai trò của ánh xạ liên tục như là các cấu xạ trong phạm trù các không gian topo, qua đó đặt nền tảng cho việc nghiên cứu tô-pô đại số và lý thuyết đồng căn.

Một ánh xạ liên tục là một phép đồng phôi nếu nó là một song ánh và ánh xạ ngược của nó cũng là một ánh xạ liên tục. Hai không gian được gọi là đồng phôi với nhau nếu tồn tại một phép đồng phôi giữa chúng. Dưới góc độ của tô-pô học, hai không gian đồng phôi là giống hệt nhau về mặt tính chất hình học định tính; các biến dạng liên tục như kéo giãn, uốn cong hay vặn xoắn không làm thay đổi các bất biến tô-pô cốt lõi.

Các tiên đề tách biệt và hệ thống phản ví dụ

Để phân loại và phân cấp độ tách biệt hình học giữa các điểm và các tập con trong một không gian, toán học sử dụng hệ thống các tiên đề tách được ký hiệu từ $T_0$ đến $T_4$:

• Tiên đề $T_0$ (Kolmogorov): Với hai điểm phân biệt bất kỳ, tồn tại ít nhất một tập mở chứa điểm này mà không chứa điểm kia.
• Tiên đề $T_1$ (Fréchet): Với hai điểm phân biệt bất kỳ, luôn tồn tại một tập mở chứa điểm thứ nhất không chứa điểm thứ hai, và một tập mở chứa điểm thứ hai không chứa điểm thứ nhất. Điều này tương đương với việc mỗi tập hợp đơn điểm đều là một tập đóng.
• Tiên đề $T_2$ (Hausdorff): Với hai điểm phân biệt bất kỳ, tồn tại hai tập mở rời nhau lần lượt chứa hai điểm đó. Trong không gian topo tổng quát, không gian là Hausdorff khi và chỉ khi mọi lưới hội tụ hoặc bộ lọc hội tụ đều có giới hạn duy nhất; đối với các không gian đếm được bậc nhất thì tính chất này tương đương với tính duy nhất của giới hạn dãy.
• Tiên đề $T_3$ (Không gian chính quy): Không gian thỏa mãn tiên đề $T_1$ và với mỗi điểm cùng một tập đóng không chứa điểm đó, luôn tồn tại hai tập mở rời nhau lần lượt chứa điểm và tập đóng.
• Tiên đề $T_4$ (Không gian chuẩn tắc): Không gian thỏa mãn tiên đề $T_1$ và với hai tập đóng rời nhau bất kỳ, luôn tồn tại hai tập mở rời nhau lần lượt chứa hai tập đóng đó. Bổ đề Urysohn và định lý thác triển Tietze là các hệ quả giải tích lừng danh trên không gian chuẩn tắc.

Để làm sáng tỏ ranh giới tinh vi giữa các tiên đề tách biệt và các cấu trúc giải tích, năm 1978, Steen và Seebach đã xuất bản công trình đồ sộ Các phản ví dụ trong tô-pô trên nhà xuất bản Springer. Cuốn sách đã tập hợp hàng trăm không gian topo kỳ dị đóng vai trò làm các phản ví dụ kinh điển, minh chứng rằng các tiên đề tách biệt tạo thành một chuỗi phân cấp nghiêm ngặt không thể suy diễn ngược lại.

Tính compact và tính liên thông

Hai bất biến tô-pô trung tâm có ứng dụng rộng rãi nhất trong giải tích toán học và hình học là tính compact và tính liên thông:

• Tính compact: Một không gian topo được gọi là compact nếu từ mỗi phủ mở tùy ý của không gian, người ta luôn có thể trích ra một phủ con hữu hạn. Trên không gian Euclid thông thường, theo định lý Heine-Borel, tính compact tương đương với tính đóng và bị chặn. Trong không gian tổng quát, tính compact đóng vai trò như sự khái quát hóa của tính hữu hạn, bảo đảm rằng mọi hàm liên tục nhận giá trị thực luôn đạt giá trị lớn nhất và nhỏ nhất.
• Tính liên thông: Một không gian topo được gọi là liên thông nếu nó không thể phân tách thành hợp của hai tập mở khác rỗng rời nhau. Một khái niệm chặt chẽ hơn là liên thông đường, nghĩa là giữa hai điểm bất kỳ luôn tồn tại một đường cong liên tục nối chúng lại với nhau.

Ranh giới lý thuyết, hạn chế và điều kiện áp dụng

Mặc dù cấu trúc topo là ngôn ngữ phổ quát của hình học và giải tích trừu tượng, việc chỉ trang bị thuần túy một cấu trúc topo đặt ra những giới hạn hình học và giải tích tất yếu:

• Thiếu khái niệm định lượng metric: Không gian topo thuần túy chỉ mang tính chất định tính; trong cấu trúc này hoàn toàn không tồn tại các khái niệm về độ dài khoảng cách, số đo góc, diện tích bề mặt hay thể tích không gian. Để xác lập các đại lượng số học này, không gian bắt buộc phải được trang bị thêm một hàm khoảng cách (không gian metric) hoặc một trường ten-xơ mêtric khả vi (đa tạp Riemann).
• Hạn chế trong giải tích hội tụ và tính đầy đủ: Một cấu trúc topo thông thường không đủ để định nghĩa khái niệm dãy Cauchy, tính đầy đủ (completeness) hay tính liên tục đều của các ánh xạ. Để nghiên cứu các tính chất giải tích này mà không cần đến metric tường minh, các nhà toán học phải trang bị thêm cấu trúc đều (không gian đều theo Bourbaki) hoặc cấu trúc nhóm topo.
• Sự suy giảm hiệu lực của dãy điểm: Trong các không gian không thỏa mãn tiên đề đếm được bậc nhất, khái niệm giới hạn của dãy điểm thông thường không còn đủ năng lực để mô tả bao đóng của tập hợp hay kiểm tra tính liên tục của ánh xạ, buộc lý thuyết phải chuyển sang sử dụng công cụ lưới điểm hoặc bộ lọc. Hơn nữa, trong các không gian không thỏa mãn tiên đề tách Hausdorff, một dãy điểm hoặc lưới điểm có thể hội tụ đồng thời về vô số giới hạn phân biệt khác nhau.

Trong toán học hiện đại, các biến thể đặc thù của cấu trúc topo được ứng dụng sâu rộng để giải quyết các bài toán chuyên ngành. Tiêu biểu như trong hình học đại số, topo Zariski được thiết lập với các tập đóng là tập nghiệm của các hệ phương trình đa thức, tạo ra một không gian phi Hausdorff nhưng cực kỳ mạnh mẽ để khảo sát các đa tạp đại số. Trong giải tích hàm, topo yếu và topo yếu sao trên các không gian Banach vô hạn chiều cho phép áp dụng định lý Banach-Alaoglu để thu được tính compact quý báu cho hình cầu đơn vị đóng, đóng vai trò nền tảng cho lý thuyết phương trình đạo hàm riêng và cơ học lượng tử.