Tập mở
Tập hợp mở, hay tập mở là khái niệm cơ bản trong tôpô. Nó cũng được sử dụng trong các lĩn vực khác của toán học, trong các không gian khác có thể tôpô hóa. Khái niệm này là tổng quát từ khái niệm miền trong của một tập hợp điểm trong hình học và trong giải ...
Tập hợp mở, hay tập mở là khái niệm cơ bản trong tôpô. Nó cũng được sử dụng trong các lĩn vực khác của toán học, trong các không gian khác có thể tôpô hóa. Khái niệm này là tổng quát từ khái niệm miền trong của một tập hợp điểm trong hình học và trong giải tích.
Một ví dụ về tập mở trong giải tích là khoảng (0,1) bao gồm tất cả các số thực x với 0 < x < 1. Tập này bao gồm các điểm trong của đoạn [0, 1]. Đoạn [0,1] (và cả khoảng (0,1) có hai điểm biên là điểm 0 và điểm 1. Đặc trưng chung của các điểm trong của [0,1] là khoảng cách từ mỗi điểm trong chúng đến các điểm biên đều dương. Với mỗi điểm x in (a,b) đều tồn tại số dương e sao cho khoảng (x-e,x+e) nằm trọn trong khoảng (0,1). Tuy nhiên đoạn [0,1] lại không phải mở vì với điểm biên x = 1, bất cứ khoảng (1-e, 1+e) nào với e > 0 cũng chứa các điểm không thuộc đoạn [0,1].
(x,y)x2 + y2 = r2(x,y)x2 + y2 < r2Trong không gian tôpô
Trong không gian tôpô, khái niệm tập mở là một khái niệm cơ sở. Không gian tôpô là một tập hợp X cùng với một họ T các tập con của X thỏa mãn một số tiên đề của “tính mở”. Họ T đó được gọi là một tôpô còn mỗi phần tử thuộc ‘’’T’’’ được gọi là tập mở. Lưu ý rằng giao của hữu hạn tập mở là mở.
Trong không gian Metric
Trong không gian mêtric (M,d) (với d là hàm khoảng cách), tập con U là tập mở nếu, với mỗi x trong U, tồn tại số thực ε > 0 sao cho, với mọi y trong M thỏa mãn d(x,y) < ε, y cũng thuộc U. (Hay, tương đương, U là mở nếu với mọi điểm u thuộc U có một lân cận của u nằm trọn trong U). Trong không gian metric (M,d), người ta định nghĩa điểm x in U được gọi là điểm trong của U nếu tồn tại một lân cận của x nằm trọn trong U.
Như vậy, một tập U là mở trong M khi và chỉ khi mọi điểm của U đều là điểm trong.
Trong không gian Euclide
Không gian Euclide Rn cũng là một không gian metric, nên khái niệm tập mở trong đó cũng là khái niệm mở trong không gian metric.
- Tập rỗng là tập mở.
- Hợp của số bất kỳ các tập mở là mở.
- Giao của hữu hạn các tập mở là mở.
Các tập mở có vai trò quan trọng trong topology.
Mọi tập con A của không gian tôpô X chứa ít nhất một tập mở (có thê là tập rỗng; tập con mở lớn nhất trong chúng được gọi là miền trong của A. Tập con này có thể xây dựng bằng cách hợp tất cả các tập mở chứa trong A.
Cho các không gian tôpô X và Y, một ánh xạ f từ X tới Y được gọi là liên tục nếu tạo ảnh của mọi tập mở trong Y là tập mở trong X. Ánh xạ f được gọi là mở nếu ảnh của mọi tập mở trong X là mở trong Y.
Mỗi tập mở bất kỳ trên đường thẳng thực là hợp của đếm được các khoảng mở.
- Tính chất mở của một tập U trong một không gian nào đó có thể không được bảo toàn trong một không gian lớn hơn. Chẳng hạn, nếu U là tập hợp các số hữu tỷ trong khoảng (0,1), khi đó U là mở trong tập các số hữu tỷ, nhưng không mở trong tập các số thực. Đó là vì, khi xét U trong tập các số hữu tỷ, mọi lân cận của điểm x in U chỉ gồm các số hữu tỷ. Nhưng khi xét U như tập con của tập số thực, các lân cận bất kỳ của x đều chứa cả các điểm vô tỷ và hữu tỷ và do đó không thể nằm trọn trong U
- Một số tập hợp vừa là mở, vừa là đóng: Trong R và các không gian liên thông, chỉ có tập rỗng và toàn bộ không gian là vừa đóng vừa mở. Tập các số hữu tỷ nhỏ hơn √2 là vừa đóng vừa mở trong tập các số hữu tỷ.
- Trong khi đó, một số tập hợp khác là không đóng cũng không mở, chẳng hạn (0,1] trong R.
