Markov-Kakutani Theorem on Hyperspace of a Banach Space

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)$.

Existence of continuous right inverses to linear mappings in finite-dimensional geometry

A linear mapping of a compact convex subset of a finite-dimensional vector space always possesses a right inverse, but may lack a continuous right inverse, even if the set is smoothly bounded. Examples showing this are given, as well as conditions guaranteeing the existence of a continuous right inverse.

Fixed-Point Theorem for Isometric Self-Mappings

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.

On the Krein-Milman theorem in CAT(κ) spaces

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.

Topology and convexity in the space of actions modulo weak equivalence

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})$.

Numerical Ranges in II1 Factors

In this paper we generalize the notion of the C-numerical range of a matrix to operators in arbitrary tracial von Neumann algebras. For each self-adjoint operator C, the C-numerical range of such an operator is defined; it is a compact, convex subset of ℂ. We explicitly describe the C-numerical ranges of several operators and classes of operators.

THE AVERAGE DISTANCE BETWEEN TWO POINTS

We provide bounds on the average distance between two points uniformly and independently chosen from a compact convex subset of the s-dimensional Euclidean space.