查询词典 topological homeomorphism

By using the partition theorem of unity, a continuous selection theorem for a multimap from a compact Hausdorff topological space to a finitely continuous topological spaces (simply, FC-spaces) without any convexity structure was obtained, and from which and Tychonoff fixed point theorem, a collectively fixed point theorem for a family of multimaps on the product space of compact FC-spaces and several collectively fixed point theorems for a family of multimaps on the product space of non-compact FC-spaces were given.

利用单位分解定理得到从紧的Hausdorff拓扑空间到没有任何凸结构的有限连续拓扑空间的集值映射的连续选择定理，并从该结果和Tychonoff不动点定理，得到紧的FC-空间的乘积空间上映射族的集族不动点定理和若干个非紧的FC-空间的乘积空间上的映射族的集族不动点定理，对文献中的相应结果进行了改进和一般化。

Then it's hopeful for us to inquire into the problem of topological classification of topological spaces,not being confined to their homotopy classification.

这篇文章就将利用平环和M|¨bius带三角剖分导出的复杂网络的研究成果来猜测新的拓扑不变量。

In thisthesis, we first extend the vanishing theorem due to Lawson, Simons and Xinto the case of compact submanifolds of a hyperbolic space. Thus, by using thenew vanishing theorem for homology groups, we prove the topological spheretheorem for complete submanifolds in a hyperbolic space. Hence we generalizethe Shiohama-Xu topological sphere theorem.

本文进一步将Lawson-Simons-Xin同调群消没定理拓广到双曲空间中紧致子流形的情形，并运用这一新的同调群消没定理证明了双曲空间中完备子流形的拓扑球面定理，从而推广了Shiohama-Xu的拓扑球面定理。

This thesis consists of five chapters. At first, We introduce the study history as well as present situation on KKM theory. Secondly, We discuss the invariability of transfer open valued multimap under the restriction of upper and lower semicontinuity on generalized convex spaces. Then, We obtain new KKM type theorems from the classical KKM theorem by applying upper and lower semicontinuity. We also obtain intersection theorems by applying the KKM type theorems for a multimap from a topological space to another topological space. Further, We obtain Ky-Fan type coincidence theorem by applying known variational results on the KKM type theorems. Finally, We give an application to new theorems.

本文共分五章，首先回顾了KKM理论的研究历史和现状，其次讨论了在一般化凸空间上转移开值映射在上、下半连续映射下的不变性，然后在上、下半连续映射下，以古典的KKM定理为基础得到新的KKM型定理，并利用从一个拓扑空间到另一个拓扑空间的集值映射及KKM型定理得到相交定理，进一步利用已知的KKM型定理的变形结论得到Ky-Fan型重叠定理，最后给出新定理的一个应用。

Based on the outcome of Xu Yang and Qin Keyun about lattice implication algebra and lattice-valued prepositional logic LP with truth-value in a lattice implication algebra, the author studied the properties of lattice implication algebra and the α-automated reasoning method based on α-resolution principle of LP. The specific contents are as follows: The Study of Lattice Implication Algebra On the basis of previous results of lattice implication algebra, this part consists of the following three points: 1. Some properties of lattice implication algebra L were discussed, and some important results were given if L was a complete lattice implication algebra. 2. The properties of left idempotent elements of lattice implication algebras were discussed, and the conclusion that lattice implication algebra L was equals of the directed sum of the range and dual kernel of a left map constructed by a left idempotent element was proved. 3. The properties of the filters of lattice implication algebra were discussed, the theorem was shown that they satisfy the hypothetical syllogism and substitute theorem of the propositional logic. 4. The concept of weak niters of lattice implication algebras and their properties and structures are discussed. It is proved that all weak filters of a lattice implication algebra form a topology and the the implication isomorphism betweem two lattice implication algebras is a topological mapping between their topological spaces. The Study of α-automated reasoning method based on the lattice-valued propositional logic LP In this part, the author given an a-automated reasoning method based on the lattice-valued propositional logic LP.

本文基于徐扬和秦克云的关于格蕴涵代数和以格蕴涵代数为真值域的格值命题逻辑系统LP的研究工作，对格蕴涵代数以及格值命题逻辑系统LP中基于α-归结原理的自动推理方法进行了系统深入的研究，主要有以下两方面的研究成果：一、关于格蕴涵代数的研究 1、对格蕴涵代数的格论性质进行了研究，得到了当L为完备格蕴涵代数时，关于∨，∧，→运算的一些结果； 2、对格蕴涵代数的左幂等元进行了研究，证明了格蕴涵代数L可以分解为任何一个左幂等元所对应的左映射的像集合与其对偶核的直和； 3、对格蕴涵代数的滤子的性质进行了研究，证明了滤子的结构相似于逻辑学中的Hypothetical syllogism规则和替换定理； 4、给出了格蕴涵代数中弱滤子的概念，对弱滤子的性质个结构进行了研究，证明了格蕴涵代数的全体弱滤子构成一个拓扑结构，格蕴涵代数之间的蕴涵同构是相应的拓扑空间之间的拓扑映射。

This paper generalizes the result of topological linearization. The topological linearization of the system is discussed.

对非自治系统的拓扑线性化理论进行扩展，讨论了系统的线性化。

According to the existence results of general equilibrium problems and vector equilibrium problems have been studied more and more. Inspired and motivated by these research results, this paper is devoted to study systematically a class of equilibrium problems, which is unify and extension of a large number of known equilibrium problems and variational inequalities problems. The research is carried on from three aspects.Firstly, in finitely continuous topological spaces, we introduce four new types of the system of generalized vector quasi-equilibrium problems, and we derive some existence results of a solution for the system of generalized vector quasi-equilibrium problems via the maximal element theorems in product finitely continuous topological spaces.Secondly, in complete metric spaces, we provide the Ekeland variational principle to equilibrium problems with set-valued maps. And via the Ekeland variational principle, existence results for vector equilibrium problem with set-valued maps and the system of vector equilibrium problem with set-valued maps.

针对一般的均衡问题和向量均衡问题解的存在性，已有许多研究成果，受这些成果的启发，本文主要从理论上较为系统地研究了一类均衡问题，它统一和推广了许多已有的均衡问题和变分不等式问题，研究分有三个方面；首先，在有限连续拓扑空间中，我们提出了四类广义向量拟均衡系，并借助于有限连续拓扑空间中的极大元定理讨论了这四类均衡系问题的解的存在性问题，然后，在完备度量空间中，我们给出了关于集值均衡问题的Ekeland变分原理，并利用Ekeland变分原理分别讨论了集值向量均衡问题和集值向量均衡系问题的解的存在性。

For a map of compact metric space, topological entropy density is defined for infinite topological entropy.

摘要在度量空间上，对于拓朴熵为无穷大的映射补充定义拓朴熵密度。

The fuzzy topological structure and the crisp topological structure of a WF -fuzzy metric space are described.

此外，还证明了WF-模糊度量空间中的闭球套定理； 6。

Some important properties of L-topological spaces, induced topological spaces, fuzzy real lines and fuzzy metric spaces in topology on lattices are obtained.

在格上拓扑中，对L-拓扑空间、诱导拓扑空间、fuzzy 实直线和fuzzy度量空间等的性质研究，得到了一系列重要的结果。

The production moved off-Broadway to New York City, where she won the Joseph E. Calloway award for her performance, and was profiled in American Theater Magazine as one of ten young theater artists to watch.

生产提出过百老汇的新的纽约市，在那里她赢得了约瑟夫calloway奖，她的表现，并于异型在美国的战区杂志之一， 10战区的青年艺术家观赏。

It's a risk tradeoff, and I believe that adding test support code usually wins.

这是一个风险的权衡，我相信添加测试代码通常会占上风。