Investigating the ANR-property of metric spaces
In this expository paper it is shown that Martin's Axiom and the negation of the Continuum Hypothesis imply that the product of ccc spaces is a ccc space. The Continuum Hypothesis is then used to construct the Laver-Gavin example of two ccc spaces whose product is not a ccc space.
We consider isometry groups of a fairly general class of non standard products of metric spaces. We present sufficient conditions under which the isometry group of a non standard product of metric spaces splits as a permutation group into direct or wreath product of isometry groups of some metric spaces.
The principle that "any product of cofinite topologies is compact" is equivalent (without appealing to the Axiom of Choice) to the Boolean Prime Ideal Theorem.
This paper completes and improves results of [10]. Let , be two metric spaces and be the space of all -valued continuous functions whose domain is a closed subset of . If is a locally compact metric space, then the Kuratowski convergence and the Kuratowski convergence on compacta coincide on . Thus if and are boundedly compact metric spaces we have the equivalence of the convergence in the Attouch-Wets topology (generated by the box metric of and ) and convergence on ,...
We prove that every nonmetrizable compact connected Abelian group G has a family H of size |G|, the maximal size possible, consisting of proper dense pseudocompact subgroups of G such that H ∩ H'={0} for distinct H,H' ∈ H. An easy example shows that connectedness of G is essential in the above result. In the general case we establish that every nonmetrizable compact Abelian group G has a family H of size |G| consisting of proper dense pseudocompact subgroups of G such that each intersection H H'...
We define perfect morphisms to be those which are the pullback of their image under a given endofunctor. The interplay of these morphisms with other generalisations of perfect maps is investigated. In particular, closure operator theory is used to link closure and orthogonality properties of such morphisms. A number of detailed examples are given.