Difference between revisions of "Product topology"

From Maths
Jump to: navigation, search
(Created page with "Given a set {{M|X_{\alpha\in I} }} of indexed topological spaces, we define the product topology, denoted <math>\prod_{\alpha\in I}X_\al...")
 
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. Will add that later.
+
This leads to the main property of the product topology, which can best be expressed as a diagram. As shown below:
 +
 
 +
10 x 5 = 50! this is a product
 +
 
 +
 
 
{{Todo}}
 
{{Todo}}
 
{{Definition|Topology}}
 
{{Definition|Topology}}

Revision as of 07:36, 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α)αIxβ

This leads to the main property of the product topology, which can best be expressed as a diagram. As shown below:

10 x 5 = 50! this is a product



TODO: