区间集上R_0-代数的特征性质及其简化表示定理  

Characteristic Properties of R_0-Algebra on Interval Set & Simplified Representation Theorem

作　　者：乔希民[1] 

机构地区：[1]商洛学院数学与计算机应用学院,陕西商洛726000

出　　处：《甘肃科学学报》2015年第1期8-14,共7页Journal of Gansu Sciences

基　　金：陕西省自然科学基础研究计划项目(2013JM1023);陕西省教育厅科研计划项目资助(11JK0512);陕西省高等学校教学改革研究重点资助项目(13BZ56)

摘　　要：首先论证了区间集上R0-代数的一组有趣特征性质及任意元与其相应的补的最小蕴涵关系式。其次,在引入两个新的运算算子的基础上,进一步讨论了区间集上R0-代数的又一组基本特征性质。最后,运用公理化思想方法简化了区间集上R0-代数表示形式的公理条数,以彰显其公理系统的相对独立性。A set of interesting characteristic properties of R0-algebra on the set of intervals and the mini mum implication relation between an arbitrary element and its corresponding complement were studied, and based on the introduction of two new operators,another set of basic characteristic properties of R0-algebra on the set of intervals were further researched. And then the axiomatic approach was adopted to simplify the number of axioms of R0-algebra representation on the set of intervals and to highlight the relative independence of its axiomatic system.

关 键 词：区间集 公理化系统 R0-代数 特征性质 简化表示定理 

分 类 号：O141[理学—数学]