Abstract
In this article, we introduce the concept of pre-quasi norm on E (Orlicz sequence space), which is more general than the usual norm, and give the conditions on E equipped with the pre-quasi norm to be Banach space. We give the necessity and sufficient conditions on E equipped with the pre-quasi norm such that the multiplication operator defined on E is a bounded, approximable, invertible, Fredholm, and closed range operator. The components of pre-quasi operator ideal formed by the sequence of s-numbers and E is strictly contained for different Orlicz functions are determined. Furthermore, we give the sufficient conditions on E equipped with a pre-modular such that the pre-quasi Banach operator ideal constructed by s-numbers and E is simple and its components are closed. Finally the pre-quasi operator ideal formed by the sequence of s-numbers and E is strictly contained in the class of all bounded linear operators, whose sequence of eigenvalues belongs to E.
Similar content being viewed by others
1 Introduction
Throughout the paper, we denote the space of all bounded linear operators from a Banach space X into a Banach space Y by \(L(X, Y)\), and if \(X=Y\), we write \(L(X)\), the space of all real sequences is denoted by w, the real numbers \(\mathbb{R}\), the complex numbers \(\mathbb{C}\), \(\mathbb{N}=\{0, 1, 2,\ldots\}\), the space of null sequences by \(C_{0}\), and the space of bounded sequences by \(\ell _{\infty }\). In operator theory, the multiplication operators on \(L_{p}\)-spaces are related to the composition operators; this means that the properties of composition operators on \(L_{p}\)-spaces can be stated by the properties of multiplication operators. Singh and Kumar [28] proved that a composition operator on \(L_{p}(X;\mathbb{C})\) is compact if and only if the multiplication operator \(T_{\alpha }\) is compact, where \(\alpha =\frac{d\mu T^{-1}}{d\mu }\) is the Radon–Nikodym derivative of the measure \(\mu T^{-1}\) with respect to the measure μ. In the theory of Hilbert space, every normal operator on a separable Hilbert space is unitarily equivalent to a multiplication operator. In the spectral theory, multiplication operators have their roots in the spectral theory. For more details on multiplication operators, see [1, 26, 27, 29–31]. On sequence spaces, Mursaleen and Noman in [17, 18] studied the compact operators on some difference sequence spaces; Komal and Gupta [10] studied the multiplication operators on Orlicz spaces equipped with the Luxemburg norm, and Komal et al. [11] examined the multiplication operators on Cesáro sequence spaces. The theory of operator ideal goals possesses an uncommon essentialness in useful examination. Some of operator ideals in the class of Banach spaces or Hilbert spaces are defined by different scalar sequence spaces. For example the ideal of compact operators is defined by the space \(C_{0}\) of null sequence and Kolmogorov numbers. Pietsch [24] examined the quasi-ideals formed by the approximation numbers and classical sequence space \(\ell ^{p}\ (0< p<\infty )\). He proved that the ideals of nuclear operators and of Hilbert–Schmidt operators between Hilbert spaces are defined by \(\ell ^{1}\) and \(\ell ^{2}\), respectively. He proved that the class of all finite rank operators is dense in the Banach quasi-ideal, and the algebra \(L(\ell ^{p})\), where \((1\leq p< \infty )\), contains one and only one nontrivial closed ideal. Pietsch [23] showed that the quasi Banach operator ideal formed by the sequence of approximation numbers is small. Makarov and Faried [14] proved that the quasi-operator ideal formed by the sequence of approximation numbers is strictly contained for different powers, i.e., for any infinite dimensional Banach spaces X, Y and for any \(q>p>0\), it is true that \(S^{\mathrm{app}}_{\ell ^{p}}(X, Y)\varsubsetneqq S^{\mathrm{app}}_{\ell ^{q}}(X, Y)\subsetneqq L(X, Y)\). In [8], Faried and Bakery studied the operator ideals constructed by approximation numbers, generalized Cesáro and Orlicz sequence spaces \(\ell _{M}\). In [9], Faried and Bakery introduced the concept of pre-quasi operator ideal, which is more general than the usual classes of operator ideals. They studied the operator ideals constructed by s-numbers, generalized Cesáro and Orlicz sequence spaces \(\ell _{M}\), and proved that the operator ideal formed by the previous sequence spaces and approximation numbers is small under certain conditions. The aim of this paper to study the concept of pre-quasi norm on E (Orlicz sequence space), which is more general than the usual norm, and give the conditions for E equipped with the pre-quasi norm to be Banach space. We give the necessity and sufficient conditions on E equipped with the pre-quasi norm such that the multiplication operator defined on E is a bounded, approximable, invertible, Fredholm, and closed range operator. The components of pre-quasi operator ideal formed by the sequence of s-numbers and E is strictly contained for different Orlicz functions are determined. Furthermore, we give the sufficient conditions on E equipped with a pre-modular such that the pre-quasi Banach operator ideal constructed by s-numbers and E is simple and its components are closed. Finally the pre-quasi operator ideal formed by the sequence of s-numbers and E is strictly contained in the class of all bounded linear operators, whose sequence of eigenvalues belongs to E.
2 Definitions and preliminaries
Definition 2.1
([24])
A finite rank operator is a bounded linear operator whose dimension of the range space is finite. The space of all finite rank operators on E is denoted by \(F(E)\).
Definition 2.2
([24])
A bounded linear operator \(A: E \rightarrow E\) (where E is a Banach space) is called approximable if there are \(S_{n}\in F(E)\) for all \(n\in \mathbb{N}\) such that \(\lim_{n\rightarrow \infty }\|A-S_{n}\|=0\). The space of all approximable operators on E is denoted by \(\varPsi (E)\), and the space of all approximable operators from E to F is denoted by \(\varPsi (E, F)\).
Lemma 2.3
([24])
Let\(T\in L(X, Y)\). IfTis not approximable, then there are operators\(G\in L(X, X)\)and\(B\in L(Y, Y)\)such that\({BTG} e_{k}=e_{k}\)for all\(k\in \mathbb{N}\).
Definition 2.4
([24])
A Banach space E is called simple if the algebra \(L(E)\) contains one and only one nontrivial closed ideal.
Definition 2.5
([24])
A bounded linear operator \(A : E \rightarrow E\) (where E is a Banach space) is called compact if \(A(B_{1})\) has compact closure, where \(B_{1}\) denotes the closed unit ball of E. The space of all compact operators on E is denoted by \(L_{c}(E)\).
Theorem 2.6
([24])
IfEis infinite dimensional Banach space, we have
Definition 2.7
([16])
A bounded linear operator \(A : E \rightarrow E\) is called Fredholm if A has closed range, \(\dim (\operatorname{ker}A)\) and co-dim(range A) are finite.
Definition 2.8
([12])
An Orlicz function is a function \(M:[0,\infty )\rightarrow [0,\infty )\), which is convex, continuous, and nondecreasing with \(M(0)= 0\), \(M (u)>0\) for \(u>0\) and \(M (u)\rightarrow \infty \), as \(u\rightarrow \infty \).
Definition 2.9
([22])
An Orlicz function M is said to satisfy \(\Delta _{2}\)-condition for all values of \(x\geq 0\), if there exists a constant \(k>0\) such that \(M(2x)\leq k M (x)\). The \(\Delta _{2}\)-condition is equivalent to \(M(lx)\leq k l M (x)\) for all values of x and for \(l>1\).
Lindenstrauss and Tzafriri [13] utilized the idea of an Olicz function to define Orlicz sequence space:
\((\ell _{M}, \|\cdot\|)\) is a Banach space with the Luxemburg norm:
Every Orlicz sequence space contains a subspace that is isomorphic to \(c_{0}\) or \(\ell ^{q}\) for some \(1\leq q<\infty \).
As of late, different classes of sequences have been studied using Orlicz functions by Et et al. [7], Mursaleen et al. [19–21], Alotaibi et al. [2–4], and Mohiuddine et al. [15].
Definition 2.10
([6])
A class of linear sequence spaces \(\mathbb{E}\) is called a special space of sequences (sss) if
- (1)
\(e_{i}\in \mathbb{E}\) for all \(i\in \mathbb{N}\);
- (2)
if \(u=(u_{i})\in w\), \(v=(v_{i})\in \mathbb{E}\), and \(|u_{i}|\leq |v_{i}|\) for every \(i\in \mathbb{N}\), then \(u\in \mathbb{E}\), “i.e., \(\mathbb{E}\) is solid”;
- (3)
if \((u_{i})_{i=0}^{\infty }\in \mathbb{E}\), then \((u_{[\frac{i}{2}]})_{i=0}^{\infty }\in \mathbb{E}\), wherever \([\frac{i}{2}]\) means the integral part of \(\frac{i}{2}\).
Theorem 2.11
([9])
\(\ell _{M}\)is a (sss) ifMis an Orlicz function satisfying\(\Delta _{2}\)-condition.
Definition 2.12
([6])
A subclass of the special space of sequences is called a pre-modular (sss) if there is a function \(\varrho : \mathbb{E}\rightarrow [0, \infty [\) satisfying the following conditions:
- (i)
\(\varrho (u)\geq 0\) for each \(u\in \mathbb{E}\) and \(\varrho (u)=0\Leftrightarrow u=\theta \), where θ is the zero element of \(\mathbb{E}\);
- (ii)
There exists \(L\geq 1\) such that \(\varrho (\beta u)\leq L| \beta |\varrho ( u)\) for all \(u\in \mathbb{E}\) and for any scalar β;
- (iii)
For some \(K\geq 1\), \(\varrho (u+v)\leq K(\varrho (u)+ \varrho (v))\) for every \(u, v\in \mathbb{E}\);
- (iv)
If \(|u_{i}|\leq |v_{i}|\) for all \(i\in \mathbb{N}\), then \(\varrho ((u_{i}))\leq \varrho ((v_{i}))\);
- (v)
For some \(K_{0}\geq 1\), \(\varrho ((u_{i}))\leq \varrho ((u _{[\frac{i}{2}]}))\leq K_{0}\varrho ((u_{i}))\);
- (vi)
The set of all finite sequences is ϱ-dense in \(\mathbb{E}\). This means that, for each \(u=(u_{i})_{i=o}^{\infty } \in \mathbb{E}\) and for each \(\varepsilon > 0\), there exists \(s\in \mathbb{N}\) such that \(\varrho ((u_{i})_{i=s}^{\infty })<\varepsilon \);
- (vii)
There exists a constant \(\xi >0\) such that \(\varrho ( \beta , 0, 0, 0,\ldots)\geq \xi |\beta |\varrho (1, 0, 0, 0,\ldots)\) for any \(\beta \in \mathbb{R}\).
Theorem 2.13
([9])
\(\ell _{M}\)is a pre-modular (sss) ifMis an Orlicz function satisfying\(\Delta _{2}\)-condition.
Definition 2.14
([24])
Let L be a class of all bounded linear operators between any arbitrary Banach spaces. A sub class U of L is called an operator ideal if each element \(U(X, Y)=U\cap L(X, Y)\) fulfills the following conditions:
- (i)
\(I_{\digamma }\in U\) wherever Ϝ represents a Banach space of one dimension.
- (ii)
The space \(U(X, Y)\) is linear over \(\mathbb{R}\).
- (iii)
If \(T\in L(X_{0}, X)\), \(V\in U(X, Y)\), and \(R\in L(Y, Y _{0})\), then \({RVT}\in U(X_{0}, Y_{0})\).
Closed ideal means an ideal which contains its limit points.
The concept of pre-quasi operator ideal is more general than the usual classes of operator ideals.
Definition 2.15
([6])
A function \(g:\varOmega \rightarrow [0, \infty )\) is said to be a pre-quasi norm on the ideal Ω if the following conditions hold:
- (1)
For all \(T\in \varOmega (X, Y)\), \(g(T)\geq 0\) and \(g(T)=0\) if and only if \(T=0\);
- (2)
There exists a constant \(M\geq 1\) such that \(g(\lambda T) \leq M|\lambda |g(T)\) for all \(T\in \varOmega (X, Y)\) and \(\lambda \in \mathbb{R}\);
- (3)
There exists a constant \(K\geq 1\) such that \(g(T_{1}+T_{2}) \leq K[g(T_{1})+g(T_{2})]\) for all \(T_{1},T_{2}\in \varOmega (X, Y)\);
- (4)
There exists a constant \(C\geq 1\) such that if \(T\in L(X _{0}, X)\), \(P\in \varOmega (X, Y)\), and \(R\in L(Y, Y_{0})\), then \(g({RPT})\leq C \|R \| g(P) \|T \|\), where \(X_{0}\) and \(Y_{0}\) are normed spaces.
Theorem 2.16
([9])
The function\(g(P)=\varrho (s_{i}(P))_{i=0}^{\infty }\)is a pre-quasi norm on\(S_{\mathbb{E}_{\varrho }}\), where\(\mathbb{E}_{\varrho }\)is a pre-modular (sss).
Definition 2.17
([25])
An s-number function is a map defined on \(L(X, Y)\) which associates with each operator \(T\in L(X, Y)\) a nonnegative scaler sequence \((s_{n}(T))_{n=0}^{\infty }\) assuming that the taking after states are verified:
- (a)
\(\|T \|=s_{0}(T)\geq s_{1}(T)\geq s_{2}(T)\geq\cdots\geq 0\) for \(T\in L(X, Y)\);
- (b)
\(s_{m+n-1}(T_{1}+T_{2})\leq s_{m}(T_{1})+s_{n}(T_{2})\) for all \(T_{1}, T_{2}\in L(X, Y)\), m, \(n\in \mathbb{N}\);
- (c)
Ideal property: \(s_{n}({RVT})\leq \|R \| s_{n}(V) \|T \|\) for all \(T\in L(X_{0}, X)\), \(V\in L(X, Y)\), and \(R\in L(Y, Y _{0})\), where \(X_{0}\) and \(Y_{0}\) are arbitrary Banach spaces;
- (d)
If \(G\in L(X, Y)\) and \(\lambda \in \mathbb{R}\), we obtain \(s_{n}(\lambda G)=|\lambda |s_{n}(G)\);
- (e)
Rank property: If \(\operatorname{rank}(T)\leq n\), then \(s_{n}(T)=0\) for each \(T\in L(X, Y)\);
- (f)
Norming property: \(s_{r\geq n}(I_{n})=0\) or \(s_{r< n}(I_{n})=1\), where \(I_{n}\) represents the unit operator on the n-dimensional Hilbert space \(\ell _{2}^{n}\).
Notations 2.18
([9])
Throughout this paper, we define \(e_{n}=\{0, 0,\ldots,1,0,0,\ldots\}\) where 1 appears at the nth place for all \(n\in \mathbb{N}\), the sequence \((q_{i})\) is a bounded sequence of positive numbers, and the following well-known inequality [5]: \(|a_{i}+b_{i}|^{q_{i}}\leq H(|a _{i}|^{q_{i}}+|b_{i}|^{q_{i}})\), where \(H=2^{h-1}\), \(h=\sup_{i}q_{i}\), and \(q_{i}\geq 1\) for every \(i\in \mathbb{N}\), is used.
3 Main results
In this part, we give the concept of pre-quasi norm on Orlicz sequence space, which is more general than the usual norm, and give the conditions for Orlicz sequence space equipped with the pre-quasi norm to be a Banach space.
Definition 3.1
Let \(\mathbb{E}\) be special space of sequences (sss). If there is a function \(\varrho : \mathbb{E}\rightarrow [0,\infty [\) fulfilling the following conditions:
- (i)
\(\varrho (x)\geq 0\) for each \(x\in \mathbb{E}\) and \(\varrho (x)=0\Leftrightarrow x=\theta \), where θ is the zero element of \(\mathbb{E}\);
- (ii)
There exists \(L\geq 1\) such that \(\varrho (\lambda x) \leq L|\lambda |\varrho ( x)\) for all \(x\in \mathbb{E}\) and for any scalar λ;
- (iii)
For some \(K\geq 1\), we have \(\varrho (x+y)\leq K(\varrho (x)+\varrho (y))\) for every \(x, y\in \mathbb{E}\).
The space \(\mathbb{E}\) with ϱ is called pre-quasi normed (sss) and is denoted by \(\mathbb{E}_{\varrho }\), which gives a class more general than the quasi normed space. If the space \(\mathbb{E}\) is complete with ϱ, then \(\mathbb{E}_{\varrho }\) is called a pre-quasi Banach (sss).
Theorem 3.2
Every quasi-norm is pre-quasi norm.
Theorem 3.3
IfMis an Orlicz function satisfying\(\Delta _{2}\)-condition, then\((\ell _{M} )_{\varrho }\)is a pre-quasi Banach (sss), where\(\varrho (x)=\sum^{\infty }_{k=0}M(|x_{k}|)\)for all\(x\in \ell _{M}\).
Proof
The function \(\varrho : l_{M}\rightarrow [0,\infty [\), where \(\varrho (x)=\sum^{\infty }_{k=0}M(|x_{k}|)\) for all \(x\in \ell _{M}\), satisfies the following conditions:
(i) \(\varrho (x)\geq 0\) for each \(x\in \ell _{M}\) and \(\varrho (x)=0 \Leftrightarrow x=\theta \), where θ is the zero element of \(\ell _{M}\).
(ii) Assume \(\lambda \in \mathbb{R}\), \(x\in l_{M}\), and since M satisfies \(\Delta _{2}\)-condition, we get a number \(a>0\) such that
where \(L=\max \{1,a\}\).
(iii) Let \(x, y\in l_{M}\). Since M is nondecreasing, convex, and satisfying \(\Delta _{2}\)-condition, then there exists a number \(a>0\) such that
for some \(K=\max \{1,\frac{a}{2}\}\). Hence \((\ell _{M} )_{ \varrho }\) is a pre-quasi normed (sss). Since M is continuous and nondecreasing, hence \(M^{-1}\) exists. To prove that \((\ell _{M} )_{\varrho }\) is a pre-quasi Banach (sss), suppose \(x^{n}=(x_{k} ^{n})_{k=0}^{\infty }\) to be a Cauchy sequence in \((\ell _{M} )_{\varrho }\), then for every \(\varepsilon >0\), there exists a natural number \(n_{0}\in \mathbb{N}\) such that, for all \(n,m\geq n _{0}\), one has
So \((x^{m}_{k})\) is a Cauchy sequence in \(\mathbb{R}\) for fixed \(k\in \mathbb{N}\), this gives \(\lim_{m\rightarrow \infty }x^{m}_{k}=x ^{0}_{k}\) for fixed \(k\in \mathbb{N}\). Hence \(\varrho (x^{n}-x^{0})< \varepsilon \). Finally, to prove that \(x^{0}\in \ell _{M}\), we have
so \(x^{0}\in \ell _{M}\). This means that \((\ell _{M} )_{\varrho }\) is a pre-quasi Banach (sss). □
Corollary 3.4
\((\ell ^{p} )_{\varrho }\), where\(\varrho (x)=\sum_{i=0}^{ \infty }|x_{i}|^{p}\)for all\(x\in \ell ^{p}\)is a pre-quasi Banach (sss), if\(0< p<\infty \).
4 Multiplication operator on pre-quasi normed (sss)
In this part, we define a multiplication operator on Orlicz sequence space with a pre-quasi norm and give the necessity and sufficient conditions on Orlicz sequence space equipped with the pre-quasi norm such that the multiplication operator defined on Orlicz sequence space is a bounded, approximable, invertible, Fredholm, and closed range operator.
Definition 4.1
Let \(\alpha :\mathbb{N}\rightarrow \mathbb{C}\) be a bounded sequence and \(E_{\varrho }\) be a pre-quasi normed (sss), the multiplication operator is defined as \(T_{\alpha }:E\rightarrow E\), where \(T_{\alpha }x= \alpha x= (\alpha _{k}x_{k} )_{k=0}^{\infty }\) for all \(x\in E\). If \(T_{\alpha }\) is continuous, we call it a multiplication operator induced by α.
Theorem 4.2
If\(\alpha :\mathbb{N}\rightarrow \mathbb{C}\)is a mapping andMis an Orlicz function satisfying\(\Delta _{2}\)-condition, then\(\alpha \in \ell _{\infty }\)if and only if\(T_{\alpha }\in L((\ell _{M})_{ \varrho })\), where\(\varrho (x)=\sum^{\infty }_{k=0}M(|x_{k}|)\)for all\(x\in \ell _{M}\).
Proof
Let \(\alpha \in \ell _{\infty }\). Then there exists \(C > 0\) such that \(|\alpha _{n}|\leq C\) for all \(n\in \mathbb{N}\). For \(x\in (\ell _{M})_{\varrho }\), since M is nondecreasing and satisfying \(\Delta _{2}\)-condition, we have
where D is a constant depending on C, which implies that \(T_{\alpha }\in L((\ell _{M})_{\varrho })\).
Conversely, suppose that \(T_{\alpha }\in L((\ell _{M})_{\varrho })\). We prove that \(\alpha \in \ell _{\infty }\). For, if α is not a bounded function, then for every \(n\in \mathbb{N}\), there exists some \(i_{n}\in \mathbb{N}\) such that \(\alpha _{i_{n}}> n\). Since M is nondecreasing, we obtain
This proves that \(T_{\alpha }\) is not a bounded operator. Hence, α must be a bounded function. □
Theorem 4.3
Let\(\alpha :\mathbb{N}\rightarrow \mathbb{C}\)be a mapping and\((\ell _{M})_{\varrho }\)be a pre-quasi normed (sss), where\(\varrho (x)= \sum^{\infty }_{k=0}M(|x_{k}|)\)for all\(x\in \ell _{M}\). \(|\alpha _{n}|=1\)for all\(n\in \mathbb{N}\)if and only if\(T_{\alpha }\)is an isometry.
Proof
Let \(|\alpha _{n}|=1\) for all \(n\in \mathbb{N}\). Then
for all \(x\in (\ell _{M})_{\varrho }\). Hence \(T_{\alpha }\) is an isometry.
Conversely, suppose that \(|\alpha _{n}|<1\) for some \(n = n_{0}\). Since M is nondecreasing, we have
Similarly, if \(|\alpha _{n_{0}}|>1\), then we can show that \(\varrho (T _{\alpha }e_{n_{0}})>\varrho (e_{n_{0}})\). In both cases, we get contradiction. Hence, \(|\alpha _{n}|=1\) for all \(n\in \mathbb{N}\). □
Theorem 4.4
Let\(\alpha :\mathbb{N}\rightarrow \mathbb{C}\)be a mapping, Mbe an Orlicz function satisfying\(\Delta _{2}\)-condition, and\(T_{\alpha } \in L((\ell _{M})_{\varrho })\), where\(\varrho (x)=\sum^{\infty }_{k=0}M(|x _{k}|)\)for all\(x\in \ell _{M}\). Then\(T_{\alpha }\in \varPsi ((\ell _{M})_{ \varrho })\)if and only if\((\alpha _{n})_{n=0}^{\infty }\in C_{0}\).
Proof
Suppose that \(T_{\alpha }\) is an approximable operator, hence \(T_{\alpha }\) is a compact operator. We show that \(\lim_{n\rightarrow \infty }\alpha _{n}=0\). For if this were not true, then there exists \(\delta > 0\) such that the set \(B_{\delta }=\{r \in \mathbb{N}: |\alpha _{r}|\geq \delta \}\) is an infinite set. Let \(d_{1}, d_{2},\ldots , d_{n},\ldots \) be in \(B_{\delta }\). Then \(\{e_{d_{n}}:d_{n}\in B_{\delta }\}\) is an infinite bounded set in \((\ell _{M})_{\varrho }\). Consider
for all \(d_{n}, d_{m}\in B_{\delta }\). This proves that \(\{e_{d_{n}}: d_{n}\in B_{\delta }\}\) is a bounded sequence which cannot have a convergent subsequence under \(T_{\alpha }\). This shows that \(T_{\alpha }\) cannot be compact, hence it is not an approximable operator, which is a contradiction. Hence, \(\lim_{n\rightarrow \infty }\alpha _{n}=0\). Conversely, suppose \(\lim_{n\rightarrow \infty }\alpha _{n}=0\). Then, for every \(\delta > 0\), the set \(B_{\delta }=\{n\in \mathbb{N}:|\alpha _{n}|\geq \delta \}\) is a finite set. Then
is a finite dimensional space for each \(\delta > 0\). Therefore, \(T_{\alpha }| ((\ell _{M})_{\varrho } )_{B_{\delta }}\) is a finite rank operator. For each \(n\in \mathbb{N}\), define \(\alpha _{n}: \mathbb{N}\rightarrow \mathbb{C}\) by
Clearly, \(T_{\alpha _{n}}\) is a finite rank operator as the space \(((\ell _{M})_{\varrho } )_{B_{\frac{1}{n}}}\) is finite dimensional for each \(n\in \mathbb{N}\). Now, since M is convex and nondecreasing, we have
This proves that \(\|T_{\alpha }-T_{\alpha _{n}}\|\leq \frac{1}{n}\) and that \(T_{\alpha }\) is a limit of finite rank operators and hence, \(T_{\alpha }\) is an approximable operator. □
Theorem 4.5
Let\(\alpha :\mathbb{N}\rightarrow \mathbb{C}\)be a mapping, Mbe an Orlicz function satisfying\(\Delta _{2}\)-condition, and\(T_{\alpha } \in L((\ell _{M})_{\varrho })\), where\(\varrho (x)=\sum^{\infty }_{k=0}M(|x _{k}|)\)for all\(x\in \ell _{M}\). Then\(T_{\alpha }\in L_{c}((\ell _{M})_{\varrho })\)if and only if\((\alpha _{n})_{n=0}^{\infty }\in C_{0}\).
Proof
It is easy, so omitted. □
Corollary 4.6
LetMbe an Orlicz function satisfying\(\Delta _{2}\)-condition, we have
where\(\varrho (x)=\sum^{\infty }_{k=0}M(|x_{k}|)\)for all\(x\in \ell _{M}\).
Proof
Since the identity operator I on \((\ell _{M})_{ \varrho }\) is a multiplication operator induced by the sequence \(\alpha =(1, 1,\ldots )\), hence \(I\notin L_{c}((\ell _{M})_{\varrho })\) and \(I\in L((\ell _{M})_{\varrho })\). □
Theorem 4.7
Let\((\ell _{M})_{\varrho }\)be a pre-quasi Banach (sss), where\(\varrho (x)=\sum^{\infty }_{k=0}M(|x_{k}|)\)for all\(x\in \ell _{M}\)and\(T_{\alpha }\in L((\ell _{M})_{\varrho })\). Thenαis bounded away from zero on\(\mathbb{N}\setminus \operatorname{ker}(\alpha ):= \operatorname{ker}(\alpha )^{c}\)if and only if\(T_{\alpha }\)has closed range.
Proof
Suppose that α is bounded away from zero on \(\operatorname{ker}(\alpha )^{c}\). Then there exists \(\epsilon >0\) such that \(|\alpha _{n}|\geq \epsilon \) for all \(n\in \operatorname{ker}(\alpha )^{c}\). We have to prove that range \((T_{\alpha })\) is closed. Let z be a limit point of range \((T_{\alpha })\). Then there exists a sequence \(T_{\alpha }x_{n}\) in \((\ell _{M})_{\varrho }\), for all \(n\in \mathbb{N}\) such that \(\lim_{n\rightarrow \infty }T_{\alpha }x_{n}=z\). Clearly, the sequence \(T_{\alpha }x_{n}\) is a Cauchy sequence. Now, since M is nondecreasing, we have
where
This proves that \(\{y_{n}\}\) is a Cauchy sequence in \((\ell _{M})_{ \varrho }\). But \((\ell _{M})_{\varrho }\) is complete. Therefore, there exists \(x\in (\ell _{M})_{\varrho }\) such that \(\lim_{n\rightarrow \infty }y_{n}=x\). In view of the continuity of \(T_{\alpha }\), \(\lim_{n\rightarrow \infty }T_{\alpha }y_{n}=T_{\alpha }x\). But \(\lim_{n\rightarrow \infty }T_{\alpha }x_{n}=\lim_{n\rightarrow \infty }T_{\alpha }y_{n}=z\). Therefore, \(T_{\alpha }x=z\). Hence z∈ \(\mathrm{range} (T_{\alpha })\). This proves that \(T_{\alpha }\) has closed range. Conversely, suppose that \(T_{\alpha }\) has closed range. Then \(T_{\alpha }\) is bounded away from zero on \(((\ell _{M})_{\varrho } )_{\operatorname{ker}(\alpha )^{c}}\). That is, there exists \(\epsilon >0\) such that \(\varrho (T_{\alpha }x)\geq \varrho ( \epsilon x)\) for all \(x\in ((\ell _{M})_{\varrho } )_{ \operatorname{ker}(\alpha )^{c}}\). Let \(D= \{k\in \operatorname{ker}(\alpha )^{c}:| \alpha _{k}|<\epsilon \}\). If \(D\neq \phi \), then for \(n_{0} \in D\), we have
which is a contradiction. Hence, \(D=\phi \) so that \(|\alpha _{k}| \geq \epsilon \) for all \(k\in \operatorname{ker}(\alpha )^{c}\). This proves the theorem. □
Theorem 4.8
Let\(\alpha :\mathbb{N}\rightarrow \mathbb{C}\)be a mapping and\((\ell _{M})_{\varrho }\)be a pre-quasi Banach (sss), where\(\varrho (x)= \sum^{\infty }_{k=0}M(|x_{k}|)\)for all\(x\in \ell _{M}\). There exist\(a>0\)and\(A>0\)such that\(a<\alpha _{n}<A\); for all\(n\in \mathbb{N}\)if and only if\(T_{\alpha }\in L((\ell _{M})_{\varrho })\)is invertible.
Proof
Suppose that the condition is true. Define \(\beta :\mathbb{N}\rightarrow \mathbb{C}\) by \(\beta _{n}=\frac{1}{ \alpha _{n}}\). Then \(T_{\alpha }\) and \(T_{\beta }\) are bounded linear operators in view of Theorem 4.2. Also \(T_{\alpha }.T_{ \beta }=T_{\beta }.T_{\alpha }=I\). Hence, \(T_{\beta }\) is the inverse of \(T_{\alpha }\). Conversely, suppose that \(T_{\alpha }\) is invertible. Then \(\mathrm{range} (T_{\alpha })= ((\ell _{M})_{\varrho } )_{ \mathbb{N}}\). Therefore, \(\mathrm{range} (T_{\alpha })\) is closed. Hence, by Theorem 4.7, there exists \(a>0\) such that \(|\alpha _{n}|\geq a\) for all \(n\in \operatorname{ker}(\alpha )^{c}\). Now \(\operatorname{ker}(\alpha )=\phi \); otherwise \(\alpha _{n_{0}}=0\) for some \(n_{0}\in \mathbb{N}\), in which case \(e_{n_{0}}\in \operatorname{ker}(T_{ \alpha })\), which is a contradiction, since \(\operatorname{ker}(T_{\alpha })\) is trivial. Hence, \(|\alpha _{n}|\geq a\) for all \(n\in \mathbb{N}\). Since \(T_{\alpha }\) is bounded, so by Theorem 4.2, there exists \(A>0\) such that \(|\alpha _{n}|\leq A\) for all \(n\in \mathbb{N}\). Thus, we have proved that \(a\leq |\alpha _{n}|\leq A\) for all \(n\in \mathbb{N}\). □
Theorem 4.9
Let\((\ell _{M})_{\varrho }\)be a pre-quasi Banach (sss), where\(\varrho (x)=\sum^{\infty }_{k=0}M(|x_{k}|)\)for all\(x\in \ell _{M}\)and\(T_{\alpha }\in L((\ell _{M})_{\varrho })\). Then\(T_{\alpha }\)is a Fredholm operator if and only if
- (i)
\(\operatorname{ker}(\alpha )\)is a finite subset of\(\mathbb{N}\).
- (ii)
\(|\alpha _{n}|\geq \epsilon \)for all\(n\in \operatorname{ker}(\alpha )^{c}\).
Proof
Suppose that \(T_{\alpha }\) is Fredholm. If \(\operatorname{ker}(\alpha )\) is an infinite subset of \(\mathbb{N}\), then \(e_{n}\in \operatorname{ker}(T_{\alpha })\) for all \(n\in \operatorname{ker}( \alpha )\). But \(e_{n}\)s are linearly independent, which shows that \(\operatorname{ker}(T_{\alpha })\) is infinite dimensional, which is a contradiction. Hence, \(\operatorname{ker}(\alpha )\) must be a finite subset of \(\mathbb{N}\). Condition (ii) follows from Theorem 4.7. Conversely, if conditions (i) and (ii) are true, then we prove that \(T_{\alpha }\) is Fredholm. In view of Theorem 4.7, condition (ii) implies that \(T_{\alpha }\) has closed range. Condition (i) implies that \(\operatorname{ker}(T_{\alpha })\) and \((\operatorname{range}(T_{\alpha }))^{c}\) are finite dimensional. This proves that \(T_{\alpha }\) is Fredholm. □
5 Pre-quasi closed ideal components
For which Orlicz sequence space \(\ell _{M}\), are the components of pre-quasi operator ideal \(S_{\ell _{M}}\) closed?
Theorem 5.1
\((S_{(\ell _{M})_{\rho }},g)\)is a pre-quasi closed operator ideal, where\(\rho (x)=\sum^{\infty }_{n=0}M(|x_{n}|)\)and\(g(T)=\rho ((s_{n}(T))_{n=0} ^{\infty } )\), ifX, Yare normed spaces andMis an Orlicz function satisfying\(\Delta _{2}\)-condition.
Proof
Since \(\ell _{M}\) is a pre-modular (sss) by Theorem 2.13, then from Theorem 2.16, the function \(g(T)= \rho ((s_{n}(T))_{n=0}^{\infty } )\) is a pre-quasi norm on \(S_{(\ell _{M})_{\rho }}\). Let \(T_{m}\in S_{(\ell _{M})_{\rho }}(X,Y)\) for all \(m\in \mathbb{N}\) and \(\lim_{m\rightarrow \infty }g(T_{m}-T)=0\), then by using Definition 2.12(vii) there exists a constant \(\xi >0\), and since \(L(X, Y)\supseteq S_{(\ell _{M})_{\rho }}(X,Y)\), we get
then \((T_{m})_{m\in \mathbb{N}}\) is a convergent sequence in \(L(X, Y)\). While \((s_{n}(T_{m}))_{n=0}^{\infty }\in (\ell _{M})_{ \rho }\) for each \(m\in \mathbb{N}\), hence using Definition 2.12 conditions (iii), (iv), and M is continuous from right at 0, we obtain
we have \((s_{n}(T))_{n=0}^{\infty }\in (\ell _{M})_{\rho }\), then \(T\in S_{(\ell _{M})_{\rho }}(X,Y)\). □
6 Pre-quasi simple Banach operator ideal
We give here the sufficient conditions on Orlicz sequence space such that the pre-quasi operator ideal formed by the sequence of s-numbers and this sequence space are strictly contained for different Orlicz functions.
Theorem 6.1
Let\(\varphi _{1}\)and\(\varphi _{2}\)be two Orlicz functions satisfying\(\Delta _{2}\)-condition. For any infinite dimensional Banach spacesX, Yand\(\varphi _{2}(t)<\varphi _{1}(t)\)for all\(t\in (0, \infty )\), then
Proof
Let X and Y be infinite dimensional Banach spaces, if \(T\in S_{\ell _{\varphi _{1}}}(X, Y)\), then \((s_{n}(T))\in \ell _{\varphi _{1}}\). We have
hence \(T\in S_{\ell _{\varphi _{2}}}(X, Y)\). Next, if we take \((s_{n}(T))_{n=0}^{\infty }\) such that \(\varphi _{1} (s_{n}(T) )=\frac{1}{\sqrt[p]{n+1}}\) and \(\varphi _{2} (s_{n}(T) )=\frac{1}{(n+1) \frac{q}{p}}\) for any \(q>p>0\), we can find \(T\in L(X, Y)\) with T does not belong to \(S_{\ell _{\varphi _{1}}}(X, Y)\) and \(T\in S_{ \ell _{\varphi _{2}}}(X, Y)\).
It is easy to verify that \(S_{\ell _{\varphi _{2}}}(X, Y)\subset L(X, Y)\). Next, if we take \((s_{n}(T))_{n=0}^{\infty }\) such that \(\varphi _{2} (s_{n}(T) )=\frac{1}{n+1}\), one can find \(T\in L(X, Y)\) such that T does not belong to \(S_{\ell _{\varphi _{2}}}(X, Y)\). This completes the proof. □
Corollary 6.2
For any infinite dimensional Banach spacesX, Yand\(0< p< q<\infty \), then
The following question arises naturally: For which Orlicz sequence space, is the pre-quasi Banach ideal simple?
Theorem 6.3
Let\(\varphi _{1}\)and\(\varphi _{2}\)be two Orlicz functions satisfying\(\Delta _{2}\)-condition. For any infinite dimensional Banach spacesX, Yand\(\varphi _{2}(t)<\varphi _{1}(t)\)for all\(t\in (0, \infty )\), then
Proof
Suppose that there exists \(T\in L (S_{ \ell _{\varphi _{2}}}, S_{\ell _{\varphi _{1}}} )\) which is not approximable. According to Lemma 2.3, we can find \(X\in L(S_{\ell _{\varphi _{2}}}, S_{\ell _{\varphi _{2}}})\) and \(B\in L(S_{\ell _{\varphi _{1}}}, S_{\ell _{\varphi _{1}}})\) with \({BTX} I_{k}=I_{k}\). Then it follows for all \(k\in \mathbb{N}\) that
This contradicts Theorem 6.1, which is a contradiction. Hence \(T\in \varPsi (S_{\ell _{\varphi _{2}}}, S_{\ell _{\varphi _{1}}} )\), which finishes the proof. □
Corollary 6.4
Let\(\varphi _{1}\)and\(\varphi _{2}\)be two Orlicz functions satisfying\(\Delta _{2}\)-condition. For any infinite dimensional Banach spacesX, Yand\(\varphi _{2}(t)<\varphi _{1}(t)\)for all\(t\in (0, \infty )\), then
Proof
Since every approximable operator is compact. □
7 Eigenvalues of s-type operators
We give here the sufficient conditions on Orlicz sequence space such that the pre-quasi operator ideal is formed by the sequence of s-numbers and this sequence space is strictly contained in the class of all bounded linear operators whose sequence of eigenvalues belongs to this sequence space.
Notations 7.1
Theorem 7.2
For any infinite dimensional Banach spacesXandY. IfMis an Orlicz function satisfying\(\Delta _{2}\)-condition, then
Proof
Let \(T\in S_{\ell _{M}}(X, Y)\), then \((s_{n}(T))_{n=0} ^{\infty }\in \ell _{M}\), we have \(\sum_{n=0}^{\infty }M (s_{n}(T) )<\infty \), and since M is continuous, so \(\lim_{n\rightarrow \infty }s_{n}(T)=0\). Suppose \(\|T-s_{n}(T)\|\) is invertible for all \(n\in \mathbb{N}\), then \(\|T-s_{n}(T)\|^{-1}\) exists and is bounded for all \(n\in \mathbb{N}\). This gives \(\lim_{n\rightarrow \infty }\|T-s_{n}(T)\|^{-1}=\|T\|^{-1}\) exists and is bounded. Since \((S_{\ell _{M}},g)\) is a pre-quasi operator ideal, we have
But \(\lim_{n\rightarrow \infty }s_{n}(I)=1\). This is a contradiction, then \(\|T-s_{n}(T)\|\) is not invertible for all \(n\in \mathbb{N}\). Therefore the sequence \((s_{n}(T))_{n=0}^{\infty }\) is the eigenvalues of T. Next, on considering \((s_{n}(T))_{n=0}^{\infty }\) such that \(M (s_{n}(T) )=\frac{1}{n+1}\), we find \(T\in L(X, Y)\) with T does not belong to \(S_{\ell _{M}}(X, Y)\), and if we take \((\lambda _{n}(T))_{n=0} ^{\infty }\) such that \(M (\lambda _{n}(T) )=\frac{1}{(n+1)^{2}}\), hence \(T\in S^{\lambda }_{\ell _{M}}(X, Y)\). This finishes the proof. □
References
Abrahmse, M.B.: Multiplication operators. In: Hilbert Space Operators, Lecture Notes in Mathematics, vol. 693, pp. 17–36. Springer, Berlin (1978)
Alotaibi, A., Mursaleen, M., Raj, K.: Double sequence spaces by means of Orlicz functions. Abstr. Appl. Anal. 2014, Article ID 260326 (2014)
Alotaibi, A., Mursaleen, M., Sharma, S.K.: Double sequence spaces over n-normed spaces defined by a sequence of Orlicz functions. J. Inequal. Appl. 2014, 216 (2014)
Alotaibi, A., Mursaleen, M., Sharma, S.K., Mohiuddine, S.A.: Sequence spaces of fuzzy numbers defined by a Musielak–Orlicz function. Filomat 29(7), 1461–1468 (2015)
Altay, B., Başar, F.: Generalization of the sequence space \(\ell (p)\) derived by weighted means. J. Math. Anal. Appl. 330(1), 147–185 (2007)
Bakery, A.A., Mohammed, M.M.: Small pre-quasi Banach operator ideals of type Orlicz–Cesàro mean sequence spaces. J. Funct. Spaces 2019, Article ID 7265010 (2019)
Et, M., Mursaleen, M., Işik, M.: On a class of fuzzy sets defined by Orlicz functions. Filomat 27(5), 789–796 (2013)
Faried, N., Bakery, A.A.: Mappings of type Orlicz and generalized Cesáro sequence space. J. Inequal. Appl. (2013). https://doi.org/10.1186/1029-242X-2013-186
Faried, N., Bakery, A.A.: Small operator ideals formed by s numbers on generalized Cesáro and Orlicz sequence spaces. J. Inequal. Appl. (2018). https://doi.org/10.1186/s13660-018-1945-y
Komal, B.S., Gupta, S.: Multiplication operators between Orlicz spaces. Integral Equ. Oper. Theory 41(3), 324–330 (2001)
Komal, B.S., Pandoh, S., Raj, K.: Multiplication operators on Cesáro sequence spaces. Demonstr. Math. 49(4), 430–436 (2016)
Krasnoselskii, M.A., Rutickii, Y.B.: Convex Functions and Orlicz Spaces. Gorningen, Netherlands (1961)
Lindenstrauss, J., Tzafriri, L.: On Orlicz sequence spaces. Isr. J. Math. 10, 379–390 (1971)
Makarov, B.M., Faried, N.: Some properties of operator ideals constructed by s numbers (in Russian). In: Theory of Operators in Functional Spaces. Academy of Science. Siberian Section, pp. 206–211. Novosibirsk, Russia (1977)
Mohiuddine, S.A., Raj, K.: Vector valued Orlicz–Lorentz sequence spaces and their operator ideals. J. Nonlinear Sci. Appl. 10, 338–353 (2017)
Mrowka, T.: A Brief Introduction to Linear Analysis: Fredholm Operators. Geometry of Manifolds. Fall 2004 (Massachusetts Institute of Technology: MIT OpenCourseWare) (2004)
Mursaleen, M., Noman, A.K.: Compactness by the Hausdorff measure of noncompactness. Nonlinear Anal. 73, 2541–2557 (2010)
Mursaleen, M., Noman, A.K.: Compactness of matrix operators on some new difference sequence spaces. Linear Algebra Appl. 436, 41–52 (2012)
Mursaleen, M., Raj, K., Sharma, S.K.: Some spaces of difference sequences and lacunary statistical convergence in n-normed space defined by sequence of Orlicz functions. Miskolc Math. Notes 16(1), 283–304 (2015)
Mursaleen, M., Sharma, S., Kiliçman, A.: Sequence spaces defined by Musielak–Orlicz function over n-normed spaces. Abstr. Appl. Anal. 2013, Article ID 364743 (2013)
Mursaleen, M., Sharma, S.K., Mohiuddine, S.A., Kiliçman, A.: New difference sequence spaces defined by Musielak–Orlicz function. Abstr. Appl. Anal. 2014, Article ID 691632 (2014)
Orlicz, W.: Über Räume \((L^{M})\). Bull. Int. Acad Polon. Sci. A 93–107 (1936)
Pietsch, A.: Small ideals of operators. Stud. Math. 51, 265–267 (1974)
Pietsch, A.: Operator Ideals. North-Holland, Amsterdam (1980)
Pietsch, A.: Eigenvalues and s-Numbers. Cambridge University Press, New York (1986)
Raj, K., Sharma, S.K., Kumar, A.: Multiplication operator on Musielak–Orlicz spaces of Bochner type. J. Adv. Stud. Topol. 3, 1–7 (2012)
Sharma, A., Raj, K., Sharma, S.K.: Products of multiplication composition and differentiation operators from \(H^{\infty }\) to weighted Bloch spaces. Indian J. Math. 54, 159–179 (2012)
Singh, R.K., Kumar, A.: Multiplication operators with closed range. Bull. Aust. Math. Soc. 16, 247–252 (1977)
Singh, R.K., Manhas, J.S.: Multiplication operators and composition operators with closed ranges. Bull. Aust. Math. Soc. 16, 247–252 (1977)
Singh, R.K., Manhas, J.S.: Composition Operators on Function Spaces. North Holland, Amsterdam (1993)
Takagi, H., Yokouchi, K.: Multiplication and composition operators between two \(L_{p}\)-spaces. Contemp. Math. 232, 321–338 (1999)
Acknowledgements
The authors thank the anonymous referees for their constructive suggestions and helpful comments which led to significant improvement of the original manuscript of this paper.
Availability of data and materials
Not applicable.
Funding
Not applicable.
Author information
Authors and Affiliations
Contributions
All authors contributed equally to the writing of this paper. All authors read and approved the final manuscript.
Corresponding author
Ethics declarations
Competing interests
The authors declare that they have no competing interests.
Additional information
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Bakery, A.A., Elmatty, A.R.A. Some properties of pre-quasi norm on Orlicz sequence space. J Inequal Appl 2020, 55 (2020). https://doi.org/10.1186/s13660-020-02318-8
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13660-020-02318-8