分配律在几种不同领域中的表现形式及证明方法.pdfVIP

2009年 11月 中央 民族 大学学报( 自然科 学版) Nov.，2009 18 JournalofMUC( NaturalSciencesEdition) Vol.18Suppl. 第 卷 增刊 分 配 律 在 几 种 不 同 领 域 中 的 表 现 形 式 及 证 明 方 法 王 明璇 ，何 伟 ( 中央 民族 大学 理学 院 ，北京 100081) 摘 要 : 本文概括 了 分配律在集合论 ,数理逻辑 ,偏序集 中的 表现形式及其相应 的证 明方法 ，并通过介绍论 域理论 的相关知识 ，给 出 Heyting代数关于取元素上确 界和 下确 界运算满足分配律 的特殊证 明方法 . : ; Heyting; ; 关键词 分配律 代数 论域理论 范畴论 中图分类 号: O154.1文献标识码 : A文 章编号: 1005-8036( 2009) 增刊-0036-05 分 配律 是数 学常 用的运算 律之一 ，指 的是 如果 一个 集合上 的两 种运 算�和 +，对 于集 合 中 的任意元 a，b，c， 素 有 c�( a+b) =c�a+c�b. ( 1) ( a+b) �c=a�c+b�c. ( 2) ( 1) ( 2) � + . 我 们称 式 和式 分 别为 对 满 足左 分配 律和 右分配 律 一般 的 ，左分 配律 和右 分配 律的等价 性取 决于�运 算 是否满 足交 换 律，比如 线性 空 间 中，矩阵 的乘 法 对于 左分 配律 和右 分配 律是 有区别 的，下文 我们 只针 对右 分配律 进行 分析 . ， . , 在 数学 学习 的过 程 中 会见 到很 多分 配律 在不 同领 域的表 现形 式 下文概 括分 配 律在 集 合论 数 理 , ， ， 逻 辑 偏序集 中不 同程 度 的表现 形式及其 相应 的证 明方 法 通 过论 域 理论 中一 个 等价 结 论 给 出分 配 律 Heyting . 在 代 数 中两种 运算满 足分 配律 的一 种证 明方 法 1分配律 的几个例子及常规证 明 1.1集 合 中关于 交和 并运 算满 足分配 律 ， ( ) ( ) .A，B，C， 我 们知道在 集合 中 关 于�集合 交 与�集合 并 运 算满 足分 配律 给定集合 交运算 和 并运算 构成 的分 配律 的表 现形 式为 ( A�B) �C=( A�C) �( B�C) ( 3) ( A�B) �C=( A�C) �( B�C) ( 4) 证 明: ( 3) .���( A�B) �C���，��( A�B) 或 者 ��C �，�A�C， �B�C ���或者 �并且 �或者 � �，�AC�BC ����并且 �� ����( A�C) �( B�C) . 收稿 日期 : 2009-11-15 作者简介 : 王 明璇( 1985-) ，女( 汉族) ，河北邯郸人 ，中央 民族大学理学 院 08级研 究生 ，研 究方 向 : 论域理论. ( 1963-) ， ( ) ， ，