515.12We investigate the functor OH of positive-homogenous functionals and the functor OS of semiadditive functionals. We prove that OH X ( ) is an absolute retract if and only if X is an open-generated compactum, and OS X ( ) is an absolute retract if and only if X is an opengenerated compactum of weight ≤ ω 1 . We investigate the softness of mappings of multiplication of monads generated by these functors. IntroductionIn [1], Fedorchuk posed the following general question: How do functors affect certain geometric properties of spaces and mappings between them? Geometric properties are understood here as the property of a space to be an absolute retract, the property of a mapping to be soft or to be a Tikhonov fibering, etc.There have been many investigations in this direction involving such functors as the hyperspace functor, probability-measure functor, superextension functor, and other functors (see, e.g., [2]).As an example, consider the probability-measure functor and the superextension functor. There is a natural structure of linear convexity on the space P X ( ) for an arbitrary compactum X. For λ, de Groot [3] constructed an abstract (not linear) convexity on an arbitrary space of the form λ( ) X , and this convexity is binary, whereas the linear convexity on P X ( ) is not binary. The functors P and λ have different geometric properties. For example, the functor P, in contrast to λ, does not give absolute retracts in weights greater than ω 1 .The notion of convexity considered in the present paper is considerably broader than the classic one because it does not depend on the presence of a linear structure on a space. Our approach is based on the notion of topological convexity introduced in [4]. In [5], Radul associated every monad F with a certain abstract convexity structure on every space FX, where F is the functorial part of the monad F. If a monad F is an L-monad that weakly preserves preimages, then this convexity generates a topology of the space FX. It was also shown in [5] that L-monads that weakly preserve preimages and for which the introduced convexity structure is binary possess good geometric properties in weights greater than ω 1 (Theorem 3.3).In the present paper, we consider functors OS and OH (introduced in [6, 7]) that generate L-monads. The monad OS does not generate binary convexities, whereas the monad OH is binary, which is one of the factors that cause the difference in the geometric properties of these monads: the properties of OS are close to those of P, and the properties of OH are closer to those of λ. Definitions and FactsIn the present paper, we consider only objects and morphisms of the category Comp, i.e., compact Hausdorff spaces (or, briefly, compacta) and continuous mappings between them.
Abstract. We show that there is no monad based on the normal functor H introduced earlier by Radul which is a certain functorial compactification of the HartmanMycielski construction HM . IntroductionThe general theory of functors acting on the category Comp of compact Hausdorff spaces (compacta) and continuous mappings was founded by Shchepin [Sh]. He described some elementary properties of such functors and defined the notion of the normal functor which has become very fruitful. The classes of all normal functors include many classical constructions: the hyperspace exp, the space of probability measures P , the space of idempotent measures I, and many other functors (cf.[ FZ], [TZ], [Z]).Let X be a space and d an admissible metric on X bounded by 1. By HM (X) we shall denote the space of all maps from [0, 1) to the space X such that f |[t i , t i+1 ) ≡ const, for some 0 = t 0 ≤ · · · ≤ t n = 1, with respect to the following metricThe construction of HM (X) is known as the Hartman-Mycielski construction [HM] and was introduced for purposes of topological groups theory. However it found some applications not connected with groups (see for example [Z1]).The construction HM was considered for any compactum Z in [TZ; 2.5.2]. Let U be the unique uniformity of Z. For every U ∈ U and ε > 0, letThe sets < α, U, ε > form a base of a topology in HM Z. The construction HM acts also on maps. Given a map f : X → Y in Comp, define a map HM X → HM Y by the formula HM F (α) = f • α. In general, HM X is not compact. Let us fix some n ∈ N. For every compactum Z consider HM n (Z) = f ∈ HM (Z) | there exist 0 = t 1 < · · · < t n+1 = 1 with f |[t i , t i+1 ) ≡ z i ∈ Z, i = 1, . . . , n .1991 Mathematics Subject Classification. 54B30, 57N20.
No abstract
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.
hi@scite.ai
10624 S. Eastern Ave., Ste. A-614
Henderson, NV 89052, USA
Copyright © 2024 scite LLC. All rights reserved.
Made with 💙 for researchers
Part of the Research Solutions Family.