有限生成的幂零群的共轭分离性质

研究了有限生成的幂零群中元素的共轭分离问题.设ω表示全部素数组成的集合,π是ω的非空真子集,G是有限生成的幂零群,则下述三条等价:(i)如果x和y是G中的任意两个不共轭的元素,则x和y在G的某个有限p-商群中不共轭,其中p∈π;(ii)如果x和y是G中的任意两个不共轭的元素,则x和y在G的某个有限π-商群中不共轭;(iii)G的挠子群T(G)是π-群且G/T(G)是Abel群.同时举例说明:设G是有限生成的无挠幂零群,对于任意素数p,x和y都在G的有限p-商群G/G~p中共轭,但x和y在G中不共轭.     

怎样从一个问题出发提出更多问题

《解析几何》课本上有这样的一道题 :过抛物线 y2 =2 px( p >0 )焦点F的直线和抛物线交于A(x1 ,y1 ) ,B(x2 ,y2 ) .求证 :y1 y2 =-p2 .(证明略 )你能从这道题出发提出更多的数学问题吗 ?提出新问题的方法和途径是什么 ?一由此及彼 ,迁移联想联想 1　注意到 y1 ·y2 =-p2 ,很自然的会想到 :x1 ·x2 =?又kOA =y1 x1 ,kOB=y2x2 ,想到kOA·kOB =?再由倾角和斜率有关 ,想到tanα·tanβ =?(其中∠AOx =α ,∠BOx =β)变题 1　过抛物线 y2 =2 px( p >0 )焦点F的直线和这抛物线相交于点A (x1 ,y1 )、B(x2 ,y2 ) .求值 :( 1)x1 ·x2 ;( 2 )k…     

一种修正的HS共轭梯度法及全局收敛性

<正>1引言考虑无约束极小化问题:(?),(1)其中f(x)连续可微,其梯度函数用g(x)表示.共轭梯度法求解(1)的常用迭代格式为:x_(k+1)=x_k+α_kd_k,(2)(?)(3)其中g_k=▽f(x_k),α_k≥0是由某种线搜索得到的步长因子;d_k为搜索方向,β_k为标量,β_k的不同选择产生了不同的共轭梯度法.著名的β_k公式有:     

可换BCK代数的方程系统

In this paper we give three equational systems of commutative BCK-algebra. The first system CBKⅠconsists of the following three identities: ((x·y)·(x·z))·(z·y)=0,x·0=x,x·(x·y)=y·(y·x).The second system CBK Ⅱ consists of the following three identities:0·x=0,x·0=x,(x·y)·(x·z)=(z·y)·(z·x).The third system CBKⅢ consists of the following three identities: x·x=0,x·0=x,(x·y)·(x·z)=(z·y)·(z·x).     

右端非增非连续微分方程组一对伪最小最大解的存在性

<正> 设 E 是 Banach 空间,P 是 E 中正规锥,E 中半序由 P 导出.设 u_0,v_0∈E,u_0(?)v_0,D=[u_0,v_0],A(·,·):D×D→E.若存在 x,y ∈D,使得 x(?)A(x,y),A(y,x)(?)y,则称x,y 是 A 的一对伪上下不动点;若 x,y∈D 满足 x=A(x,y),A(y,x)=y,则称 x,y 是 A的一对伪不动点;如果 x_*,x~*∈D 是 A 的一对伪不动点,并且对 A 在 D 中的任一对伪不动点 x,y,x(?)y,都有 x_*(?)x(?)y(?)x~*,则称 x_*和 x~*是 A 的一对伪最小最大不动点;若x∈D 满足 A(x,x)=x,则称 x 是 A 的不动点.如果对任给固定的 v∈D,A(·,v):D→E是增算子,并且对任给固定的 u∈D,A(u,·):D→E 是减算子,则称 A 是 D 上的混合增减算子.     

综合题新编选登

题 76　已知O为坐标原点 ,A ,B为抛物线y2 =2 px (p >0 )上的点 ,设S△AOB =t·tan∠AOB ,求t的最小值 .图 1　题 76图解　设AB与x轴相交于点P(a ,0 ) ,A ,B的坐标分别为 (x1,y1) ,(x2 ,y2 ) ,当AB与x轴斜交时 ,设AB的方程为 :y =k (x -a) (k≠ 0 ) ,联立 y =k(x -a) ,y2 =2 px ,得x1x2 =a2 ,y1y2 =- 2ap .当AB与x轴垂直时 ,上述结论仍然成立 .由S△AOB =12 |OA |· |OB |sin∠AOB =12|OA|·|OB|cos∠AOB·tan∠AOB ,可知t =12 ·|OA|·|OB|cos∠AOB .由向量数量积的定义 ,得|OA|·|OB|cos∠AOB =OA ·OB =x1x2 + y…     

“分步法“巧证分式不等式

常言道:“饭要一口一口地吃”.面对千姿百态的分式不等式,如果一时难以“一步到位”达到证明目的,不妨探究“分步法”,分成两步或多步,逐步实现证明目的.1.将分式不等式化为整式不等式例1设x,y,z∈R+,求证:(y+z)x(yx+z)+(z+x)y(zy+x)+(x+y)z(xz+y)≥43.(《数学教学》1992(6),数学问题289)证明(1)待证不等式可化为整式不等式:x2y+xy2+y2z+yz2+z2x+zx2≥6xyz;(2)x2y+xy2+y2z+yz2+zx2+z2x≥66x2y·xy2·y2z·yz2·z2x·zx2=6xyz.证毕例2若a,b,c∈R+,求证:a·aa++cb+b·bb++ca+c·cc++ab≥a+b+c.(1992年国际“友谊杯”数学邀请赛试题)证明(1)证…     

使用拟牛顿迭代公式的广义共轭梯度法

当容易计算目标函数f的梯度g(x)=■f(x),但存贮不允许使用完整的拟牛顿法(QN)时,广义共轭梯度法(CG)_H是一个很有前途的方法.它的基本迭代公式是     

关于正定可对称化线性代数方程组的预对称正则化算法

1引言考虑线性代数方程组A_x=b,A∈R~(n×n)非奇异,x,b∈R~n(1)的求解．当系数矩阵是大型稀疏的正定可对称化矩阵,文[1,2]讨论了一类预对称共轭梯度算法(LRSCG算法是其中之一),这类算法的实质是利用非对称的系数矩阵可对称化的性质,并结合共轭梯度法而构造的一种预处理的共轭梯度法[12,16,17]．但非对称的系数     

一类求解无约束优化问题的混合含参数共轭梯度法

正1引言考虑大规模无约束优化问题min f(x) from x∈R~n,(1)其中f(x)是一阶连续可微函数.共轭梯度法的基本迭代格式可描述为     

含双参数半线性奇异摄动问题的L~1一致收敛差分格式

1连续问题 考虑如下半线性边值问题∈y~n-μ(a(x)y)~1-d(x·y)=0.0相似文献   

广义Wolfe线搜索下Fletcher—Reeves方法的收敛性

1 引言 在求解无约束优化问题 min f(x) (1.1) x∈R_n的非线性共轭梯度法中,最早的一种由Flethcher和Reeves[6]在1964年提出,它具有如下形式:     

Wolfe步长规则下约束优化问题的共轭梯度投影算法

本文研究了约束优化问题min x∈Ωf(x).利用共轭梯度算法与GLP梯度投影思想相结合的方法,构造了一个新的共轭梯度投影算法,并在Wolfe线搜索下获得了该算法的全局收敛性结果.     

利用判别式求函数值域的探讨

利用一元二次方程的判别式求某些函数值域和极值的方法,由于求解过程中采用了某些变形等缘故,往往使函数值的范围发生变化,这就导致此法的不可靠性。本文想就这个问题作一些讨论。 (一) 若函数y=f(x)由下面隐函数形式给出: a(y)·x~2+b(y)·x+c(y)=0 (1)此时可把方程(1)看作x的二次方程。因为x应取实数值,也即方程(1)应有实数根,所以其判别式△=[b(y)]~2-4·a(y)·C(y)≥0 (2)解不等式(2)所得到的y值范围(我们用集合M来表示)有可能是函数y=f(x)的值域。但M是否为函数y=f(x)的值域还应分别不同情况加以讨论: 1.若对于任意的y∈M,有a(y)(?)0,由一元二次方程根的判别式可知,方程(1)有实根与(2)是互为充要的条件,所以y=f(x)的值域为M。     

不等式问题错解八例

本文列出八道不等式问题的错误解答 ,他们集中反映了中学生学习不等式时常犯的错误 ,你能知道错在哪里吗 ?正确解法又是什么 ?今后如何避免类似错误的发生 ?请先独立思考 ,然后再看错解分析与正确解答 .1)已知x ,y∈R+ ,且x +y =9,求 1x+9y的最小值 .错解 :∵ 1x +9y ≥ 2 1x·9y =6xy≥6x +y2=12x +y=129=43 ,∴ 1x+9y min=43 .2 )已知 0 0 ,∴m +8mx -x2 =m -x +x +8x(m -x) ≥ 33 (m -x)·x· 8x(m -x) =6,∴ m +8mx -x2 min=6.3 )不等式 (a2 -9)x2 +2 (a -3 )x -2 …     

数学奥林匹克问题选登

1992年6月号问题解答 (解答由问题提供人给出) 25.证明因为不等式(*)关于x,y,z对称,所以不妨设x≤y≤z,令y=x+m,z=x+m+n(x≥0,m≥0,n≥0),代入不等式(*)两边得 x·(x+2m+n)~2+(x+m)·(x+n)~2+(x+m+n)·(x-n)~2     

混合Bitsadze-Lavrentév-Tricomi边值问题

It is well known that F. G. Tricomi (1923) is the originator of the theoryof boundary value problems for mixed type equations by establishing the Thicomi equation: y·u_xx+u_yy=0 which is hyperbolic for y < 0, elliptic for y=0. and parabolic for y= 0 and then applied it in the theory of transonic flows.Then A.V.Bitsadze together with M. A . Lavrent′ev (1950) established the Bitsadze Lavre nt′ev equation: sgn( y ) ·u_xx+u_yy=0 where sgn(y) = 1 for y > 0, = -1 for y<0, 0 for y=0 with the discontinuous coefficient sgn( y ) of u_xx, while in the case of Tricomi equation the corre sponding coefficient y is continuous. In this paper we establish the mixed Bitsadze Lavrent′ev Tricomi equation. Lu=K(y)·u_xx+sgn(x) ·u_yy+r(x,y)·u=f(x,y), where the coefficient K=K(y) of u_xx is increasing continuous and coefficient M=sgn(x) of u_yy discontinuous, r=r(x,y) is once continuously differentiable, f=f(x,y) continuous. Finally we prove the uniqueness of quasi regular solutions and observe that these new results can bbe applied in fluid dynamics.     

Galois环对Zm环上一类逻辑函数的分析

本文利用特征谱对Galois环和Zm 上型为f(x ,y) =(q(x) ,… ,q(x) ) ·y +h(x)逻辑函数密码性质进行了分析 ,给出了 f(x ,y)的特征谱与 q(x)及h(x)的关系 ,而且指出当 q(x)与h(x)满足一定密码性质时 ,f(x ,y)具有好的密码性质     

二次幂平均的轨迹

在文[1]中作者尹在端老师作了如下猜测:如图1,过定○·Q外的定点P作○·Q的切线PT1、PT2,T1、T2是切点.PAB是○·Q的任一割线,点M在AB上,且PM=12(PA2 PB2),则点M的轨迹是“经过T1、T2的一条弧,但对圆心位置等尚未找到正确的结论”.其实,点M的轨迹经过T1、T2两点,但不是一条圆弧.下面用解析法求出点M的解析式.图1　　　　　　　　　图2如图2,以点P为原点,直线PQ为x轴建立直角坐标系.设Q(t,0),○·Q的半径为r,割线PAB的解析式为y=kx,A(x1,y1)、B(x2,y2)、M(x,y).显然,○·Q的方程是(x-t)2 y2=r2,将y=kx代入上式整理得(1 k2)x…     

椭圆的一个有趣性质及应用

性质　椭圆 x2a2 +y2b2 =1(a >b >0 )上任意一点P与过中心的弦的两端点连线PA ,PB与对称轴不平行 ,则直线PA ,PB的斜率之积为定值 .图 1　性质证明用图证明　如图 1,设P(x ,y) ,A (x1,y1) ,则B(-x1,- y1) ,∴ x2a2 +y2b2 =1(1)x12a2 +y12b2 =1(2 )(1) - (2 )得x2 -x12a2 =- y2 - y12b2 ,∴ y2 -y12x2 -x12 =- b2a2 .∴kPA·kPB=y - y1x -x1·y +y1x +x1=y2 - y12x2 -x12 =- b2a2为定值 .这条性质是圆的性质 :“圆上一点对直径所张成的角为直角”在椭圆中的推广 ,它充分揭示了椭圆的图 2　推论图本质属性 ,因而能简洁解决问题 .推论　…