Acyclicity is product-closed: Difference between revisions

From Topospaces
(Created page with "{{topospace metaproperty satisfaction| property = acyclic space| metaproperty = product-closed property of topological spaces}} ==Statement== ===For two spaces=== Suppose <mat...")
 
 
Line 11: Line 11:
===For finitely many spaces===
===For finitely many spaces===


Suppose <math>X_1, X_2, \dots, X_n</math> are topological spaces that are all acyclic spaces. Then, the product space <math>X_1 \times X_2 \times \dots X_n</math>, endowed with the [[product topology]], is also an [[acyclic space]].
Suppose <math>X_1, X_2, \dots, X_n</math> are topological spaces that are all acyclic spaces. Then, the product space <math>X_1 \times X_2 \times \dots \times X_n</math>, endowed with the [[product topology]], is also an [[acyclic space]].


===For an arbitrary number of spaces===
===For an arbitrary number of spaces===

Latest revision as of 02:19, 29 July 2011

This article gives the statement, and possibly proof, of a topological space property (i.e., acyclic space) satisfying a topological space metaproperty (i.e., product-closed property of topological spaces)
View all topological space metaproperty satisfactions | View all topological space metaproperty dissatisfactions
Get more facts about acyclic space |Get facts that use property satisfaction of acyclic space | Get facts that use property satisfaction of acyclic space|Get more facts about product-closed property of topological spaces

Statement

For two spaces

Suppose X1 and X2 are topological spaces that are both acyclic spaces. Then, the product space X1×X2, endowed with the product topology, is also an Acyclic space (?).

For finitely many spaces

Suppose X1,X2,,Xn are topological spaces that are all acyclic spaces. Then, the product space X1×X2××Xn, endowed with the product topology, is also an acyclic space.

For an arbitrary number of spaces

Suppose Xi,iI, are topological spaces that are all acyclic spaces. Then, the product space iIXi, endowed with the product topology, is also an acyclic space.

Related facts