Phủ (topo)

Bách khoa toàn thư mở Wikipedia
Bước tới: menu, tìm kiếm

Trong toán học, một phủ của tập là một họ các tập có hội chứa như là một tập con. Hay nói cách khác, nếu

là một họ đánh chỉ số của các tập , thì là một phủ của nếu

Phủ trong tô pô[sửa | sửa mã nguồn]

Phủ thường được dùng trong tô pô. Nếu tập là một không gian topo, thì một phủ của là một họ các tập con của có hội là toàn bộ . Trong trường hợp này ta nói phủ , hay là các tập phủ . Tương tự, nếu là tập con của , thì một phủ của là một họ các tập con của có hội chứa , hay là phủ của nếu

Cho là một phủ của không gian tô pô . Một phủ con của là một tập con của mà vẫn phủ .

Ta nói rằng là một phủ mở nếu mỗi thành phần của nó là một tập mở (mỗi chứa trong , với là tô pô trên ).

Tham khảo[sửa | sửa mã nguồn]