In a previous post, I showed that the uncountable product of the space of the integers is not normal. Consequently, the uncountable product of the unit interval is never hereditarily normal since it contains a copy of the uncountable product of the integers. It turns out that, as the title of this post suggests, hereditarily normality cannot happen in uncountable product of spaces. Specifically the product of uncountably many spaces, each of which has at least two points, is never hereditarily normal.
Let such that and each has at least two points. The proof is quite simple, a matter of rearranging the factors so that the product space contains a copy of .
For each , let be a two-point subspace. Break up into many disjoint subsets , where . For each , let , which is homeomorphic to the middle third Cantor set in the unit interval. Thus, .
Each Cantor set contains a subset that is homeomorphic to the discrete space of the natural numbers . Thus .