模糊系统与数学
模糊繫統與數學
모호계통여수학
FUZZY SYSTEMS AND MATHEMATICS
2008年
1期
18-25
,共8页
群%Domain模型%偏序集
群%Domain模型%偏序集
군%Domain모형%편서집
群可以通过在其上赋予循环群拓扑构造群的Domain模型,从而实现群的可计算性.群上的循环群偏序集及其对偶都是连续的偏序集,这个连续偏序集是代数Domain的充分必要条件是群的单位元是代数元.如果在pseudo-有限的群G及其循环群偏序集的对偶Pop[G]上分别赋予循环群拓扑和Scott拓扑,那么恒同函数是连续的.
群可以通過在其上賦予循環群拓撲構造群的Domain模型,從而實現群的可計算性.群上的循環群偏序集及其對偶都是連續的偏序集,這箇連續偏序集是代數Domain的充分必要條件是群的單位元是代數元.如果在pseudo-有限的群G及其循環群偏序集的對偶Pop[G]上分彆賦予循環群拓撲和Scott拓撲,那麽恆同函數是連續的.
군가이통과재기상부여순배군탁복구조군적Domain모형,종이실현군적가계산성.군상적순배군편서집급기대우도시련속적편서집,저개련속편서집시대수Domain적충분필요조건시군적단위원시대수원.여과재pseudo-유한적군G급기순배군편서집적대우Pop[G]상분별부여순배군탁복화Scott탁복,나요항동함수시련속적.
