西北大学学报（自然科学版）
西北大學學報（自然科學版）
서북대학학보（자연과학판）
JOURNAL OF NORTHWEST UNIVERSITY(NATURAL SCIENCE EDITION)
2012年
1期
12-16
,共5页
推理闭包空间%结论闭集%结论开集%分离性
推理閉包空間%結論閉集%結論開集%分離性
추리폐포공간%결론폐집%결론개집%분리성
目的 引入推理闭包空间的T0,T1,T2,Sober以及Urysohn分离性,研究它们的若干性质.方法 利用拓扑学中分离性的思想以及研究方法,讨论推理闭包空间的分离性.结果 分别给出了它们的定义及相应的等价刻画,证明了T0,T1,T2及Urysohn分离性是可遗传的且在同胚映射下是保持拓扑不变的,得到了诸分离性之间的关系.结论 通过推理闭包空间分离性的建立,展现和丰富了逻辑学的拓扑性质.
目的 引入推理閉包空間的T0,T1,T2,Sober以及Urysohn分離性,研究它們的若榦性質.方法 利用拓撲學中分離性的思想以及研究方法,討論推理閉包空間的分離性.結果 分彆給齣瞭它們的定義及相應的等價刻畫,證明瞭T0,T1,T2及Urysohn分離性是可遺傳的且在同胚映射下是保持拓撲不變的,得到瞭諸分離性之間的關繫.結論 通過推理閉包空間分離性的建立,展現和豐富瞭邏輯學的拓撲性質.
목적 인입추리폐포공간적T0,T1,T2,Sober이급Urysohn분리성,연구타문적약간성질.방법 이용탁복학중분리성적사상이급연구방법,토론추리폐포공간적분리성.결과 분별급출료타문적정의급상응적등개각화,증명료T0,T1,T2급Urysohn분리성시가유전적차재동배영사하시보지탁복불변적,득도료제분리성지간적관계.결론 통과추리폐포공간분리성적건립,전현화봉부료라집학적탁복성질.
