A Sequentially Compact Non-compact Quasi-pseudometric Space.
In 1990, Comfort asked Question 477 in the survey book “Open Problems in Topology”: Is there, for every (not necessarily infinite) cardinal number , a topological group G such that is countably compact for all cardinals γ < α, but is not countably compact? Hart and van Mill showed in 1991 that α = 2 answers this question affirmatively under . Recently, Tomita showed that every finite cardinal answers Comfort’s question in the affirmative, also from . However, the question has remained...
We prove an analogue to Dordal’s result in P.L. Dordal, A model in which the base-matrix tree cannot have cofinal branches, J. Symbolic Logic 52 (1980), 651–664. He obtained a model of ZFC in which there is a tree -base for with no branches yet of height . We establish that this is also possible for using a natural modification of Mathias forcing.
We show that AC is equivalent to the assertion that every compact completely regular topology can be extended to a compact Tychonoff topology.
A neighbourhood assignment in a space is a family of open subsets of such that for any . A set is a kernel of if . If every neighbourhood assignment in has a closed and discrete (respectively, discrete) kernel, then is said to be a -space (respectively a dually discrete space). In this paper we show among other things that every GO-space is dually discrete, every subparacompact scattered space and every continuous image of a Lindelöf -space is a -space and we prove an addition...
A DC-space (or space of dense constancies) is a Tychonoff space such that for each there is a family of open sets , the union of which is dense in , such that , restricted to each , is constant. A number of characterizations of DC-spaces are given, which lead to an algebraic generalization of the concept, which, in turn, permits analysis of DC-spaces in the language of archimedean -algebras. One is led naturally to the notion of an almost DC-space (in which the densely constant functions...
Let G be a countably infinite group. We show that for every finite absolute coretract S, there is a regular left invariant topology on G whose ultrafilter semigroup is isomorphic to S. As consequences we prove that (1) there is a right maximal idempotent in βG∖G which is not strongly right maximal, and (2) for each combination of the properties of being extremally disconnected, irresolvable, and nodec, except for the combination (-,-,+), there is a corresponding regular almost maximal left invariant...
Confluence of a mapping between topological spaces can be defined by several ways. J.J. Charatonik asked if two definitions of the confluence using the components and quasi-components are equivalent for surjective mappings with compact point inverses. We give the negative answer to this question in Example 2.1.