学科分类
/ 24
462 个结果
  • 简介:Darboux定理是数学分析中的一个重要定理.在已有文献的基础上,对该定理作了进一步的研究,利用区间定理给出了它的新的证明方法.证明思路与现有的其它证明思路是不同的.

  • 标签: 区间套定理 DARBOUX定理 局部保号性
  • 简介:设N是Banach空间X上的,AlgN是相应的代数。本文证明了,若N中存在一个非平凡元在X中可补,那么AlgN上的每个可加Jordan高阶导子和每个可加三重Jordan高阶导子都是高阶导子。

  • 标签: 套代数 Jordan高阶导子 三重Jordan高阶导子 JORDAN导子
  • 简介:一、珠加除法缘起传统珠算除法,实数和商数都通过珠同向表示。"珠除法"也不例外,不过是珠同向表示,已不同于传统示数。即商数、实数都珠表示,致使"除"由减积变为加积,但商数珠表示看数不直观,而且算前所有的珠要靠框,是其不足之处。《珠除法》1指出:"如果把算盘的二元示数,珠极限为1;内外珠互补关系;负数引入;把珠除法的置商用珠改为用珠表示;将会开拓珠算除法的领域。"

  • 标签: 外珠 内珠 估商 加积 示数 布数
  • 简介:这篇文章利用不动点定理证明了有界洞型区域双调和方程边值问题正解的存在及唯一.并对解的不存在情形进行了研究.

  • 标签: 不动点定理 Green恒等式 正解 紧正算子
  • 简介:简要介绍了图的关联着色问题的起源、发展情况及目前已有的结论,对一类特殊的图--极大平面图(Δ≠6),给出了其关联色数.

  • 标签: 关联着色 极大外平面团 猜想
  • 简介:利用Leray-Schauder不动点定理和变分法得到了边值问题正对称解的存在,这里 是IR~N中的环城.

  • 标签: 正对称解 不动点 拟线性椭圆型方程
  • 简介:对于环R.一个右R模被叫做主伪射模。若每一个从M的主子模到M的单同态可以扩张为M的自同态.主伪射是主拟射的推广.在本文中,我们给出了一些主伪射的性质并讨论什么情况下主伪射模是主拟射模的问题.

  • 标签: 主拟内射 主伪内射 自同态环 CS
  • 简介:主要引进了伪i-射半模的定义,并根据对偶原则,参照k-投射半模及射模的结论,得到了伪i-射半模的一些很好的性质,从而实现了把环中射模的某些性质在半环中射半模方面的部分推广.

  • 标签: i-正则同态 伪i-内射半模 真正合序列 可吸收半模
  • 简介:在本文中,我们定义了拟GP-射模,并且得到了关于它的一些结果.这些结果总结了GP-射环和拟P-射模的一些结果.

  • 标签: GP-内射模 环和
  • 简介:对于环R.一个右R模被叫做主伪射模,若每一个从M的主子模到M的单同态可以扩张为M的自同态.主伪射是主拟射的推广。在本文中,我们给出了一些主伪射的性质并讨论什么情况下主伪射模是主拟射模的问题。

  • 标签: 主拟内射 主伪内射 自同态环 CS
  • 简介:本文对外代数上复杂度为2的不可分解循环Koszul模M的极小投射分解进行了分析,构造出了基映射对应的矩阵的一种标准形式,进而刻划出了其合冲ΩM的滤链结构.

  • 标签: 外代数 复杂度 KOSZUL模 滤链 投射分解 不可分解
  • 简介:一个图G的无圈边染色是一个止常的边染色使得其不产生双色圈.Alon,Sudakov和Zaks(2001)猜想:每一个简单图G是无到(△(G)+2)-边可染的,其中△(G)是G的最大度.本文对2-平面图族证明了该猜想成立.

  • 标签: 无圈边色数 2-外平面图 最大度
  • 简介:近似邻近点算法是求解单调变分不等式的一个有效方法,该算法通过解决一系列强单调子问题,产生近似邻近点序列来逼近变分不等式的解,而外梯度算法则通过每次迭代中增加一个投影来克服一般投影算法限制太强的缺点,但它们均未能改变迭代步骤中不规则闭凸区域上投影难计算的问题.于是,本文结合梯度算法的迭代格式,构造包含原投影区域的半空间,将投影建立在半空间上,简化了投影的求解过程,并对新的邻近点序列作相应限制,使得改进的算法具有较好的收敛.

  • 标签: 一般单调变分不等式 次梯度半空间 近似邻近点算法 外梯度算法
  • 简介:左R-模M称为Eω-射模,如果对环R中任意的ω阶Euclid理想I来说,任何R-模同态能够拓展为R-模同态。左R-模M称为Eω-投射模,若对环R中任意的ω阶Euclid理想I和任何R-模同态f∈HomR(M,R/I),存在R-模同态g∈HomR(M,R)使得f=πg,其中π是自然同态。本文证明P和Q均是Eω-投射模当且仅当PQ是Eω-投射模。进而,又证明了每一个左R-模是Eω-投射的当且仅当每一个左R-模是Eω-射。

  • 标签: ω阶Euclid理想 Eω-内射 Eω-投射 短正合列
  • 简介:建立了涉及n维单形点的两个几何不等式,作为其特例得到n维Euler不等式的推广.

  • 标签: 单形 内点 距离 不等式
  • 简介:设R是一个环.一个右R-模M叫做拟P-射的,如果M的每个M-循环子模到M的任一个R-同态都能扩展到M.假设M是一个自生成子的拟P-射模.在这篇文章中,我们表明如果这样一个模是一个CF-模(特别地,CS-模),那么S/J(S)是正则的,其中S=End(MR).进一步,如果S是半素环,那么M的每个极大核是M的一个直和项.这些结果扩展了P-射环的一些结果.

  • 标签: 拟P-内射模 右R-模 循环子模 R-同态 自生成子
  • 简介:本文对单位圆的代数体函数w(z)定义了Borel点和Nevanlinna点,证明了Nevanlinna点的存在,并在w(z)的级为有穷时,亦证明了Borel点的存在

  • 标签: BOREL NEVANLINNA Alegbroidal 函数
  • 简介:AinteriorpointscalingprojectedreducedHessianmethodwithcombinationofnonmonotonicbacktrackingtechniqueandtrustregionstrategyfornonlinearequalityconstrainedoptimizationwithnonegativeconstraintonvariablesisproposed.Inordertodealwithlargeproblems,apairoftrustregionsubproblemsinhorizontalandverticalsubspacesisusedtoreplacethegeneralfulltrustregionsubproblem.Thehorizontaltrustregionsubprobleminthealgorithmisonlyageneraltrustregionsubproblemwhiletheverticaltrustregionsubproblemisdefinedbyaparametersizeoftheverticaldirectionsubjectonlytoanellipsoidalconstraint.Bothtrustregionstrategyandlinesearchtechniqueateachiterationswitchtoobtainingabacktrackingstepgeneratedbythetwotrustregionsubproblems.Byadoptingthel1penaltyfunctionasthemeritfunction,theglobalconvergenceandfastlocalconvergencerateoftheproposedalgorithmareestablishedundersomereasonableconditions.AnonmonotoniccriterionandthesecondordercorrectionstepareusedtoovercomeMaratoseffectandspeeduptheconvergenceprogressinsomeill-conditionedcases.

  • 标签: 信赖域策略 内点 投影 Hessian方法 非线性约束优化