可单位分解多个交换算子(Ⅱ)

设X是一Banach空间,a=(a_1,…,a_N)和 b=(b_1,…,b_M)是X上有界线性算子交换组满足b是可单位分解的,a与b及b的所有局部投影算子可换。本文证明了若a有SVEP,则(a,b)=(a_1,…,a_N,b_1,…,b_M)有SVEP;若a有谱容度,则对每个C~(N M)的闭集F,谱流形X_(a,b)(F)是X的闭子空间。(a,b)有谱容度的充要条件为a有谱容度并对每个C~(N M)的闭集F,σ(a,X_(a,b)(F))P_N(F),这里P_N:C~(N M)→C~N是到前N个坐标的典则投影。     

可单位分解的多个交换算子

<正> 本文讨论了[4]中引入的可单位分解多个交换算子的若干性质.我们证明了交换算子n~-列a=(a_1,…,a_n)是可单位分解的充分必要条件为a是(X)的某个闭子代数上的可分解交换乘法算子n~-列;并证明了如a与b是可单位分解交换算子n~-列与m~-列,a与b分别和b与a及其局部投影算子全体可换,则ab=(a_1,…,a_n,b_1,…,b_m)是可单位分解的,且由此推出在上述条件下,若p_1(ζ_i,η_j),…,p_k(ζ_i,η_j)为ζ_i(i=1,…,n),η_j(j=l,…,m)的多项式,则(p_1(a_i,b_j),…,P_k(a_i,b_j))是可单位分解的.     

基于新的随机选择方式的随机Kaczmarz算法

正1引言Kaczmarz算法[8]是求解超定相容线性方程组的最受欢迎的方法之一,Ax=b,(1.1)其中矩阵A=(a_(ij))∈C~(m×n)(m≥n),b=(b_1,b_2,…,b_m)~T∈C~m,a_i~T(i=1,2,…,m)表示矩阵A的行.由于其简单且收敛速度快,Kaczmarz算法的应用范围非常广泛,最早是被     

求解不可微箱约束变分不等式的下降算法

1 引 论 设X(?)Rn是非空闭集,F:Rn→Rn连续映射,变分不等式问题VI(X,F)是指:求x∈X,使 F(x)T(y-x)≥0,　 (?)y∈X,(1)记指标集N=(1,2,…,n},当 X=[a,b]≡{x∈Rn|a≤xi≤bi,i∈N},(2)其中a={a1,a2,…,an}T,b={b1,b2,…,bn}T∈Rn时,VI(X,F)化为箱约束变分不等式VI(a,b,F).若ai=0,bi=+∞,i∈N,即X=R+n≡{x∈Rn|x≥0}时,VI(a,b,F)化为非线性     

一道IMO预选题的溯源及推广

第28届国际数学奥林匹克有如下一道预选题: 试证:若a、b、c是三角形的三边,且2s=a b c,则(1) 运用契贝雪夫不等式: 若序列a_1和b_1(i=1,2,…,n)为同序,即满足a_2≤a_2≤…≤a_m且b_1≤b_2≤…≤b_n或a_1≥a_2≥…≥a_n且b_1≥b_2≥…≥b_n 则若序列a_1和b_1(i=1,2,…,n)为反序,则上式中的不等号反向。     

矩阵张量积不可约性的表征

为矩阵A与B的张量积,记为C=A(?)B。 定义Ⅰ设A=(a_(ij))∈C~(n×n),B=(b_(ij))∈C~(m×m)。若A在某位置(f,f)之非零元素链中有一个含r_1个A中的非零元:A(f,f)=a_(fe_1)a_((e_1)(e_2)…a_(e_r))(?),B在某位置(t,t)之非零元素链中有一个含r_2个B中的非零元:B(t,t)=b_((ts_1))b_((s_1s_2))…bs_(s_r_2-1)l,且(r_1,r_2)=1,1≤f≤n,1≤r≤m,则称A,B满足弱链条件。     

原像Occlusion运算的交换性

设a_γ=(a,γ)和b_δ=(b,δ)是两个原像,且b■a.通过集运算,得到a_γ和b_δ关于occlusion运算能交换的充要条件,特别得到在δ■γ的情形下aγ和bδ能交换的充要条件,并给出正反两方面的例子.     

一个猜测的否定

对第43届普特南数学竞赛题“△~(1/2)(a_1,b_1,c_1)+△~(1/2)(a_2,b_2,c_2)≤△~(1/2)(a_1+a_2,b_1+b_2,c_1+c_2)”(其中△(a,b,c)表示以a,b,c为边长的三角形面积),该刊1989年第4期“一道竞赛题引起的猜测”一文中提出如下猜测:     

分式线性迭代数列的敛散性及收敛速度

若a_i,b_i0(i=1,2),|a_1 a_2b_1 b_2|≠0,则数列x_10,x_(n+1)=a_1x_n+a_2/b_1x_n+b_2收敛.若迭代过程中,xn(n=1,2,…)全不是φ(x)=a1x+a2/b1x+b2的不动点,则迭代数列{xn}线性收敛.     

柯-布不等式证明及其在求最值问题中的应用

柯西-布尼亚可夫斯基不等式:对于ai,bi(i∈1,2,…,n)∈R,有(a_1~2 a_2~2 … a_2~2)(b_1~2 b_2~2 … b_n~2)≥(a1b1 a2b2 … anbn)2,当且仅当对i=1,2,…,n,bi/ai都相等时取等号.举例两则证明方法如下:     

t-可约二部分竞赛图的得分表偶

设 T_(m,n)是 m×n 二部分竞赛图,(X,T)是 T_(m,n)的顶点集合 V(T_(m,n)的有序分划,其中|X|=m,|Y|=n.设 X={x_1,x_2,…,x_m},Y={y_1,y_2,…,y_n}.顶点x_1,x_2,…,x_m 在 T_(m,n)中的得分依次为 a_1,a_2,…,a_m,a_1≤a_2≤…≤a_m;y_1,y_2,…,y_n 在 T_(m,n)中的得分依次为 b_1,b_2,…,b_n,b_1≤b_2≤…≤b_n.记 A=(a_1,a_2,…,a_m),B=(b_1,b_2,…,b_n).有序向量偶(A,B)称为 T_(m,n)的得分表偶.反之,给定有序非负整向量偶(A,B),其中 A=(a_1,a_2,…,a_m),a_1≤a_2≤…≤a_m,B=(b_1,b_2,…,b_n),b_1≤b_2≤…≤b_n,是否存在 m×n 二部分竞赛图 T_(m,n),使得(A,B)是 T_(m,n)的     

Solution to an Extremal Problem on Bigraphic Pairs with a Z_3-connected Realization

Let S =(a_1...,a_m;b_1,...,b_n),where a_1,...,a_m and b_1,...,b_n are two nonincreasing sequences of nonnegative integers. The pair S =(a_1,..., a_m; b_1,..., b_n) is said to be a bigraphic pair if there is a simple bipartite graph G =(X U Y, E) such that a_1...,a_m and b_1,...b_n are the degrees of the vertices in X and Y, respectively. Let Z3 be the cyclic group of order 3. Define a(Z_3,m,n) to be the minimum integer k such that every bigraphic pair S =(a_1,..., a_m; b_1,..., b_n) with a_m,b_n≥2 and σ(S) = a_1+…+a_m≥k has a Z_3-connected realization. For n =m, Yin [Discrete Math.,339, 2018-2026(2016)] recently determined the values of σ(Z_3,m,m) for m≥ 4. In this paper, we completely determine the values of a(Z_3,m,n) for m ≥n≥4.     

拟线性次椭圆方程组在Morrey空间上的部分正则性

证明了拟线性次椭圆方程组-X_α~*(a_(ij)~(αβ)(x,u)X_βu~j)=-X_α~*f_i~α+g_i,i=1,2,…,N,x∈Ω的弱解广义梯度Xu在Morrey空间L_x~(p,λ)(Ω,R~(mN))(p2)上的部分正则性,其中光滑实向量场族X=(X_1,X_2,…,X_m)满足H(o|¨)rmander有限秩条件,X_α~*是X_α的共轭;而且主项系数a_(ij)~(αβ)(x,u)关于x一致VMO(Vanishing Mean Oscillation的缩写,消失平均震荡)间断,且关于u为一致连续.     

无界超广义标量算子与无界可分解算子

本文引进无界超广义标量算子的定义,然后证明:一个无界超广义标量算子为可分解算子的充要条件是‖U_(((λ-μ))_k~(-1))|X_([U])(K)‖M(μ,F),其中F是C的闭集,K是紧子集且,M是仅依赖于μ和F的常数,U是D_()型的谱分布,(λ-μ)_k~(-1)∈D(),(λ-μ)_k~(-1)=(λ-μ)~(-1),λ∈K。X_([U])(K)=∨{U_fx,f∈D_(),x∈X,supp fK}。     

相依误差下回归系数 LS 估计的收敛速度

其中 x(ij)(j=1,…,p,i=1,2,…)是已知常数,常称之为模型(1)的设计常数或设计点列,β_1,…,β_p,为未知的回归系数,y_i,e_i 分别为第 i 次量测时的量测值和量测随机误差。以下,我们记设计矩阵(x_(ij))(?)≤(?)≤n,(?)≤j p 为 X_n,Y_n=(y_1,…,y_n)′,β=(β_1,…,β_p)′.并假定对某N,X′_N X_N 非退化,那么当 n≥N 时,X′_n X_n 亦非退化,且回归系数β的基于前 n 次量测值 Y_(?)及设计矩阵 X_(?)的最小二乘估计(通常简记为 LS 估计) b_(?)=(b_(?)1, …,b_((?)p)'为     

第五讲 排序原理与容斥原理

一、排序原理设有两组非负序列{a_n},{b_n}满足: a_1≤a_2≤…≤a_(n-1)≤a_n b_1≤b_2≤…≤b_(n-1)≤b_n那么,a_1b_n十a_2b_(n-1) … a_nb_1(反序) ≤a_1b_(i1) c_2b_(i2) … a_nb_(in)(乱序) ≤a_1b_1 a_2b_2 … a_nb_n(同序)其中,i_1,i_2,…,i_n是1,2,…,n的一个排列。这个结论被称作排序原理。证明:设i相似文献   

GENERALIZED TWO-PART SPERNER FAMILIES

Let m, n, S_1, S_2, …, S_n, be non-negative integers with 0≤m≤n. Assume μ(S_1, S_2, …, S_n)={(a_1, a_2, …, a_n)|0≤a_i≤S_i for each i} is a poser, Where (a_1, a_2, …, a_n)<(b_1, b_2, …, b_n) if and only if a_i相似文献   

利用矩阵初等变换求非奇线性对应的表示式

1 问题的提出非奇线性对应即是由表示式确定的齐次坐标(x_1,x_2,x_3)和(x'_1,x'_2,x'_3)之间的对应,在高等几何中,二维射影变换是非奇线性对应。怎样由给定的两组无三点共线的四点a=(a_1,a_2,a_3),b=(b_1,b_2,b_3),c=(c_1,c_2,c_3),d=(d_1,d_2,d_3)和a'=(a'_1,a'_2,a'_3),b'=(b'_1,b'_2,b'_3),c'=(c'_1,c'_2,c'_3),d'=(d'_1,d'_2,d'_3)计算出非奇线性对应(1),使得     

广义严格对角占优矩阵的迭代判别方法

正1引言设A=(a_(ij))∈C~(n×n),N={1,2,…,n}.记R_i(A)= sum |a_(ij)| from j≠i (i∈N),又记N_1=N_1(A)={i∈N:0|a_(ii)|≤R_i(A)},N_2=N_2(A)={i∈N:|a_(ii)R_i(A)}.定义1设A=(a_(ij))∈C~(n×n),如果|a_(ii)|R_i(A)(i∈N),则称A为严格对角占优矩阵.严格对角占优矩阵的集合记为D.如果存在n阶正对角矩阵D使得AD∈D,则称A为广义严格对角占优矩阵.广义严格对角占优矩阵的集合记为D.     

数学奥林匹克问题选登

1991年11月号问题解答 (解答由问题提供人给出) 11.设a_1,a_2,…,a_n为正整数,N为整数,解方程[a_1x] [a_2x] … [a_nx]=N。解不失普遍性,可设(a_1,a_2,…,a_n)=1,否则如果(a_1,a_2,…,a_n)=d。令x=dx就转化为这种情况,为了方便, 令 M=a_1 a_2 … a_n, F(x)=[a_1x] [a_2x] … [a_nx]。很明显,F(x)是不减的且F(x 1)=F(x) M。由此可得出,F(x s)=F(x) sM,(s为整数) 如果N=N_1 Ms, 则F(x)=N有解的充分必要条件是F(x)=N_1有解。如果F(x)=N_1的解为a,则F(x)=