Published online by Cambridge University Press: 24 October 2008
In (6) we studied a topology T on the product set X × Y of two topological spaces X and Y which was defined by the requirement that each mapping from X × Y which was continuous in each variable separately was also continuous in T; we called (X × Y, T) the tensor product of X and Y, and denoted it by X ⊗ Y. Theorem (3·2) of (6) indicated that X ⊗ Y was rarely completely regular; as complete regularity is of importance in analytic problems, we consider here a ‘completely regular tensor product’ . Roughly speaking, gives a tensor product in the category of completely regular topological spaces. The categorical properties of are discussed in section 5.