Representable topologies and locally connected spaces

The objective of this paper is to study certain order-theoretic properties of locally connected topologies. In the main theorem we prove that the assertion that a locally connected topology which satisfies the countable chain condition has the continuous representability property is undecidable in ZFC set theory. Some related problems and generalizations are also included.     

Typical curvature behaviour of bodies of constant width

It is known that an n-dimensional convex body, which is typical in the sense of Baire category, shows a simple, but highly non-intuitive curvature behaviour: at almost all of its boundary points, in the sense of measure, all curvatures are zero, but there is also a dense and uncountable set of boundary points at which all curvatures are infinite. The purpose of this paper is to find a counterpart to this phenomenon for typical convex bodies of given constant width. Such bodies cannot have zero curvatures. A main result says that for a typical n-dimensional convex body of constant width 1 (without loss of generality), at almost all boundary points, in the sense of measure, all curvatures are equal to 1. (In contrast, note that a ball of width 1 has radius 1/2, hence all its curvatures are equal to 2.) Since the property of constant width is linear with respect to Minkowski addition, the proof requires recourse to a linear curvature notion, which is provided by the tangential radii of curvature.     

Hereditary invertible linear surjections and splitting problems for selections

Let A+B be the pointwise (Minkowski) sum of two convex subsets A and B of a Banach space. Is it true that every continuous mapping h:X→A+B splits into a sum h=f+g of continuous mappings f:X→A and g:X→B? We study this question within a wider framework of splitting techniques of continuous selections. Existence of splittings is guaranteed by hereditary invertibility of linear surjections between Banach spaces. Some affirmative and negative results on such invertibility with respect to an appropriate class of convex compacta are presented. As a corollary, a positive answer to the above question is obtained for strictly convex finite-dimensional precompact spaces.     

On idempotents of a class of commutative rings

Abstract

In the present work, a procedure for determining idempotents of a commutative ring having a sequence of ideals with certain properties is presented. As an application of this procedure, idempotent elements of various commutative rings are determined. Several examples are included illustrating the main results.     

Examples from trees, related to discrete subsets, pseudo-radiality and ω-boundedness

We construct some examples using trees. Some of them are consistent counterexamples for the discrete reflection of certain topological properties. All the properties dealt with here were already known to be non-discretely reflexive if we assume CH and we show that the same is true assuming the existence of a Suslin tree. In some cases we actually get some ZFC results. We construct also, using a Suslin tree, a compact space that is pseudo-radial but it is not discretely generated. With a similar construction, but using an Aronszajn tree, we present a ZFC space that is first countable, ω-bounded but is not strongly ω-bounded, answering a question of Peter Nyikos.     

Hyperspace of convex compacta of nonmetrizable compact convex subspaces of locally convex spaces

Our main result states that the hyperspace of convex compact subsets of a compact convex subset X in a locally convex space is an absolute retract if and only if X is an absolute retract of weight ?ω₁. It is also proved that the hyperspace of convex compact subsets of the Tychonov cube Iω₁ is homeomorphic to Iω₁. An analogous result is also proved for the cone over Iω₁. Our proofs are based on analysis of maps of hyperspaces of compact convex subsets, in particular, selection theorems for such maps are proved.     

Separable subspaces of affine function spaces on convex compact sets

Let K be a compact convex subset of a separated locally convex space (over R) and let Ap(K) denote the space of all continuous real-valued affine mappings defined on K, endowed with the topology of pointwise convergence on the extreme points of K. In this paper we shall examine some topological properties of Ap(K). For example, we shall consider when Ap(K) is monolithic and when separable compact subsets of Ap(K) are metrizable.     

Fréchet-Urysohn for finite sets, II

We continue our study [G. Gruenhage, P.J. Szeptycki, Fréchet Urysohn for finite sets, Topology Appl. 151 (2005) 238-259] of several variants of the property of the title. We answer a question from that paper by showing that a space defined in a natural way from a certain Hausdorff gap is a Fréchet α₂ space which is not Fréchet-Urysohn for 2-point sets (FU₂), and answer a question of Hrušák by showing that under MAω₁, no such “gap space” is FU₂. We also introduce versions of the properties which are defined in terms of “selection principles”, give examples when possible showing that the properties are distinct, and discuss relationships of these properties to convergence in product spaces, to the αi-spaces of A.V. Arhangel'skii, and to topological games.     

Selections and topological convexity

A simple natural proof of van de Vel's selection theorem for topological convex structures is given. The technique developed to achieve this proof allows to give also a direct simple proof of the classical Michael's selection theorem in Fréchet spaces, and the Horvath's selection theorem in metric l.c.-spaces.     

Axiomatic theory of convexity

The axiomatic construction of the theory of convexity proceeds from an arbitrary set M and a mapping l: M² 2^M, i.e., from a pair (M, l). It is shown that such a space of a certain type is domain finite. A condition is given which, for such spaces, implies join-hull commutativity. A connection is established between the Carathéodory number and join-hull commutativity. Conditions are given which imply a separation property of the space (M, l). Convexity spaces which are domain finite are characterized.Translated from Matematicheskie Zametki, Vol. 20, No. 5, pp. 761–770, November, 1976.     

Continuous selections of multifunctions with weakly convex values

We obtain some selection theorems for multifunctions with weakly convex values. For this purpose, some new properties of weakly convex sets in a Hilbert space are investigated. We also present some examples showing the importance of various assumptions in these selection theorems.     

Extending paired multifunctions

As a rule, the classical Michael-type selection theorems for the existence of single-valued selections are analogues and, in certain respects, generalisations of ordinary extension theorems. In contrast to this, the theorems for the existence of multi-selections deal with natural generalisations of cover properties of topological spaces. This paper continues the study of the latter problem, and its main purpose is to furnish a mapping characterisation of a cover-extension property—the so-called Katětov spaces.     

When is a Volterra space Baire?

In this paper, we study the problem when a Volterra space is Baire. It is shown that every stratifiable Volterra space is Baire. This answers affirmatively a question of Gruenhage and Lutzer in [G. Gruenhage, D. Lutzer, Baire and Volterra spaces, Proc. Amer. Math. Soc. 128 (2000) 3115-3124]. Further, it is established that a locally convex topological vector space is Volterra if and only if it is Baire; and the weak topology of a topological vector space fails to be Baire if the dual of the space contains an infinite linearly independent pointwise bounded subset.     

Right inverses of linear maps on convex sets

We study, via continuous selections of multivalued maps, the problem of finding a right inverse to the restriction of a linear map to a convex body.     

Division closed lattice-ordered rings and commutative L*-rings

Abstract

The paper continues the study of division closed lattice-ordered rings and commutative L*-rings. More interesting properties of division closed lattice-ordered rings are presented and it is shown that under certain conditions such rings are f-rings. The main result on L*-rings is that for a commutative semilocal ring with the identity, it is L* if and only if it is O*.     

Infinite distributive laws versus local connectedness and compactness properties

Various local connectedness and compactness properties of topological spaces are characterized by higher degrees of distributivity for their lattices of open (or closed) sets, and conversely. For example, those topological spaces for which not only the lattice of open sets but also that of closed sets is a frame, are described by the existence of web neighborhood bases, where webs are certain specific path-connected sets. Such spaces are called web spaces. The even better linked wide web spaces are characterized by F-distributivity of their topologies, and the worldwide web spaces (or C-spaces) by complete distributivity of their topologies. Similarly, strongly locally connected spaces and locally hypercompact spaces are characterized by suitable infinite distributive laws. The web space concepts are also viewed as natural extensions of spaces that are semilattices with respect to the specialization order and have continuous (unary, binary or infinitary) semilattice operations.     

Minimal antiderivatives and monotonicity

We consider settings in convex analysis which give rise to families of convex functions that contain their lower envelope. Given certain partial data regarding a subdifferential, we consider the family of all convex antiderivatives that comply with the given data. We prove that this family is not empty and, in particular, contains a minimal antiderivative under a fairly general assumption on the given data. It turns out that the representation of monotone operators by convex functions fits naturally in these settings. Duality properties of representing functions are also captured by these settings, and the gap between the Fitzpatrick function and the Fitzpatrick family is filled by this broader sense of minimality of the Fitzpatrick function.     

The nonexistence of expansive commutative group actions on Peano continua having free dendrites

A dendrite D in a metric space X is said to be free if there exists a connected open set U in X such that . In this paper, we prove that there is no expansive commutative group action on any Peano continuum having a free dendrite. In particular, no 1-dimensional compact ANR admits an expansive commutative group action.     

Bead spaces and fixed point theorems

The notion of a bead metric space defined here (see Definition 6) is a nice generalization of that of the uniformly convex normed space. In turn, the idea of a central point for a mapping when combined with the “single central point” property of the bead spaces enables us to obtain strong and elegant extensions of the Browder-Göhde-Kirk fixed point theorem for nonexpansive mappings (see Theorems 14-17). Their proofs are based on a very simple reasoning. We also prove two theorems on continuous selections for metric and Hilbert spaces. They are followed by fixed point theorems of Schauder type. In the final part we obtain a result on nonempty intersection.     

Convex hyperspaces of probability measures and extensors in the asymptotic category

The objects of the Dranishnikov asymptotic category are proper metric spaces and the morphisms are asymptotically Lipschitz maps. In this paper we provide an example of an asymptotically zero-dimensional space (in the sense of Gromov) whose space of compact convex subsets of probability measures is not an absolute extensor in the asymptotic category in the sense of Dranishnikov.