淮北师范大学学报（自然科学版）
淮北師範大學學報（自然科學版）
회북사범대학학보（자연과학판）
JOURNAL OF HUAIBEI COAL INDUSTRY TEACHERS COLLEGE(NATURAL SCIENCE)
2013年
3期
1-3
,共3页
拓扑系统%分离性%紧性%Lindel(o)f性质
拓撲繫統%分離性%緊性%Lindel(o)f性質
탁복계통%분리성%긴성%Lindel(o)f성질
拓扑系统是目前最广泛的拓扑研究对象之一,它以点集拓扑空间、Locale空间化、模糊拓扑空间与拓扑分子格为特例,可以用来研究计算机程序语言的指称语义的Domain理论.文章从拓扑学的角度研究了拓扑系统的Lindel(o)f性质,得到关于拓扑系统Lindel(o)f性质的若干定理.
拓撲繫統是目前最廣汎的拓撲研究對象之一,它以點集拓撲空間、Locale空間化、模糊拓撲空間與拓撲分子格為特例,可以用來研究計算機程序語言的指稱語義的Domain理論.文章從拓撲學的角度研究瞭拓撲繫統的Lindel(o)f性質,得到關于拓撲繫統Lindel(o)f性質的若榦定理.
탁복계통시목전최엄범적탁복연구대상지일,타이점집탁복공간、Locale공간화、모호탁복공간여탁복분자격위특례,가이용래연구계산궤정서어언적지칭어의적Domain이론.문장종탁복학적각도연구료탁복계통적Lindel(o)f성질,득도관우탁복계통Lindel(o)f성질적약간정리.
