A Corson Compact Space is Countable if the Complement of its Diagonal is Functionally Countable

A space X is called functionally countable if ƒ (X) is countable for any continuous function ƒ : X → Ø. Given an infinite cardinal k, we prove that a compact scattered space K with d(K) > k must have a convergent k+-sequence. This result implies that a Corson compact space K is countable if the space (K × K) \ ΔK is functionally countable; here ΔK = {(x, x): x ϵ K} is the diagonal of K. We also establish that, under Jensen’s Axiom ♦, there exists a compact hereditarily separable non-metrizable compact space X such that (X × X) \ ΔX is functionally countable and show in ZFC that there exists a non-separable σ-compact space X such that (X × X) \ ΔX is functionally countable.

CHAINS OF FUNCTIONS IN -SPACES

The Bishop property (♗), introduced recently by K. P. Hart, T. Kochanek and the first-named author, was motivated by Pełczyński’s classical work on weakly compact operators on $C(K)$-spaces. This property asserts that certain chains of functions in said spaces, with respect to a particular partial ordering, must be countable. There are two versions of (♗): one applies to linear operators on $C(K)$-spaces and the other to the compact Hausdorff spaces themselves. We answer two questions that arose after (♗) was first introduced. We show that if $\mathscr{D}$ is a class of compact spaces that is preserved when taking closed subspaces and Hausdorff quotients, and which contains no nonmetrizable linearly ordered space, then every member of $\mathscr{D}$ has (♗). Examples of such classes include all $K$ for which $C(K)$ is Lindelöf in the topology of pointwise convergence (for instance, all Corson compact spaces) and the class of Gruenhage compact spaces. We also show that the set of operators on a $C(K)$-space satisfying (♗) does not form a right ideal in $\mathscr{B}(C(K))$. Some results regarding local connectedness are also presented.

The partially pre-ordered set of compactifications of Cp(X, Y)

In the set of compactifications of X we consider the partial pre-order defined by (W, h) ≤X (Z, g) if there is a continuous function f : Z ⇢ W, such that (f ∘ g)(x) = h(x) for every x ∈ X. Two elements (W, h) and (Z, g) of K(X) are equivalent, (W, h) ≡X (Z, g), if there is a homeomorphism h : W ! Z such that (f ∘ g)(x) = h(x) for every x ∈ X. We denote by K(X) the upper semilattice of classes of equivalence of compactifications of X defined by ≤X and ≡X. We analyze in this article K(Cp(X, Y)) where Cp(X, Y) is the space of continuous functions from X to Y with the topology inherited from the Tychonoff product space YX. We write Cp(X) instead of Cp(X, R).We prove that for a first countable space Y, K(Cp(X, Y)) is not a lattice if any of the following cases happen:(a) Y is not locally compact,(b) X has only one non isolated point and Y is not compact.Furthermore, K(Cp(X)) is not a lattice when X satisfies one of the following properties:(i) X has a non-isolated point with countable character,(ii) X is not pseudocompact,(iii) X is infinite, pseudocompact and Cp(X) is normal,(iv) X is an infinite generalized ordered space.Moreover, K(Cp(X)) is not a lattice when X is an infinite Corson compact space, and for every space X, K(Cp(Cp(X))) is not a lattice. Finally, we list some unsolved problems.

Compact Sets in CP(X) and Calibers

This presentation concerns the relation of chain conditions on a space X, with the weights of compact sets in Cp(X), generalizing up to the class of dσ-bounded spaces, or stable spaces. In the last case, stronger results are obtained for Corson compact subsets of CP(X).

On a theorem of Sobczyk

In this paper the result of Sobczyk about complemented copies of c0 is extended to a class of Banach spaces X such that the unit ball of their dual endowed with the weak* topology has a certain topological property satisfied by every Corson-compact space. By means of a simple example it is shown that if Corson-compact is replaced by Rosenthal-compact, this extension does not hold. This example gives an easy proof of a result of Phillips and an easy solution to a question of Sobczyk about the existence of a Banach space E, c0 ⊂ E ⊂ l∞, such that E is not complemented in l∞ and c0 is not complemented in E. Assuming the continuum hypothesis, it is proved that there exists a Rosenthal-compact space K such that C(K) has no projectional resolution of the identity.