有补模格的一个定理

本文是对参考文献[1]命题57证明的补充和改进。该命题乃指:     

有穷长半模偏序集上的一个定理

本文是对参考文献[1]第二章定理14证明的补充和改进。该定理乃指: 定理14.在任何上(或下)半模的有穷长的偏序集内,Jordan-Dedekind链条件成立。 文献[1]中,考虑上半模情形,谈到已知一个连接链:γ∶a=x_0相似文献   

正交映射与绕点的旋转

本文首先阐迷正交映射的一些基本性质,其次证明一个重要的定理。 定理 空间绕点O的旋转都是绕过O的一条直线的旋转。     

一阶谓词演算自然演绎型直觉主义系统NDPI

学习NDPI (Nature Deduction Predicate Intuitionistic)[1]时,自然会提出这样的问题:如何证明判断"P∨┑P(P是一个命题)"在该系统中是不可证的?本文就回答这个问题.     

关于一个非交换的格序群

群Ｇ有三个无穷阶生成元ａ,ｂ,ｃ,并且定义着关系ａ＋ｂ＝ｂ＋ａ,ａ＋ｃ＝ｃ＋ｂ,ｂ＋ｃ＝ｃ＋ａ,Ｇ＋包含ｍａ＋ｍ′ｂ＋ｎｃ（ｍ,ｍ′,ｎ为整数）当且仅当ｎ＞０或ｎ＝０而ｍ≥０,ｍ′≥０。将其中的等式改写成ａ＋（±ｂ）＝（±ｂ）＋ａ,ａ＋（±ｃ）＝（±ｃ）＋ｂ,ｂ＋（±ｃ）＝（±ｃ）＋ａ,并且给出生成元是独立的。在此基础上给出详细的证明,然后给出有关它的一些性质。     

阿基米德ι-群的几个定理

首先给出阿基米德ι-群的几个基本概念及引理,然后讨论了它的有关性质.特别是定理4导出全序阿氏ι-群与实数的戴得金分划间的关系.对研究ι-群的结构有其理论价值.     

二次曲线参数方程的几何意义

椭圆的参数方程的几何意义是众所周知的(见例1)。本文将分别对双曲线、抛物线的参数方程阐述几何意义(见例2、例3)。     

结构格的一个定理

本文首先叙述一些概念及其性质,其次给出一个定理如下: 定理令γ为一棵有限树,X为一个简单序L一群,R_#表示实数L一群,B表示二元格,则γ_X是一个L一群。γ_(R_#)的结构格为γ_B。