Difference between revisions of "Product topology"
From Maths
m (Reverted edits by JessicaBelinda133 (talk) to last revision by Alec) |
|||
| Line 5: | Line 5: | ||
<math>p_\alpha:\prod_{\beta\in I}X_\beta\rightarrow X_\alpha</math> which take the [[Tuple|tuple]] <math>(x_\alpha)_{\alpha\in I}\rightarrow x_{\beta}</math> | <math>p_\alpha:\prod_{\beta\in I}X_\beta\rightarrow X_\alpha</math> which take the [[Tuple|tuple]] <math>(x_\alpha)_{\alpha\in I}\rightarrow x_{\beta}</math> | ||
| − | This leads to the main property of the product topology, which can best be expressed as a diagram. | + | This leads to the main property of the product topology, which can best be expressed as a diagram. Will add that later. |
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
{{Todo}} | {{Todo}} | ||
{{Definition|Topology}} | {{Definition|Topology}} | ||
Revision as of 16:32, 23 August 2015
Given a set Xα∈I of indexed topological spaces, we define the product topology, denoted ∏α∈IXα (yes the Cartesian product) is the coarsest topology such that all the projection maps are continuous.
The projection maps are:
pα:∏β∈IXβ→Xα which take the tuple (xα)α∈I→xβ
This leads to the main property of the product topology, which can best be expressed as a diagram. Will add that later.
TODO:
