Functional separation of inductive limits and representation of presheaves by sections. Part II. Embedding of presheaves into presheaves of compact spaces
Given an ordered metric space (in particular, a Banach lattice) E, the generalized Helly space H(E) is the set of all increasing functions from the interval [0,1] to E considered with the topology of pointwise convergence, and E is said to have property (λ) if each of these functions has only countably many points of discontinuity. The main objective of the paper is to study those ordered metric spaces C(K,E), where K is a compact space, that have property (λ). In doing so, the guiding idea comes...
We construct a precompact completely regular paratopological Abelian group G of size (2ω)+ such that all subsets of G of cardinality ≤ 2ω are closed. This shows that Protasov’s theorem on non-closed discrete subsets of precompact topological groups cannot be extended to paratopological groups. We also prove that the group reflection of the product of an arbitrary family of paratopological (even semitopological) groups is topologically isomorphic to the product of the group reflections of the factors,...
We deal with a hyperspace selection problem in the setting of connected spaces. We present two solutions of this problem illustrating the difference between selections for the nonempty closed sets, and those for the at most two-point sets. In the first case, we obtain a characterisation of compact orderable spaces. In the latter case --- that of selections for at most two-point sets, the same selection property is equivalent to the existence of a ternary relation on the space, known as a cyclic...
We call a topological space -compact if every subset of size has a complete accumulation point in it. Let denote the following statement: and there is such that whenever . We show that if holds and the space is both -compact and -compact then is -compact as well. Moreover, from PCF theory we deduce for every singular cardinal . As a corollary we get that a linearly Lindelöf and -compact space is uncountably compact, that is -compact for all uncountable cardinals .
Let be a bounded countable metric space and a constant, such that , for any pairwise distinct points of . For such metric spaces we prove that they can be isometrically embedded into any Banach space containing an isomorphic copy of .
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.
In this paper -spaces are introduced and studied. They are a common generalization of Lindelöf spaces and -spaces researched by E. Michael. A space is called an -space if, whenever is a closed cover of with compact, then or is Lindelöf. Semi-strong -spaces and strong -spaces are also defined and investigated. It is demonstrated that the three spaces are different and have interesting properties and behaviors.
Nous nous proposons de rendre à Émile Borel le mérite d’avoir considéré le premier un recouvrement d’un segment de droite par une suite infinie d’intervalles et prouvé que l’on peut en extraire un sous-recouvrement fini. L’appellation de théorème de Heine-Borel souvent donnée à ce résultat, en référence à un article de Heine de 1872, conduit à sous-estimer les différences avec le théorème sur la continuité uniforme (dont une première version peut être attribuée à Dirichlet, en 1854) ; cette dénomination...