Khác biệt giữa bản sửa đổi của “Phủ (tô pô)”

Nội dung được xóa Nội dung được thêm vào
thêm đường dẫn tới mịn hóa phân hoạch.
thêm đường dẫn
Dòng 1:
{{Underlinked|date=tháng 11 năm 2016}}
 
Trong [[toán học]], một '''phủ''' của một tập hợp <math>X</math> là một họ các [[Tập hợp con (toán học)|tập con]]hội[[Phép hợp|hợp]] chứa <math>X</math> như là một tập con. Hay nói cách khác, nếu
:<math>C=\left\{ U_{i}:i\in I\right\}</math>
là một họ đánh chỉ số của các tập <math>U_{i}</math>, thì <math>C</math> là một phủ của <math>X</math> nếu
Dòng 8:
==Phủ trong tô pô==
 
Phủ thường được dùng trong [[topology|tô pô]]. Nếu tập <math>X</math> là một không gian topo, thì một phủ <math>C</math> của <math>X</math> là một họ các tập con <math>U_{i}</math> của <math>X</math> có hộihợp là toàn bộ <math>X</math>. Trong trường hợp này ta nói <math>C</math> phủ <math>X</math>, hay là các tập <math>U_{i}</math> phủ <math>X</math>. Tương tự, nếu <math>Y</math> là tập con của <math>X</math>, thì một phủ của <math>Y</math> là một họ các tập con của <math>X</math> có hộihợp chứa <math>Y</math>, hay <math>C</math> là phủ của <math>Y</math> nếu
:<math>Y\subseteq\bigcup_{i\in I}U_{i}</math>
Cho <math>C</math> là một phủ của không gian tô pô <math>X</math>. Một phủ con của <math>C</math> là một tập con của <math>C</math> mà vẫn phủ <math>X</math>.