Filters,Antichains and Towers in Topological Spaces and the Axiom of Choice

We find some characterizations of the Axiom of Choice (AC) in terms of certain families of open sets in T₁ spaces.     

LF相对乘积空间与近似良紧性

通过引入相对乘积空间证明了近似良紧性关于相对乘积运算而言хоновти乘积定理成立.     

Versions of Normality and Some Weak Forms of the Axiom of Choice

We investigate the set theoretical strength of some properties of normality, including Urysohn's Lemma, Tietze-Urysohn Extension Theorem, normality of disjoint unions of normal spaces, and normality of F_σ subsets of normal spaces.     

诱导I-Fuzzy拓扑空间

本文引入了生成I-Fuzzy拓扑空间的概念,研究了Fuzzifying拓扑空间(X,τ)与其相应的生成I-Fuzzy拓扑空间(IX,ω(τ))的联系;然后介绍了ω,ι算子及它们的运算性质;最后给出并研究了I-Fuzzy诱导空间,I-Fuzzy弱诱导空间,I-Fuzzy满层空间的定义和它们间的联系.     

取值于序拓扑向量空间的映射与层空间

In the paper [Monotone countable paracompactness and maps to ordered topological vector spaces, Top. Appl., 2014, 169(3): 51–70], Yamazaki initiated the study on maps with values into ordered topological vector spaces. Characterizations of monotonically countably paracompact spaces and some other spaces in terms of maps to ordered topological vector spaces were obtained. In this paper, following Yamazaki's method, we present some characterizations of stratifiable spaces and k-semi-stratifiable spaces in terms of maps with values into ordered topological vector spaces.     

Paracompactness of Metric Spaces and the Axiom of Multiple Choice

The axiom of multiple choice implies that metric spaces are paracompact but the reverse implication cannot be proved in set theory without the axiom of choice.     

拓扑线性空间上算子半群的吸引子

在分离拓扑线性空间上定义了算子半群{V_t}的吸引子,并通过网的概念讨论了极小闭全局吸引子和极小闭全局B-吸引子的关系、临界形式及其存在的充分条件.此外,还讨论了在分离拓扑线性空间上■类算子半群和A■类算子半群的σ-极限集的性质.     

The Compactness of 2ℝ and the Axiom of Choice

We show that for every we ordered cardinal number m the Tychonoff product 2^m is a compact space without the use of any choice but in Cohen's Second Mode 2^ℝ is not compact.     

A Brief Introduction to Fibrewise Topological Spaces Theory

Fibrewise topological spaces theory,presented in the recent 20 years,is a new branch of mathematics developed on the basis of General Topology,Algebra topology and Fibrewise spaces theory.It is associated with differential geometry,Lie groups and dynamical systems theory.From the perspective of Category theory,it is in the higher category of general topological space,so the discussion of new properties and characteristics of the variety of fibre topological space has more important significance.This paper introduces the process of the origin and development of Fibrewise topological spaces theory.Then,we study the main contents and important results in this branch.Finally,we review the research status of Fibrewise topological spaces theory and some important topics.     

拓扑线性空间中的Drop定理与Drop性质

给出了拓扑线性空间中的一个Drop定理.利用此Drop定理,证明了拓扑线性空间中的每个序列紧凸集具有Drop性质;每个可数紧闭凸集具有拟Drop性质.而且结出了拓扑线性空间中Drop性质和拟Drop性质的序列流特征.也讨论了Drop性质和拟Drop性质与泛函取极值之间的联系.     

纤维拓扑空间理论简介

Fibrewise topological spaces theory,presented in the recent 20 years,is a new branch of mathematics developed on the basis of General Topology,Algebra topology and Fibrewise spaces theory.It is associated with differential geometry,Lie groups and dynamical systems theory.From the perspective of Category theory,it is in the higher category of general topological space,so the discussion of new properties and characteristics of the variety of fibre topological space has more important significance.This paper introduces the process of the origin and development of Fibrewise topological spaces theory.Then,we study the main contents and important results in this branch.Finally,we review the research status of Fibrewise topological spaces theory and some important topics.     

Regular Ordering and Existence of Minimum Points in Uniform Spaces and Topological Groups

It is defined the locally order convexity of an ordered uniform space and an ordered topological group and is investigated its relation to the existence of minimum points of denumerable, complete lower bounded sets.     

LF拓扑空间的Es-紧性

利用α-Es远域族在LF拓扑空间中引进了Es-紧性的概念,得到了Es-紧空间.此外,给出了Es-紧空间的3种等价刻画,证明了Es-紧性是L-好的推广,讨论了Es-紧性的一些基本性质,如:Es闭遗传性和弱Es同胚不变性.     

On the Reflectivity and Coreflectivity of L-Fuzzifying Topological Spaces in L-Topological Spaces

In this paper it is proved that for all completely distributive lattices L, the category of L-fuzzifying topological spaces can be embedded in the category of L-topological spaces (stratified Chang-Goguen spaces) as a simultaneously bireflective and bicoreflective full subcategory. Received April 2, 1999, Revised January 31, 2000, Accepted February 2, 2000     

Splitting stationary sets from weak forms of Choice

Working in the context of restricted forms of the Axiom of Choice, we consider the problem of splitting the ordinals below λ of cofinality θ into λ many stationary sets, where θ < λ are regular cardinals. This is a continuation of [4] (© 2009 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

拟平移不变拓扑锥与局部β-凸空间的共轭锥

[1]中提出的局部β-凸分析问题从本质上来说是一种非线性凸分析问题 .为了刻画和研究局部β-凸空间 X的共轭锥 X*β ,本文在抽象凸锥上引进具有拟平移不变性质的拓扑结构 ,第一部分重点研究局部生成拓扑锥与赋范拓扑锥 .第二部分将这两种拓扑锥的一般理论应用于局部 β - 凸空间的共轭锥 X*β 的研究 ,得到 (X*β,U| A)与 (X*β ,‖‖ )的局部生成性与完备性定理等 .     

Properties of the real line and weak forms of the Axiom of Choice

We investigate, within the framework of Zermelo‐Fraenkel set theory ZF, the interrelations between weak forms of the Axiom of Choice AC restricted to sets of reals. (© 2005 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Compactness of Composition Operators from the Bloch Space B to QK Spaces

Suppose that φ is an analytic self-map of the unit disk Δ. We consider compactness of the composition operator Cφ from the Bloch space B into the spaces QK defined by a nonnegative, nondecreasing function K（r） for 0 ≤ r 〈 Cφ. Our compactness condition depends only on Φ which can be considered as a slight improvement of the known results. The compactness of Cφ from the Dirichlet space D into the spaces QK is also investigated,     

L-fuzzy拓扑空间中的包含式正则分离性

本文首先在一般L-fuzzy拓扑空间中引入了包含式正则分离性的概念.其次将包含式正则分离性与点式正则分离性及正则分离性作了比较,讨论了它们之间的相互蕴含关系.最后说明了包含式正则分离性与包含式正规分离性及包含式完全正则分离性之间的协调性.     

On Homeomorphisms of Effective Topological Spaces

We study effective presentations and homeomorphisms of effective topological spaces. By constructing a functor from the category of computable models into the category of effective topological spaces, we show in particular that there exist homeomorphic effective topological spaces admitting no hyperarithmetical homeomorphism between them and there exist effective topological spaces whose autohomeomorphism group has the cardinality of the continuum but whose only hyperarithmetical autohomeomorphism is trivial. It is also shown that if the group of autohomeomorphisms of a hyperarithmetical topological space has cardinality less than 2 then this group is hyperarithmetical. We introduce the notion of strong computable homeomorphism and solve the problem of the number of effective presentations of T ₀-spaces with effective bases of clopen sets with respect to strong homeomorphisms.