关于 Locale 乘积的一点注记

【摘要】 关于Ｌｏｃａｌｅ乘积的一点注记刘勇（基础科学部）在文献［１］中，关于Ｌｏｃａｌｅ乘积给出了一个重要刻划定理：ＬｏｃａｌｅΩ（｛Ｘｒ｜ｒ∈Γ｝）同构于Ｌｏｃａｌｅｉ｛Ω（Ｘｒ）｜ｒ∈Γ｝）当且仅当后者是空间式的．但是，作者在证明此定理的过程中，利用...更多还原