Permanence properties of normal structure (Q790380)

A list of equivalent conditions for a subset C of a normed space to have NS (normal structure) is given, among them, the following new characterization: C has NS iff each limit-constant sequence with convex hull in C is constant. Here, \((x_ n)\) is limit-constant (limit-affine) if the functional \(\Lambda x=\lim_{n\to \infty}\| x_ n-x\|\) is defined and constant (affine) on the convex hull of \((x_ n)\). It is shown that NS is preserved under the Z-DSO (direct-sum-operation) - i.e., \(\prod^{N}_{i=1}X_ i\) with norm \(\| x\| =|(\| x_ 1\|,...,\| x_ N\|)|\), the Z-DS (direct sum) of the \(X_ i\), has NS if all \(X_ i\) have NS - provided \(Z=({\mathbb{R}}^ N,| |)\) is symmetric and: (SC) If \(z_ i,\hat z_ i\geq 0\) for all i and \(| z| =| \hat z| =frac{1}{2}| z+\hat z| =1\) then \(z_ i=\hat z_ i>0\) for some i. All strictly convex Z and \(Z=\ell^ N_ p\), \(1<p\leq \infty\), satisfy (SC), but not \(Z=\ell^ N_ 1\). NS is also preserved under any Z-DSO with unifomly convex symmetric Z with basis \((e_ i)_{i\in I}\), I an arbitrary index set. It is shown that a normed space has INS isonormal structure - i.e., it is isomorphic to a normed space with NS - iff it can be mapped by a bounded 1-1 linear operator into some normed space with NS. Every separable space has INS, in particular \(c_ o({\mathbb{N}})\). The problem is raised for which I \(c_ 0(I)\) has INS. The normed space X is said to have the SP (sum- property) if every non-decreasingly \(((\Lambda x_ n)\) is non- decreasing) limit-affine sequence \((x_ n)\) in X is constant. It is shown that the SP is preserved under any Z-DSO with finite dimensional symmetric Z. The SP clearly implies NS. There is no known condition sufficient (but not necessary) for NS which does not imply the SP (shown in the appendix). So, it is conjectured that NS implies the SP.