Topological sums and products in ZF-set theory

In ZF, i.e., Zermelo-Fraenkel set theory without the axiom of choice, the category Top of topological spaces and continuous maps is well-behaved. In particular, Top has sums (=coproducts) and products. However, it may happen that for families (Xi)_i∈I and (Yi)_i∈I with the property that each Xi is homeomorphic to the corresponding Yi neither their sums _⊕i∈IXi and _⊕i∈IYi nor their products _∏i∈IXi and _∏i∈IYi are homeomorphic. It will be shown that the axiom of choice is not only sufficient but also necessary to rectify this defect.     

Exponentiation in V-categories

For a Heyting algebra V which, as a category, is monoidal closed, we obtain characterizations of exponentiable objects and morphisms in the category of V-categories and apply them to some well-known examples. In the case these characterizations of exponentiable morphisms and objects in the categories (P)Met of (pre)metric spaces and non-expansive maps show in particular that exponentiable metric spaces are exactly the almost convex metric spaces, while exponentiable complete metric spaces are the complete totally convex ones.     

Lower and upper topologies in the Hausdorff partial order on a fixed set

In the partial order of Hausdorff topologies on a fixed infinite set there may exist topologies τ?σ in which there is no Hausdorff topology μ satisfying σ?μ?τ. τ and σ are lower and upper topologies in this partial order, respectively. Alas and Wilson showed that a compact Hausdorff space cannot contain a maximal point and therefore its topology is not lower. We generalize this result by showing that a maximal point in an H-closed space is not a regular point. Furthermore, we construct in ZFC an example of a countably compact, countably tight lower topology, answering a question of Alas and Wilson. Finally, we characterize topologies that are upper in this partial order as simple extension topologies.     

Countably compact topological group topologies on free Abelian groups from selective ultrafilters

Tkachenko showed in 1990 the existence of a countably compact group topology on the free Abelian group of size c using CH. Koszmider, Tomita and Watson showed in 2000 the existence of a countably compact group topology on the free Abelian group of size c² using a forcing model in which CH holds.Wallace's question from 1955, asks whether every both-sided cancellative countably compact semigroup is a topological group. A counterexample to Wallace's question has been called a Wallace semigroup. In 1996, Robbie and Svetlichny constructed a Wallace semigroup under CH. In the same year, Tomita constructed a Wallace semigroup from MAcountable.In this note, we show that the examples of Tkachenko, Robbie and Svetlichny, and Koszmider, Tomita and Watson can be obtained using a family of selective ultrafilters. As a corollary, the constructions presented here are compatible with the total failure of Martin's Axiom.     

Irreducible Specht modules for Hecke algebras of type A

Let F be a field, n a non-negative integer, λ a partition of n and S^λ the corresponding Specht module for the Iwahori-Hecke algebra H_F,q(S_n). James and Mathas conjecture a necessary and sufficient condition on λ for S^λ to be irreducible. We prove the sufficiency of this condition in the case where F has infinite characteristic and also in the case where q=1.     

Minimal KC spaces are compact

We show that every KC space (X,τ), such that τ is minimal among the KC topologies on X, must be compact (not necessarily T₂). This solves a long-standing question, first raised by R. Larson in 1973.     

On the projectors FF and FF

A particular version of the singular value decomposition is exploited for an extensive analysis of two orthogonal projectors, namely FF^† and F^†F, determined by a complex square matrix F and its Moore-Penrose inverse F^†. Various functions of the projectors are considered from the point of view of their nonsingularity, idempotency, nilpotency, or their relation to the known classes of matrices, such as EP, bi-EP, GP, DR, or SR. This part of the paper was inspired by Benítez and Rako?evi? [J. Benítez, V. Rako?evi?, Matrices A such that AA^† − A^†A are nonsingular, Appl. Math. Comput. 217 (2010) 3493-3503]. Further characteristics of FF^† and F^†F, with a particular attention paid on the results dealing with column and null spaces of the functions and their eigenvalues, are derived as well. Besides establishing selected exemplary results dealing with FF^† and F^†F, the paper develops a general approach whose applicability extends far beyond the characteristics provided therein.     

On adjunctions between Lim, SL-Top, and SL-Lim

Consider (L,*,1) be a commutative, strictly two-sided quantale with the underlying lattice L being meet-continuous. Two adjunctions, one is between limit spaces and stratified L-limit spaces and the other is between stratified L-limit spaces and stratified L-topological spaces, are established. The first adjunction can be viewed as an extension of Lowen's adjunction between the category of topological spaces and stratified [0,1]-topological spaces. The second is an extension of an adjunction between limit spaces and (stratified) L-topological spaces established in U. Höhle and T. Kubiak (Höhle-Kubiak, Semigroup Forum (2007)).     

On one-point metrizable extensions of locally compact metrizable spaces

For a non-compact metrizable space X, let E(X) be the set of all one-point metrizable extensions of X, and when X is locally compact, let EK(X) denote the set of all locally compact elements of E(X) and be the order-anti-isomorphism (onto its image) defined in [M. Henriksen, L. Janos, R.G. Woods, Properties of one-point completions of a non-compact metrizable space, Comment. Math. Univ. Carolin. 46 (2005) 105-123; in short HJW]. By definition λ(Y)=_?n<ωclβX(Un∩X)\X, where Y=X∪{p}∈E(X) and {Un}_n<ω is an open base at p in Y. We characterize the elements of the image of λ as exactly those non-empty zero-sets of βX which miss X, and the elements of the image of EK(X) under λ, as those which are moreover clopen in βX\X. This answers a question of [HJW]. We then study the relation between E(X) and EK(X) and their order structures, and introduce a subset ES(X) of E(X). We conclude with some theorems on the cardinality of the sets E(X) and EK(X), and some open questions.     

Countably compact hyperspaces and Frolík sums

Let H⁰(X) (H(X)) denote the set of all (nonempty) closed subsets of X endowed with the Vietoris topology. A basic problem concerning H(X) is to characterize those X for which H(X) is countably compact. We conjecture that u-compactness of X for some u∈ω^∗ (or equivalently: all powers of X are countably compact) may be such a characterization. We give some results that point into this direction.We define the property R(κ): for every family of closed subsets of X separated by pairwise disjoint open sets and any family of natural numbers, the product is countably compact, and prove that if H(X) is countably compact for a T₂-space X then X satisfies R(κ) for all κ. A space has R(1) iff all its finite powers are countably compact, so this generalizes a theorem of J. Ginsburg: if X is T₂ and H(X) is countably compact, then so is Xn for all n<ω. We also prove that, for κ<t, if the T₃ space X satisfies a weak form of R(κ), the orbit of every point in X is dense, and X contains κ pairwise disjoint open sets, then Xκ is countably compact. This generalizes the following theorem of J. Cao, T. Nogura, and A. Tomita: if X is T₃, homogeneous, and H(X) is countably compact, then so is Xω.Then we study the Frolík sum (also called “one-point countable-compactification”) of a family . We use the Frolík sum to produce countably compact spaces with additional properties (like first countability) whose hyperspaces are not countably compact. We also prove that any product _∏α<κH⁰(Xα) embeds into .     

Minimal pseudocompact group topologies on free abelian groups

A Hausdorff topological group G is minimal if every continuous isomorphism f:G→H between G and a Hausdorff topological group H is open. Significantly strengthening a 1981 result of Stoyanov, we prove the following theorem: For every infinite minimal abelian group G there exists a sequence of cardinals such that

     

A compact F-space not co-absolute with βN−N

We show that if every Parovi?enko space of weight $\text{c}$ is co-absolute with $\text{β}\text{N}\text{?}\text{N}$, then .     

Collectionwise Hausdorff versus collectionwise normal with respect to compact sets

Collectionwise normal (CWN) and collectionwise Hausdorff (CWH) spaces have played an increasingly important role in topology since the introduction of these concepts by R.H. Bing in 1951 [3]. It has remained an open and frequently raised question as to whether CWH T₃-spaces are CWN with respect to compact sets. Recently, a counterexample requiring the existence of measurable cardinals and having little additional topological structure was constructed by W.G. Fleissner and the author. In this paper, the author gives a simple example in ZFC of a CWH, first countable, perfect T₃-space that is not CWN with respect to compact, metrizable sets, and, under Martin's Axiom, such an example that is also a Moore space. In addition, the author considers the analogous question for strongly collectionwise Hausdorff (SCWH) T₃-spaces and characterizes the existence of SCWH T₃-spaces that are not CWN with respect to compact sets in set-theoretic and box product formulations. The constructions utilized throughout the paper are of a general nature and several apparently new set-theoretic techniques for interchanging ‘points’ and ‘sets’ are introduced.     

Upper semifinite hyperspaces as unifying tools in normal Hausdorff topology

In this paper we use the upper semifinite topology in hyperspaces to get results in normal Hausdorff topology. The advantage of this point of view is that the upper semifinite topology, although highly non-Hausdorff, is very easy to handle. By this way we treat different topics and relate topological properties on spaces with some topological properties in hyperspaces. This hyperspace is, of course, determined by the base space. We prove here some reciprocals which are not true for the usual Vietoris topology. We also point out that this framework is a very adequate one to construct the ?ech-Stone compactification of a normal space. We also describe compactness in terms of the second countability axiom and of the fixed point property. As a summary we relate non-Hausdorff topology with some facts in the core of normal Hausdorff topology. In some sense, we reinforce the unity of the subject.     

Basic homogeneity in the class of zero-dimensional compact spaces

We show that under the continuum hypothesis there is a compact zero-dimensional space which admits a base of pairwise homeomorphic clopen subsets but it is not an h-homogeneous space (i.e. not all of its nonempty clopen subsets are homeomorphic), partially answering a question of M.V. Matveev. Under Jensen's ? principle, we can even make the space hereditarily separable and hence, by a result of Matveev, an S-space.