定理

Firstly, the generalization of Fan-Ha section theorem and a general vector variational inequality without convexity assumption and minimax theorem of vector-valued function are obtained. Then, the quasi-montone vector variational inequality problem is concerned. Cx-quasi-monotone operator is defined in topological vector space, inner point of a closed convex set K is introduced, the relation between inner point and relative algebraic interior point is given, an existence result for quasi-monotone vector variational inequality is obtained.

第三章主要研究了向量变分不等式和极小极大定理(来源：3282AB83C论文网www.abclunwen.com)，建立了广义的Fan-Ha截口定理、新的向量变分不等式与极小极大定理，并在拓扑向量空间中定义了C_x-拟单调算子，引入了闭凸集K的inner点，给出了inner点与相对代数内点的关系，利用innK_c代替K的拓扑内部，建立了新的拟单调向量变分不等式。

This paper firstly reviews the history of Automated Theorem Proving and Mizar,then gives a description of methods of mechanical theorem proving and verification to mathematical proposition under Mizar system.Based on that basis,the paper has done some Mizar researches on mixed operation of quaternion,differentiati- on of special composite function and the application of Rolle\'s theorem.

本文首先介绍了定理机器证明和Mizar语言系统的发展历史，其次简单描述了Mizar系统下定理机器证明和校验数学命题的方法，在此基础上对四元数的混合运算，特殊复合函数的微分以及洛尔定理的应用等方面进行了Mizar实现。

Thirdly,the paper combines mathematical knowledge with the Rolle\'s theorem implemented in Mizar system already, implements the exert and promotion of Rolle\'s theorem and Cauchy mean value theorem in Mizar system.

将Mizar系统中已实现的洛尔定理与相关数学知识相结合，在Mizar系统中实现了洛尔定理和柯西中值定理的一些应用和推广。

According to theorem of motion of centre of mass and theorem of moment of momentum about centre of mass , we derive the theorem of moment of momentum about instantaneous center of rotation.

从质心运动定理和相对质心的动量矩定理出发，导出了相对瞬心的动量矩定理。

Missirlis in article [1]. At the same time, a sufficient condition for convergence of the PSD method is given to be compared when the coefficient matrix A of the linear system Ax = b is a symmetric, positively defective matrix. In §3.2, an example is given to state that the range of our sufficient condition is wider than theorem 3.3 of article [1]. On the other hand, following a.n analogous approach of [14] and starting the functional relationshipwe have a perfect analysis for the PSD method to converge and optimum valves for the involved parameters under different conditions.Under the assumptions that A is a consistent ordered matrix with nonvanishing diagonal elements and the eigenvalues of the Jacobi matrix of A are real,we get necessary and sufficient conditions for the PSD method to convergence.The result is equal to theorem 1 of article [9].Under the same condition, we can see the optimal parameter and of corresponding spectral radius of thePSD method in [8]:(2)When A is a consistent ordered matrix with nonvanishing diagonal elements and the eigenvalues of the Jacobi matrix of A are imaginary or zero,we get necessary and sufficient conditions for the PSD method to convergence.In chapter 3, the optimal parameter and of corresponding spectral radius of the PSD method are given by table 3.3. Moreover, under the assumption 0

Missirlis在文献[1]中定理3.3的不准确，同时给出了当线性方程组Ax=b的系数矩阵A为对称正定阵时，PSD迭代法收敛的一个充分条件与之比较，并且在§2.3中用实例说明了对于一部分矩阵而言本文得到的充分条件广于[1]中定理3.3的充分条件；另一方面，按照文献[14]的方法，我们从PSD迭代法的特征值λ与其Jacobi迭代矩阵B的特征值μ的关系式：出发，在不同条件下对PSD迭代法的收敛性和最优参数以及最优谱半径进行了完整的分析：(1)在系数矩阵A为(1，1)相容次序矩阵且对角元全不为零，其Jacobi迭代矩阵B的特征值全为实数的条件下，给出了PSD迭代法收敛的充分必要条件，此结果与[9]中的定理1等价，此时最优参数及最优谱半径由[8]得：(2)第三章表3.3中给出了，当系数矩阵A为(1，1)相容次序矩阵且对角元全不为零，其Jacobi迭代矩阵B的特征值全为纯虚数或零时的PSD迭代法的收敛范围和最优参数，并且我们可以得到当0

In chapter one,the backgrounds and current situation of operator theory in Banach space are introduced and the preliminaries of Banach space are given.In chapter two,we study the existence and uniqueness of fixed point for decreasing strict-set-contraction operator in product space.Under the weak continuous condition,we obtain the existence and uniqueness of fixed point for decreasing operator and we give an application of these results; In chapter three,we get several positive fixed point theorems of decreasing operator and the existence and uniqueness theorems of positive fixed point for operator C=A+B,C=D-A in real Banach space where the order is decided by a normal cone; In chapter four,we obtained some existence and uniqueness theorems of fixed point for some mixed monotone operators in semi-ordered Banach space.

在第一章中，主要介绍了半序Banach空间非线性算子的研究历史背景、现状以及半序Banach空间中的预备知识；在第二章中，我们利用半序方法研究了Banach乘积空间中严格集压缩减算子不动点存在唯一性问题，在弱连续的条件下，得到了不动点的存在唯一性和迭代收敛性，同时，给出了它们的一些应用；在第三章中，我们建立了拟弱连续减算子的正不动点定理，并证明了算子C=A+B，C=D-A的正不动点存在唯一性定理；在第四章中，我们得到了半序Banach空间中混合单调算子的不动点存在性及唯一性定理。

In this outlook of this dissertation, the primary idea is to extend the Helmholtz"s theorem to get the complete projection theorem of electromagnetic fields in vector wave space—the extend of the Helmholtz"s theorem which can be used to study the eigenvalue problem of the vector partial differential operator.

在论文的展望中，将亥姆霍兹定理进行推广，得到了电磁场在矢量波空间的完全射影定理即推广的亥姆霍兹定理，由此可以研究基于矢量偏微分算子的电磁场的本征问题。

As we all know,there is one Simson line at any point on the circumference of triangles,but in this paper, LHP theorem shows that the above conclusion is not correct for any quadrilateral pyramid in three-dimensional space and also during proving LHP theorem,fixed value theorem is proved,at the same time,one guess about the point H and point P on circumscribed sphere of tetrahedron has been concluded.

众所周知，三角形的外接圆周上任一点存在一条 simson 线，而 LHP 定理则指出对于正四面体该结论是不能推广到三维空间上的，并且在论证 LHP 定理的过程中得出了定值定理，同时作为一般四面体的外接球球面上的 H 点、P 点的分布，给出了一个猜想。

This theorem calls " of " China residue theorem, also call " grandchildren theorem " or " big develop begs one art ".

这个定理就称为"中国剩余定理"，也叫"孙子定理"或"大衍求一术"。

In this article,we mainly study the space-like submanifolds with parallel mean curva-ture vector,constant scalar curvature or constant square length of the second fundamental form,respectively.We obtain some pinching theorems and rigidity results by estimating Laplace of the square length of the second fundamental form of the such submanifolds and using yaus maximum principle or Stokes Theorem.

本论文主要研究de Sitter空间中具有平行平均曲率向量、常数量曲率或第二基本形式模长平方是常数的三类类空子流形，并通过分别估计三种情形下子流形的第二基本形式模长平方的Laplace，利用Yau的极大值原理和Stokes定理，获得了这些子流形的一些拼挤定理和刚性定理。

We have no common name for a mime of Sophron or Xenarchus and a Socratic Conversation; and we should still be without one even if the imitation in the two instances were in trimeters or elegiacs or some other kind of verse--though it is the way with people to tack on 'poet' to the name of a metre, and talk of elegiac-poets and epic-poets, thinking that they call them poets not by reason of the imitative nature of their work, but indiscriminately by reason of the metre they write in.

索夫农 、森那库斯和苏格拉底式的对话采用的模仿没有一个公共的名称；三音步诗、挽歌体或其他类型的诗的模仿也没有——人们把&诗人&这一名词和格律名称结合到一起，称之为挽歌体诗人或者史诗诗人，他们被称为诗人，似乎只是因为遵守格律写作，而非他们作品的模仿本质。

The relationship between communicative competence and grammar teaching should be that of the ends and the means.

交际能力和语法的关系应该是目标与途径的关系。