On some imbedding relations between certain sequence spaces (Q765418): Difference between revisions

In this paper, the sequence space \(\ell_p^\lambda\) (where \(\lambda\) is a strictly increasing sequence of positive reals tending to \(\infty\) and \(0< p<\infty\)) of nonabsolute type is defined. The paper consists of four sections. The first section is introductory in nature. In the second section, it is proved that the space \(\ell_p^\lambda\) is a \(p\)-normed space if \(0<p<1\) and a \(BK\)-space if \(1\leq p<\infty\). The space \(\ell_p^\lambda\) is linearly isometric to the space \(\ell_p\), where \(0<p<\infty\). Further, as a corollary, it is shown that the space \(\ell_p^\lambda\) is not a Hilbert space if \(p\neq 2\). The third section is concerned with some embedding relations involving the space \(\ell_p^\lambda\), \(0<p<\infty\). The main aim of this section is to establish the imbedding \(\ell_p\subset \ell_p^\lambda\), which holds if and only if \(\frac{1}{\lambda}\in\ell_p\), where \(1\leq p<\infty\). It is also proved that the spaces \(\ell_p^\lambda\) and \(\ell_p\) are equal if and only if \(\lim\inf\frac{\lambda_{n+1}}{\lambda_n}>1\). In the fourth section, a basis for the space \(\ell_p^\lambda\), where \(1\leq p<\infty\), is computed. In fact, the sequence \(e^{(k)}(\lambda)\) = \(\{e_n^{(k)}(\lambda)\}\) (each \(k\in\mathbb N\) being fixed) of elements of \(\ell_p^\lambda\), where \(e_n^{(k)}(\lambda)\) = \((-1)^{n-k}\frac{\lambda_k}{\lambda_n-\lambda_{n-1}}\), if \(k\leq n\leq k+1\), \(n\in \mathbb N\) and \(e_n^{(k)}(\lambda)\) = 0, if \(n<k\) or \(n>k+1\) is computed as a basis. Further, as a corollary, it is shown that the space \(\ell_p^\lambda\) of nonabsolute type is separable for \(1\leq p<\infty\).