关于周期函数的两个定理

本文绘出两个定理，为判断一元函数的周期性提供了方便。定理1若函数y＝f（x）在R上的图象关于直线x＝a与x＝b（a＜b）对称，则函数f（x）是周期函数。定理2若函数y＝f(x)在R上的图象关于点A（a，y0）和直线x=b（a相似文献   

局部Lipschitz函数在某点严格可微的一个充要条件

本文利用Dini导数来描述严格可微性，得到了局部Lipschitz函数在某点严格可微的一个充要条件。     

判别Boole函数组的独立性的一个充要条件

文献[1]中给出了Boole函数组相互独立的定义,研究了独立平衡Boole函数组的性质和构造方法,讨论了它们在密码学中的应用.本文给出了判别平衡Boole函数组的独立性的一种方法,这种判别方法将判别平衡Boole函数组的独立性问题转化为判别Boole函数的平衡性问题,在某些应用场合十分方便.置换可视作一种特殊的独立平衡Boole函数组,由本文的结果不难推出文献[2]和[3]中的主要结果.文中的结果可推广到剩余类环和任意有限域上,这将对剩余类环和任意有限域上的函数组的独立性、平衡性、正交性的讨论带来更多的方便.     

区间对称矩阵渐近稳定的充要条件和充分条件

对区间对称矩阵G[B,C]={A|A=(a_(ij))_(n×n)=A~T,b_(ij)≤a_(ij)≤a_(ij)},(1)B=(b_(ij))_(n×n)=B~T,C=(C_(ij))_(n×n)=C~T∈R~(n×n),Bialas研究了G[B,C]渐近稳定的充要条件.后经有关文献(略)得到结论:G[B,C]渐近稳定当且仅当其子集H[B,C]={A|A=(a_(ij))_(n×n)∈G[B,C],a_(ij)=b_(ij)或C_i}(2)渐近稳定.我们进一步构造K[B,C]如下:     

欧氏空间上同构映射的一个充要条件

本文给出欧氏空间之间的映射在没有向量空间同构映射条件下是同构映射的一个充要条件,使得在寻求两个欧氏空间之间的同构映射时更为简单方便.定义:设V与V′是两个欧氏空间,∫是从V到V′的一个映射,若∫满足:     

循环图的′Ad′am同构

任意两个同构循环图不一定是′Ad′am同构的。因此,寻找两个循环图是′Ad′am同构的充要条件很有意义。本文找到了任意两个连通循环图是′Ad′am同构的充要条件,同时还找到了两个同构循环图C_n与C_n是′Ad′am同构的另一充分条件。     

具有Hankel逆的矩阵

给出了Hankel矩阵的逆矩阵仍是Hankel矩阵的充要条件．     

关于环上矩阵的广义Moore-Penrose逆

研究环上矩阵A＝GDH(其中G为右高矩阵，H为左高矩阵)的广义逆，给出了其存在的充要条件和表达式。     

双Lipschitz映射的一个充要条件

研究了n-维Euclid空间（n≥2）上的自同胚成为双Lipschitz映射的充要条件，运用曲线族的模和环模等工具。结合Rohde定理，证明同胚为双Lipschitz映射的充要条件是，它适合环的对数绝对值不等式，还得到了同胚为拟共形映射的一个充分条件，以上结果既是双Lipschitz映射的一条深刻性质，又是它的一种新的几何刻划。     

矩阵方程AX+XB=C有唯一解的一个注记

给出了矩阵方程AX XB=C有唯一解的充要条件的一个直接证明，并给出了上述矩阵方程有唯一解的另一个充要条件。