查询词典 topological dimension

In the first part, the concepts of the completely normal spaces and strong completely normal spaces in L-topological spaces are defined, which are the generalization of the completely normal spaces in general topological spaces. They are some good properties such as hereditary, weakly homeomorphism invariant properties, good L-extension, but they arent producible in general.

第一部分的主要内容如下：第一部分这一部分是将一般拓扑学的完全正规分离性的概念推广到了L-拓扑空间，给出了L-拓扑空间的完全正规分离性和强完全正规分离性的定义并讨论了它们的若干性质，比如，它们都是可遗传的，弱同胚不变的，"Lowen意义下好的推广"等。

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度量空间等的性质研究，得到了一系列重要的结果。

Liapunov—Schmidt method is one of the most important method in the bifurcation theory.

Liapunov—Schmidt方法是分叉理论的最重要方法之一。

Be courteous -- even when people are most discourteous to you .

要有礼貌──即使当別人对你最不礼貌的时候。