Compact Metric Spaces and Weak Forms of the Axiom of Choice

It is shown that for compact metric spaces (X, d) the following statements are pairwise equivalent: “X is Loeb”, “X is separable”, “X has a we ordered dense subset”, “X is second countable”, and “X has a dense set G = ∪{G_n : n ∈ ω}, ∣G_n∣ < ω, with lim_n→∞ diam (G _n) = 0”. Further, it is shown that the statement: “Compact metric spaces are weakly Loeb” is not provable in ZF⁰ , the Zermelo‐Fraenkel set theory without the axiom of regularity, and that the countable axiom of choice for families of finite sets CAC_fin does not imply the statement “Compact metric spaces are separable”.     

The Compactness of 2ℝ and the Axiom of Choice

We show that for every we ordered cardinal number m the Tychonoff product 2^m is a compact space without the use of any choice but in Cohen's Second Mode 2^ℝ is not compact.     

Tychonoff products of compact spaces in ZF and closed ultrafilters

Let {(X_i, T_i): i ∈I } be a family of compact spaces and let X be their Tychonoff product. ??(X) denotes the family of all basic non‐trivial closed subsets of X and ??_R(X) denotes the family of all closed subsets H = V × ΠX_i of X, where V is a non‐trivial closed subset of ΠX_i and Q_H is a finite non‐empty subset of I. We show: (i) Every filterbase ?? ? ??_R(X) extends to a ??_R(X)‐ultrafilter ? if and only if every family H ? ??(X) with the finite intersection property (fip for abbreviation) extends to a maximal ??(X) family F with the fip. (ii) The proposition “if every filterbase ?? ? ??_R(X) extends to a ??_R(X)‐ultrafilter ?, then X is compact” is not provable in ZF. (iii) The statement “for every family {(X_i, T_i): i ∈ I } of compact spaces, every filterbase ?? ? ??_R(Y), Y = Π_{i ∈I}Y_i, extends to a ??_R(Y)‐ultrafilter ?” is equivalent to Tychonoff's compactness theorem. (iv) The statement “for every family {(X_i, T_i): i ∈ ω } of compact spaces, every countable filterbase ?? ? ??_R(X), X = Π_{i ∈ω}X_i, extends to a ??_R(X)‐ultrafilter ?” is equivalent to Tychonoff's compactness theorem restricted to countable families. (v) The countable Axiom of Choice is equivalent to the proposition “for every family {(X_i, T_i): i ∈ ω } of compact topological spaces, every countable family ?? ? ??(X) with the fip extends to a maximal ??(X) family ? with the fip” (© 2010 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Compactness in Countable Tychonoff Products and Choice

We study the relationship between the countable axiom of choice and the Tychonoff product theorem for countable families of topological spaces.     

On Countable Products of Finite Hausdorff Spaces

We investigate in ZF (i.e., Zermelo‐Fraenke set theory without the axiom of choice) conditions that are necessary and sufficient for countable products ∏_m∈ℕX_m of (a) finite Hausdorff spaces X_m resp. (b) Hausdorff spaces X_m with at most n points to be compact resp. Baire. Typica results: (i) Countable products of finite Hausdorff spaces are compact (resp. Baire) if and only if countable products of non‐empty finite sets are non‐empty. (ii) Countable products of discrete spaces with at most n + 1 points are compact (resp. Baire) if and only if countable products of non‐empty sets with at most n points are non‐empty.     

Totally Bounded Quasi-Uniformities and Pseudocompactness of Bispaces

 We characterize pairwise Tychonoff bispaces that admit only totally bounded quasi-uniformities in terms of a suitable notion of bitopological pseudocompactness. We also show that a pairwise Tychonoff bispace has a unique (up to equivalence) bicompactification if and only if it admits a unique totally bounded quasi-unifomity. These results extend classical theorems of R. Doss for uniform spaces to the quasi-uniform (bitopological) setting, and are applied to the study of T ₀ topological spaces that admit a unique quasi-uniformity and a unique bicompactification, respectively. Finally, we discuss the problem of extending the classical Glicksberg theorem on product of pseudocompact spaces to bispaces and a partial solution is obtained. Supported by the Spanish Ministry of Science and Technology, grant BFM2000-1111. Supported by a grant from Generalitat Valenciana. Received November 7, 2001; in revised form August 14, 2002     

Extending Independent Sets to Bases and the Axiom of Choice

We show that the both assertions “in every vector space B over a finite element field every subspace V ? B has a complementary subspace S” and “for every family ?? of disjoint odd sized sets there exists a subfamily ?={F_j:j ?ω} with a choice function” together imply the axiom of choice AC. We also show that AC is equivalent to the statement “in every vector space over ? every generating set includes a basis”.     

Long Borel hierarchies

We show that there is a model of ZF in which the Borel hierarchy on the reals has length ω₂. This implies that ω₁ has countable cofinality, so the axiom of choice fails very badly in our model. A similar argument produces models of ZF in which the Borel hierarchy has exactly λ + 1 levels for any given limit ordinal λ less than ω₂. We also show that assuming a large cardinal hypothesis there are models of ZF in which the Borel hierarchy is arbitrarily long. (© 2008 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Hemiring-homomorphisms,Stone Čech Compactification and Hewitt Realcompactification

In this paper the Stone-ech Compactification and Hewitt Realcompactification of a Tychonoff space X are shown as the spaces of Hemiring Homomorphisms from the hemirings C^*₊(X) and C₊(X) to IR₊ respectively.AMS Subject Classification: 2000, 54E25     

Reflecting topological properties in continuous images

Given a topological property P, we study when it reflects in small continuous images, i.e., when for some infinite cardinal κ, a space X has P if and only if all its continuous images of weight less or equal to κ have P. We say that a cardinal invariant η reflects in continuous images of weight κ ⁺ if η(X) ≤ κ provided that η(Y) ≤ κ whenever Y is a continuous image of X of weight less or equal to κ ⁺. We establish that, for any infinite cardinal κ, the spread, character, pseudocharacter and Souslin number reflect in continuous images of weight κ ⁺ for arbitrary Tychonoff spaces. We also show that the tightness reflects in continuous images of weight κ ⁺ for compact spaces.     

A categorical property of the Stone-Čech compactification

We study some categorical properties of the functor O _β of weakly additive functionals acting in the category Tych of the Tychonoff spaces and their continuous mappings. We show that O _β preserves the weight of infinite-dimensional Tychonoff spaces, the singleton, and the empty set, and that O _β is monomorphic and continuous in the sense of T. Banakh, takes every perfect mapping to an epimorphism, and preserves intersections of functionally closed sets in a Tychonoff space.     

Anti-Wick Symbols for Infinite Products in K-Homology

We consider infinite products in K-homology. We study these products in relation with operators on filtered Hilbert spaces, and infinite iterations of universal constructions on C*-algebras. In particular, infinite tensor power of extensions of pseudodifferential operators on R are considered. We extend anti-Wick pseudodifferential operators to infinite tensor products of spaces of the type L ²(R), and compare our infinite tensor power construction with an extension of pseudodifferential operators on R . We show that the K-theory connecting maps coincide. We propose a natural definition of ellipticity for anti-Wick operators on R, compute the corresponding index, and draw some consequences concerning these operators.     

On ordinary and standard products of infinite family of <Emphasis Type="Italic">σ</Emphasis>-finite measures and some of their applications

We introduce notions of ordinary and standard products of σ-finite measures and prove their existence. This approach allows us to construct invariant extensions of ordinary and standard products of Haar measures. In particular, we construct translation-invariant extensions of ordinary and standard Lebesgue measures on ℝ^∞ and Rogers-Fremlin measures on ℓ ^∞, respectively, such that topological weights of quasi-metric spaces associated with these measures are maximal (i.e., 2 ^c ). We also solve some Fremlin problems concerned with an existence of uniform measures in Banach spaces.     

Every scattered space is subcompact

We prove that every scattered space is hereditarily subcompact and any finite union of subcompact spaces is subcompact. It is a long-standing open problem whether every ?ech-complete space is subcompact. Moreover, it is not even known whether the complement of every countable subset of a compact space is subcompact. We prove that this is the case for linearly ordered compact spaces as well as for ω  -monolithic compact spaces. We also establish a general result for Tychonoff products of discrete spaces which implies that dense _Gδ$G_{\delta }$-subsets of Cantor cubes are subcompact.     

Topology vs. algebra: Themes in the research of Mel Henriksen

We discuss themes in our joint research with Mel Henriksen. These include the prime ideal structure of C(X), regular ring extensions of C(X), and the construction of various “covers” (generalizations of absolutes) of Tychonoff spaces. We also reflect on Mel Henriksen the man.     

Natural examples of Valdivia compact spaces

We collect examples of Valdivia compact spaces, their continuous images and associated classes of Banach spaces which appear naturally in various branches of mathematics. We focus on topological constructions generating Valdivia compact spaces, linearly ordered compact spaces, compact groups, L¹ spaces, Banach lattices and noncommutative L¹ spaces.     

On Pseudocompact, Countably Compact, Locally Bicompact Mappings, and k-Mappings

We consider various definitions of a pseudocompact mapping and the basic properties of pseudocompact mappings. Moreover, we consider the definition of countable compactness of a continuous mapping and study the properties of a countably compact mapping similar to the corresponding properties for countably compact spaces and also the interrelation between countable compactness and pseudocompactness of mappings. We also extend the notions of local bicompactness and k-space to continuous mappings.     

A note on the extent of two subclasses of star countable spaces

We prove that every Tychonoff strongly monotonically monolithic star countable space is Lindelöf, which solves a question posed by O.T. Alas et al. We also use this result to generalize a metrization theorem for strongly monotonically monolithic spaces. At the end of this paper, we study the extent of star countable spaces with k-in-countable bases, k ∈ ?.     

Baire functions and spaces of Baire functions

The paper considers (1) the tightness of spaces of Baire functions and their subspaces endowed with the topology of pointwise convergence; (2) Z _σ-mappings of K-analytic spaces; (3) K _σ-analytic spaces (Tychonoff spaces that are Z _σ-images of K-analytic spaces). __________ Translated from Fundamentalnaya i Prikladnaya Matematika, Vol. 9, No. 4, pp. 3–39, 2003.     

Towards an L^p Potential Theory for Sub-Markovian Semigroups： Kernels and Capacities

We study in fairly general measure spaces （X,μ） the （non-linear） potential theory of L^p sub-Markovian semigroups which are given by kernels having a density with respect to the underlying measure. In terms of mapping properties of the operators we provide sufficient conditions for the existence （and regularity） of such densities. We give various （dual） representations for several associated capacities and, in the corresponding abstract Bessel potential spaces, we study the role of the truncation property. Examples are discussed in the case of R^n where abstract Bessel potential spaces can be identified with concrete function spaces.