Supports and extreme points in Lipschitz-free spaces (Q1998695)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Supports and extreme points in Lipschitz-free spaces |
scientific article |
Statements
Supports and extreme points in Lipschitz-free spaces (English)
0 references
7 March 2021
0 references
Given a metric space \(M\) with a distinguished point \(0\), there exists a unique (up to isometry) Banach space \(\mathcal{F}(M)\), called the \textit{Lipschitz free space over \(M\)} (or sometimes also Arens-Eells space), such that there exists an isometry \(\delta:M\to \mathcal{F}(M)\) satisfying that \(\delta(M\setminus\{0\})\) is a linearly independent and linearly dense set in \(\mathcal{F}(M)\) and, moreover, for every Lipschitz map \(f:M\to X\) with values in a Banach space \(X\) and \(f(0)=0\), there is a linear operator \(T_f:\mathcal{F}(M)\to X\) with \(T_f\circ \delta = f\) and \(\|T_f\|=\operatorname{Lip}(f)\). The study of Banach space theoretical properties of Lipschitz-free spaces is nowadays quite an active stream of research. For \(\emptyset\neq K\subset M\), we put \(\mathcal{F}_M(K)=\operatorname{\overline{span}} \delta(K)\subset \mathcal{F}(M)\) and \(\mathcal{F}_M(\emptyset) = \{0\}\). The most important result of this paper is the following result. {Intersection Theorem:} If \(M\) is bounded and \(\{K_i\colon i\in I\}\) is a family of closed sets in \(M\), then \[ \bigcap_{i\in I}\mathcal{F}_M(K_i) = \mathcal{F}_M\biggl(\bigcap_{i\in I} K_i\biggr). \] Let me note that the same holds even for unbounded metric spaces (which answers Question~3 from this paper), see [\textit{R. J. Aliaga} et al., J. Math. Anal. Appl. 489, No.~1, Article ID 124128, 13~p. (2020; Zbl 1445.46014)]. The importance of the Intersection Theorem is that it enables us to define the notion of a support of \(\mu\in\mathcal{F}(M)\) as the smallest closed set \(K\subset M\) such that \(\mu\in\mathcal{F}_M(K)\). The notion of a support is further applied to prove that \(\mu\in\operatorname{span}\delta(M)\) is an extreme point of \(B_{\mathcal{F}(M)}\) if and only if \(\mu = \frac{\delta(x)-\delta(y)}{d(x,y)}\) for some \(x\neq y\) satisfying \(d(x,y) < d(x,z)+d(z,y)\) for every \(z\in M\setminus\{x,y\}\). Let me note that the question of whether the same is true for any \(\mu\in\mathcal{F}(M)\) is the main open problem concerning extremality of \(\mathcal{F}(M)\), and that a positive answer was recently given for compact metric spaces, see [\textit{R. J. Aliaga}, ``Extreme points in Lipschitz-free spaces over compact metric spaces'', Preprint (2021), \url{arXiv:2102.01219}].
0 references
Lipschitz-free space
0 references
extreme point
0 references
support
0 references