Semisummands and semiideals in Banach spaces (Q1820382): Difference between revisions

Let \(|\cdot|\) be a fixed absolute norm on \({\mathbb{R}}^ 2\). We introduce semi-\(|\cdot|\)-summands (resp. \(|\cdot|\)- summands) as a natural extension of semi-L-summands (resp. L-summands). We prove that the following statements are equivalent: (i) every semi-\(|\cdot|\)-summand is a \(|\cdot|\)-summand, (ii) (1,0) is not a vertex of the closed unit ball of \({\mathbb{R}}^ 2\) with the norm \(|\cdot|.\) In particular semi-\(L^ p\)-summands are \(L^ p\)-summands whenever \(1<p\leq \infty.\) The concept of semi-\(|\cdot|\)-ideal (resp. \(|\cdot|\)- ideal) is introduced in order to extend the one of semi-M-ideal (resp. M- ideal). The following statements are shown to be equivalent: (i) Every semi-\(|\cdot|\)-ideal is a \(| \cdot |\)-ideal. (ii) every \(|\cdot|\)-ideal is a \(|\cdot|\)-summand. (iii) (0,1) is an extreme point of the closed unit ball of \({\mathbb{R}}^ 2\) with the norm \(|\cdot|.\) From semi-\(|\cdot|\)-ideals we define semi-\(|\cdot|\)- idealoids in the same way as semi-\(|\cdot|\)-ideals arise from semi-\(|\cdot|\)-summands. Proper semi-\(|\cdot|\)-idealoids are those which are neither semi-\(|\cdot|\)-summands nor semi- \(|\cdot|\)-ideals. We prove that there is a proper semi- \(|\cdot|\)-idealoid if and only if (0,1) is a vertex and (0,1) is not an extreme point of the closed unit ball of \({\mathbb{R}}^ 2\) with the norm \(|\cdot|\). So there are no proper semi-\(L^ p\)-idealoids. The paper concludes by showing that \(w^*\)-close semi-\(|\cdot|\)- idealoids in a dual Banach space are semi-\(|\cdot|\)-summands, so no new concept appears by predualization of semi-\(|\cdot|\)- idealoids.