-separation axioms on frames
We construct a consistent example of a normal locally compact metacompact space which is not paracompact, answering a question of A. V. Arkhangel’skiĭ and F. Tall. An interplay between a tower in P(ω)/Fin, an almost disjoint family in , and a version of an (ω,1)-morass forms the core of the proof. A part of the poset which forces the counterexample can be considered a modification of a poset due to Judah and Shelah for obtaining a Q-set by a countable support iteration.
We show that MA implies that normal locally compact metacompact spaces are paracompact, and that MA() implies normal locally compact metalindelöf spaces are paracompact. The latter result answers a question of S. Watson. The first result implies that there is a model of set theory in which all normal locally compact metacompact spaces are paracompact, yet there is a normal locally compact metalindelöf space which is not paracompact.
In this paper, we discuss the approximation operators [...] apr¯NS and [...] apr¯S which are based on NS(U) and S. We not only obtain some properties of NS(U) and S, but also give examples to show some special properties. We also study sufficient and necessary conditions when they become closure operators. In addition, we give general and topological characterizations of the covering for two types of covering-based upper approximation operators being closure operators.
In this paper we characterize the closures of arithmetic progressions in the topology T on the set of positive integers with the base consisting of arithmetic progressions {an + b} such that if the prime number p is a factor of a, then it is also a factor of b. The topology T is called the common division topology.
A topological space is totally Brown if for each and every nonempty open subsets of we have . Totally Brown spaces are connected. In this paper we consider a topology on the set of natural numbers. We then present properties of the topological space , some of them involve the closure of a set with respect to this topology, while others describe subsets which are either totally Brown or totally separated. Our theorems generalize results proved by P. Szczuka in 2013, 2014, 2016 and by...
A convergence structure generalizing the order convergence structure on the set of Hausdorff continuous interval functions is defined on the set of minimal usco maps. The properties of the obtained convergence space are investigated and essential links with the pointwise convergence and the order convergence are revealed. The convergence structure can be extended to a uniform convergence structure so that the convergence space is complete. The important issue of the denseness of the subset of all...
In this paper, bitopological counterparts of the cardinal functions Lindelof number, weak Lindelof number and spread are introduced and studied. Some basic relations between these functions and the functions in [3] are given.
This is the first in a series of papers aimed at defining and studying bitopological counterparts of the principal cardinal invariants in topology. It is devoted to study of analogues of the functions weight, density and cellularity.
A theorem of Gleason states that every compact space admits a projective cover. More generally, in the category of topological spaces with continuous maps, covers exist with respect to the full subcategory of extremally disconnected spaces. Such a cover of a space is called its absolute. We prove that the absolute exists within the category of schematic spaces, i.e. the spaces underlying a scheme. For a schematic space, we use the absolute to generalize Bourbaki's concept of irreducible component,...
We investigate a family of topologies introduced similarly as the -density topology. In particular, we compare these topologies with respect to inclusion and we look for conditions under which these topologies are identical.