Không gian tôpô tích

Trong tô pô và các ngành toán học liên quan, không gian tích là tích Descartes của một họ không gian tô pô được trang bị một tôpô gọi là tô pô tích. Tô pô này khác với các loại khác, điển hình là tô pô hộp. Tô pô hộp của một không gian tích trở thành tô pô tích khi nó xác định trên không gian hữu hạn. Tuy vậy, tô pô tích cho phép không gian tích thực hiện được phép tích đối với các nhân tử của nó. Không gian X thỏa mãn X := ∏ i ∈ I X i , {\displaystyle X:=\prod _{i\in I}X_{i},} là tích Descartes của không gian tô pô X i {\displaystyle X_{i}} , đánh số bởi i ∈ I {\displaystyle i\in I} , và phép chiếu p i {\displaystyle p_{i}} : X {\displaystyle X} → X i {\displaystyle X_{i}} , tô pô tích trên X {\displaystyle X} được định nghĩa là tô pô yếu nhất (hay tô pô có ít tập mở nhất) đối với mọi phép chiếu liên tục p i {\displaystyle p_{i}} . Tô pô tích còn được gọi là tô pô Tychonoff. Trường hợp X {\displaystyle X} và Y {\displaystyle Y} là không gian tô pô, thì tô pô tích trên X × Y {\displaystyle X\times Y} là tô pô sinh bởi cơ sở B = { B × C ∣ B ∈ B X ∧ C ∈ B Y } {\displaystyle {\mathcal {B}}=\left\{B\times C\mid B\in {\mathcal {B}}_{X}\wedge C\in {\mathcal {B}}_{Y}\right\}} với B X {\displaystyle {\mathcal {B}}_{X}} là một cơ sở của tô pô X {\displaystyle X} và B Y {\displaystyle {\mathcal {B}}_{Y}} là một cơ sở cho tô pô Y Cho p X : X × Y → X {\displaystyle p_{X}\,:\,X\times Y\rightarrow X} được định nghĩa bởi p X ( x , y ) = x {\displaystyle p_{X}(x,\,y)=x} và cho p Y : X × Y → Y {\displaystyle p_{Y}\,:\,X\times Y\rightarrow Y} được định nghĩa bởi p Y ( x , y ) = y {\displaystyle p_{Y}(x,\,y)=y} . thì họ S = { p X − 1 ( U ) } ∪ { p Y − 1 ( V ) } {\displaystyle S=\left\{p_{X}^{-1}(U)\right\}\cup \left\{p_{Y}^{-1}(V)\right\}} với U {\displaystyle U} mở trong X {\displaystyle X} và V {\displaystyle V} mở trong Y {\displaystyle Y} là một cơ sở con của tô pô X × Y {\displaystyle X\times Y} . Trường hợp tích vô hạn { X i } i ∈ I {\displaystyle \{X_{i}\}_{i\in I}} là một họ được đánh chỉ số các không gian tô pô, X = ∏ i ∈ I X i {\displaystyle X=\prod _{i\in I}X_{i}} Định nghĩa tô pô tích trên X {\displaystyle X} là tô pô sinh bởi S {\displaystyle S} . τ X {\displaystyle \tau _{X}} có một cơ sở là F = { ∏ i ∈ I U i ∈ τ Y , U i = X i trừ ra hữu hạn   i ∈ I } {\displaystyle F=\{\prod _{i\in I}U_{i}\in \tau _{Y},\,U_{i}=X_{i}\,{\text{trừ ra hữu hạn}}\,\ i\in I\}} Tô pô tích trên ∏ i ∈ I X i {\displaystyle \prod _{i\in I}X_{i}} có cơ sở là những tập có dạng ∏ i ∈ I U i {\displaystyle \prod _{i\in I}U_{i}} với U i {\displaystyle U_{i}} mở trong X i {\displaystyle X_{i}} cho mỗi i {\displaystyle i} và U i = X i {\displaystyle U_{i}=X_{i}} trừ ra hữu hạn giá trị i {\displaystyle i} . Tô pô hộp là tô pô trên ∏ i ∈ I X i {\displaystyle \prod _{i\in I}X_{i}} có cơ sở là những tập có dạng ∏ i ∈ I U i {\displaystyle \prod _{i\in I}U_{i}} với U i {\displaystyle U_{i}} mở trong X i {\displaystyle X_{i}} cho mỗi i {\displaystyle i} . Tích Tôpô { x 2 + y 2 ≤ 1 } × [ 0 , 1 ] {\displaystyle \{x^{2}+y^{2}\leq 1\}\times [0,1]} là hình trụ đặc có bán kính đáy 1, chiều cao 1 như hình vẽ. Tôpô trên R 2 {\displaystyle \mathbb {R} ^{2}} như là tích các không gian tô pô Euclid của R {\displaystyle \mathbb {R} } là tô pô Euclid. Hình xuyến là một mặt đóng trong R 3 {\displaystyle \mathbb {R} ^{3}} , nhưng cũng có thể định nghĩa nó là như tích tô pô S 1 × S 1 {\displaystyle S^{1}\times S^{1}} trong đó S 1 {\displaystyle S^{1}} là đường tròn (hoặc cung kín) trong R 2 {\displaystyle \mathbb {R} ^{2}} . Theo cách này có thể coi hình xuyến là không gian tô pô con của R 4 {\displaystyle \mathbb {R} ^{4}} . Tô pô của S 1 {\displaystyle S^{1}} là không gian tô pô con giống như tập con của R 2 {\displaystyle \mathbb {R} ^{2}} . Trong R N {\displaystyle \mathbb {R^{N}} } , cho dãy khoảng mở ( a 1 , b 1 ) , ( a 2 , b 2 ) , . . . {\displaystyle (a_{1},\,b_{1}),\,(a_{2},\,b_{2}),\,...} trong R {\displaystyle \mathbb {R} } , tập ( a 1 , b 1 ) × ( a 2 , b 2 ) × . . . {\displaystyle (a_{1},\,b_{1})\times (a_{2},\,b_{2})\times ...} là một tập mở cơ sở cho tô pô hộp, chú ý tập này không mở trong tô pô tích. Tập ( a 1 , b 1 ) × ( a 2 , b 2 ) × . . . × R × . . . {\displaystyle (a_{1},\,b_{1})\times (a_{2},\,b_{2})\times ...\mathbb {\times R} \times ...} là một tập mở cơ sở của tô pô tích R N {\displaystyle \mathbb {R} ^{\mathbb {N} }} . Không gian tích X {\displaystyle X} , cùng với phép chiếu chuẩn tắc, đặc trưng bởi tính chất phổ quát sau: Tô pô tích là tô pô thô nhất trên X {\displaystyle X} sao cho tất cả các ánh xạ chiếu p i {\displaystyle p_{i}} liên tục. Hay nói cách khác, tô pô tích là tô pô sinh bởi những ánh xạ chiếu. Nếu Y {\displaystyle Y} là một không gian tô pô, và đối với mỗi i ∈ I {\displaystyle i\in I} , f i : Y ⟶ X i {\displaystyle f_{i}:\,Y\longrightarrow X_{i}} là một ánh xạ liên tục, thì tồn tại một ánh xạ liên tục f : Y ⟶ X {\displaystyle f:\,Y\longrightarrow X} sao cho mỗi i ∈ I {\displaystyle i\in I} tuân theo biểu đồ giao hoán: Nó thể hiện không gian tích là tích phạm trù của các không gian tô pô. Từ tính chất phổ quát trên, ánh xạ f : Y ⟶ X {\displaystyle f:Y\longrightarrow X} là liên tục nếu và chỉ nếu f i = p i o f {\displaystyle f_{i}=p_{i}of} liên tục cho mọi i ∈ I {\displaystyle i\in I} . Trong nhiều trường hợp có thể dễ dàng kiểm tra rằng hàm f i {\displaystyle f_{i}} là liên tục. Tuy nhiên chứng minh g : X ⟶ Z {\displaystyle g:\,X\longrightarrow Z} liên tục thì khó hơn; và cần đến giả thiết p i {\displaystyle p_{i}} liên tục. Để thỏa mãn tính liên tục, phép chiếu chuẩn tắc p i : X → X i {\displaystyle p_{i}:\,X\rightarrow X_{i}} cần thêm tính chất là những ánh xạ mở. Điều này có nghĩa là bất kỳ tập con mở nào của không gian tích vẫn là mở khi thực hiện chiếu chúng vào X i {\displaystyle X_{i}} . Điều ngược lại không đúng: nếu W {\displaystyle W} là không gian con của không gian tích mà phép chiếu vào mọi X i {\displaystyle X_{i}} là mở, thì W {\displaystyle W} không cần thiết là không gian mở trong X {\displaystyle X} .Các phép chiếu chuẩn tắc nói chung không phải là ánh xạ đóng (ví dụ { ( x , y ) ∈ R 2 ∣ x y = 1 } , {\displaystyle \{(x,y)\in \mathbb {R} ^{2}\mid xy=1\},} , mà phép chiếu lên hai trục tọa độ là R ∖ { 0 } {\displaystyle \mathbb {R} \setminus \left\{0\right\}} ). Tô pô tích còn gọi là tô pô hội tụ theo từng điểm bởi vì: một dãy số (hoặc lưới) trong X hội tụ nếu và chỉ nếu mọi phép chiếu của nó vào không gian X i {\displaystyle X_{i}} hội tụ. Đặc biệt, nếu xét không gian X = R I {\displaystyle X=\mathbb {R^{\mbox{I}}} } của mọi hàm giá trị thực trên X {\displaystyle X} , sự hội tụ trong tô pô tích là giống với sự hội tụ theo điểm của hàm số. Ánh xạ vào không gian tích là liên tục khi và chỉ khi tất cả các ánh xạ thành phần là liên tục. Tích các tập con đóng bất kỳ X i {\displaystyle X_{i}} là tập đóng trong X {\displaystyle X} . Một định lý quan trọng về tô pô tích là định lý Tychonoff: tích của một họ không gian compact bất kỳ là compact. Định lý này có thể chứng minh dễ dàng cho trường hợp hữu hạn, trong khi trường hợp tổng quát tương đương với tiên đề chọn. Tiên đề tách Tích của những không gian T 0 {\displaystyle T_{0}} thì T 0 {\displaystyle T_{0}} Tích của những không gian T 1 {\displaystyle T_{1}} thì T 1 {\displaystyle T_{1}} Tích của những không gian Hausdorff thì Hausdorff Tích của những không gian chính tắc thì chính tắc. Tích của những không gian chuẩn tắc thì không chắc là chuẩn tắc. Compắc Tích của những không gian compact thì compact (Định lý Tychonoff) Sự liên thông Tích của những không gian liên thông (Liên thông đường) thì liên thông (Liên thông đường) ^ a b c “Product topology”. mathworld.wolfram.com. Truy cập ngày 30 tháng 5 năm 2013. ^ “Product topology”. Planet Math. Truy cập ngày 30 tháng 5 năm 2013. ^ a b c John O'Connor. “The product topology”. University of St Andrews, Scotland. Truy cập ngày 30 tháng 5 năm 2013. ^ “Tychonoff Theorem”. mathworld.wolfram.com. Truy cập ngày 30 tháng 5 năm 2013. ^ “Product topology preserves the Hausdorff property”. PlanetMath. Willard, Stephen (1970). General Topology. Reading, Mass.: Addison-Wesley Pub. Co. ISBN 0486434796. Truy cập ngày 13 tháng 2 năm 2013. “product topology”. PlanetMath.