您的位置：山东大学 -> 科技期刊社 -> 《山东大学学报（理学版）》

《山东大学学报(理学版)》 ›› 2024, Vol. 59 ›› Issue (6): 76-83.doi: 10.6040/j.issn.1671-9352.0.2022.491

•   • 上一篇    下一篇

子Z-Quantale及其性质

王玲(),赵彬*()   

  1. 陕西师范大学数学与统计学院, 陕西 西安 710119
  • 收稿日期:2022-09-16 出版日期:2024-06-20 发布日期:2024-06-17
  • 通讯作者: 赵彬 E-mail:wangling123202208@163.com;zhaobin@snnu.edu.cn
  • 作者简介:王玲(1996—), 女, 硕士研究生, 研究方向为格上拓扑学与非经典数理逻辑. E-mail: wangling123202208@163.com
  • 基金资助:
    国家自然科学基金资助项目(12101383)

Sub-Z-Quantales and their properties

Ling WANG(),Bin ZHAO*()   

  1. School of Mathematics and Statistics, Shaanxi Normal University, Xi'an 710119, Shaanxi, China
  • Received:2022-09-16 Online:2024-06-20 Published:2024-06-17
  • Contact: Bin ZHAO E-mail:wangling123202208@163.com;zhaobin@snnu.edu.cn

RichHTML

0

PDF (PC)

248

摘要：

首先引入子Z-Quantale的概念, 研究子Z-Quantale的一些性质。特别地, 构造单位Z-Quantale的所有含有单位元的子Z-Quantale集上的二元运算⊙, 使得其成为Quantale。其次, 定义并子Z-Quantale, 证明有最大(小)元的Z-Quantale的并子Z-Quantale一定有最大(小)元。最后, 引入Z-Quantale上余核映射的概念, 证明Z-Quantale上的并子Z-Quantale与其上的余核映射是一一对应的。

关键词: Z-Quantale, 子Z-Quantale, 余核映射

Abstract:

Firstly, the concept of the sub-Z-Quantales is introduced and some properties of sub-Z-Quantales are studied. In particular, the binary operation ⊙ on the set of all sub-Z-Quantales of a unital Z-Quantale containing the identity element is constructed such that the set is a Quantale. Secondly, the definition of join sub-Z-Quantales is given, and it is proved that every join sub-Z-Quantale of a Z-Quantale with a maximum (minimum) element has a maximum (minimum) element. Finally, the concept of conuclei on Z-Quantales is introduced, and it is proved that the join sub-Z-Quantales and conuclei on a Z-Quantale are one-to-one correspondence.

Key words: Z-Quantale, sub-Z-Quantale, conucleus

中图分类号: 

  • O153.1

图1

Q1上的二元关系"

表1

Q1上的二元运算*"

* 0 a b c
0 0 0 0 0
a 0 a b c
b 0 b b c
c 0 c c c

图2

Q3上的二元关系"

表2

Q3上的二元运算*"

* a b c d
a a a a a
b a b b b
c a b c c
d a b c d

图3

Q4上的二元关系"

表3

Q4上的二元运算*"

* a b c d e
a a a a a a
b a b c d d
c a c c d d
d a d d d d
e a d d d d

图4

Q5上的二元关系"

表4

Q5上的二元运算*"

* a b c
a a b b
b b b b
c b b c

图5

Q6上的二元关系"

图6

Q7上的二元关系"

表5

Q7上的二元运算*"

* a b c d
a a a a a
b a b c d
c a c c d
d a d d d
1 MULVEY C J , PELLETIER J W . On the quantisation of points[J]. Journal of Pure and Applied Algebra, 2001, 159 (2/3): 231- 295.
2 GIRARD J Y . Linear logic[J]. Theoretical Computer Science, 1987, 50 (1): 1- 102.
doi: 10.1016/0304-3975(87)90045-4
3 ABRAMSKY S , VICKERS S . Quantales, observational logic and process semantics[J]. Mathematical Structures in Computer Science, 1993, 3 (2): 161- 227.
doi: 10.1017/S0960129500000189
4 李永明, 李志慧. Quantale与互模拟的进程语义[J]. 数学学报(中文版), 1999, 42 (2): 313- 320.
LI Yongming , LI Zhihui . Quantales and process semantics of bisimulation[J]. Acta Mathematica Sinica, Chinese Series, 1999, 42 (2): 313- 320.
5 ROSENTHAL K I . Quantales and their applications[M]. New York: Longman Scientific and Technical, 1990: 14- 28.
6 韩胜伟, 赵彬. Quantale理论基础[M]. 北京: 科学出版社, 2016: 15- 27.
HAN Shengwei , ZHAO Bin . Basis of quantale theory[M]. Beijing: Science Press, 2016: 15- 27.
7 WRIGHT J B , WAGNER E G , THATCHER J W . A uniform approach to inductive posets and inductive closure[J]. Theoretical Computer Science, 1978, 7 (1): 57- 77.
doi: 10.1016/0304-3975(78)90040-3
8 BANDELT H J , ERNÉ M . The category of Z-continuous posets[J]. Journal of Pure and Applied Algebra, 1983, 30 (2): 219- 226.
9 赵东升, 赵彬. Lawson-Hoffmann对偶定理的推广[J]. 数学学报(中文版), 1998, 41 (6): 1325- 1332.
ZHAO Dongsheng , ZHAO Bin . Generalization of Lawson-Hoffmann duality[J]. Acta Mathematica Sinica, Chinese Series, 1998, 41 (6): 1325- 1332.
10 ZHAO Dongsheng. Generalizations of continuous lattices and frames[D]. Cambridge: Cambridge University Thesis, 1992.
11 JOHNSTONE P T . Stone spaces[M]. Cambridge: Cambridge University Press, 1982: 39- 48.
12 ZHAO Dongsheng . Nuclei on Z-frames[J]. Soochow Journal of Mathematics, 1996, 22 (1): 59- 74.
13 ZHAO Dongsheng . On projective Z-frames[J]. Canadian Mathematical Bulletin, 1997, 40 (1): 39- 46.
doi: 10.4153/CMB-1997-004-4
14 汪开云, 赵彬. Z-Quantale及其范畴性质[J]. 数学学报(中文版), 2010, 53 (5): 997- 1006.
WANG Kaiyun , ZHAO Bin . Z-Quantales and their categorical properties[J]. Acta Mathematica Sinica, Chinese Series, 2010, 53 (5): 997- 1006.
15 鲁静, 汪开云, 赵彬. Z-Quantale的进一步结果[J]. 数学学报(中文版), 2015, 58 (6): 911- 922.
LU Jing , WANG Kaiyun , ZHAO Bin . Some further results on Z-quantales[J]. Acta Mathematica Sinica, Chinese Series, 2015, 58 (6): 911- 922.
16 谢祥云. 序半群引论[M]. 北京: 科学出版社, 2001: 7- 10.
XIE Xiangyun . An introduction of paritially ordered semigroup[M]. Beijing: Science Press, 2001: 7- 10.
[1] 刘敏, 赵彬*. Quantale上的Localic核与Localic余核映射[J]. J4, 2013, 48(2): 81-87.
Viewed
Full text


Abstract

Cited
  Shared   
  Discussed   
[1] 章专 原建利 陈俭金. 基于可限加分解阵的三值ECL电路设计算法[J]. J4, 2010, 45(3): 45 -49 .
[2] 张凤霞1，李莹1,2，郭文彬1，赵建立1. 分块Hermite阵与斜Hermite阵的最大秩与最小秩[J]. J4, 2010, 45(4): 106 -110 .
[3] 靳永刚, 王凡, 胡小鹏. 基于曲率尺度空间的轮廓线匹配方法[J]. 山东大学学报（理学版）, 2014, 49(12): 43 -48 .
[4] 刘汝军,曹玉霞,周 平 . 利用小反馈实现离散非线性混沌系统的反控制[J]. J4, 2007, 42(7): 30 -32 .
[5] 吴松丽1,2,陈桂友3*. 外-扰动与属性合取收缩规律挖掘-分离[J]. 山东大学学报（理学版）, 2014, 49(06): 1 -5 .
[6] 毕晓冬 . 左拟正规带的自由积[J]. J4, 2008, 43(6): 83 -86 .
[7] 黄崇争,吴元锡,陈 红 . 数据流中一种有效的当前频繁序列挖掘方法[J]. J4, 2007, 42(11): 37 -39 .
[8] 祁忠斌1，叶东2，张和平2. 正则图的环边连通性和环连通性之间的关系[J]. J4, 2009, 44(12): 22 -24 .
[9] 温艳清,刘宝亮,罗芳,孟献青. 可忽略部分维修时间且工作时间服从PH分布的单部件可修系统的可靠性[J]. J4, 2013, 48(09): 46 -50 .
[10] 翟晓蕊, 张春霞. 强Cartan-Eilenberg Gorenstein投射和内射复形[J]. 山东大学学报（理学版）, 2015, 50(12): 65 -72 .
版权所有 © 2018 《山东大学学报(理学版)》编辑部　
地址: 山东省济南市山大南路27号山东大学中心校区（250100）　电话: +86-0531-88366917　E-mail: xblxb@sdu.edu.cn
本系统由北京玛格泰克科技发展有限公司设计开发