Packing in Orlicz sequence spaces

From MaRDI portal





Let \(X=(X,\| \|)\) be a Banach space with unit ball \(U(X)\). The package constant of \(X\) is defined as \(P(X)=\sup\{r<0: \exists(x_i)_i \text{in} X: \| x_i\| \leq 1- r \text{and} \| x_i-x_j\| \geq 2r (i,j\in\mathbb{N}, {i\neq j})\}\). (Note, if \(P(X)>0\) then for each \(0<r\leq P(X)\) there exists a sequence of disjoint balls with centers \(x_i\) and radius \(r\) which can be `packed' into \(U(X)\). Furthermore, \(\dim X<\infty\) implies \(P(X)=0\).) If \(K(X)=\sup\{\inf_{i\neq j} \| x_i-x_j\| : (x_i)_{i=1}^\infty\text{ in }X, \| x_i\| =1, i\geq 1\}\) denotes the Kottman constant of \(X\), then \(P(X)=\frac{K(X)}{2+K(X)}\). The object of this paper is to continue the investigation of both the packing and the Kottman constant in case of Orlicz sequence spaces \( \ell^\Phi=\{x=(t_i):\rho_{\Phi}(\lambda x)=\sum_{i=1}^\infty\Phi(\lambda| t_i|)<\infty \text{ for some } \lambda>0\}\), where \(\Phi\) is a given \(N \)-function, provided with the gauge norm \(\| \| _{(\Phi)}\) and the Orlicz norm \(\| \| _\Phi\) defined by \(\| x\| _{(\Phi)}=\inf\{c>0:\rho_\Phi\left(\frac{x}{c}\right)\leq 1\}\) and \(\| x\| _\Phi=\inf_{k>0}\frac{1}{k}[1+\rho_\Phi(kx)]\), respectively. (Note, \(\| \| _\Phi\) and \(\| x\| _{(\Phi)}\) are equivalent.) Following the authors, we use the notation \(\ell^{(\Phi)}=(\ell^\Phi,\| \| _{(\Phi)})\) and \(\ell^\Phi=(\ell^\Phi,\| \| _\Phi)\). It is already known that \(K(\ell^\Phi)=2=K(\ell^{(\Phi)})\) if \(\ell^\Phi\) (thus \(\ell^{(\Phi)}\)) is not separable, and that this condition is equivalent to the non-reflexivity of \(\ell^\Phi\) (\(\ell^{(\Phi)}\)). Furthermore, in the case that \(\ell^\Phi\) (thus \(\ell^{(\Phi)}\)) is separable there are known formulas for the determination of \(K(\ell^\Phi)\) and \(K(\ell^{(\Phi)})\) which are due to \textit{Y. Ye} [Chin. Ann. Math., Ser. A 4, 487-494 (1983; Zbl 0544.46004)] and \textit{T. Wang} [Chin. Ann. Math., Ser. A 8, 508-513 (1987; Zbl 0651.46029)]. However, it is not easy to apply them in general. The main results of the paper contain new upper and lower bounds for \(K(\ell^{(\Phi)})\) and \(P(\ell^{(\Phi)})\) in Section 2 and for \(K(\ell^\Phi)\) and \(P(\ell^\Phi)\) in Section 3 which prove to be useful by the author's presentation of interesting examples. In Section 4 the authors investigate the values \(P(\ell^{(\Phi_s)})\) and \(P(\ell^{\Phi_s})\) where \(\Phi_s\) is the inverse of the function defined by \([\Phi^{-1}(u)]^{1-s}[\Phi_0^{-1}(u)]^{1-s}\) where \(u\geq 0 ,\) \(\Phi_0^{-1}(u)=u^2\) and \(0\leq s\leq 1 .\) Since \(K(\ell^{(\Phi_s)})=2^{1-\frac{s}{2}}\) by Theorem 4.3 we can conclude that \(\ell^{\Phi_s}\) is reflexive.











This page was built for publication: Packing in Orlicz sequence spaces

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4377149)