| 量化Domain理论的L-Fuzzy式处理(II) L-Fuzzy拟序集的表示 |
| |
| 引用本文： | 樊磊,王万良.量化Domain理论的L-Fuzzy式处理(II) L-Fuzzy拟序集的表示[J].模糊系统与数学,2005(2). |
| |
| 作者姓名： | 樊磊 王万良 |
| |
| 作者单位： | 首都师范大学教育技术系 北京 100037
(樊磊)，首都师范大学教育技术系 北京 100037(王万良) |
| |
| 基金项目： | 北京市教委资助项目(KM-200310028177) |
| |
| 摘 要： | 本文是文献4]的续。对于固定的FrameL,本文证明了每个LF-拟序集可以等价地表示为拟序的层,该结果与L-Fuzzy集的分解和表示定理类似。由这此定理可得出以下结论:一类量化Domain(例如,广义超度量Domain)实际上是将满足一定条件的拟序族进行"粘贴"的结果(按照层论的语言叙述,就是拟序的层),而通常的拟序则是常值拟序层的特例。
|
| 关 键 词： | LF-拟序集 LF-单调映射 拟序准层 拟序层 |
A Fuzzy Approach to Quantitative Domain Theory (II) Representation of L-Fuzzy Quasi-Posets |
| |
| FAN Lei,WANG Wan-liang.A Fuzzy Approach to Quantitative Domain Theory (II) Representation of L-Fuzzy Quasi-Posets[J].Fuzzy Systems and Mathematics,2005(2). |
| |
| Authors: | FAN Lei WANG Wan-liang |
| |
| Abstract: | This paper is a continuation of paper 4]. In this paper we prove that every LF-quasiposet can be represented as a sheaf of quasi-posets, a result that is very similar to the decomposition and (representation) theorems of L-fuzzy set. From the result we know that a certain class of quantitative (domains) such as generalized ultrametric domains can be seen as the results of (patching) a certain (quasi-posets,) that is, a sheaf of quasi-posets in terms of language of sheaf theory. In particular, a (quasi-poset) itself is just the constant sheaf. |
| |
| Keywords: | LF-quasiposets LF-monotone Mappings Presheaf of Quasiposets Sheaf of Quasiposets |
| 本文献已被 CNKI 等数据库收录！ |
