简单自反DTS(υ,λ)的存在谱

一个Directed三元系DTS(υ，λ)=(X，B)是自反的，如果它与它的逆(x，B^-1)同构，其中B^-1={(z，y，x)；(x，y，z)∈B}．继已给出SCDTS(υ，λ)的存在谱之后，又给出简单SCDTS(υ，λ)的存在谱。     

简单自反MTS(υ,λ)的存在谱

一个Mendelsohn三元系MTS(υ,λ)=(X,B)被称作是自反的,如果它与它的逆(X,B-1)是同构的,其中B-1=｛〈z,y,x〉;〈x,y,z〉∈B.在[2]中已给出了简单自反MTS((υ,1)的存在谱,即υ≡0,1(mod3),υ3且υ≠6.本文讨论一般λ的情况,并得到简单自反MTS(υ,λ)的存在谱是λυ(υ-1)≡0(mod3);λυ-2,υ3且(υ,λ)≠(6,1);(6,3).     

简单自反DTS(ν,λ)的存在谱

一个Directed三元系DTS(ν,λ)=(X,B)是自反的,如果它与它的逆(X,B^-1)同构,其中B^-1={(z,y,x);(x,y,z)∈B}.继已给出SCDTS(ν,λ)的存在谱之后,又给出简单SCDTS(ν,λ)的存在谱.     

Large sets of pure directed triple systems with index λ

A directed triple system of order v with index λ, briefly by DTS（v,λ）, is a pair （X, B） where X is a v-set and B is a collection of transitive triples （blocks） on X such that every ordered pair of X belongs to λ blocks of B. A simple DTS（v, λ） is a DTS（v, λ） without repeated blocks. A simple DTS（v, ）,） is called pure and denoted by PDTS（v, λ） if （x, y, z） ∈ B implies （z, y, x）, （z, x, y）, （y, x, z）, （y, z, x）, （x, z, y） B. A large set of disjoint PDTS（v, λ）, denoted by LPDTS（v, λ）, is a collection of 3（v - 2）/λ disjoint pure directed triple systems on X. In this paper, some results about the existence for LPDTS（v, λ） are presented. Especially, we determine the spectrum of LPDTS（v, 2）.     

一个不等式的初等证明

文 [1]提出如下猜想 :设λ≥ 1,x,y,z >0 ,则xλx +y+yλy +z+zλz +x　≤ 3λ+1(1)文 [2 ]用导数证明了 (1)式 ,本文给出简明的初等证明 .证明　由已知得 xλx +y,yλy +z,zλz +x三式中必有两个同时不大于 (或不小于 ) 1λ +1,不妨设为 xλx +y 和yλy +z.于是有(xλx +y - 1λ +1) (yλy +z -1λ+1)≥ 0即 xλx +y+yλy +z≤(1+λ) xy(λx +y) (λy +z) +1λ +1(2 )由柯西不等式有(λx +y) (λy +z)≥ (λ xy +yz) 2 .代入 (2 )得　 xλx +y +yλy +z ≤(λ+1) xλ x +z +1λ+1(3)又　 (λz +x) (λ+1)≥ (λ z +x ) 2(4)于是 ,由 (3)、(…     

参数为(ν,λ)的单纯Mendelsohn三元系大集

-个参数为(ν,λ)的Mendelsohn三元系,记为MTS(ν,λ),是一个对子(X,β),其中X是一个ν元集, B是X中循环三元组的集合,满足X的每-个有序对都恰包含于B中λ个循环三元组.设(X,B)是-个没有重复循环三元组的MTS(ν,λ),如果满足(x,y,z)∈B必有(z,y,x)∈B,则称(X,B)为单纯的,记为PMTS(ν,A).不相交PMTS(ν,λ)大集,记为LPMTS(ν,λ),是-个集合{(X,Bi)}i,其中每个(X,Bi)都是一个PMTS(ν,λ),并且UiBi构成了X中所有循环三元组的-个划分.本文给出了LPMTS(ν,λ)的一些构造方法及存在性结果,最终完成了LPMTS(ν,2)的存在谱.     

一个分式不等式的探讨

文 [1]提出如下有趣问题 :设λ、μ、ν为不全为零的非负实数 ,求使不等式xλx+ μy +νz + yλy+ μz +νx +zλz+ μx+νy ≥ 3λ+ μ+ν (1)对任意正实数x ,y ,z都成立的充要条件 .经探讨 ,我们得到了下面的定理 1　当λ、μ、ν≥ 0且 μ ,ν不全为零时 (若 μ =ν =0 ,λ ≠ 0 ,则 (1)为恒等式 ) ,(1)对任意x ,y,z>0成立的充要条件是2λ≤ μ +ν .证明　用 ∑f(x ,y ,z)表示 f(x ,y ,z)+ f(y ,z ,x) + f(z ,x ,y) ,经演算有∑x(λy + μz+νx) (λz+ μx +νz)=λμν∑x3 + (λ3 + μ3 +ν3 + 3λμν)xyz +(λ2 μ+ μ2 ν+ν2 λ) …     

一个含双参数的分式不等式及其应用

本文给出了一个新颖的涉及正实数a,b,c,x,y,z含双参数λ,μ的分式不等式,并举例说明其应用,同时在文章最后还给出了一个猜想.定理设x,y,z∈R ,a,b,c∈R ,λμ≥-1,若λ>0,则有(x μy)a2(λ 1)x (λμ 1)y z (y μz)b2(λ 1)y (λμ 1)z x (z μx)c2(λ 1)z (λμ 1)x y≤1λ[(a     

The spectrum for overlarge sets of directed triple systems

A directed triple system of order v,denoted by DTS(v,λ),is a pair(X,B)where X is a v- set and B is a collection of transitive triples on X such that every ordered pair of X belongs toλtriples of B.An overlarge set of disjoint DTS(v,λ),denoted by OLDTS(v,λ),is a collection{(Y\{y},A_i)}_i, such that Y is a(v 1)-set,each(Y\{y},A_i)is a DTS(v,λ)and all A_i's form a partition of all transitive triples of Y.In this paper,we shall discuss the existence problem of OLDTS(v,λ)and give the following conclusion:there exists an OLDTS(v,λ)if and only if eitherλ=1 and v≡0,1(mod 3),orλ=3 and v≠2.     

三元四次对称不等式的统一加强

在文 [1 ]中 ,笔者给出了三元四次对称不等式λ( ∑x) 4 μ∑ ( yz) 2 υ∑x .∏x k( ∑x) 2 ∑yz≥ 0　 ( x,y,z >0 )成立的一个充要条件 .它等价于下面的命题　记σ1=x y z,σ2 =xy yz zx,σ3 =xyz,则F( x,y,z)≡λ0 σ41 λ1σ21σ2 λ2 σ22 - ( 2 7λ0 9λ1 3λ2 )σ1σ3 ≡λ0 σ1(σ3 1- 2 7σ3 ) λ1σ1(σ1σ2 - 9σ3 ) λ2 (σ22 - 3σ1σ3 )≥ 0 ( 1 )对任意 x,y,z >0成立的充要条件是λ0 ≥ 0 ,λ1≥ - 5λ0 ,1 6λ0 4λ1 λ2 ≥ 0( 2 .1 )或λ0 >0 ,λ1<- 5λ0 ,λ0 λ2 ≥ ( 3λ0 λ1) 2( 2 .2 )本文进而…     

一类具有转向点问题的n阶近似解

用Langer变换和Olver变换求得一类具有转向点问题的n阶近似解:y(x)=v(x)ψ(x),其中ψ=λ12-14×(x2-1)14,2332=-λx∫11-τ2dτ,v(z)=A(z,λ)ξ(λ23z)+B(z,λ)'ζ(λ23z).并探讨了其特征值问题,得到λn=4n+1112,n=0,1,2….由此给出了该类问题的解的一般性结论.     

Fuzzy蕴涵代数与有界BCK—代数等价

在[1]中作者给出了下面的定义. 定义1 一个(2,0)型代数(X,→,0)称为FI代数,如果(?) x,y,z∈X,有 (I_1) x→(y→z)=y→(x→z), (I_2) (x→y)→[(y→z)→(x→2)]=1, (I_3) (x→z)=1, (I_4) 若x→y=y→x=1,则x=y, (I_5) 0→x=1,其中 1=0→0. 在[2]中Iseki K引入了BCK-代数,参见[3,4]. 定义2 一个(2,0)型代数(X;*,0)称为BCK-代数,如果(?) x,y,z∈X,有 (Ⅰ) ((x*y)*(x*z))*(z*y)=0, (Ⅱ) (x*(x*y))*y=0, (Ⅲ) x*x=0.     

关于K凹向量值函数的一类极值问题

本文讨论凸集的极值点与K凹向量值函数的一类极值问题之间的关系. 定义1 对于集合C中的点x,若有x=λy+(1-λ)z,其中0<λ<1,y,z∈C,就有x=y=z,则称x为C的极值点.C的所有极值点组成的集合记为extC. 定义2 设X,Y是实拓扑局部凸空间,Ω为X的非空紧凸子集,K为Y中的具有非     

关于代数体函数的微分多项式

本文证明υ值代数函数的微分多项式是一λ值（1≤λ≤υ）代数体函数,即υ值代数体函数ω=ω（z)的微分多项式p(ω）可以被如下方程确定：[ελ（z）p^λ ελ-1(z)p^λ-1 … ε0(z)]^k=0这里ε0(z),ε1(z),…,ελ（z)为整函数且无公共零点,λ和k为正整数且λk=υ。     

一个不等式的初等证明及推广

笔者在为本校高二年级数学竞赛班测试命题时,命制了如下一个不等式,现给出其初等证明并推广,与同仁共勉.题目已知x,y,z∈R_+,x+y+z=1,求证:1/(?)+8/(?)+27/(?)≥14(?).证明2/(?)+16/(?)+54(?)+λ=2/(?)+16/(?)+54/(?)+λ(x+y+z)=(1/(?)+1/(?)+λx)+(8/(?)+8/(?)+λy)     

BCK—代数的对偶理想

若X是一个集,*是X上的一个二元运算。0是X的一个常元, 满足V~(x,y,z)∈X(K1)(x*y)*(x*y)z*y,(K2)x*(x*y)y,(K3)xx,     

IMO42-2的推广

第 4 2届 ( 2 0 0 1年 )国际数学奥林匹克试题第 2题为 :对所有正实数 a,b,c,证明 :aa2 8bc bb2 8ca cc2 8ab≥ 1 . ( 1 )推而广之 ,我们发现以下定理　若 a,b,c∈ R ,λ≥ 8,则aa2 λbc bb2 λca cc2 λab≥ 31 λ. ( 2 )证明　令 x =bca2 ,y =cab2 ,z =abc2 ,则 x,y,z∈ R ,且 xyz =1 .于是 ,不等式 ( 2 )等价于11 λx 11 λy 11 λz≥31 λ( 3) 　 1 λ[( 1 λy) ( 1 λz) ( 1 λz) ( 1 λx) ( 1 λx) ( 1 λy) ]≥ 3( 1 λx) ( 1 λy) ( 1 λz) 　 ( 1 λ) [3 2λ( x y z) λ2 ( yz zx …     

一个三角不定方程的机器解法

研究了如下具有几何意义的三角不定方程(采用角度制)sin(x°) sin(y°)sin(z°)/sin(A°-x°)sin(B°-y°)sin(C°-z°)=1,其中A,B,C是给定的正整数,满足2 ≤ A≤B≤C且A+B+C=180; 1≤x≤A-1,1 ≤y≤B-1,1≤z≤C-1.设计了两种求解方案,使用计算机按...     

定比分点的应用

设 A( x1,y1) ,B( x2 ,y2 ) ,点 P( x,y)分有向线段 AB—— 所成的比 APPB=λ(λ≠ 1 ) ,则 x =x1 λx21 λ ,y =y1 λy21 λ .且当 P为内分点时λ>0 ;当 P为外分点时λ<0 (λ≠ - 1 ) ;当 P与A重合时λ=0 ;当 P与 B重合时λ不存在 .这就是定比分点的含义 .它在解析几何中的广泛应用是大家熟知的 ,如果我们注意充分挖掘定比分点的内涵 ,还不难发现它在其它一些非解几问题中的应用 .1　 用于比较数的大小例 1　已知 a >0 ,b >0 ,0 相似文献   

准上半连续性不必蕴含上半连续性的例子

<正> 1.命 X,Y 是拓扑空间,多值映象 T:X→2~Y 称为上半连续的(upper semi-continuous),如果对任何 x_0∈X 和任何开集 G(?)T(x_0),存在 x_0 在 X 中的邻域 U(x_0)使得 x∈U(x_0)蕴含 T(x)(?)G.F.E.Browder 证明了下述卓越的不动点原理([1]定理3).定理1 命 K 是局部凸隔离实拓扑向量空间 E 的非空紧致凸集,T:K→2~E 上半连续,使得对每个 x∈K,T(x)(?)E 是非空闭凸集,命δ(K)={x∈K|(?)y∈E,使 x+λy(?)K,(?)λ>0}表示 K 的代数边界.假设对每个 x∈δ(K),存在 y∈K,z∈T(x)和λ>0使得z-x=λ(y-x),那么存在 x_0∈K 使 x_0∈T(x_0).