保持理想的Gr(o)bner基的同态映射的一个有效判定方法

设Θ是k[x1,x2,……,xn]上的自同态映射,＞,＞′分别是有理项序.本文刻划具有下列性质的同态映射Θ对任意Grobner基G(关于项序＞),GoΘ仍是Grobner基(关于项序＞')并且较好地解决了Hong的问题1[1].     

Grobner基的一个应用

固定一个项序,利用Buchberger算法求多项式环S=C[x1,x2,…,xn]上的理想I的Grbner基.根据S上任意多项式f（x1,x2,…,xn）用Grobner基表示时其余项唯一的特点,将其应用到求解多项式方程组问题.实例展示用Grobner基可证明一个联立方程式是无解的.     

图映射的负极限集

设G是一个图,f:G→G是一个连续映射.若G上的一个点列θ=(x_0,x_(-1),…,x_(-n),…)满足f(x_(-n))=x_(-n+1)(对任意的正整数n),则称θ为f过x_0的负轨道.θ的α-极限集就是θ的所有极限点集α(θ,f).本文证明f的每个负轨道的α-极限集都是G上某个点的ω-极限集.此外,本文还构造一个例子说明上述结论对无穷树(dendrite)映射不成立.     

可除的四元数代数上多项式环的Grobner基

设F是一个特征不等于2的域,A是,上的一个可除代数。本文研究了A上多项式环A[x1,X2,…,xn]中理想是有限生成的,以及它的Grobner基;也表明F[x1,x2,…,xn]中有限子集G是F[x1,x2,…,xn]的Griobner基当且仅当G是A[x1,x2,…,xn]中的Grobner基。     

关于p_n~2的 k-优美性

一个简单图G=(V,E)是k-优美的(k≥1的整数),如果存在一个1-1映射使得对所有的边导出的映射是一个1-1对应。这个关于k-优美的概念是由Slater和Thullier分别独自提出的。当k=1时,即1-优美图就是通常研究的优美图。我们容易证明,对于任意k≥1,所有n个顶点的路P_n都是k-优美图。事实上,设P_n=x_1x_2…x_n,它的k-优美标号f可定义如下:     

交比和Poincaré度量在平面拟共形映射下的偏差

研究了交比和Poincaré度量在平面拟共形映射下的偏差估计,得到了如下两个结果(1)若f是■~2到■~2上的k-拟共形映射,则对任意x_1,x_2,x_3,x_4∈■~2有16~((1/k)-1)(|(x_1,x_2,x_3,x_4)| 1)~(1/k)■|(f(x_1),f(x_2),f(x_3),f(x_4))| 1 ■16~(k-1)(|(x_1,x_2,x_3,x_4)| 1)~k;(2)若f是R~2到R~2上的k-拟共形映射,D是R~2中的任一真子域,则对任意x_1,x_2∈D有(1/k)λ_D(x_1,x_2) 4((1/k)-1)log 2■λ_(f(D))(f(x_1),f(x_2)) ■kλ_D(x_1,x_2) 4(k-1)log 2.     

Liénard方程极限环的唯一性定理

本文讨论Liènard方程 x=y-F(x) y=-g(x) (1)极限环唯一性的条件。其中F(x)=intergral from n=0 to x(f(ζ)d(ζ),以下恒假定f(x),g(x)∈C~0(x_(02),x_(01),x_(02)<00,x≠0 (H)其中x_(02),x_(01)可以是∞。令z=G(x)=intergral from n=0 g((ζ)dζ,记x_1=G~(-1)_1(z)、x_2=G~(-1)_1(z)分别是z=G(x)在(0,x_(01))、(x_(02),0)上的反函数,F_1(z)=F(G~(-1)_1(z)),作φ变换,则·dz/dy=f_t(z)-y,0≤z相似文献   

應用正二次微分形式的理論於映照半徑之乘積

<正> §1.設G是z平面上的一個區域,a_1,a_2,…,a_n是G中的n個不同的有限點.G_1,…,G_n是G中的一組不相重叠的單連區域,a_ν∈G_ν(ν=1,2,…,n).又設x_1,x_2,…,x_n是一組正數.設R(a_ν,G_ν)是區域G_ν在a_ν的映照半徑,則R(a_ν,G_ν)≤≤4|a_ν—a_ν′|,(ν’≠ν).因此,當n>1時G_1,G_2,…,G_n儘管變動,     

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

<正> 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).     

关于一种近似牛顿法的收敛性

§1.前言 设X和Y是Banach空间,p(x)是定义在区域G X上并取值于Y的非线性算子。假定p(x)有Frechet导算子p’(x),为了近似解算子方程 p(x)=0, (1)研究了如下的迭代程序: x_(n 1)=x_n-A_np(x_n), A_(n 1)=2A_n-A_np(x_(n 1)A_n,(2)这里x_0∈G和A_0∈(Y→X)都是初始近似,其中x_0是方程(1)的近似解,而A_0则是p(x_0)的近似过算子。[1]在一些条件下证明了程序(2)收敛于方程(1)的解。     

极小2-棱-连通图的若干性质

<正> 设G=(X,E)是有限阶的简单图,X是G的顶点集,E是G的棱集.若对于不同的x_1,x_2∈X,G中有两条连接x_1和x_2的无公共棱的初等链,则称G是2-棱-连通的.若G是2-棱-连通的,而对于任何e∈E,部分图G-e不是2-棱-连通的,则称G是极小2-棱-连通的.其他未加说明的术语或记号均见于[1].     

圆周上连续自映射嵌入半流的充要条件

文[1]给出了线段上连续自映射嵌入半流的充要条件.本文找到了圆周上连续自映射嵌入半流的充要条件. 定义 f:S~1→S~1是映射,若对x_1,x_2∈S~1,当x从x_1沿逆时针方向运动到x_2时f(x)取常值或从f(x_1)沿逆(顺)时针方向运动到f(x_2),则称f保持定向(保持反定向),如果f保持定向(保持反定向)且在S~1的任一弧段上不取常值,则称f严格保持定向(严格保持反定向).     

交比和Poincare度量在平面拟共形映射下的偏差

研究(1)若f是 R²到 R²上的k -拟共形映射, 则对任意x₁,x₂,x₃,x_4∈R²有16^{\frac1k-1}(|(x₁,x_2, x₃,x₄)|+1)^{\frac1k}&;\leq&; \left|\left(f(x_1), f(x_2),f(x_3),f(x_4)\right)\right|+1\\&; \leq&; 16^{k-1}\left(|(x_1,x_2,x_3,x_4)|+1\right)^{k}; \end{eqnarray*}(2)若f是R²到R²上的k -拟共形映射, D是R²中的任一真子域,则对任意x₁,x₂∈D有\begin{eqnarray*}\frac1k\lambda_D(x_1,x_2)+4(\frac1k-1)\log2&;\leq&; \lambda_{f(D)} (f(x_1),f(x_2))\\&;\leq &;k\lambda_D(x_1,x_2)+4(k-1)\log2.\end{eqnarray*}了交比和Poincar\'e度量在平面拟共形映射下的偏差估计, 得到了如下两个结果.     

完全三次非协调板元的误差估计

本文考虑以下重调和方程的边值问题:△~2u=f,在G上,u=?u/?n=0,在?G上,其中G为R~2上多边形区域,n为单位外法向量.此问题的变分形式为:找u∈H_0~2(G),使得: α(u,v)=(f,vv)?v∈ _0~~2(G),其中 α(u,v)=∫_G[△u△v+(1-σ)(2u_(x_1x_2)v_(x_1x_2)-u(x_1x_1)v_(x_2x_2)-u_(x_2x_2)v_(x_1x_1))]dx_1dx_2 设τ_h为G的一致正则矩形剖分,h为所有元的最大直径.文[5]中构造了一个完全三次非协调板元,它的形函数为完全三次多项式;自由度集合由函数在四个顶点之值及两个三阶     

单纯形算法的一种新改进

一、改进的要点考虑标准线性规划问题(Ⅰ°)其中这样,(x_1,x_2,…,x_(n m))=(0,0,…,0,b_1,…,b_m)是(Ⅰ°)之基本可行解。对标准单纯形算法改进的基本点如下: 1°由(Ⅰ°)得到初始松弛问题(I~1)(I~1) 通常选取 2°由第(I~t)得到松弛问题(I~(t 1))(I~t) 用单纯形算法求解(I~t),记每步单纯形旋转的基矩阵是B~t;基变量足标集是IB~t;基变量取值;按进基规则选取足标是j_o的非基变量x_(jo)换入基内,并且得到向量     

高中代數課本裹指數函數性質3的証明

高中代數課本裹指數函數性質3是:“設a>1,則当x的值增大時,a~x的值也随之增大”,其証明分成了下面的幾种情况,大意如下: (i) a>1,x_1与x_2为二正整數,則x_2>x_1(?)a~(x2)>x~(x1)。 (ii) a>1,x_1为正分數m/n,x_2为正分數p/q,則x_2>x_1(?)a~(p/q)>a~(m/n)。 (iii) a>1,x_1与x_2为二实數而其中之一或二者同時是無理數,則x_2>x_1(?)a~x2>a~x1。这种証法相当繁瑣而且各种情况亦未能尽举,須知在这以前已講过下面的兩件事: (i) 若a>1,x>0,則a~x>1(即指數函數性質2)。     

次临界随机相交图的最大连通分支

本文研究次临界情形下(即顶点度数的期望小于1)随机相交图G(n, m, p)的最大连通分支的大小.设m=[n^r].当r> 1时,随机相交图G(n, m, p)的最大连通分支和最大树分支大小都为Θ(log n),并具有相同形式的弱大数定律;当r=1时,最大连通分支不再是树分支,但最大连通分支和最大树分支的大小也是Θ(log n);当0 相似文献   

浅谈“归纳”思想在初中阶段的渗透

“归纳法”(指不完全归纳法)安排在高中阶段,是继“数列”之后引入的。它推理的基本形式是: x_1具有性质G, x_2具有性质G, x_3具有性质G, ………………x_n具有性质G。{x_1、x_2、x_3…x_n}是集合A的真子集。推断集合A的任一元素x具有性质G。这种或然推理的结论有待于证明。它在人     

评《关于膨胀算子不动点定理的注记》一文

在文献[1]中,于挺同志证明了下述定理: 定理1设(X,d)是紧度量空间,T是X→X的连续映射,如果存在h>0,对任意x,y∈X,有 d(TX,TY)≥hd(x,y) (1)则T在X中有唯一不动点x_*,且对任意x_0∈X,x_n=TX_(n-1)(n=1,2,…),有=x_*。 我们可以证明: 当X至少有两个点时,满足定理1条件的映射不存在。 证明 用反证法,设存在映射T满足定理1的条件。由X至少有两个不同的点及(1)式易知T≠Ⅰ(Ⅰ是X→X的恒等映射)。     

多项式组的特征分解

任一多项式理想的特征对是指由该理想的约化字典序Grobner基G和含于其中的极小三角列C构成的有序对(G,C).当C为正则列或正规列时,分别称特征对(G,C)为正则的或正规的.当G生成的理想与C的饱和理想相同时,称特征对(G,C)为强的.一组多项式的(强)正则或(强)正规特征分解是指将该多项式组分解为有限多个(强)正则或(强)正规特征对,使其满足特定的零点与理想关系.本文简要回顾各种三角分解及相应零点与理想分解的理论和方法,然后重点介绍(强)正则与(强)正规特征对和特征分解的性质,说明三角列、Ritt特征列和字典序Grobner基之间的内在关联,建立特征对的正则化定理以及正则、正规特征对的强化方法,进而给出两种基于字典序Grobner基计算、按伪整除关系分裂和构建、商除可除理想等策略的(强)正规与(强)正则特征分解算法.这两种算法计算所得的强正规与强正则特征对和特征分解都具有良好的性质,且能为输入多元多项式组的零点提供两种不同的表示.本文还给出示例和部分实验结果,用以说明特征分解方法及其实用性和有效性.