双蕴含算子的性质

本文在全序完备格L 上引入双蕴含算子“(?)”的概念,讨论了“(?)”关于“∨”,“∧”的可分配性问题。主要结果有:1)(?)a,b,c∈L,则(a(?)c)∧(b(?)c)≤(a∧b)(?)c≤(a(?)c)∨(b(?)c),(a(?)c)∧(b(?)c)≤(a∨b)(?)c≤(a(?)c)∨(b(?)c).2)(?)a,b,c∈L,且c(?)1,则有(a∧b)(?)c=(a(?)c)∧(b(?)c)当且仅当下列条件之一成立:i)当a>b 时,b(?)c;ii)当ab 时,b(?)c;ii)当a相似文献   

“等价关系”剖析

“等价关系”是数学中的一个基本而重要的概念。它与集合元素的分类直接相联系,在数学研究中有着广泛的应用。对它的理解直接关系到对许多代数概念的理解,因而可以说它是一个关键性的概念。 等价关系是指非空集合中适合反射律,对称律及推移律的一种二元关系,也就是 定义1 S是一个非空集合,R是S中的一个二元关系,它满足以下条件:     

关于“递归定理”

这篇短文证明了如下定理. 定理 设集N包含1,a(?)a~+是N到自身的一个映射且满足递归定理: R.对于任意的非空集S,S内任意给定的元a及S到自身的映射(?),恒唯一存在N到S的映射f满足条件 f(1)=a,f(a~+)=(?)(f(a)),a∈N.则N中必成立 PⅠ.1≠a~+,对任何a∈N. PⅡ.a~+=b~+(?)a=b,对任何a,b∈N. PⅢ.完全归纳法原理:若M是N的满足条件 1∈M,"a∈M(?)a~+∈M" 的子集,则M=N.     

一类部分变换半群的Green关系

X为任意集且|X|≥5,E是X上的双等价关系,即E=(A×A)∪(B×B)∪Δ(X)其中A,B是X的真子集且|A|>1,|B|>1,Δ(X)={(x,x):x∈X}.PX表示集合X上的部分变换半群,令PE(X)={f∈PX:(a,b)∈E且a,b∈domf,(f(a),f(b))∈E},那么PE(X)是PX上的一个子半群.刻划了PE(X)的G reen关系.     

谱约束下矩阵束的最佳逼近

本文讨论了下列问题问题Ⅰ给定X∈R_r~(nxm),∧=diag(λ_1I_(k1)…λ_1I_(kr))且k_1+…+k_r=m,λ_1、λ_2…λ_r互异,r≤m,n.a)求A,B∈R~(n×n),使得AX=BX∧;b)求A,B∈SR~(nxn),使得AX=BX∧;c)求A,B∈R~(nxn),使得AX=BX∧,X~TBX=I_r;d)求A,B∈SR~(nxn),使得AX=BX∧,X~TBX=I_r.问题Ⅱ1)给定(?),求(?)使得2)给定(?),求(?),使得其中S_(AB(a,c))是问题Ⅰ(a),(c)的解的集合,而S_(AB(b,d))是问题Ⅰ(b)、(d)的解的集合。     

拓补空间中聚点问题浅议

一、聚点的收敛序列和第一可数性公理的关系。定义若X为拓扑空间,(?)A(?)X,当x∈d(A)时,A～{x}中存在序列〈x_i〉收敛于x,则称x为列可达的。列不可达的例例1 设X为不可数集,A为X中任何一不可数集,令T={～c:c为X的可数子集}∪{φ},在拓扑空间(X,T)中,若x∈d(A),则x列不可达。     

和子集分类有关的三种关系

对非空集合A,若关系～适合(Ⅰ)自反性,(Ⅱ)对称性,(Ⅲ)传递性,则称～为A的一个等价关系.把三条公理中仅(Ⅰ)(或(Ⅱ)或(Ⅲ))不成立的关系记为1(或2或3).依照A的一个子集分类对应A的一个等价关系,本文利用A的一些子集集来刻划关系1,2,3.这些形象的刻划一方面可作为等价关系教学的参考;另一方面也为公理独立性公理体系相容性教学提供了简单的材料.     

有限集几种重要等价类数目的计算

集合的元素间等价关系和集合的分类是现代数学中的基本概念。这两个概念既抽象又重要,初学者往往感到困难 ,而对等价类数目的计算,更难以掌握。计算等价类数目一般除了应用等价的定义、定理,性质以外无一定的规律可循,碰到具体问题要具体分析。本文举例讨论有限集几种重要等价类数目的计算。它在数学和实际中都有重要的应用。 　　设 R是集合 A上的等价关系,对于任一个 a∈ A可以构作一个 A的子集 [a]R,叫做 a对于 R的等价类,即〖 a]R={b|b∈ A且 a R b}。显然 [a]R是 A内所有与 a有等价关系 R的元素所构成的集合,这些 A的子…     

树在其自同构群下的点轨道集的特征

给定一棵有有限个顶点的无向、简单树,记作τ。把τ的自同构群,记作Autτ。a∈Vτ,定义A a={a i∈Vτ■α∈Autτ,使α(a i)=a},通过A a构造了树τ的子图τa=∪a,b∈Aa a≠bΓa,b,定义所有顶点之间的最大距离称为树τ的直径,记作diam(τ)。设diam(τa)=k≥0,k∈Z+,则■a,b∈A a,∈d(a,b)=k。并且c∈A a,有d(a,c)=k或者d(c,b)=k。     

正规族与正规函数

设F为单位圆盘△上的一族亚纯函数,k为不小于2的正整数,a1和a2为2个判别的复数,b1和b2为2个判别的复数,c为有穷复数,f-c的零点重数至少为k．若对每一f∈F有Ef^-（ai）=Ef^-（b）（bi）,i=1,2在△上成立,则存在正数M（a1,a2,b1,b2,c）,使得对每一f∈F,有（1-│z│^2）f^＊（z）≤M成立．     

三角代数上Lie积为平方零元的非线性Jordan可导映射

设U=Tri(A, M, B )是特征不为 2 的三角代数, Q={u∈U:u²=0}且φ:U→U是一个映射(无可加或线性假设)。 证明了如果对任意a,b∈U且［a,b］∈Q, 有φ(ab)=φ(a)b+aφ(b), 则φ是一个可加导子, 其中［a,b］=ab-ba为Lie积, ab=ab+ba为Jordan积。     

用扰动逼近算法解广义混合拟-似变分包含

本文在无限维实Hilbert空间中引入和研究了一类广义混合拟-似变分包含问题GMQLVIP(A,B,C,D,F,η,φ),在η-次微分和η-近似映象等概念的基础上,证明这类广义混合拟-似变分包含问题的一个等价命题,即设x∈H,a∈A(g(x)),b∈B(x),c∈C(x),d∈D(x),f∈F(x),则(x,a,b,c,d,f)为问题GMQLVIP的解当且仅当(x,a,b,c,d,f)满足关系g(x)=JΔφ(·,f)ρ(g(x)-ρ(a-N(b,c,d) w)),提出了求该变分包含近似解的扰动η-逼近算法,并且该算法的强收敛性也被讨论和分析,所得结果改进和推广了在这个领域最近的一些结果.     

关于■f(x_n)=f(x_0)时,有■x_n=x_0的充分条件及应用

一般分析书都介绍的有下列:定理1:设f(x)定义在〈a,b〉上,f(x)在点x_0∈〈a,b〉连续的充要条件是:对(?)x_n∈〈a,b〉,当x_n→x_0(n→ ∞)时.有f(x_n)→f(x_0)(n→ ∞)其中〈a、b〉可是开区间,半开半闭区间,无穷区间.由上述定理而引导我们考虑下列命题是否成立.     

关于广义morphic环和伪morphic环的注记

R称为左广义morphic环,若对每个a∈R,存在b,c∈R使得l(a)=Rb,l(b)=Rc。R称为左伪morphic环,若对任意的a∈R,存在b,c∈R使得Ra=l(b),Rb=l(c),其中l(a),l(b),l(c)表示R中元素a,b,c的左零化子。本文主要研究广义morphic环和伪morphic环的部分性质,通过例子说明某些结论的逆命题不成立。反例,设R是环,n≥0,R[x]/(xn+1)是左广义morphic环,则R是左广义morphic环,反之不成立。     

一类次对称矩阵的左右逆特征值问题

研究了下列问题:已知A,C∈Rn×m,B,D∈Rl×n,找X∈M SRn×n,使X A=C BX=成立,其中M SRn×n表示n阶次对称矩阵的集合。讨论了该问题有解的充要条件,并在有解时,给出了通解的一般表达式。     

广义正定矩阵的特殊乘积

设H_n={A|A∈C~(n×n),A~*=A,且对所有的0≠x∈C~n,(x,Ax)=x~*Ax>0}。C_n={A|A∈C~(h×n),且对所有0≠x∈C~n,(x,Ax)= x~*Ax>0}。本文证明了下面事实:如果A∈H_n,B∈G_n,那么A(?)B,B(?)A和A·B∈G_n,同时我们有反例来说明如果A,B∈G_n,那么A(?)B,A·B∈G_n是不正确的。     

一类保等价关系部分变换半群的Green关系和正则性

设X为任意集合且X≥3,PX为集合X上的部分变换半群,对于X上的非平凡等价关系E,令PE(X)={f∈PX:(a,b)∈E,(f(a),f(b))∈E},那么PE(X)是PX的一个子半群.从较特殊的情况出发,考虑E为X上的单等价关系,即E=(A×A)∪Δ(X)其中A是X的真子集且A>1,Δ(X)=(x,x):x∈X.给出了PE(X)的正则元的充分必要条件及PE(X)的正则性,刻划了PE(X)的Green关系及PE(X)的正则元之间的Green关系.     

集合概念在几何论证中的应用

全日制十年制学校数学课本第2册第五章《空间图形》应用集合知识,把几何语言用集合语言表示,使几何论证进一步符号化,书写格式更简明。在高中数学课本第1册第一章学习集合时,用大写拉丁字母A、B、C、…表示集合;用小写拉丁字母a,b,c,…表示元素。“a是集合A的元素”记作a∈A;“集合A是集合B的真子集”记作A∈B;“集合A与B相等”记作A=B;“集合C是集合A与B的交集”记竹A∩B=C。在《空间图形》这一章中,课本根据几何的特点,作了如下规定: (1)点用一个大写拉丁字母表示,如A,B,C,…; (2)直线用一个小写拉丁字母表示,如a,b,c,…; (3)平面用一个小写希腊字母表示,如α,β,γ,…。占线和平面都是由点构成的,它们都可以看作点的集合。所以,某些几何语言可以翻译为集合语言。列举如下:     

关于体上方阵的三角分解

研究了体上方阵的三角分解,得到下述结论:设K为体,A∈GLn(K),且A非中心,A~0 0…0an-1 0…0an-1┇┇┇┇-1a1.(1)n≥2,b1,b2,…,bn,c1,c2,…,cn,c∈K*,适合detA=b1c1b2c2…bncn,则存在P∈GLn(K)L=b1b2*bn-1bn,U=c1c2*cn-1c使A=(PLP-1)(PUP-1),其中c=c.     

TE(X)的变种半群TE(X;θ)的若干性质

设X是一个非空集合，E是X上的等价关系，TE(X)={f∈JX2↓A(a，b)∈E，(f(a)，f(b))∈E)．对于半群S中的一个取定元素θ∈S，重新定义S上的运算。为f。g=fθg，其中等式右边表示原来的运算，S关于这个新的运算所成的半群称为S的变种半群．本文讨论了TE(X；θ)的Green关系和Symons同余之间的联系．