[[분류:가져온 문서/오메가]]
Product Topology
두 위상공간의 곱에 대해 자연스럽게 정의되는 위상이다.
== 정의 ==
위상공간 [math((X,\mathcal T_1))]과 [math((Y,\mathcal T_2))]에 대해
[math(\{U\times V\mid U\in \mathcal T_1,\ V\in \mathcal T_2\})]
를 기저로 갖는 곱집합 [math(X\times Y)]의 위상을 그 곱위상이라고 한다.
== 성질 ==
* [math(\mathcal T_1)]의 기저 [math(\mathcal B_1)]과 [math(\mathcal T_2)]의 기저 [math(\mathcal B_2)]에 대해
[math(\{B_1\times B_2\mid B_i\in\mathcal T_i\})]
는 [math(X\times Y)]의 곱위상의 기저이다.
== 영상 ==
[youtube(OPN6PrwIcqs)]
[Include(틀:가져옴2,O=오메가, C=[[https://creativecommons.org/licenses/by-nc-sa/3.0/deed.ko|CC BY-NC-SA 3.0]])]