Partial order and collapsibility of 2-complexes
A combinatorial statement concerning ideals of countable subsets of ω is introduced and proved to be consistent with the Continuum Hypothesis. This statement implies the Suslin Hypothesis, that all (ω, ω*)-gaps are Hausdorff, and that every coherent sequence on ω either almost includes or is orthogonal to some uncountable subset of ω.
We investigate whether an arbitrary base for a dense-in-itself topological space can be partitioned into two bases. We prove that every base for a Lindelöf topology can be partitioned into two bases while there exists a consistent example of a first-countable, 0-dimensional, Hausdorff space of size and weight which admits a point countable base without a partition to two bases.
Under the assumption that the real line cannot be covered by -many nowhere dense sets, it is shown that (a) no Čech-complete space can be partitioned into -many closed nowhere dense sets; (b) no Hausdorff continuum can be partitioned into -many closed sets; and (c) no compact Hausdorff space can be partitioned into -many closed -sets.
Let be a family of topological spaces and , for every . Suppose is the quotient space of the disjoint union of ’s by identifying ’s as one point . We try to characterize ideals of according to the same ideals of ’s. In addition we generalize the concept of rank of a point, see [9], and then answer the following two algebraic questions. Let be an infinite cardinal. (1) Is there any ring and an ideal in such that is an irreducible intersection of prime ideals? (2) Is there...
Three sets occurring in functional analysis are shown to be of class PCA (also called ) and to be exactly of that class. The definition of each set is close to the usual objects of modern analysis, but some subtlety causes the sets to have a greater complexity than expected. Recent work in a similar direction is in [1, 2, 10, 11, 12].
Perfect compactifications of frames are introduced. It is shown that the Stone-Čech compactification is an example of such a compactification. We also introduce rim-compact frames and for such frames we define its Freudenthal compactification, another example of a perfect compactification. The remainder of a rim-compact frame in its Freudenthal compactification is shown to be zero-dimensional. It is shown that with the assumption of the Boolean Ultrafilter Theorem the Freudenthal compactification...
We prove that the maximal Hausdorff compactification of a -compactifiable mapping and the maximal Tychonoff compactification of a Tychonoff mapping (see [P]) are perfect. This allows us to give a characterization of all perfect Hausdorff (respectively, all perfect Tychonoff) compactifications of a -compactifiable (respectively, of a Tychonoff) mapping, which is a generalization of two results of Skljarenko [S] for the Hausdorff compactifications of Tychonoff spaces.
The following general question is considered. Suppose that is a topological group, and , are subspaces of such that . Under these general assumptions, how are the properties of and related to the properties of ? For example, it is observed that if is closed metrizable and is compact, then is a paracompact -space. Furthermore, if is closed and first countable, is a first countable compactum, and , then is also metrizable. Several other results of this kind are obtained....