有1分配格的另一等价定义

本文首先介绍了格、分配格和有1分配格的定义、定理,然后提出了两个新的有1分配格的三条件等价定义,这两个等价定义比原来四条件等价定义的等式个数更少、长度更短,最后根据有1分配格所满足的五条运算律做了与原始定义的等价性证明。     

凸函数的2种定义及其等价性初探

讨论一元凸函数2种定义的等价性,得到在半连续函数类中2种定义等价的结论.     

李代数的交叉模

介绍了李代数交叉模的一个等价定义,用等价定义讨论了交叉模等价类之间的运算.对给定的李代数L,P及P.模M,考虑所有以M为核、以P为余核的交叉模的等价类集合,在等价类集中定义加法运算和数乘运算.证明了李代数的交叉模等价类集合是一个线性空闸,且与其三阶上同调群空间同构.最后计算了Virasoro代数的三阶上同调群.     

可分与余可分及其性质

根据代数和余代数的一些基本知识,可分单子的定义和与其定义等价的两个命题,类似给出了余可分余单子的定义及与定义等价的两个命题及其证明过程.     

关于函数连续性三个等价定义的教学探讨

本文探讨函数连续性的教学,分析了连续性三个等价定义的本质特性,提出了三个等价定义的教学方案     

二重积分的等价定义及应用

通过分析和研究现行教材中二重积分的定义,对其做出了适当的改进,即在选取点(ξi,ηj)的任意性不变的情况下,将定义中的任意分割T改为特殊分割,得到了几种等价定义,并加以证明.首先,在任意积分区域上取某一确定的分割,得到一种等价定义,但此定义仍比较繁琐.因此,进一步讨论了矩形区域上的积分,并取均等的矩形网分割,得到二重积分的比较简单的等价定义,从而使二重积分的等价定义应用更方便。     

二元关系中传递性的若干研究

二元关系的传递性有时不好判断,通过对二元关系传递性定义的深入分析,给出了传递性判断的等价定义及定理,利用该等价定义及定理可以较快地实现二元关系传递性的判定。     

渐近线的若干等价定义

探讨了渐近线在解析几何和高等几何里定义的等价性，以及另外的几种等价定义及相应的解题方法。     

关于点列上射影变换的一点注记

讨论点列上射影变换的Steiner定义与Von Staudt定义的差别。主要结论如下:这两个定义在实点列上是等价的。但在夏点列上并不等价;就有限域GF(p~n)上的点列而言,当素数p≠2,n=1时,这两个定义是等价的,当素数p≠2,自然数n≠1时,这两个定义并不等价。     

拓扑空问的等价定义

归纳总结了已有拓扑空间的等价定义,补充了由闭集和内部定义拓扑的证明,并利用外部及邻域基给出了拓扑空间的两个等价定义,最后给出两个例子分别说明导集和孤立点集不能定义拓扑空间.     

一类可解李代数的分类——可补李代数的结构(Ⅱ)

本文用生成元和定义关系的方法,对每个可解可补李代数给出一个定义矩阵。把两个李代数的同构归结为定义矩阵的等价,应用矩阵等价下标准型的理论,得到这类李代数的同构分类。     

一类可解李代数的分类可补李代数的结构(Ⅱ)

本文用生成元和定义关系的方法,对每个可解可补李代数给出一个定义矩阵.把两个李代数的同构归结为定义矩阵的等价,应用矩阵等价下标准型的理论,得到这类李代数的同构分类.     

拓扑空间的等价定义

归纳总结了已有拓扑空间的等价定义，补充了由闭集和内部定义拓扑的证明，并利用外部及邻域基给出了拓扑空间的两个等价定义，最后给出两个例子分别说明导集和孤立点集不能定义拓扑空间。     

关于伴随函子的等价定义

伴随是范畴论中最重要的概念之一．其定义涉及多个量且难以理解。介绍了伴随函子的几个等价定义,证明了各个定义的相互等价性．从而可以更加直观地理解伴随函子的定义．并给出了伴随函子的应用例子。     

有1模格的几个等价定义

对具有单位元的模格,给出三种等价定义,并根据模格所满足的幂等律、交换律、结合律、吸收律和模律,证明了有1模格各种定义之间的等价性.     

从普通集到模糊集的扩充

在实数理论中,采用有理数的退缩闭区间套的等价类来定义实数.通过有理数的运算来定义实数运算.与此类似,本文用一个普通集合套的等价类定义一个模糊,通过普通集合的运算定义模糊集的运算。通过阵通集合的特征函数来定义模糊集的隶属函数.从而完成普通集到模糊集的扩充.     

柯西极限定义的等价定义及其在教学中的作用

本文证明了一个柯西极限定义的等价定义 ,同时论述了这个定义在教学中的作用 .     

用等价无穷小量求函数极限的探讨

本文从等价无穷小量的定义出发，举出常用的等价无穷小量，讨论了等价无穷小量的替换条件，并通过各种实例说明在求极限过程中等价无穷小量的广泛应用。     

复射影平面上二次曲线的两种定义的等价性

本文首先给出了二次曲线的代数定义与射影定义.为了说明这两种定义的等价性,我们对Steiner定理作了严格证明.随后,在复射影平面上给出了Steiner定理的逆定理,并用代数方法证明了这个逆定理的正确性.从而,在复射影平面上使二次曲线的代数定义与射影定义的等价性得到严格论证.     

"线性空间"公理系统的等价性

本在利用群的第一定义和群的第二定义的等价性得出关于“线性空间”的一个简化定义的基础上．给出线性空间另外两个等价的公理系统。同时，对这些公理系统的独立性问题予以探讨。