scholarly journals Topology and convexity in the space of actions modulo weak equivalence

2017 ◽  
Vol 38 (7) ◽  
pp. 2508-2536 ◽  
Author(s):  
PETER BURTON

We analyze the structure of the quotient $\text{A}_{{\sim}}(\unicode[STIX]{x1D6E4},X,\unicode[STIX]{x1D707})$ of the space of measure-preserving actions of a countable discrete group by the relation of weak equivalence. This space carries a natural operation of convex combination. We introduce a variant of an abstract construction of Fritz which encapsulates the convex combination operation on $\text{A}_{{\sim}}(\unicode[STIX]{x1D6E4},X,\unicode[STIX]{x1D707})$. This formalism allows us to define the geometric notion of an extreme point. We also discuss a topology on $\text{A}_{{\sim}}(\unicode[STIX]{x1D6E4},X,\unicode[STIX]{x1D707})$ due to Abért and Elek in which it is Polish and compact, and show that this topology is equivalent to others defined in the literature. We show that the convex structure of $\text{A}_{{\sim}}(\unicode[STIX]{x1D6E4},X,\unicode[STIX]{x1D707})$ is compatible with the topology, and as a consequence deduce that $\text{A}_{{\sim}}(\unicode[STIX]{x1D6E4},X,\unicode[STIX]{x1D707})$ is path connected. Using ideas of Tucker-Drob, we are able to give a complete description of the topological and convex structure of $\text{A}_{{\sim}}(\unicode[STIX]{x1D6E4},X,\unicode[STIX]{x1D707})$ for amenable $\unicode[STIX]{x1D6E4}$ by identifying it with the simplex of invariant random subgroups. In particular, we conclude that $\text{A}_{{\sim}}(\unicode[STIX]{x1D6E4},X,\unicode[STIX]{x1D707})$ can be represented as a compact convex subset of a Banach space if and only if $\unicode[STIX]{x1D6E4}$ is amenable. In the case of general $\unicode[STIX]{x1D6E4}$ we prove a Krein–Milman-type theorem asserting that finite convex combinations of the extreme points of $\text{A}_{{\sim}}(\unicode[STIX]{x1D6E4},X,\unicode[STIX]{x1D707})$ are dense in this space. We also consider the space $\text{A}_{{\sim}_{s}}(\unicode[STIX]{x1D6E4},X,\unicode[STIX]{x1D707})$ of stable weak equivalence classes and show that it can always be represented as a compact convex subset of a Banach space. In the case of a free group $\mathbb{F}_{N}$, we show that if one restricts to the compact convex set $\text{FR}_{{\sim}_{s}}(\mathbb{F}_{N},X,\unicode[STIX]{x1D707})\subseteq \text{A}_{{\sim}_{s}}(\mathbb{F}_{N},X,\unicode[STIX]{x1D707})$ consisting of the stable weak equivalence classes of free actions, then the extreme points are dense in $\text{FR}_{{\sim}_{s}}(\mathbb{F}_{N},X,\unicode[STIX]{x1D707})$.

Author(s):  
Richard Haydon

In a series of recent papers ((10), (9) and (11)) Rosenthal and Odell have given a number of characterizations of Banach spaces that contain subspaces isomorphic (that is, linearly homeomorphic) to the space l1 of absolutely summable series. The methods of (9) and (11) are applicable only in the case of separable Banach spaces and some of the results there were established only in this case. We demonstrate here, without the separability assumption, one of these characterizations:a Banach space B contains no subspace isomorphic to l1 if and only if every weak* compact convex subset of B* is the norm closed convex hull of its extreme points.


Author(s):  
Michael Edelstein ◽  
Daryl Tingley

AbstractSeveral procedures for locating fixed points of nonexpansive selfmaps of a weakly compact convex subset of a Banach space are presented. Some of the results involve the notion of an asymptotic center or a Chebyshev center.


2020 ◽  
Vol 52 (1) ◽  
Author(s):  
Shueh-Inn Hu ◽  
Thakyin Hu

Suppose $X$ is a Banach space and $K$ is a compact convex subset of $X$. Let $\mathcal{F}$ be a commutative family of continuous affine mappings of $K$ into $K$. It follows from Markov-Kakutani Theorem that $\mathcal{F}$ has a common fixed point in $K$. Suppose now $(CC(X), h)$ is the corresponding hyperspace of $X$ containing all compact, convex subsets of $X$ endowed with Hausdorff metric $h$. We shall prove the above version of Markov-Kakutani Theorem is valid on the hyperspace $(CC(X), h)$.


Author(s):  
Joseph Frank Gordon

In this paper, we derive a fixed-point theorem for self-mappings. That is, it is shown that every isometric self-mapping on a weakly compact convex subset of a strictly convex Banach space has a fixed point.


2018 ◽  
Vol 34 (3) ◽  
pp. 401-404
Author(s):  
BANCHA PANYANAK ◽  

Let κ > 0 and (X, ρ) be a complete CAT(κ) space whose diameter smaller than ... It is shown that if K is a nonempty compact convex subset of X, then K is the closed convex hull of its set of extreme points. This is an extension of the Krein-Milman theorem to the general setting of CAT(κ) spaces.


Author(s):  
K. J. Falconer

Let H(μ, θ) be the hyperplane in Rn (n ≥ 2) that is perpendicular to the unit vector 6 and perpendicular distance μ from the origin; that is, H(μ, θ) = (x ∈ Rn: x. θ = μ). (Note that H(μ, θ) and H(−μ, −θ) are the same hyperplanes.) Let X be a proper compact convex subset of Rm. If f(x) ∈ L1(X) we will denote by F(μ, θ) the projection of f perpendicular to θ; that is, the integral of f(x) over H(μ, θ) with respect to (n − 1)-dimensional Lebesgue measure. By Fubini's Theorem, if f(x) ∈ L1(X), F(μ, θ) exists for almost all μ for every θ. Our aim in this paper is, given a finite collection of unit vectors θ1, …, θN, to characterize the F(μ, θi) that are the projections of some function f(x) with support in X for 1 ≤ i ≤ N.


1976 ◽  
Vol 19 (1) ◽  
pp. 7-12 ◽  
Author(s):  
Joseph Bogin

In [7], Goebel, Kirk and Shimi proved the following:Theorem. Let X be a uniformly convex Banach space, K a nonempty bounded closed and convex subset of X, and F:K→K a continuous mapping satisfying for each x, y∈K:(1)where ai≥0 and Then F has a fixed point in K.In this paper we shall prove that this theorem remains true in any Banach space X, provided that K is a nonempty, weakly compact convex subset of X and has normal structure (see Definition 1 below).


1987 ◽  
Vol 35 (2) ◽  
pp. 267-274 ◽  
Author(s):  
J. H. M. Whitfield ◽  
V. Zizler

We show that every compact convex set in a Banach space X is an intersection of balls provided the cone generated by the set of all extreme points of the dual unit ball of X* is dense in X* in the topology of uniform convergence on compact sets in X. This allows us to renorm every Banach space with transfinite Schauder basis by a norm which shares the mentioned intersection property.


2018 ◽  
Vol 61 (3) ◽  
pp. 449-457
Author(s):  
Trond A. Abrahamsen ◽  
Petr Hájek ◽  
Olav Nygaard ◽  
Stanimir L. Troyanski

AbstractWe show that if x is a strongly extreme point of a bounded closed convex subset of a Banach space and the identity has a geometrically and topologically good enough local approximation at x, then x is already a denting point. It turns out that such an approximation of the identity exists at any strongly extreme point of the unit ball of a Banach space with the unconditional compact approximation property. We also prove that every Banach space with a Schauder basis can be equivalently renormed to satisfy the suõcient conditions mentioned.


Sign in / Sign up

Export Citation Format

Share Document