PM  >> Vol. 8 No. 5 (September 2018)

    相对相容定向集及其应用
    Relative Consistent Directed Sets and Its Application

  • 全文下载: PDF(680KB) HTML   XML   PP.560-564   DOI: 10.12677/PM.2018.85074  
  • 下载量: 333  浏览量: 1,408   国家自然科学基金支持

作者:  

刘东明,姜广浩,李 辉:淮北师范大学数学科学学院,安徽 淮北

关键词:
相对相容定向集相对相容定向完备集相对相容连续偏序集Relative Consistent Directed Set Relative Consistent Directed Complete Set Relative Consistently Continuous Poset

摘要:

给出相对相容定向集与相对相容定向完备集的定义,探讨二者的基本性质。在相对相容定向完备集上定义一种新的way below关系,研究其具有的一些性质。此外,引入相对相容连续偏序集概念,并证明对于给定集合T,相对相容way below关系在相对相容连续偏序集中具有插入性。

In this paper, firstly we introduce the relative consistent directed set and relative consistent complete set and study some basic properties of them. Then we define a new way below relation on the basic of the relative consistent complete set and study its properties. In addition, we introduce relative consistently continuous posets and obtain that the interpolation of relative consistent way below relation is satisfied in the set T of the relative consistently continuous poset.

1. 引言

1972年,著名数学家与计算机语言逻辑学家D. Scott引入了连续格的概念 [1] 。后经过多年研究,具有计算机和数学双重背景的连续格理论被推广到使用更广的连续Domain理论 [2] 上,并在一般拓扑学、逻辑学、代数学与计算机逻辑学等基础理论学科的研究上取得了丰硕的研究成果 [3] [4] [5] 。拓扑学与连续Domain理论是密不可分的,作为一般拓扑学的延伸,数学家A.V. Arhangel’skii在文献 [6] 中首次引入相对拓扑的概念,利用相对的思想研究了一般拓扑学。近年来,而作为连续Domain理论的一种量化推广,徐罗山在文献 [7] 中引入相容连续偏序集与定向完备化的概念,从而出现了相容连续Domain理论。受相对拓扑研究思路的启发,作为相容定向集的另一种推广,本文首先利用相对的思想引入相对相容定向集的概念,探讨其基础的性质。然后在相对相容定向完备集基础上给出相对相容小于与相对相容连续偏序集的概念,研究其具有的相关性质给出一些等价刻画。最后证明对于给定的集合T,相对相容双小于同样具有插入性。

2. 预备

本节给出本文所需的基本概念和记号。

设P为偏序集, X P x P ,记 X = { y P : x X , y x } ,对偶地,记 X = { y P : x X , x y } x = { x } x = { x }

设P为偏序集, X P ,则X是下集当且仅当 X = X 。X为上集当且仅当 X = X 。若 z X 使得 x , y z ,则称X是P的定向子集;对偶地,可以定义余定向集。设P为偏序集,P称为定向完备偏序集,如果对于P中的每一个定向集D,最小上界 都存在。

定义2.1 [7] :设P为偏序集, D P D ,若D满足:

1) D是定向集,

2) 存在 p P 使得 D p ,则称D为P中的相容定向集。

定义2.2 [7] :设P为偏序集,P称为相容定向完备偏序集,如果对于P中的每一个相容定向集D, sup D 存在。

定义2.3 [7] :设P为相容定向完备偏序集,定义P上的相容way below关系如下: x < < r y ,对于任意相容定向集D, sup D 存在,若 y sup D ,则存在 d D 使得 x d 。若 x < < r x ,则称x为相容紧元。用 K r ( P ) 表示P中所有的相容紧元,记 r x = { u P : u < < r x } r x = { v P : x < < r v }

定义2.4 [7] :设P为相容定向完备偏序集,称P相容连续(代数)偏序集,若P满足如下条件:

1) x P r x ( x K r ( P ) )为相容定向集,

2) ( x = sup ( x K r ( P ) ) )。

3. 相对相容定向集

作为相容定向集的一种推广,本节引入相对相容定向集和相对相容定向完备集的概念。

定义3.1:设P为偏序集, ,且 D , T ,若D满足:

1) D是定向集,

2) 存在 t T 使得 D t ,则称D为P的相对于T的相容定向集。当T明了时,可简称为相对相容定向集。记 R T ( P ) = { D P :D为P的相对T的相容定向集}。

命题3.2:相对相容定向集必为相容定向集。

证明: D , T P T ,若 D R T ( P ) ,则 t T P 使得 D t ,又D本身定向,由相容定向集定义知,D为相容定向集。

注3.3:相容定向集未必是相对相容定向集。

例3.4:如图1所示。

P 1 = { a , b , c , d , e , f } T = { d , e , f } ,令 D = { c , e , f } ,易知D为P1中相容定向集,但在给定的集合T中,找不到一个t使得 D t 成立,故D不为P1中相对T相容定向集。

命题3.5:设P为偏序集, D , T P ,且 D , T 。若 T = P ,则D为相对相容定向集当且仅当D为相容定向集。

下面利用相对相容定向集,引入相对相容定向完备集的概念。

定义3.6:设P为偏序集, T P T ,P称为相对相容定向完备集,若对于P中任意相对T的相容定向集D,最小上界 sup D 存在。

注3.7:相容定向完备集必为相对相容定向完备集,但相对相容定向完备集未必是相容定向完备集。

例3.8:如图2所示。

P 2 = N M M = [ 0 , 1 ) ,规定P2中的偏序关系:若 x , y N ,则 x y 当且仅当 x = y ;若 x , y M ,则按M普通的偏序关系;若 x M ,则 x y

T = [ 0 , 1 2 ] ,则P2为相对T的相容定向完备集,但此时的P2不为相容定向完备集。

命题3.9:设P为偏序集, T P ,且 T ,若 T = P ,则P为相对相容定向完备集当且仅当P为相容定向完备集。

Figure 1. Hasse diagram of poset P1

图1. 偏序集P1的Hasse图

Figure 2. Hasse diagram of poset P2

图2. 偏序集P2的Hasse图

4. 相对相容连续偏序集

有了相对相容定向集和相对相容定向完备集概念后,下面自然的可以在相容定向完备偏序集上引入相对相容way below关系的概念。

定义4.1:设P为相对相容定向完备偏序集,其中 T P ,且 T ,定义P上相对T的way below < < r r 关系如下: x , y T ,若任意 D R T ( P ) y sup D 时,存在 d D ,使得 x d ,则称x相对于T相容小于y,记为 x < < r r y 。如果 x < < r r x ,则称x为P上相对于T的相容紧元。用 K T ( P ) 表示所有P中相对于T相容紧元,同时,可以记 r r x = { y P : x < < r r y } r r x = { y P : y < < r r x }

命题4.2:设P为相对相容定向完备偏序集,其中 T P ,且 T ,若对于任意,则下列结论成立:

1) x < < r r y x y

2) u x < < r r y z u < < r r z

3) x < < r r z y < < r r z ,若 x y 存在,则 x y < < r r z

4) 若0存在且 0 T ,则 x T ,有

5) r r x R T ( P )

证明:1) D R T ( P ) ,因P为相对相容定向完备集,故 sup D 存在,又 x < < r r y ,若 ,则存在 d D 使得 x d ,取 { y } = D ,易证 { y } R T ( P ) ,进而有 x y

2) D R T ( P ) ,因P为相对相容定向完备集,故 sup D 存在。若 z sup D ,有 y sup D ,又 x < < r r y ,存在 d D 使得 x d ,进而 u d ,所以 u < < r r z

3) ,则 sup D 存在且,若 z sup D ,因为 x < < r r z y < < r r z ,故存在 d 1 , d 2 D 使得 x d 1 sup D y d 2 sup D ,进而 x y sup D ,所以 x y < < r r z

4) D R T ( P ) ,若 x sup D ,则存在 d D ,使得 x d 。又0为P上的最小元,即 0 d ,所以 0 < < r r x

5) 任意取 a , b r r x ,则有 a < < r r x b < < r r x 。进而 a x , b x ,而 { x } T ,所以 r r x U ( T )

下面利用相对相容way below关系,引入相对相容连续偏序集的概念。

定义4.3:设P为相对相容定向完备偏序集,其中 T P ,且 T ,则称P为相对T的相容连续偏序集,若P满足下列两个条件:

1) x T x = sup r r x

2) r r x 为相对T的相容定向集。

定理4.4:设P为相容连续偏序集, T P T ,则 x T r x r r x

证明: y r x ,则 y < < r x ,因P为相容连续偏序集,故P为相容定向完备集。从而P为相对相容定向完备集, D R T ( P ) ,则D为相容定向集,故 sup D 存在且 sup D D 。若 x sup D ,则存在 d D 使得 x d ,从而有,进而 y < < r r x ,即 y r r x ,结论成立。

定理4.5:设P为相容连续偏序集, T P ,且 T ,则P为相对相容连续偏序集。

证明:首先,易证P为相对相容定向完备集。再者, x T ,由命题4.2知为相对相容定向集。下证 x = sup r r x 成立。 y r r x ,有 y < < r r x ,从而 y x ,可见y为集合 r x 的一个上界,故 sup r r x x 。再由定理4.4知 r x r r x ,所以 x = sup r x sup r r x ,即 x = sup r r x 。综合上述,P为相对相容连续偏序集。

注4.6:相对相容连续偏序集未必为相容连续偏序集。

例4.7:如图2所示,若令 T = [ 0 , 1 2 ] ,则P相对T的连续偏序集。然而,对于相容定向集M, sup M M ,P不为相容定向完备集,从而P不为相容连续偏序集。

定理4.8:设P为相容完备偏序集,其中 T P ,且 T ,若 T = P 则P为相对相容连续偏序集当且仅当P相容连续偏序集。

下面定理说明相对相容连续偏序集是具有相应的插值性质的。

定理4.9:设P为相对相容连续偏序集, T P T a , b T ,若 a < < r r b ,则存在 c T ,使得 a < < r r c < < r r b

证明:记 S = { d T : c T , d < < r r c < < r r b } ,因 a < < r r b 且P为相对相容连续偏序集,易知必存在 d T ,使得 d < < r r a < < r r b ,故 d S ,可见 S 。下证集合S是相对相容定向集, d 1 , d 2 S ,则存在 c 1 , c 2 T ,使得 d 1 < < r r c 1 < < r r b d 2 < < r r c 2 < < r r b 。从而 c 1 , c 2 r r b ,因P为相容完备偏序集,故 r r b 为相对相容定向集。从而为定向集,进而存在 c 3 r r b ,使得 c 1 c 3 c 2 c 3 ,由命题4.2得 d 1 < < r r c 1 < < r r c 3 d 2 < < r r c 2 < < r r c 3 。从而 d 1 , d 2 r r c 3 ,又因为 r r c 3 为定向集,故存在 d 3 r r c 3 使得 d 1 d 3 d 2 d 3 ,又 d 3 S 。事实上,因 d 3 r r c 3 c 3 r r b ,即 d 3 < < r r c 3 < < r r b ,从而S为定向集。又 S r r b b b T ,所以S为相对相容定向集。因为 sup S = b ,事实上,因为P为相对相容连续偏序集,故 b = sup r r b ,从而 sup r r b = sup { sup r r ( c ) : c < < r r b } = sup S 。又 a b ,所以存在 d S 使得 a d ,进而存在 c T 使得 d < < r r c < < r r b ,所以 a < < r r c < < r r b ,结论成立。

基金项目

国家自然科学基金资助项目(11361028),安徽高等学校省级自然科学研究重点项目(KJ2017A378),淮北师范大学研究生创新基金项目(2017yjscx07),淮北师范大学研究生教育教学研究项目(2017jyxm03)。

文章引用:
刘东明, 姜广浩, 李辉. 相对相容定向集及其应用[J]. 理论数学, 2018, 8(5): 560-564. https://doi.org/10.12677/PM.2018.85074

参考文献

[1] Scott, D. (1972) Continuous Lattices. Lecture Notes in Mathematics 274. Springer-Verlag, Berlin, 97-136.
[2] Gierz, G., Hofmann, H., Keimel, K., et al. (2003) Continuous Lattices and Domains. Cambridge University Press, Cambridge.
https://doi.org/10.1017/CBO9780511542725
[3] Lawson, J.D. (2001) Encounters between Topology and Domain Theory. In: Keimel, K., el al., Eds., Domains and Processes, Kluwer Academic Publicatishers, 1-28.
[4] Abramsky, S. and Jung, A. (1994) Domain Theory. Handbook of Logic in Computer Science (Vol. 3). Clarendon Press, Oxford.
[5] Xu, L.S. (2006) Continuity of Poset via Scott Topology and Sobrification. Topology and Its Applications, 153, 1886-1894.
https://doi.org/10.1016/j.topol.2004.02.024
[6] Arhangel’skii, A.V. (1996) Relative Topological Properties and Relative To-pological Space. Topology and Its Applications, 70, 87-99.
https://doi.org/10.1016/0166-8641(95)00086-0
[7] 徐罗山. 相容连续偏序集及其定向完备化[J]. 扬州大学学报(自然科学版), 2000, 3(1): 1-10.