首页 | 本学科首页   官方微博 | 高级检索  
相似文献
 共查询到20条相似文献,搜索用时 15 毫秒
1.
We prove that any product of quotient maps in the category of quasi-uniform spaces and quasi-uniformly continuous maps is a quotient map. We also show that a quasi-uniformly continuous map from a product of quasi-uniform spaces into a quasi-pseudometric T0-space depends on countably many coordinates.Furthermore we characterize those quasi-uniformities that are unique in their quasi-proximity class and prove that this property is preserved under arbitrary products in the category of quasi-uniform spaces.  相似文献   

2.
We introduce and investigate topo-canonical completions of closure algebras and Heyting algebras. We develop a duality theory that is an alternative to Esakia’s duality, describe duals of topo-canonical completions in terms of the Salbany and Banaschewski compactifications, and characterize topo-canonical varieties of closure algebras and Heyting algebras. Consequently, we show that ideal completions preserve no identities of Heyting algebras. We also characterize definable classes of topological spaces. Received January 20, 2006; accepted in final form September 12, 2006.  相似文献   

3.
In this paper necessary and sufficient conditions are given on a concrete category over a category B so that it can be densely embedded (over B) into a geometric topological category E that admits certain universal final lifts. These conditions, as well as the class of universal final lifts, depend upon an a priori given full subcategory Δ of B. For example, E may have, depending upon Δ and B, universal coproducts or quotients or colimits. For appropriate Δ's, if B is cartesian closed then so is E.  相似文献   

4.
Assume CH. Let I be any index set, and let Xi, for iI, be a completely regular ccc topological space of weight ω2. If X=iIXi is ccc and non-pseudocompact, then X has remote points.  相似文献   

5.
A nearness frame is Cauchy complete if every regular Cauchy filter on the nearness frame is convergent and we show that the categoryCCNFrm of Cauchy complete nearness frames is coreflective in the categoryNFrmC of nearness frames and Cauchy homomorphisms and that the coreflection of a nearness frame is given by the strict extension associated with regular Cauchy filters on the nearness frame. Using the same completion, we show that the categoryCCSNFrm of Cauchy complete strong nearness frames is coreflective in the categorySNFrm of strong nearness frames and uniform homomorphisms.  相似文献   

6.
It is shown that a regular space is collectionwise normal and countably paracompact if every open cover has an open, order cushioned refinement. A sufficient condition for paracompactness, in terms of certain order locally finite covers, is given, and is applied to the problem of the paracompactness of product spaces.  相似文献   

7.
 We characterize pairwise Tychonoff bispaces that admit only totally bounded quasi-uniformities in terms of a suitable notion of bitopological pseudocompactness. We also show that a pairwise Tychonoff bispace has a unique (up to equivalence) bicompactification if and only if it admits a unique totally bounded quasi-unifomity. These results extend classical theorems of R. Doss for uniform spaces to the quasi-uniform (bitopological) setting, and are applied to the study of T 0 topological spaces that admit a unique quasi-uniformity and a unique bicompactification, respectively. Finally, we discuss the problem of extending the classical Glicksberg theorem on product of pseudocompact spaces to bispaces and a partial solution is obtained. Supported by the Spanish Ministry of Science and Technology, grant BFM2000-1111. Supported by a grant from Generalitat Valenciana. Received November 7, 2001; in revised form August 14, 2002  相似文献   

8.
Let M be a separable metric space consisting of more than one point. We construct perfectly normal dense subspaces ZMc2 and (under additional set-theoretic assumption) YMc which are not collectionwise Hausdorff.  相似文献   

9.
Let S be the class of all spaces, each of which is homeomorphic to a stationary subset of a regular uncountable cardinal (depending on the space). In this paper, we prove the following result: The product X×C of a monotonically normal space X and a compact space C is normal if and only if S×C is normal for each closed subspace S in X belonging to S. As a corollary, we obtain the following result: If the product of a monotonically normal space and a compact space is orthocompact, then it is normal.  相似文献   

10.
A variant of Michael's example is given to the following effect: there is a Lindelöf space M of weight 1, with all Gδ-sets open, such that M×B(1) is nonnormal. This answers a question from [K. Alster, On the class of ω1-metrizable spaces whose product with every paracompact space is paracompact, Topology Appl. 153 (2006) 2508-2517].  相似文献   

11.
The purpose of this paper is to study which quasi-metrizable spaces are monotonically normal. In particular, we provide a sufficient condition for a quasi-metrizable space to be monotonically normal. This enables us to prove the monotone normality of a certain amount of interesting examples of quasi-metric spaces; for instance, we show that the continuous poset of formal balls of a metric space, endowed with the Scott topology, is a monotonically normal quasi-metrizable space.  相似文献   

12.
We give some characterizations for normal covers of infinite products of generalized metric spaces such as M-spaces, Σ-spaces and β-spaces. We prove them simultaneously in terms of β-spaces and perfect maps. Next, we give affirmative answers to two questions concerning the normality of Σ-products, which were raised by the author and Yamazaki, respectively. These results are stated in terms of Σ-products of β-spaces.  相似文献   

13.
We study conditions under which the Hausdorff quasi-uniformity UH of a quasi-uniform space (X,U) on the set P0(X) of the nonempty subsets of X is bicomplete.Indeed we present an explicit method to construct the bicompletion of the T0-quotient of the Hausdorff quasi-uniformity of a quasi-uniform space. It is used to find a characterization of those quasi-uniform T0-spaces (X,U) for which the Hausdorff quasi-uniformity of their bicompletion on is bicomplete.  相似文献   

14.
In 1975 Hagopian proved that continua X and Y are atriodic and hereditarily unicoherent when the product X×Y is disk-like. In this paper, under the same condition, we prove that X and Y are contractible with respect to every ANR and X and Y are tree-like continua in ClassHW.  相似文献   

15.
Within the class of Tychonoff spaces, and within the class of topological groups, most of the natural questions concerning ‘productive closure’ of the subclasses of countably compact and pseudocompact spaces are answered by the following three well-known results: (1) [ZFC] There is a countably compact Tychonoff space X such that X × X is not pseudocompact; (2) [ZFC] The product of any set of pseudocompact topological groups is pseudocompact; and (3) [ZFC+ MA] There are countably compact topological groups G0, G1 such that G0 × G1 is not countably compact.In this paper we consider the question of ‘productive closure” in the intermediate class of homogeneous spaces. Our principal result, whose proof leans heavily on a simple, elegant result of V.V. Uspenski?, is this: In ZFC there are pseudocompact, homogeneous spaces X0, X1 such that X0 × X1 is not pseudocompact; if in addition MA is assumed, the spaces Xi may be chosen countably compact.Our construction yields an unexpected corollary in a different direction: Every compact space embeds as a retract in a countably compact, homogeneous space. Thus for every cardinal number α there is a countably compact, homogeneous space whose Souslin number exceeds α.  相似文献   

16.
The following characterization of fully closed maps is proved: a quotient map between regular spaces is fully closed if and only if it coincides with the fiber product of elementary maps between regular spaces.  相似文献   

17.
In the present note we shall prove that a metrisable space can be partitioned by the rational line if that space is self-dense. This gives an affirmative answer to a question raised by Rankston-McGovern [1].  相似文献   

18.
19.
We are going to investigate simultaneous extensions of various topological structures (i.e. traces on several subsets at the same time are prescribed), also with separation axioms T0, T1, symmetry (in the sense of Part I, § 3), Riesz property, Lodato property. The following questions will be considered: (i) Under what conditions is there an extension? (ii) How can the finest extension be described? (iii) Is there a coarsest extension? (iv) Can we say more about extensions of two structures than in the general case? (v) Assume that certain subfamilies (e.g. the finite ones) can be extended; does the whole family have an extension, too? The general categorial results from Part I will be applied whenever possible (even they are not really needed).  相似文献   

20.
In this paper, consistent algebraic L-domains are considered. One algebraic and two topological characterization theorems for their directed completions are given. It is proved that eliminating a set of maximal elements with empty interior from an algebraic L-domain results a consistent algebraic L-domain whose directed completion is just the given algebraic L-domain up to isomorphism. It is also proved that the category CALDOM of consistent algebraic L-domains and Scott continuous maps is Cartesian closed and has the category ALDOM of algebraic L-domains and Scott continuous maps as a full reflective subcategory. Received January 8, 2005; accepted in final form June 15, 2005.  相似文献   

设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号