scientific article; zbMATH DE number 1475182
Let \(\Gamma\) be a non-empty set and \((X,\|.\|)\) a Banach space with closed unit ball \(U(X)\), unit sphere \(S(X)\) and \(B(x,\varepsilon)= \{y\in x:\|y- x\|\leq \varepsilon\}\). Let \(c_0(\Gamma, X)\) be the Banach space (with supremum norm \(\|.\|_\infty\)) of all \(X\)-valued functions \(\omega\) on \(\Gamma\) such that for each \(\varepsilon> 0\), \(\{t\in\Gamma:\|\omega(t)\|\geq \varepsilon\}\) is finite. The Day's norm \(p(\cdot)\) on \(c_0(\Gamma, X)\) is defined by \(p(\omega)= (\sum^\infty_{i=1} {1\over 4^i} \|\omega(t_i)\|^2)^{{1\over 2}}\) and the Banach space \(c_0(\Gamma, X)\) normed with Day's norm is denoted by \((c_0(\Gamma,X), p)\). A convex set \(C\subseteq X\) is said to be stable if the midpoint map \(\phi: C\times C\to C\), \(\phi(x,y)= {1\over 2}(x+ y)\) is open. Assuming \(\text{ext }U(X)\neq \varnothing\), the \(\lambda\)-function of \(X\) is defined by \(\lambda(x)= \sup\{\alpha\in [0,1]:\exists e\in \text{ext }U(X)\) and \(y\in U(X)\) with \(x= \alpha e+(1- \alpha)y\}\) for every \(x\) in \(U(X)\). \((X,\|.\|)\) is said to have the \(\lambda\)-property if \(\lambda(x)> 0\) for all \(x\in U(X)\) and \((X,\|.\|)\) is said to have the uniform \(\lambda\)-property if \(\inf\{\lambda(x): x\in U(X)\}> 0\). \((X,\|.\|)\) is said to have the Kadets (K) property if the norm and weak topologies coincide on the unit sphere \(S(X)\). \((X,\|.\|)\) is said to have the Kadets-Klee (K-K) property if norm and weak convergence for sequences coincide on the unit sphere \(S(X)\). \((X,\|.\|)\) is said to have the Uniform Kadets-Klee (UKK) property if for each \(\varepsilon> 0\) there exists a \(\delta> 0\) such that for each sequence \(\langle x_n\rangle\) in \(U(X)\) tending weakly to \(x\in X\), if \(\sup(x_n)= \inf\{\|x_n- x_m\|: n\neq m\}\geq \varepsilon\) then \(\|x\|\leq 1-\delta\). An element \(x\) in a bounded closed convex subset \(K\) of \(X\) is called a PC (Point of Continuity) if the identity mapping \((K,\text{weak})\to (K,\text{norm})\) is continuous of \(x\) and \(x\in X\) is called a denting point of \(K\) if for each \(\varepsilon> 0\), \(x\not\in\overline{c_0}(K\setminus B(x,\varepsilon))\). The main results of the paper are: (1) \(U(c_0(\Gamma, X),p)\) is stable if and only if \(U(X)\) is stable. (2) If \(\Gamma\) is an infinite set, then the following are equivalent: (a) \((c_0(\Gamma, X),p)\) has the \(\lambda\)-property; (b) \((c_0(\Gamma, X),p)\) has the uniform \(\lambda\)-property; (c) \((X,\|.\|)\) has the uniform \(\lambda\)-property. (3) If \(\Gamma\) is a finite set, then \((c_0(\Gamma, X),p)\) has the \(\lambda\)-property (resp. the uniform \(\lambda\)-property) if and only if \((X,\|.\|)\) has the \(\lambda\)-property (resp. the uniform \(\lambda\)-proeprty). (4) \((c_0(\Gamma,X),p)\) has the Kadets property (resp. the Kadets-Klee property), if and only if \((X,\|.\|)\) has the Kadets property (resp. the Kadets-Klee property). (5) A point \(\omega\in S(c_0(\Gamma, X),p)\) is a denting point (resp. a PC) of \(U(c_0(\Gamma, X), p)\) if and only if for each \(t\in E(\omega)\), \(\omega(t)\) is a denting point (resp. a PC) of \(\{x\in X:\|x\|\leq\|\omega(t)\|\}\).
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4489797)
