查询词典 imbedding theorem

Then relative interior is introduced and an alternative theorem of generalized convex set-valued maps is established by using the separation theorem.

引进了相对内部，应用凸集分离定理建立了一个广义凸集值映射的择一性定理。

In the paper the separate theorem of convex set with weak topology σ(L ∞,L 1) is proved, and the topological characterization about No Free Lunch with Vanishing Risk Condition is given, from it, the equivalency between exist of equivalent martingale measures and NFLVR is proved, this is the first fundamental theorem of asset pricing.

资产定价的第一基本定理是数量金融学中核心的定理之一，本文证明了在 L∞的弱*拓扑σ(L∞，L1)中的凸集分离定理，并在此定理的基础上给出了没有无风险免费午餐的拓扑描述，证明了市场公平性与没有无风险免费午餐条件的等价性，从而重新证明了资产定价的第一基本定理。

The existence theorem of generalized weak efficient solutions with respect to variable, cone for a linear G〓teaux differentiable mapping is proved with set valued mapping fixed-point theorem and the relation between a vector optimization and a variational inequality problem. The existence of weak efficient solutions for multi-objective convex vector optimization is characterized.

建立映射在线性G〓teaux可微条件下关于可变锥的广义弱有效解的存在性及多目标凸向量优化问题在G〓teaux可微条件下弱有效解的特征，利用集值映射不动点定理及向量优化与变分不等式的关系证明线性G〓teaux可微锥凸映射关于可变锥的广义弱有效解的存在性定理。

In chapter 1, similarity and perturbations of nest subalgebras of factor von Neumann algebras are studied. A similarity theorem is given (see Theorem 1. 2. 3), and it is shown that similar nests in a factor von Neumann algebra are close.

第一章研究因子von Neumann代数中套的相似性和套子代数的摄动，获到一个相似定理（定理1.2.3），其几何意义是：因子von Neumann代数中相似的套聚拢在一起并可向外扩展。

Since Bloch's Theorem applies only to periodic potentials, and since unceasing random movements of atoms in a crystal disrupt periodicity, Bloch's Theorem is only an approximation, but it has proven to be a tremendously valuable approximation, without which most solid-state physics analysis would be intractable.

由于布洛赫定理仅对周期性势场的情况严格成立，而由于实际的晶体中不可避免的有各种缺陷或者原子相对于平衡位置的位移，所以布洛赫定理对于实际晶体来说只是一个近似。但是布洛赫定理对于固体物理的研究不可或缺。

Using two new methods, this paper prores one pertubation theorem on the finite Hilbert space of 2×2 operator matrices, and gereralizes this theorem to the infinite Hilbert space of selfadjoint operators.

给出了有限维Hilbert空间中2×2算子矩阵的数值域扰动定理的两种证明方法，并且将该定理推广到无限维Hilbert空间上的自伴算子。

First, a switching function is designed to guarantee that the movement of the system is asymptotically stable in the switching manifold. And the equation of the switching surface is given based on pole assignment theorem; Then a discrete robust adaptive quasi-sliding-mode tracking controller is presented by constructing the two adaptive gains, and the globally asymptotically stability of the system is proved based on the Lyapunov-Razumikhin stability theorem.

首先，利用广义系统的概念给出了系数矩阵为能控标准型的滑模面方程，并利用极点配置定理给出了能使系统稳定的滑模面；其次，构造了含有自适应律的离散趋近律，设计了能够使系统达到同步的变结构控制器，并利用Lyapunov稳定性定理，证明了系统的趋近运动的稳定性。

Defined circulation, introduced Stokes theorem, and gave an arm waving proof for Stokes theorem.

定义环流，介绍Stokes定理，并用动作来演示。

We divide the existence of generalized solutions into three theorems becauseof the existence of a generalized supersolution we need in the proof.To ob-tain this fact,we discuss three different cases separately.WhenΩhas strictconvexity,it can be proved that the generalized supersolution of (1)(2)is theconvex-monotone hull of 〓in 〓,this is theorem 2.WhenΩdoesn't hasthe strict convexity,in theorem 3 we have to suppose there exists a generalizedsupersolution.

我们的广义解的存在性结果之所以分成三个定理陈述，主要是因为在我们的存在性证明中，一个重要的事实就是广义上解的存在性，而为了得到这个事实，我们分别讨论了三种不同的情况：在定理2中的假设〓具有严格凸性时，我们证明了问题（1）（2）的广义上解就是初边值〓的凸单调包，而在〓没有严格凸性时，我们在定理3中假定了一个广义上解的存在性。

Using the method of analysis to study strong limit theorem proposed by professor Liu Wen, and a plying Legbesuge theoremon differentiability of monotone function, a new proof of the theorem of strong law of large numbers for the sequence of random variables of the product distribution of Poisson is forwarded.

利用文献[1]刘文教授提出的研究强极限的纯分析方法，通过构造适当的辅助函数，然后利用单调函数异数存在定理，给出具有乘积泊松分布的随机变量序列的一个强大数定理的新证明。

Nowadays, most of research are to build a transmutative Petri Nets through adding controlling place sets, controlling arc sets and controlling policy to the basic Petri Nets, while the Controlled Petri Nets could be used to argue many controlling theory problems conveniently and to induce many logically and physically supervisory and solve the Event Feedback Controlling Problems and State Feedback Controlling Problem in DEDS supervisory theory.

目前大多数的研究表现为在变形后的受控Petri网基础上，利用各种方法求得各种逻辑型、结构型控制器，解决DEDS监控理论中的事件反馈控制问题与状态反馈控制问题。

On one hand, there are discussions with the works council and union about extension of short time working up to the end of September.

一方面，有讨论，工程理事会和联盟关于延长工作时间短至9月底。