Extending complete continuous pseudometrics
An Open Coloring Axiom type principle is formulated for uncountable cardinals and is shown to be a consequence of the Proper Forcing Axiom. Several applications are found. We also study dense C*-embedded subspaces of ω*, showing that there can be such sets of cardinality and that it is consistent that ω*{pis C*-embedded for some but not all p ∈ ω*.
A classical theorem of Kuratowski says that every Baire one function on a subspace of a Polish (= separable completely metrizable) space X can be extended to a Baire one function on X. Kechris and Louveau introduced a finer gradation of Baire one functions into small Baire classes. A Baire one function f is assigned into a class in this hierarchy depending on its oscillation index β(f). We prove a refinement of Kuratowski’s theorem: if Y is a subspace of a metric space X and f is a real-valued...
If a metric subspace Mº of an arbitrary metric space M carries a doubling measure μ, then there is a simultaneous linear extension of all Lipschitz functions on Mº ranged in a Banach space to those on M. Moreover, the norm of this linear operator is controlled by logarithm of the doubling constant of μ.
We present a categorical approach to the extension of probabilities, i.e. normed -additive measures. J. Novák showed that each bounded -additive measure on a ring of sets is sequentially continuous and pointed out the topological aspects of the extension of such measures on over the generated -ring : it is of a similar nature as the extension of bounded continuous functions on a completely regular topological space over its Čech-Stone compactification (or as the extension of continuous...
A subspace A of a topological space X is said to be -embedded ((point-finite)-embedded) in X if every (point-finite) partition of unity α on A with |α| ≤ γ extends to a (point-finite) partition of unity on X. The main results are: (Theorem A) A subspace A of X is (point-finite)-embedded in X iff it is -embedded and every countable intersection B of cozero-sets in X with B ∩ A = ∅ can be separated from A by a cozero-set in X. (Theorem B) The product A × [0,1] is (point-finite)-embedded in X...
We study extension operators between spaces of continuous functions on the spaces of subsets of X of cardinality at most n. As an application, we show that if is the unit ball of a nonseparable Hilbert space H equipped with the weak topology, then, for any 0 < λ < μ, there is no extension operator .
We characterize, in terms of X, the extensional dimension of the Stone-Čech corona βX∖X of a locally compact and Lindelöf space X. The non-Lindelöf case is also settled in terms of extending proper maps with values in , where L is a finite complex. Further, for a finite complex L, an uncountable cardinal τ and a -set X in the Tikhonov cube we find a necessary and sufficient condition, in terms of , for X to be in the class AE([L]). We also introduce a concept of a proper absolute extensor and...
We present an approach to cohomological dimension theory based on infinite symmetric products and on the general theory of dimension called the extension dimension. The notion of the extension dimension ext-dim(X) was introduced by A. N. Dranishnikov [9] in the context of compact spaces and CW complexes. This paper investigates extension types of infinite symmetric products SP(L). One of the main ideas of the paper is to treat ext-dim(X) ≤ SP(L) as the fundamental concept of cohomological dimension...