查询词典 compactification theorem

By using generalized-weak commutativity mapping, the existence of common fixed point for this class of contractive type mappings is studied in complete metric space, a common fixed point theorem for contractive type mappings is obtained, which largely improve and extend the corresponding results in some references.

通过使用映象的广义弱交换条件，在完备度量空间中研究了更为广泛的一类压缩型映象的公共不动点的存在性，给出了一个新的公共不动点定理，从而在很大程度上改进和推广了现有文献中的一些结果。

The compactness theorem of model theory has an extensive application in algebra.

模型论中的紧致性定理在代数中有很广泛的应用。

The principal tools in my paper are:abstract semigroup theory,compactness transition theorem and contract function.

本文使用的主要工具为抽象半群理论，紧性转移定理及收缩函数。

The existence of the optimal control for the system is demonstrated via compactness theorem and prior estimates.

根据预备知识，利用紧性定理和先验估计，证明了系统最优控制的存在性。

By using the compactness theorem of SBD space, Poincaréinequality onthe BD functions,we prove the existence for variational problems.

主要利用SBD函数空间的紧性定理，BD函数的Poincaré不等式等给出了变分问题的存在性。

Innonmonotonic logic I,the compactness theorem cannot come into existence.

McDermott于1982提出了一组更强的非单调逻辑，称为非单调逻辑Ⅱ。

Since bounded closed sets in infinite dimensional space are notcompact generally,in order to employ Horn's fixed point theorem the compactness of operator Pis initially proved in section 3 in this chapter.

由于无限维空间的有界闭集一般不具备紧性，为了应用Horn不动点定理，我们先证明了Poincare算子P的紧性。

Figueiredo (2002) condition, using above compactness theorem we prove that the functional corresponding to a class of quasilinear system of elliptic equations satisfies condition.

建立了一个抽象的紧性定理，然后借此定理证明了对应于一类拟线性椭圆型方程组的泛函在比Boccardo和De。

The aim of this paper is to study the existence of solution and multiply results for quasilinear elliptic system in bounded domain and the whole space, semilinear elliptic equation in two dimension space, second order nonlinear difference equation by variational methods. The main results are listed in the following:1. An abstract compactness theorem is proved, and then, under weak Boccardo and De.

本文主要利用变分法，分别研究了有界区域和全空间上拟线性椭圆型方程组、二维空间上半线性椭圆型方程和二阶非线性差分方程问题的解与多重解的存在性，具体内容如下： 1。

With the help of the Mountain-Pass Theorem lacking Palais-Smale compactness condition (PSc condition and by adoption of the best attained function of Sobolev embedding, the paper proves the existence of nontrivial solutions of two classes of critical biharmonic equations on boundary conditions by overcoming serial difficulties caused by loss of compactness due to Sobolev embedding.

本文借助于没有 PS 条件的翻山引理，并利用 Sobolev 嵌入的最佳达到函数，克服了由于 Sobolev 嵌入失紧性而带来的系列困难，证明了含临界增长的两类双调和方程边值问题非平凡解的存在性。

What was it that made you want to change sider ?

是什么使你临阵倒戈？

I don't know what he wants, but let's play along with him.

我不知道他要干什么，可我