多元矩阵Padé逼近的代数性质

文章给出关于多元矩阵 Padé逼近代数性质的三个定理。定理一证明矩阵 Padé逼近的对偶性质 ;定理二证明多元矩阵 Padé逼近与一元矩阵 Padé逼近一样 ,具有自变量分式变换下的单应不变性 ;定理 3证明在一定条件下 ,多元矩阵 Padé逼近可以用一元矩阵 Padé逼近表示 ,以及右多元矩阵 Padé逼近和左多元矩阵 Padé逼近之间的关系 ,这一性质是多元矩阵Padé逼近特有的一个性质。     

线性规划的一个新的多项式算法——Karmarkar方法(续)

四、基本定理的证明为了需要,先证明下面有关对数函数的三个分析性质。性质11 若y_j≥0(j=1,2,…,n),则有证明所有性质证明利用中值定理,可得：性质13证明因此有取,应有性质12,可得：因为故有下面开始证明基本定理。     

时标意义下delta微分性质的证明

根据时标意义下delta微分的相关定义,可得到delta微分的很多定理和性质,在证明delta微分其中的一些定理和性质时,可根据点t是稠密点或是发散点而分情形来证明,针对delta微分的这些定理和性质给出不同的证明．     

基本上成立的概念及其应用

主要讨论了基本上成立的一些概念,并给出与这些概念相关的一些性质,同时用基本上成立的概念简述一些定理和性质的叙述、证明及它们之间的关系.     

拉格朗日中值定理在不等式证明中的应用

拉格朗日中值定理揭示了函数在某区间内的整体性质和在该区间内某一点的导数之间的关系,是微分中值定理的核心定理之一。通过典型例题的解析分析说明利用拉格朗日中值定理证明不等式的方法步骤和辅助函数的构造方法。     

用特征函数证明一些定理

特征函数的性质,以及用特征函数证明一些定理,可使得一些定理在证明中更简略。     

Lagrange中值定理的新证法

Lagrange中值定理是微分学中值定理之一，给出闭区间上连续函数的两个性质，应用连续函数的性质和闭区间套定理证明lagrange中值定理。     

线性代数中几个定理的新证法

对线性代数中关于矩阵秩的几个公式与特征多项式的性质定理给出了新的证明方法，用齐次线性方程组解空间的理论证明了矩阵秩的６个定理，利用矩阵和的行列式定理给出了矩阵Ａ的特征多项式系数及Ａ的主子式关系定理的新证法。     

p叶解析函数的一个新子类

引进了新的p叶解析函数子类,应用微分从属方法证明它的从属关系、包含关系、偏差定理和不等式性质,推广了某些已有结果.     

区间上连续函数的性质与构造证明法

连续函数是"微积分"研究的主要对象;区间上连续函数的性质是"微积分"课程的重要内容;也是被认为很困难的内容;许多教材为了回避困难,不惜先引入定理,在教材的后面部分再给出证明;其实,闭区间上连续函数性质的证明的难度不会超过证明确界定理的难度,而证明这些定理的思想方法可能比这些定理本身更重要;将在确界定理与单调有界定理的基础上,利用构造性方法给出闭区间上连续函数性质的证明;并由此深入讨论一般区间上连续函数的性质。     

模糊关系运算的传递性

详细讨论模糊关系一元及二元运算的传递性性质。首先给定一个模糊关系具有某种传递性性质，讨论其余关系、逆关系、对偶关系的传递性性质；然后基于两个模糊关系具有某类传递性，讨论它僮的模并、模交运算的传递性性质。     

三角模的生成函数及其应用

本文利用三角模的生成函数定义三角模,并应用生成函数刻画模糊偏好理论中的模糊关系的若干性质.     

集合I到集合Λ上的二元关系半群P_θ(I×Λ)的基本性质

设集合I,Λ是任意的非空集合。本文首先引入了一类二元关系半群——集合I到集合Λ上的二元关系半群Pθ(I×Λ);给出了半群Pθ(I×Λ)的Boole矩阵表示;通过Boole矩阵表示获得了半群Pθ(I×Λ)的幂等元;找到了半群Pθ(I×Λ)的正则元的一种刻画方式;最后列出了关于半群Pθ(I×Λ)的G reen关系的一些基本性质。     

二元关系的对偶合成及其在传递性中的应用

系统地讨论了偏好结构理论中的各种传递性质,引入了二元关系的一种新的合成运算：对偶合成.结果表明,这种对偶合成可以方便地刻画反向传递性,它与合成运算一起可以刻画半传递性和Ferrers传递性.利用二元关系的合成和对偶合成运算建立了二元关系的各种类型的传递性质的若干等价条件.这些等价条件都是用集合的包含式表示的,这种表示有利于判断一个二元关系是否具有某种传递性质.     

二元关系半群 的一类左单位的构造

设 是任意的非空集合, 是集合 上的半格, 是任意集值变换．通过 上的极值变换 定义集合 上由半格 确定的二元关系,而 是集合 上由半格 确定的所有二元关系构成的集合,并且 在二元关系的乘积运算构成半群．利用半群 左单位已有的结论,以及二元关系之间的包含关系,可以获得 的一类左单位的重要特征,从而可以构造出半群 的一类左单位.     

一般关系下的粗映射

给出基于一般关系下的粗映射的定义及其性质,并讨论了一般二元关系与粗映射近似算子的特征联系。     

二元等重码的对偶距离分布和对偶重量分布

本文讨论了二元等重码的对偶距离分布和对偶重量分布，首先给出了二元码的对偶重量分布和对偶距离分布的定义，性质和关系，然后对等重码，导出了其对偶重量分布的一个递推关系式，以此得到了对偶距离分布的一个递推不等式，最后，讨论了上述分布的一些应用。     

基于一类完备格诱导的直觉模糊集的多元扩展运算

基于一种二元序完备格引入了直觉模糊集的截集的概念,给出了直觉模糊集的加、减和乘法等算术运算,获得了这种截集的算术运算性质,并通过实例说明这些包含关系可以严格成立.此外,在完备格诱导的直觉模糊集的截集基础上,得到了直觉模糊集的多元扩展原理,进而讨论了多元扩展运算的2个基本性质.     

有限集上可传递二元关系的矩阵判别方法

用关系矩阵研究二元关系及其性质的方法既简洁又高效。在有关二元关系的自反、反自反、对称、反对称以及可传递的研究中,前四种性质已有了关系矩阵判别方法。一般认为有限集上可传递二元关系的特征较为复杂,故不容易从其关系矩阵中直接判别。文章对可传递关系进行了相应的讨论,并在此基础上给出了有限集合上可传递二元关系的矩阵判别方法。     

q元非线性码广义Hamming重量的一些结果

根据q元非线性码的广义Hamming重量，构造定义了两个关系式，通过分析，得到q元非线性码的广义Hamming重量的几个不等关系。这些关系实质上是2元线性码的广义Hamming重量在q元上的推广，有助于从事这方面的研究人员形成可操作的数学模型。