Tô pô học — Tập mở, tính liên tục và các khái niệm cốt lõi

Tô pô học là nhánh toán học nghiên cứu các không gian bằng tập mở và tính liên tục thay vì khoảng cách chính xác. Nếu bạn đang học những kiến thức cơ bản về tô pô học, cách vào nhanh nhất là thế này: chọn những tập con nào được xem là mở, rồi định nghĩa tính liên tục từ lựa chọn đó.

Vì vậy, tô pô học có thể so sánh các không gian theo tính chất cục bộ thay vì theo độ dài, góc hay tọa độ.

Không gian tô pô là gì

Cho $X$ là một tập hợp. Một tô pô trên $X$ là một họ $\mathcal{T}$ các tập con của $X$, gọi là các tập mở, sao cho:

1. $\varnothing$ và $X$ thuộc $\mathcal{T}$.
2. Hợp bất kỳ của các tập trong $\mathcal{T}$ cũng thuộc $\mathcal{T}$.
3. Giao hữu hạn của các tập trong $\mathcal{T}$ cũng thuộc $\mathcal{T}$.

Cặp $(X,\mathcal{T})$ được gọi là một không gian tô pô.

Định nghĩa này được xây dựng trừu tượng một cách có chủ ý. Khi đã biết những tập nào là mở, bạn có thể định nghĩa tính liên tục, lân cận và tập đóng mà không cần viết ra công thức khoảng cách nào.

Vì sao tập mở quan trọng

Tập mở cho biết điều gì có nghĩa là một điểm có không gian xung quanh nó. Trong tô pô thông thường trên $\mathbb{R}$, một khoảng mở như $(1,3)$ là mở vì mọi điểm bên trong nó đều có một khoảng nhỏ hơn xung quanh mà vẫn nằm trọn trong $(1,3)$.

Ý tưởng cục bộ đó là cốt lõi của tô pô học. Một tập là mở khi mỗi điểm của nó nằm trong tập với một khoảng linh hoạt cục bộ nào đó.

Đây cũng là lý do tính mở phụ thuộc vào tô pô. Cùng một tập con có thể mở trong một tô pô nhưng không mở trong một tô pô khác.

Cách tập mở xác định các ý tưởng cơ bản khác

Lân cận

Lân cận của một điểm là bất kỳ tập nào chứa một tập mở xung quanh điểm đó. Đây là cách tô pô học nói về sự gần nhau cục bộ mà không dùng khoảng cách.

Tập đóng

Một tập là đóng nếu phần bù của nó là mở. Trong các không gian quen thuộc như trục số thực, tập đóng thường chứa biên của nó, nhưng đó không phải là định nghĩa.

Tính liên tục

Nếu $X$ và $Y$ là các không gian tô pô, một hàm $f:X \to Y$ là liên tục nếu với mọi tập mở $U \subseteq Y$, ảnh ngược $f^{-1}(U)$ là mở trong $X$.

$$f \text{ is continuous if } f^{-1}(U) \text{ is open for every open } U \subseteq Y$$

Điều này phù hợp với khái niệm quen thuộc trong giải tích trên $\mathbb{R}$, nhưng cũng hoạt động trong những không gian mà khoảng cách không phải là cấu trúc chính.

Đồng phôi

Một đồng phôi là một hàm song ánh, liên tục và có hàm ngược cũng liên tục. Nếu hai không gian đồng phôi với nhau, tô pô học xem chúng có cùng hình dạng theo nghĩa tô pô.

Mệnh đề đó phụ thuộc vào tính liên tục theo cả hai chiều. Chỉ song ánh thôi thì chưa đủ.

Ví dụ chi tiết: Vì sao $f(x)=x^2$ liên tục trong tô pô thông thường

Xét $f:\mathbb{R} \to \mathbb{R}$ cho bởi

$$f(x)=x^2$$

với tô pô thông thường trên $\mathbb{R}$.

Lấy tập mở $(1,4)$ trong đối miền. Ảnh ngược của nó là

$$f^{-1}((1,4))=\{x \in \mathbb{R} : 1 < x^2 < 4\}$$

rút gọn thành

$$(-2,-1)\cup(1,2).$$

Tập đó là mở trong tô pô thông thường trên $\mathbb{R}$ vì nó là hợp của các khoảng mở. Ví dụ này cho thấy đúng hướng cần kiểm tra: tính liên tục liên quan đến ảnh ngược của các tập mở, không phải việc $f$ có gửi các tập mở thành tập mở hay không.

Trên $\mathbb{R}$, điều kiện này hóa ra trùng với định nghĩa tính liên tục dựa trên giới hạn quen thuộc.

Những lỗi thường gặp khi học tô pô cơ bản

Nghĩ rằng "mở" có cùng nghĩa ở mọi nơi

Không phải vậy. Tính mở được định nghĩa tương đối theo tô pô đã chọn.

Nhầm lẫn giữa ảnh và ảnh ngược

Tính liên tục nói về việc ảnh ngược của các tập mở là mở. Ảnh của các tập mở không nhất thiết phải mở, trừ khi bạn thêm các điều kiện bổ sung cho hàm.

Xem tô pô như hình học metric với từ ngữ mới

Nhiều không gian tô pô thật sự sinh ra từ metric, nhưng bản thân tô pô tổng quát hơn. Nó chỉ giữ lại cấu trúc cần thiết để nói về tính chất cục bộ và tính liên tục.

Cho rằng mọi song ánh đều là tương đương tô pô

Để là một đồng phôi, một ánh xạ phải song ánh, liên tục và có hàm ngược liên tục.

Tô pô được dùng ở đâu

Tô pô cung cấp ngôn ngữ nền tảng cho tính liên tục, tính compact, tính liên thông và sự hội tụ trong giải tích hiện đại. Nó cũng xuất hiện trong hình học, hệ động lực, phương trình vi phân và phân tích dữ liệu nghiên cứu hình dạng ở mức thô.

Với người mới học, ứng dụng thực tế còn đơn giản hơn: tô pô giải thích vì sao tính liên tục có thể được định nghĩa theo cách không phụ thuộc vào tọa độ hay công thức khoảng cách.

Hãy thử một bài tương tự

Dùng lại hàm $f(x)=x^2$, nhưng lần này bắt đầu với tập mở $(0,1)$. Hãy tính $f^{-1}((0,1))$ và kiểm tra xem nó có mở trong $\mathbb{R}$ hay không.

Nếu muốn đi tiếp một bước, hãy xét thêm một trường hợp khác về tính liên tục và so sánh định nghĩa tô pô với định nghĩa dựa trên giới hạn trong giải tích.