Editing Sequence (section)

====Product topology====
The [[product topology|topological product]] of a sequence of topological spaces is the [[cartesian product]] of those spaces, equipped with a [[natural topology]] called the [[product topology]].

More formally, given a sequence of spaces <math>(X_i)_{i\in\mathbb N}</math>, the product space

:<math>X := \prod_{i\in\mathbb N} X_i, </math>

is defined as the set of all sequences <math>(x_i)_{i\in\mathbb N}</math> such that for each ''i'', <math>x_i</math> is an element of <math>X_i</math>. The '''[[projection (set theory)|canonical projections]]''' are the maps ''p<sub>i</sub>'' : ''X'' &rarr; ''X<sub>i</sub>'' defined by the equation <math>p_i((x_j)_{j\in\mathbb N}) = x_i</math>. Then the '''product topology''' on ''X'' is defined to be the [[coarsest topology]] (i.e. the topology with the fewest open sets) for which all the projections ''p<sub>i</sub>'' are [[continuous (topology)|continuous]]. The product topology is sometimes called the '''Tychonoff topology'''.