拓扑群作用下度量空间中链回归点集的研究

仿造度量空间中链回归点的定义,给出了拓扑群作用下度量空间中G-链回归点的概念,并将度量空间中链回归点的一些结论,推广到拓扑群作用下度量空间中,得到如下结果:1)同胚伪等价映射f的G-链回点集等于它的逆映射f~(-1)的G-链回归点集;2)伪等价映射f的G-链回点集和G-链等价集对G强不变;3)同胚等价映射f的G-链回点集f对强不变.4)等价映射f限制在它的G-链回归点集上形成的G-链回归点集就是等价映射f在度量G-空间X上形成的G-链回归点集.这些结果丰富了拓扑群作用下度量空间中G-链回归点的理论.     

g函数,弱基g函数和空间的度量化

函数刻画广义度量空间，最早可追溯至Heath和Hodel的工作. 近些年来，Nagat a和一些拓扑学者利用g函数系统地研究了度量化问题. 该文引入弱基g函数的概念，利用它给出拓扑空间度量化的一些等价刻画, 推广了前人的相关工作. 证明了拓扑空间X可以度量化，当且仅当X有弱基g函数满足条件(1)和(7).     

传递系统的伪分解函数和应用

令X为一个紧致度量空间,f:x→X为(拓扑)传递的映射.通过对传递系统(X,f)在fn,n∈N的作用下的伪分解,先引入一个新的拓扑不变量“传递系统的PD函数(伪分解函数)”. 然后,讨论关于此不变量的一些重要性质.最后,把关于周期轨道的Sharkovskii定理推广到传递子系统上.     

二维Finsler空间是共形平坦的若干判定条件

本文利用Finsler约度量函数与度量张量获得了二维Finsler空间是共形平坦的若干令新的充要条件．此外，还推导了在共形映射下，局部Minkowski空间、常曲率Finsler空间与零曲率Finsler空间保持不变的新的充要条件．     

模糊数关于紧承下方图度量的线性性质

证明了紧承下方图度量不是平移不变的.对紧承下方图度量的代数运算的连续性进行了讨论.证明了关于紧承下方图度量,模糊数空间只能是嵌入到拓扑向量空间当中,但不嵌入赋范线性空间当中.并与关于上确界度量的结果进行了比较.最后,给出了一个紧承下方图度量的下界.     

Fuzzy双拓扑空间的拟伪度量化

本文出了Fuzzy双拓扑空间可拟伪度量化的一个函数特征。在此基础上,引入局部有限配基,局部有限基等概念,得到了一系列Fuzzy双拓扑空间的可拟伪度量化定理。     

弱基g-函数在度量化中的应用

本文引入弱基g-函数的概念，利用它给出拓扑空间度量化的一些等价刻画，证明了拓扑空间X可以度量化，当且仅当X有弱基g-函数满足(s)和(g2)(或(ks)和g1)条件，另外，本文还给出了J．Nagata两个定理的简单证明。     

概率度量空间的基本理论及应用(Ⅰ)*

本文系统地研究概率度量空间的基本理论和应用,讨论了概率度量空间的拓扑结构和性质;给出了概率度量空间,Menger概率度量空间以及概率线性赋范空间可度量化的条件及其度量函数的形式:得出了概率度量空间集合的各种概率有界性的表征等.作为这些结果的应用,我们讨论了概率线性赋范空间中线性算子的理论及概率度量空间中不动点的存在性问题.     

完备度量空间中的混沌判定

本文研究完备度量空间上的离散动力系统的混沌标准,证明了如果完备度量空间X上的连续映射f具有正则非退化返回排斥子或连接不动点的正则非退化异宿环,则存在f的不变闭子集A,使得f限制在此不变闭子集上的子系统与两个符号的符号动力系统拓扑共轭,从而获得具有这类结构的连续映射f具有Devaney混沌、分布混沌、正拓扑熵及ω-混沌,此结果改进了已有的相关结果.     

一种域的曲率与群不变函数

对Cⁿ中的非齐性有界域D,我们得到了在D的解析自同胚群Aut(D)下不变的函数;给出了在Aut(D)下不变的Kahler度量的一般形式;利用群不变函数的性质,将满足给定曲率条件的不变Kahler度量的求解化为相应的常微分方程问题;给出了使Ricci曲率、Scalar曲率和全纯截曲率在给定的条件下相应的不变Kahler度量的一些有趣的具体表达式.     

On sofic systems I

Topological Markov chains are invariantly associated with sofic systems. A dimension function is introduced for sofic systems, and a criterion is given for a sofic system to be properly sofic.     

On Hardy, BMO and Lipschitz spaces of invariantly harmonic functions in the unit ball

The invariantly harmonic functions in the unit ball Bⁿ in Cⁿare those annihilated by the Bergman Laplacian . The Poisson-Szegökernel P(z,) solves the Dirichlet problem for : if f C(Sⁿ),the Poisson-Szegö transform of f, where d is the normalized Lebesgue measure on Sⁿ,is the unique invariantly harmonic function u in Bⁿ, continuousup to the boundary, such that u=f on Sⁿ. The Poisson-Szegötransform establishes, loosely speaking, a one-to-one correspondencebetween function theory in Sⁿ and invariantly harmonic functiontheory in Bⁿ. When n 2, it is natural to consider on Sⁿ functionspaces related to its natural non-isotropic metric, for theseare the spaces arising from complex analysis. In the paper,different characterizations of such spaces of smooth functionsare given in terms of their invariantly harmonic extensions,using maximal functions and area integrals, as in the correspondingEuclidean theory. Particular attention is given to characterizationin terms of purely radial or purely tangential derivatives.The smoothness is measured in two different scales: that ofSobolev spaces and that of Lipschitz spaces, including BMO andBesov spaces. 1991 Mathematics Subject Classification: 32A35,32A37, 32M15, 42B25.     

Mackey Topologies and Mixed Topologies in Riesz Spaces

The possibility of characterizing the Mackey topology of a dual pair of vector spaces as a generalized inductive limit (or mixed) topology is investigated. Positive answers are given for a wide range of dual pairs of Riesz spaces (vector lattices) and non-commutative Banach function spaces (or symmetric operator spaces).     

聚类分析中的对称原则

通过在集合上赋予对称关系 ,作者分析了对称结构与拓扑结构及等价划分的关系 ,指出 :一个对称关系可以唯一决定一种拓扑 ,也可以唯一决定一种等价划分 ;反之 ,赋予一种拓扑结构或等价划分 ,可以定出一种对称关系 .在此基础上 ,作者提供了由拓扑结构进行聚类的方案 ,并设计了聚类划分的数理统计方法     

The number of critical elements of discrete Morse functions on non-compact surfaces

This paper is focused on looking for links between the topology of a connected and non-compact surface with finitely many ends and any proper discrete Morse function which can be defined on it. More precisely, we study the non-compact surfaces which admit a proper discrete Morse function with a given number of critical elements. In particular, given any of these surfaces, we obtain an optimal discrete Morse function on it, that is, with the minimum possible number of critical elements.     

Domain函数空间上的Isbell拓扑和Scott拓扑的一致性

本文主要讨论了Domain函数空间上Isbell拓扑和Scott拓扑的一致性.利用Domain函数空间给出了一个例子: Scott拓扑有开滤子基的非连续的DCPO.     

Properties of topologies of information retrieval systems

This paper studies topological properties of different topologies that are possible on the space of documents as they are induced by queries in a query space together with a similarity function between queries and documents. The main topologies studied here are the retrieval topology (introduced by Everett and Cater) and the similarity topology (introduced by Egghe and Rousseau).The studied properties are the separation properties T₀, T₁, and T₂ (Hausdorff), proximity and connectedness. Full characterizations are given for the diverse topologies to be T₀, T₁, or T₂. It is shown that the retrieval topology is not necessarily a proximity space, while the similarity topology and the pseudo-metric topology always are proximity spaces. A characterization of connectedness in terms of the Boolean NOT-operator is given, hereby showing the intimate relationship between IR and topology.     

On the compact-open and admissible topologies

It is known (see, for example, [H. Render, Nonstandard topology on function spaces with applications to hyperspaces, Trans. Amer. Math. Soc. 336 (1) (1993) 101-119; M. Escardo, J. Lawson, A. Simpson, Comparing cartesian closed categories of (core) compactly generated spaces, Topology Appl. 143 (2004) 105-145; D.N. Georgiou, S.D. Iliadis, F. Mynard, Function space topologies, in: Open Problems in Topology 2, Elsevier, 2007, pp. 15-23]) that the intersection of all admissible topologies on the set C(Y,Z) of all continuous maps of an arbitrary space Y into an arbitrary space Z, is always the greatest splitting topology (which in general is not admissible). The following, interesting in our opinion, problem is arised: when a given splitting topology (for example, the compact-open topology, the Isbell topology, and the greatest splitting topology) is the intersection of k admissible topologies, where k is a finite number. Of course, in this case this splitting topology will be the greatest splitting.In the case, where a given splitting topology is admissible the above number k is equal to one. For example, if Y is a locally compact Hausdorff space, then k=1 for the compact-open topology (see [R.H. Fox, On topologies for function spaces, Bull. Amer. Math. Soc. 51 (1945) 429-432; R. Arens, A topology for spaces of transformations, Ann. of Math. 47 (1946) 480-495; R. Arens, J. Dugundji, Topologies for function spaces, Pacific J. Math. 1 (1951) 5-31]). Also, if Y is a corecompact space, then k=1 for the Isbell topology (see [P. Lambrinos, B.K. Papadopoulos, The (strong) Isbell topology and (weakly) continuous lattices, in: Continuous Lattices and Applications, in: Lect. Notes Pure Appl. Math., vol. 101, Marcel Dekker, New York, 1984, pp. 191-211; F. Schwarz, S. Weck, Scott topology, Isbell topology, and continuous convergence, in: Lect. Notes Pure Appl. Math., vol. 101, Marcel Dekker, New York, 1984, pp. 251-271]).In [R. Arens, J. Dugundji, Topologies for function spaces, Pacific J. Math. 1 (1951) 5-31] a non-locally compact completely regular space Y is constructed such that the compact-open topology on C(Y,S), where S is the Sierpinski space, coincides with the greatest splitting topology (which is not admissible). This fact is proved by the construction of two admissible topologies on C(Y,S) whose intersection is the compact-open topology, that is k=2.In the present paper improving the method of [R. Arens, J. Dugundji, Topologies for function spaces, Pacific J. Math. 1 (1951) 5-31] we construct some other non-locally compact spaces Y such that the compact-open topology on C(Y,S) is the intersection of two admissible topologies. Also, we give some concrete problems concerning the above arised general problem.     

A topological characterisation of the implication 'differentiability implies continuity'

It is well known that differentiable functions defined on R are continuous. However, this result assumes that one uses the usual topology. In this paper, an example is given of a differentiable, nowhere continuous function by changing the basic open sets at just one point. And also a characterization is given of the implication ‘differentiability implies continuity’.