On bicompacta in -products and related spaces
The structure of binary coproducts in the category of frames is analyzed, and the results are then applied widely in the study of compactness, local compactness (continuous frames), separatedness, pushouts and closed frame homomorphisms.
The results concern clopen sets in products of topological spaces. It is shown that a clopen subset of the product of two separable metrizable (or locally compact) spaces is not always a union of clopen boxes. It is also proved that any clopen subset of the product of two spaces, one of which is compact, can always be represented as a union of clopen boxes.
Given a compact Hausdorff space K we consider the Banach space of real continuous functions C(Kⁿ) or equivalently the n-fold injective tensor product or the Banach space of vector valued continuous functions C(K,C(K,C(K...,C(K)...). We address the question of the existence of complemented copies of c₀(ω₁) in under the hypothesis that C(K) contains such a copy. This is related to the results of E. Saab and P. Saab that contains a complemented copy of c₀ if one of the infinite-dimensional Banach...