分裂空间的一个性质

设Ｘ为一个拓扑空间，对于任意的Ａ∈Ｘ。存在可分度量空间Ｍ及连续映射ｆ：Ｘ→Ｍ，使得ｆ（Ｘ）＝Ｍ，Ａ＝ｆ＾－１（ｆ（Ａ）），则Ｘ称为分裂空间。本文证明了分裂空间Ｘ在广义连续统假设下：（１）若ｄ（Ｘ）≥２＾ω，则ｄ（Ｘ）＝｜Ｘ｜。（２）若（Ｘ）≤２＾ω，则对角线集△ｘ为Ｇδ集。并且（１）中的条件不能减弱。