舆论摘要:襟怀Locale的相容性与积演算
正文可看作[7-8]的连接、深刻和完备。文中咱们对襟怀Locale的相容性及Cauchy同态这两个要害观念作了深刻的接洽,证领会相容性再Cauchy同构下维持(定理2.3);范围DcLoc及其满子范围CDcLoc是可数完美的与余完美的(定理3.2与3.3)。§3结果,咱们对襟怀Locale乘积与襟怀空间举行了比拟(定理3.5与推广3.1)。其余咱们在第二节中还证领会相容性在普遍同构下维持(推广2.3)及可襟怀Locale中可数紧性与紧性等价这两个要害截止,在§3种证领会Cauchy同态具备满一单领会(定理3.3)。接洽表白:范围DcLoc与CDcLoc具备与TOP对应的很多好的本质,所以对这两个范围的接洽是要害而有意旨的。