查询词典 imbedding theorem

this article discusses the integral theorem of mean the promoted question, mainly has two aspects: On the one hand in analyzes in the teaching material under the first integral theorem of mean condition, had proven lies between the value spot to have to be possible to obtain in the open-interval, further discusses this knot promotes to the generalized Riemann integral, and further proved the conclusion also establishes to the promoted first integral theorem of mean; Promotes on the one hand in addition the integral theorem of mean to in the curve and the curved surface, and has proven the curvilinear integral theorem of mean and the surface integral theorem of mean.

本文讨论积分中值定理的推广问题，主要有二个方面：一方面在分析教材中第一积分中值定理的条件下，证明了介值点必可在开区间内取得，进一步将这个结论推广到广义Riemann积分，并进一步证明结论对推广的第一积分中值定理也成立；另一方面，将积分中值定理推广到曲线和曲面中，并证明了曲线积分中值定理和曲面积分中值定理。

The thesis will introduce, respectively, relevant concepts of residue theorem and its promotion and application in two parts In the basic concepts of chapter II, the definition, classification and relationship between function zero and pole of the isolated singular point are given to lead out relevant definition, theorem and solving method, while the core content of this paper is promotion and application of residue theorem, including calculation of integration by using residues, application in diagonal theorem and argument theorem, application in electromagnetism and theorem promotion and relevant application of extension theorems

本文将从两大部分分别引入和浅析了留数定理的相关概念及其推广和应用在第二章的基本概念部分中，给出了孤立奇点的定义和分类、函数零点与极点的关系，从而引出留数定理的相关定义与定理及其求法而本文的核心内容也就是留数定理的推广和应用，包括运用留数来计算积分、体现在对角定理与辐角定理中的应用、在电磁学中的应用及其定理的推广和推广定理的相关应用

Differential intermediate value theorem and the Taylor formula In this paper, leads to Fermat's theorem Rolle Mean Value Theorem, and then constructing auxiliary function of the Lagrange mean value theorem and Cauchy's Mean Value Theorem to prove that.

微分中值定理和泰勒公式本文通过费马定理引出罗尔中值定理，再构造辅助函数对拉格朗日中值定理和柯西中值定理进行证明。

To obtain the function and imbedding properties about relative countable tightness spaces,in this paper the question whether the relative countable tightness space can be adversely preserved by a closed map is studied by means of function and imbedding theories.

为了得到相对可数紧度空间的映射及嵌入性质，借助映射方法和紧化理论讨论了相对可数紧度空间被闭映射逆保持问题及嵌入紧空间问题，得到了相对可数紧度空间被闭映射逆保持的一个充分条件、局部紧的可数紧度空间可嵌入紧空间的几个充分条件以及某一类局部紧空间在任意紧化中不具有可数紧度等结果。

As applications of the imbedding theorem, a fuzzy version of the well-known Urysohn metrizable theorem and the general theory of the fuzzy Stone-Cech compactification are given.

最后作为嵌入定理的应用，得到了不分明Urysohn度量化定理并完成了不分明Stone-Cech紧化的一般理论。

The existence and uniqueness of optimal control and the corresponding maximum principle are studied by using the fixed point theorem, the Sobolev's imbedding theorem and variational principle.

本章的结论既是在已有文献中还没有见到的成果，也是对单种群动力系统最优控制问题的完善和发展。

A pointwise characterization of fuzzy complete regularity is yielded by means of the Q- neighborhood structures and some algebraic properties of certain class of maps in lattices. The Weil theorem on fuzzy uniformity and the general imbedding theorem in the fuzzy basic cube are established.

其次给出不分明完全正则的点式刻划与关于一致结构的著名Weil定理的不分明推广并从而建立了在不分明单位方体中一般性的嵌入定理。

Applying the theory in classical partial differential equation and viscosity solutions, and Schauder fixed point theorem and Sobolev imbedding theorem, the existence and uniqueness of viscosity solution of the coupled PDE model are proved.

研究耦合PDE模型粘性解的存在性和唯一性问题。

The study of lattice-valued propositional logic system based on lattice implication algebra.On the bases of previous study, by using the concepts and methods of T algebras we established the lattice-valued propositional logic system LP , whose truth values domain is a lattice implication algebra, and discussed systematically the semantical and syntactical properties of LP , proved the soundness theorem 、consistency theorem、deduction theorem and the decidability of validity of the system when the truth values lattice is finite. We also discussed the relationship between the α-theorem of some premise, say A, and the closed sets that contain A.

本文在前人研究工作的基础上，利用T代数的概念与方法，建立了真值取于格蕴涵代数的格值命题逻辑系统LP，对它的语义及语法性质进行了较系统的研究，得到了它的可靠性定理、协调性定理及演绎定理等，证明了值格有限时系统"有效性"的可判定性并讨论了某一前提A下的α定理与包含A的闭集之间的关系。

To the problem of unbiasedness of L 1 estimation,basing on uniqueness of solution,Zhou Shijiang proved it according to dual theorem of linear programming; and Wang Zhizhong proved it according to probability statistics theorem by using the method from special to general; also,basing on error distribution theorem and probability statistics theorem,the authors proved it.

对于L1 估计的无偏性问题，周世健基于解法的惟一性，根据线性规划的对偶理论，证明了L1 估计的无偏性[5] ；王志忠根据数理统计理论，采用由特殊情形推广到一般情形的方法，证明了L1 估计的无偏性[6] 。

" I' d like to get some rough idea about music in the baroque ear, please."

请简要介绍一下巴罗克时期的音乐，好吗？

The results showed that the peak latency and pattern of SEPs elicited by electrical needling in LI-l1 and MP were similar. The amplitude of SEPs elicited by electrical needling in LI-l1 was higher than that of MP. There was no obvious SEPs generation when MM was electrical needling.

结果显示，电针刺激曲池穴和其邻近桡侧伸腕长肌运动点诱发性脑电波的波形和波峰时间是类似的，只是穴位的诱发性脑电波波幅较大，而电针刺激非穴位点并没有明显的诱发性脑电位。