全变换半群的极大半传递幺半群(英文)

对任一个非空集X,X上的全变换半群T(X)的一个子幺半群M被称为半传递,如果M为非传递,且对每个序对(x,y)∈X×X,存在∈M使x=y或y=x.本文刻画了全变换半群T(X)的所有极大半传递子幺半群;对T(X)的每个极大半传递子幺半群M,相关秩r(T(X),M)被证明为1.对有限集X,给出T(X)的极大半传递子幺半群的个数,且T(X)的最大基数的半传递子幺半群被刻画.     

Fuzzy格的分支构造

本文的主要结论是:一切Fuzzy格皆由极小分支构成,极小分支则由素元组成。具体地说,本文以正交集为工具,引入了分支,极大、极小分支的概念。证明了极小分支的每个非零元为素元。属于同一极小分支的各素元彼此都不正交,而属于不同极小分支里的素元彼此一定正交,每个Fuzzy格必存在极小分支的完全族。Fuzzy格的每个元素都可向极小分支投影,并且等于各投影的并。即Fuzzy格的各个元可以一意地表成彼此正交的若干素元的并。特别,对于正统Fuzzy格,每个分支的最大元必为分明元,反之每个分明元的下集必是一个分支。分明元与分支一一对应。极小分明元对应于极小分支。在极小分支里,由原来的补结构,可以诱导建立极小分支里的补结构。这时的极小分支也成为一个Fuzzy格(它只有一个分支)。当且仅当这些极小分支Fuzzy格彼此同构时,原Fuzzy格才与L-Fuzzy集同构(即Fuzzy格退化为L-Fuzzy集);当且仅当每个极小分支由一个元素组成时,正统Fuzzy格退化为Boolean代数(格)。非退化的正统Fuzzy格的主要特征在于它有非分明元。正统Fuzzy格不同于L-fuzzy集主要是它的极小分支可以不同构。     

关于两类有限单群中的换位元

群G中一个元素x称作是G中的一个换位元,如果x=aba~(-1)b~(-1),这里由G中一切换位元所生成的子群称为G的换位子群,通常记作G＇。如果G为非交换单群,则G=G＇。因而G中每个元素均可表为有限个换位元的乘积。在[1]中O.Ore提出了如下的猜想:在一个有限非交换单群中,每一个元素都可以表成换位元的形式。在同一文     

几乎正则多部竞赛图的点泛圈性

令T是多部竞赛图,i(T)=x,()|d+(x)-d-(y)|(这里允许x=y)如果i(T)=0,则T被称为是正则的;如果i(T)≤1,则T被称为是几乎正则的.Volkmann猜测几乎正则c-部竞赛图(c≥4)是泛圈的.本文证明当c≥5时,除了有限多个几乎正则多部竞赛图外,所有几乎正则c-部竞赛图都是点泛圈的.同时我们给出一个反例说明当c=4时,上述猜想不成立.     

关于牛顿—莱布尼兹公式

微积分学中一个重要的命题指出:设函数f在闭区间[a,b]上黎曼可积,F在[a,b]上连续且除有限多个点外F′(x)=f(x),则牛顿—莱布尼兹公式成立.文献[1]提出如下问题:若F′(x)=f(x)不成立的点是无限集E,上述结论如何?本文证明当E的聚点集有限时,牛顿—莱布尼兹公式成立;当E的聚点集无限时,反例说明结果是否定的.     

赋Day范数的c0（Г,X）的某些性质

设Г为一非空集，（X1||·||）为Banach空间，本主要结果如下：（1）U（C0（Г，X），p）为稳定的当且仅当U（X）是稳定的。（2）设Г为无限集，那么下列三条等价：（a)(c0(Г,X),p)有λ-性质，（b)(c0(Г,X),p)有一致λ-性质，（c)(X1||·||）有一致λ-性质。（3）设Г为有限集，那么（c0(Г,X),p)有λ-性质（相应地，一致λ-性质）当且仅当（X1||·||）有λ-性质（相应地，一致λ-性质）。（4）（C0（Г，X），p)有Kadets性质（相应地，Kadets-Klce性质）当且仅当（X1||·||）有Kadeta性质（相应地，Kadets-Klee性质）。（5）w∈S（Cp(Г,X),p)是U（c0(Г,X),p)的可凹点（相应地，PC）当且仅当对于任意的t∈S（w),w(t)是(x∈X:||x||≤||w(t)||）的可凹点（相应地，PC）。     

几乎正则多部竞赛图的点泛圈性

令T是多部竞赛图;i（T）=|d+（x）-d-（y）|（这里允许x=y）,如果i（T）=0,则T被称为是正则的;如果i（T）≤1,则T被称为是几乎正则的.Volkmann猜测几乎正则c-部竞赛图（c≥4）是泛圈的.本文证明当c≥5时,除了有限多个几乎正则多部竞赛图外,所有几乎正则c-部竞赛图都是点泛圈的.同时我们给出一个反例说明当c=4时,上述猜想不成立.     

LD 设计的一个递归构造

陆家羲在[1]中提出并研究了一种新的组合设计——LD 设计,它的定义是:LD(n)=LD[X]={L~1,L~2,L_x;x∈X},(其中 X 为 n 元集)满足以下条件时称为 LD 设计:(c_1)L~1,L~2均由 X 的有序四元组构成,每个 L_x 则由 X\{x}的有序三元组构成(三元组和四元组中均允许有相同元).(c_2)每个 L_x 的全部有序三元组具有任二位置的平衡性(即对三分量中的任二位置均恰出现 X\{x}的全部2样本).(c_3)每个 L~j(j=1,2)的全部有序四元组亦具有任二位置的平衡性(说明仿上).(c_4)存在 c_0∈X,使对任 x∈X,j∈{1,2}有(x,x,x,c_0)∈L~j.     

函数y=(c dx~n/a bx~n)的另一恒等式

文[1]给出了关于f(x)=c dxna bxn的一个恒等式,当ad≠bc,ab≠0时,有f(x) f(na2b2·1x)=bc adab恒成立.仿此形式,我们有如下定理:当ad≠bc且abd≠0时,f(x)·f(nacbd·1x)=cdab恒成立.证f(x)·f(nacbd·1x)=c dxna bxn·c d(nacbd·1x)n a b(nacbd·1x)n=c dxna bxn·c d·acbd·x-na b·acbd·x-n=c dxna bxn·cxn acbaxn acb=cdab.注:①nacbd可能是虚数,取决于abbd的符号与n的奇偶性;②1x前的系数不一定是nacbd,可以是t,其中t是acbd的n次方根.同样,我们还可以得恒等式的一些变式.推论1当ab≠bc,且abd≠0时,有f(nacx)·f(1nbdx)=cdab恒成立.…     

半素环的一个交换性条件

本证明了以下定理：一个半素环是交换的当且仅当以下条件之一成立：(1)[x^my^n xy^nx,x]=0，(2)[x^sy^t yx^s,x]=0．其中x，y为R的任意元，m,n，s，t为正整数。     

三角形的“极矩”不等式及其应用

命题设有面积为S的△ABC及面积为S＇的矩形DBFG,且矩形两顶点D、E在BC边上,矩形两顶点G、F分别在△ABC的边AB、AC上(如图1),则有不等式:S＇/s≤1/2此式当且仅当AF=FC,AG=GB时等号成立。证明设△ABC中,BC边上的对应高为h,底达BC=a,矩形的两边GD、GF分别为x、y,则有: y/a=AG/AB=h-x/h,∴y=a/h(h-x),故S＇=xy=a(hx-x~2)/h=-a/h(x-h/2)~2+a/4h≤1/2s。上式当且仅当x=h/2,即G,F为AB、 AC中点时,等号成立。     

半群K(n,r)中的幂等生成元

设Singn是由一个n元集上的所有奇异变换所构成的奇异变换半群，I是由Singn中一些亏数为1的幂等元组成的集合，Howie利用有向图证明了：I是Singn的一个生成集当且仅当与其相应的有向图D（I）是强连通的完全图，本文利用多重有向图将这一结果推广到Singn的每个理想K（,r)上。     

关于创造对,产生对

Smullyan在[1,第五章c]中把post引进的并经过Myhill等人系统研究过的创造集、产生集等概念推广为创造对、产生对。可是其中许多结果是错误的。Smullyan在[5]中作了修改,但结果仍不能使人满意。我们这里试图把[1]中结果作如下改正。下面以表示空集。分别表示α与β之交,α与β之和,α减β之差,α之补集。仿一般文献,以g.r.f:表示一般递归函数;r.e.s.表示递归可枚举集;表示见表示一组取定的     

一个Ulam问题的解答

在最近出版的Ulam的问题集[1]中包含如下一个未解决的问题: 设R表正有理整数之集,在其上定义有通常的运算a+b=s(a,b)及a·b=m(a,b)。现在考虑任一把R×R一一地映成R的映射c=p(a,b)。我们可以定义两个函数б和μ使之分别与s和m相应,其定义如下:今问是否存在这样的一一映射p(由R×R到R),使得对于一切c∈R成立? 本文的目的是给上述问题以一个否定的解决。     

有限个互素因子链上幂GCD矩阵与幂LCM矩阵的行列式的整除性

设S={x1,x2,...,xn}是由n个不同的正整数组成的集合,并设a为正整数.如果一个n阶矩阵的第i行j列元素是S中元素xi和xj的最大公因子的a次幂(xi,xj)a,则称该矩阵为定义在S上的a次幂最大公因子(GCD)矩阵,用(Sa)表示;类似定义a次幂LCM矩阵[Sa].如果存在{1,2,...,n}上的一个置换σ使得xσ(1)|xσ(2)|···|xσ(n),则称S为一个因子链.如果存在正整数k,使得S=S1∪S2∪···∪Sk,其中每一个Si(1ik)均为一个因子链,并且对所有的1i=jk,Si中的每个元素与Sj中的每个元素互素,则称S由有限个互素因子链构成.本文中,设S由有限个互素的因子链构成,并且1∈S.我们首先给出幂GCD矩阵与幂LCM矩阵的行列式的公式,然后证明:如果a|b,则det(Sa)|det(Sb),det[Sa]|det[Sb],det(Sa)|det[Sb].最后我们指出:如果构成S的有限个因子链不互素,则此结论一般不成立.     

解集合题常见的错误剖析

1　忽视特殊的集合空集致误例1　已知A={x|x2-3x 2=0},B={x|x2-bx 2=0},若BA,求实数b的范围.错解　A={1,2}把x=1和x=2分别代入方程x2-bx 2=0均有b=3,这时B={1,2}满足BA∴b=3.剖析　因为空集是任何集合的子集,所以上面的解答忽视了空集的特殊情形,而当B=时,Δ=b2-8<0,即-220,所以x≠0,y≠0,故由A=B知lg(xy)=0x=yxy=|x|　或　lg(xy)=0x=|x|xy=y解得x=y=1或x=y=-1.剖析　当x=y=1时,A…     

一个不容忽视的集合——空集

空集是一个特殊且重要的集合,用Φ表示．由于它不含任何元素,在解题的过程中极易被忽视,特别是当题设中隐含有空集参与的集合问题时,忽视空集的特殊性质往往导致错解．     

非空集类有生成半域的条件

探讨一个非空集类是否一定有生成半域的问题．通过类比的方法提出“非空集类的生成半域”的概念。反例说明并非任意的非空集类都有生成半域．给出非空集类有生成半域的一个充分条件,以及在该条件下非空集类的生成半域的构造方法．最后给出由任意的非空集类构造其生成域的办法．     

试题研讨(19)

试题　 (2 0 0 3届全国 10 0所名校高考模拟试题 )已知 f (x) =ax2 bx c,其中 a∈N ,b、c∈ Z.(1)当 b>2 a时 ,在 [- 1,1]上是否存在x,使得 |f (x) |>b成立 ?(2 )当方程 f (x) - x =0的根都在 (0 ,1)内时 ,试求 a的最小值 .命题溯源　此题是由 1997年全国高考题改编而成的 .着重考查代数推理能力与等价转化能力 .原解思路　 (1)由 b>2 a,a∈ N 得- b2 a<- 1,则函数 f(x)在 [- 1,1]上为单调增函数 .要在 [- 1,1]上存在 x使得 |f(x) |>b成立 ,只须 f(1) >b或 f (- 1) <- b,即 a c>0或 a c<0 ,亦即 a c≠ 0 .故当 a c≠ 0时 ,存在 x使得 …     

Scholz问题的解决

Scholz问题有两个。(1)试找出一数集为有限谱的充要条件;(2)试判定是否有限谱的补集必然仍为有限谱。本文指出了,一集M为有限谱当且仅当它为一个特存ε~2集(定义见下),又指出在一定条件下,可作一个有限谱它的补集不再是有限谱。因此我们完全解决了第一Scholz问题而在一定条件下解决了第二问题。 命dig(x,y)指(在v进制下)数x的第y位数字。一集B叫做特存ε~2集指“x∈B”可以表示为,这里h为一常数而α(f,v)为一个ε~2谓词(在Grzegorezyk谱系中),使得在其中f只出现在dig的第一变目处。