Paraconvexity of the graphs of Lipschitzian functions (Q1126537)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Paraconvexity of the graphs of Lipschitzian functions |
scientific article |
Statements
Paraconvexity of the graphs of Lipschitzian functions (English)
0 references
10 December 1996
0 references
Following \textit{E. Michael} [Math. Scand. 7, 372-376 (1960; Zbl 0093.12001)] a closed subset \(P\) of a Banach space \(B\) is called \(\alpha\)-paraconvex if for \(x\in B\), \(r> \text{dist} (x,P)\) and \(y\in\text{conv} (P\cap K(x,r))\) we have \(\text{dist} (y,P)\leq \alpha \cdot r\), where \(K(x,r): =\{z\in B:|z-x |\leq r\}\). Each lsc multifunction defined on a paracompact space \(T\) and having \(\alpha\)-paraconvex values \(F(t) \subset B\) admits a continuous selection \(f:T\to B\) if \(0\leq \alpha<1\). In the paper under review it is proved, by using direct geometrical considerations, that if \(B=X \oplus Y\), where \(x=\mathbb{R}^n\), \(Y=\mathbb{R}\), then the graphs of \(k\)-Lipschitzian functions \(g:X\to Y\) with the same constant \(k\) are \(\alpha \)-paraconvex and an explicit formula for \(\alpha\) is given. The paper contains four questions concerning the optimisation of the values of \(\alpha\) and the possibility of replacing \(X\) and \(Y\) by arbitrary Hilbert spaces, or \(Y\) by \(\mathbb{R}^n\). Reviewers notes: 1. A. Maliszewski in a private communication to the reviewer indicates the following counterexample: Let \(f:\mathbb{R} \to \mathbb{R}^2\), with the sup norm, be such that \(f(-3)= (-3,3)\), \(f(-1)= (-3,-3)\), \(f(1)= (3,-3)\), \(f(3)= (3,3)\), \(f\) periodic with the period 8 and linear in the segments \([-3,-1]\), \([-1,1]\), \([1,3]\) and \([3,5]\). Then \(f\) is Lipschitzian with \(k=3\), but the graph of \(f\) is not \(\alpha\)-paraconvex. Nevertheless a multifunction \(F:\mathbb{R}^n \to\mathbb{R}^3\), whose values are graphs of \(f\in\text{Lip}_3 (\mathbb{R}, \mathbb{R}^2)\) has continuous selection. 2. The paper contains some misprints: \(e_1, \dots, e_n\) cannot create a base for \((n+1)\)-dimensional \(V_{n+1}\) on p. 239 and for the set \(W\) on the same page the assumption of closedness is necessary.
0 references
paraconvex set
0 references
multifunction
0 references
Lipschitz map
0 references