Z-拟连续domain上的Scott拓扑和Lawson拓扑

对一般子集系统Z,引入了Z-拟连续domain的概念,证明了Z-完备偏序集P是Z-拟连续的当且仅当P上的Z-Scott拓扑σ_z(P)在集包含序下是超连续格;Z-拟连续domain P上的Z-Scott拓扑σ_z(P)是Sober的当且仅当σ_z(P)具有Rudin性质,P赋予Z-Lawson拓扑λ_z(P)是pospace;且若P上的Z-Lawson开上集是Z-Scott开的,Z-Lawson开下集是下拓扑开的,则(P,λ_z(P))为严格完全正则序空间。     

拟Z-连续domain和Z-交连续domain

对一般子集系统Z,引入了Rudin性质、拟Z-连续domain及Z-交连续 domain的概念,讨论了它们的基本性质.特别是Z-连续性、拟Z-连续性、 Z-交连 续性和Z-Lawson拓扑之T2性之间的相互关系. 证明了当子集系统Z满足一定条件 时,拟Z-连续domain P上的Z-way below关系Z具有插入性质, P上的Z-Lawson 拓扑λZ(P)是T2的,且P可用Z-Lawson同态嵌入到某方体之中.文中给出了一个 domain P,其上的Lawson拓扑λ(P)是T2的,但P不是拟连续性domain.     

关于拟连续Domain的一个注记

证明了:(1)具有性质M的dcpo为拟连续domain当且仅当其上的下拓扑开集格在集合包含序下为连续格;(2)对于dcpo L,L为拟连续domain当且仅当ΣL的Hoare空间为局部强紧空间.     

WZ-Domain与WZ-Scott拓扑

引入WZ-双小于关系, 以此为基础给出WZ-Domain的概念, 讨论它的基本性质, 证明当子集系统Z满足一定条件时, WZ-Domain上的WZ-双小于关系具有插入性.其次, 在Z-完备偏序集上定义WZ-Scott拓扑, 证明在一定条件下一个映射关于该拓扑是连续映射当且仅当该映射保定向的Z集之并. 最后对WZ-Domain上的WZ-Scott拓扑的性质进行研究, 证明对一类子集系统,WZ-Scott拓扑空间是Sober空间当且仅当该拓扑空间具有Rudin性质.     

拟连续Domain的若干拓扑性质

对拟连续Domain D证明了:(1)双拓扑空间(D,σ(D),(D))为两两完全正则空间;(2)若D有可数基,则(max(D),σ(D)max(D))为正则空间当且仅当它为Polish空间;(3)拓扑空间(D,σb(D))为零维Tychonoff空间,其中σb(D)为D上Scott拓扑的b-拓扑。     

半群上的拓扑、偏序和相关Domain

在半群G上引入了半群拓扑O[G]和半群偏序≤G,研究了它们的性质和相互联系,得到如下主要结论:(1)拓扑空间(G,O[G])中开集均为偏序集(G,≤G)的下集;(2)拓扑空间(G,O[G])为T,的当且仅当O[G]是离散的,当且仅当G中任意元是幂等元;(3)在集合包含序下O[G]为代数的完全分配格;(4)若(G,O[G])是T0空间,则O[G]是偏序集(G,≤G)上的对偶Alexandrov拓扑;(5)半群G是伪有限的当且仅当偏序集(G,≤Gop)是代数Domain.     

τ-连续偏序集的网式刻画

利用cut算子,在偏序集上引入网的下极限收敛概念,讨论了它的一些性质,特别地,对任意包含于σ₂-拓扑的序相容拓扑τ,证明了一偏序集是τ-连续的当且仅当S-收敛是拓扑的当且仅当它是交τ-连续的且下极限收敛是拓扑的.     

L-Fuzzy Domain上的广义Scott拓扑

本文研究了L-fuzzy domain上的广义Scott拓扑,利用[1]中引入的L-fuzzy domain.获得了其上的广义Scott拓扑,它是Domain上Scott拓扑的推广,证明了一个L-fuzzy单调映射是L-fuzzy Scott连续映射当且仅当它关于L-fuzzy domain上的广义Scott拓扑连续.     

偏序集的φ-(交)连续性及其主理想刻画

证明φ-完备偏序集是（强）P连续的当且仅当该偏序集的任一主理想是（强）φ-连续的。在φ-完备偏序集中利用φ-S集族生成f-Scott拓扑，并由此引入φ-交连续偏序集概念。证明φ-完备偏序集是P交连续的当且仅当该偏序集的任一主理想是φ-交连续的。     

偏序集上的测度拓扑和全测度

在偏序集上引入测度拓扑和全测度概念,研究其性质以及与其它内蕴拓扑间的众多关系。主要结果有:连续偏序集的测度拓扑实际上是由其上的任一全测度所决定且可由它的定向完备化上的测度拓扑和全测度分别限制得到;当连续偏序集还是D om a in时,其上的测度拓扑与μ拓扑一致;连续偏序集有可数基当且仅当其上的测度拓扑是可分的;一个网如果测度收敛则存在最终上确界;任一ω连续偏序集上都存在全测度。     

TOPOLOGY WITHOUT POINTS

Abstract

Other theories that develop topology without points are either excessively artificial or suffer from a lack of rigor. In this paper it is assumed that worlds W are composed of parts that form a complete Boolean algebra [xbar] and that the collection [Wbar] of all points of W is a certain subcollection of all filters defined over [xbar]. Two axioms are given for points which, given suitable definitions, convert [Wbar] into a compact Hausdorff space. Nearness collections of parts of W are defined which satisfy all the axioms of Herrlich for nearness except that closure is defined without mentioning points and consequently one may define closed and open parts. A category of worlds is defined in which the objects are lattices of closed parts of a world and the arrows are roughly speaking the far-preserving mps. It is shown that the category of compact T₁-spaces is a reflective subcategory of the category of worlds.     

PRODUCTS IN TOPOLOGY

Abstract

Examples are provided which demonstrate that in many cases topological products do not behave as they should. A new product for topological spaces is defined in a natural way by means of interior covers. In general this is no longer a topological space but can be interpreted as categorical product in a category larger than Top. For compact spaces the new product coincides with the old. There is a converse: For symmetric topological spaces X the following conditions are equivalent: (1) X is compact; (2) for each cardinal k the old and the new product X^k coincide; (3) for each compact Hausdorff space Y the old and the new product X x Y coincide. The new product preserves paracompactness, zero-dimensionality (in the covering sense), the Lindelöf property, and regular-closedness. With respect to the new product, a space is N-complete iff it is zerodimensional and R-complete.     

实分片代数曲线的拓扑结构

The piecewise algebraic curve is a kind generalization of the classical algebraic curve.By analyzing the topology of real algebraic curves on the triangles,a practi-caUy algrithm for analyzing the topology of piecewise algebraic curves is given.The algrithm produces a planar graph which is topologically equivalent to the piecewise algebraic curve.     

函数空间上的Cauchy收敛拓扑(英文)

本文研究了度量空间X到实直线R上的连续函数空间C(X,R)上的Cauchy收敛拓扑Tc.u,点态收敛拓扑Tp.u,紧开拓扑Tk和一致收敛拓扑Tu相等的等价条件.利用Cauchy覆盖得到了(C(X,R),Tc.u)的特征与X的Cauchy覆盖数相等的一个对偶定理,获得了(C(X,R),Tc.u)可度量化当且仅当(C(X,R),Tc.u)是第一可数的当且仅当X具有可数Cauchy覆盖数,肯定地回答了Michael H Clapp等在文献[1]中提到的问题.     

关于点集拓扑学中的一个定理

若 A\cup B≠D(c),则存在(c,v_0)∈D(c),使\bar{\lambda}(v_0)a.故存在 n_0,使当 n≥n_0时\bar{\lambda}(v_0)<β_n,\underline{\lambda}(v_0)>α_n。利用常规证法(参见[1]中p.122)可知,必存在R~1×X 中的有界开集 U,满足 E(V_0)\subset U,\partial D=\phi,\bar{U}(α_n_0,β_n_0)×X。由 D 的定义知,存在{n}的子列{n_k}及 Z_n_k∈\mathcal{C}_n_k,使使 Z_n_k→(c,v_0)。不失一般可设诸 Z_n_k 均属于 U。由(2)式及\mathcal{C}_{nk}的连通性,并注意到\bar{U}(α_n_0,β_n_0)×X,可知当 n_k≥n_0时有\mathcal{C}_{nk}\cap \partial U\not=\phi,取 y_n_k∈\mathcal{C}_{nk}\cap \partial U,则{y_n_k|k=1,2,…}是列紧的。故存在{y_n_k}的子列{y~n_k_i}及 y~*∈\partial U,使 y~n_k_i→y~*。显然y~*∈D,故 y~*∈\partial D \cap D,此与\partial U\cap D=\phi矛盾。所以(5)式成立。     

已知拓扑下的最短网络

在平面上给定一个有n个固定点的集合S和一个含有m个可动点的集合M及连接这些点的边的集合T(T也称之为拓扑),确定M中点的位置,使点集V=SM的互联网络最短.本文证明了n是偶数m=-1及在满4度Steiner拓扑下最短网络的结构是4度Steiner树.     

拓扑学在模型论中的一个应用

本文利用拓扑学方法研究了ω-范畴理论的性质，并对模型个数问题进行了讨论，获得了ω-范畴的新结果，并得到了关于模型个数的几个结果．     

ON CERTAIN INITIAL COMPLETIONS IN FUZZY TOPOLOGY

Abstract

Following a lead given by I.W. Alderton, it is shown that the MacNeille completion and the universal initial completion coincide for the categories of zero-dimensional fuzzy T₀-topological spaces, T₀-fuzzy closure spaces, 2T ₀-fuzzy bitopological spaces, and T ₁-fuzzy topological spaces and that these turn out to be respectively the categories of zero-dimensional fuzzy topological spaces, fuzzy closure spaces, fussy bitopological spaces, and fuzzy R ₀ topological spaces.