Hyperspace of finite unions of convergent sequences

The symbol S(X) denotes the hyperspace of finite unions of convergent sequences in a Hausdor˛ space X. This hyper-space is endowed with the Vietoris topology. First of all, we give a characterization of convergent sequence in S(X). Then we consider some cardinal invariants on S(X), and compare the character, the pseudocharacter, the sn-character, the so-character, the network weight and cs-network weight of S(X) with the corresponding cardinal function of X. Moreover, we consider rank k-diagonal on S(X), and give a space X with a rank 2-diagonal such that S(X) does not Gδ -diagonal. Further, we study the relations of some generalized metric properties of X and its hyperspace S(X). Finally, we pose some questions about the hyperspace S(X).

Density and capacity of balleans generated by filters

UDC 519.51 We consider a ballean with an infinite support and a free filter on and define for every and The ballean will be called the <em>ballean-filter mix</em> of and and denoted by It was introduced in [O. V. Petrenko, I. V. Protasov, <em>Balleans and filters</em>, Mat. Stud., <strong>38</strong>, No. 1, 3–11 (2012)] and was used to construction of a non-metrizable Frechet group ballean. In this paper some cardinal invariants are compared. In particular, we give a partial answer to the question: if we mix an ordinal unbounded ballean with a free filter of the subsets of its support, will the mix-structure's density be equal to its capacity, as it holds in the original balleans?

Quasicontinuous functions and the topology of uniform convergence on compacta

Let X be a Hausdorff topological space, Q(X,R) be the space of all quasicontinuous functions on X with values in R and ?UC be the topology of uniform convergence on compacta. If X is hemicompact, then (Q(X,R), ?UC) is metrizable and thus many cardinal invariants, including weight, density and cellularity coincide on (Q(X,R), ?UC). We find further conditions on X under which these cardinal invariants coincide on (Q(X,R), ?UC) as well as characterizations of some cardinal invariants of (Q(X,R), ?UC). It is known that the weight of continuous functions (C(R,R), ?UC) is ?0. We will show that the weight of (Q(R,R), ?UC) is 2c.

Cardinal invariants of Haar null and Haar meager sets

A subset X of a Polish group G is Haar null if there exists a Borel probability measure μ and a Borel set B containing X such that μ(gBh) = 0 for every g, h ∈ G. A set X is Haar meager if there exists a compact metric space K, a continuous function f : K → G and a Borel set B containing X such that f−1(gBh) is meager in K for every g, h ∈ G. We calculate (in ZFC) the four cardinal invariants (add, cov, non, cof) of these two σ-ideals for the simplest non-locally compact Polish group, namely in the case $G = \mathbb {Z}^\omega$ . In fact, most results work for separable Banach spaces as well, and many results work for Polish groups admitting a two-sided invariant metric. This answers a question of the first named author and Vidnyánszky.

The Axiom of Choice and the Partition Principle from Dialectica Categories

The method of morphisms is a well-known application of Dialectica categories to set theory (more precisely, to the theory of cardinal invariants of the continuum). In a previous work, Valeria de Paiva and the author have asked how much of the Axiom of Choice is needed in order to carry out the referred applications of such method. In this paper, we show that, when considered in their full generality, those applications of Dialectica categories give rise to equivalents (within $\textbf{ZF}$) of either the Axiom of Choice ($\textbf{AC}$) or Partition Principle ($\textbf{PP}$)—which is a consequence of $\textbf{AC}$ whose precise status of its relationship with$\textbf{AC}$ itself is an open problem for more than a hundred years.