Topological Properties of Weighted Composition Operators in Sequence Spaces

For fixed sequences u=(ui)i∈N,φ=(φi)i∈N\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$u = (u_i)_{i\in {{\mathbb {N}}}}, \varphi =(\varphi _i)_{i\in {{\mathbb {N}}}}$$\end{document}, we consider the weighted composition operator Wu,φ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$W_{u,\varphi }$$\end{document} with symbols u,φ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$u, \varphi $$\end{document} defined by x=(xi)i∈N↦u(x∘φ)=(uixφi)i∈N\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$x=(x_i)_{i\in {{\mathbb {N}}}}\mapsto u(x\circ \varphi )= (u_ix_{\varphi _i})_{i\in {{\mathbb {N}}}}$$\end{document}. We characterize the continuity and the compactness of the operator Wu,φ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$W_{u,\varphi }$$\end{document} when it acts on the weighted Banach spaces lp(v)\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$l^p(v)$$\end{document}, 1≤p≤∞\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$1\le p\le \infty $$\end{document}, and c0(v)\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$c_0(v)$$\end{document}, with v=(vi)i∈N\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$v=(v_i)_{i\in {{\mathbb {N}}}}$$\end{document} a weight sequence on N\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${{\mathbb {N}}}$$\end{document}. We extend these results to the case in which the operator Wu,φ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$W_{u,\varphi }$$\end{document} acts on sequence (LF)-spaces of type lp(V)\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$l_p(\mathcal {V})$$\end{document} and on sequence (PLB)-spaces of type ap(V)\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$a_p(\mathcal {V})$$\end{document}, with p∈[1,∞]∪{0}\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$p\in [1,\infty ] \cup \{0\}$$\end{document} and V\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathcal {V}$$\end{document} a system of weights on N\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${{\mathbb {N}}}$$\end{document}. We also characterize other topological properties of Wu,φ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$W_{u,\varphi }$$\end{document} acting on lp(V)\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$l_p(\mathcal {V})$$\end{document} and on ap(V)\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$a_p(\mathcal {V})$$\end{document}, such as boundedness, reflexivity and to being Montel.


Introduction
Shift operators are of interest because many classical operators can be viewed as such operators and also because they have been through the years a favourite testing ground for operator-theorists.The basic model of all shifts is the (unilateral) backward shift B(x 1 , x 2 , x 3 . ..) = (x 2 , x 3 , x 4 , . ..).
Shift operators in a Banach space setting where first studied by Rolewicz [34], who showed that for any c > 1 the multiple cB of the backward shift B on the sequence space l p , 1 ≤ p < ∞, or c 0 is hypercyclic.A generalization of the (unilateral) backward shift is the (unilateral) weighted backward shift B w (x 1 , x 2 , x 3 . ..) = (w 2 x 2 , w 3 x 3 , w 4 x 4 , . ..),where w = (w n ) n∈N is a sequence of non-zero scalars, called a weight sequence.For instance, the differentiation operator D on the space H(C) of entire functions can be regarded as a particular weighted backward shift operator.Indeed, we have where (e n ) n∈N0 denotes the canonical basis on H(C) given by e n (z) := z n , for z ∈ C and n ∈ N 0 , and where e −1 = 0.
The study of (weighted) shift operators on various spaces of sequences or functions has made possible to obtain an astounding number of deep results in the setting of the dynamic properties of linear operators such as topological transitivity, hypercyclicity and linear chaos (see, e.g., [10,11,17,20,21,28,29,35,36,40] and the references therein).
In the last years, the attention of the researchers has been attracted by the study of power boundedness, topologizability and mean ergodicity for linear operators acting on Banach spaces as well as on locally convex Hausdorff spaces such as Fréchet spaces or (LB)-spaces (see, e.g., [1][2][3]14,32,33]).Particular interest has been devoted to the study of these properties for weighted composition operators in function spaces or in sequence spaces (see [5,[7][8][9]15,16,[23][24][25][26]37] and the references therein).A weighted composition operator W u,ϕ , with u = (u i ) i∈N ∈ K N , ϕ = (ϕ i ) i∈N ∈ N N , when it acts on a sequence space X ⊆ K N is of this type x = (x i ) i∈N ∈ X → W u,ϕ (x) := (w i x ϕi ) i∈N .
(the operator W u,ϕ is also called weighted pseudo shift if ϕ : N → N is injective).Weighted composition operators acting on sequence spaces are then a generalization of weighted shift operators.Observe that if ϕ i = i for every i ∈ N, then W u,ϕ becomes the multiplication operator defined by M u (x) := ux = (u i x i ) i∈N , for x ∈ X.For u i = 1 for every i ∈ N, the operator W u,ϕ becomes the composition operator defined by C ϕ (x) := x • ϕ = (x ϕi ) i∈N , for x ∈ X.
As some properties like being a compact operator or a Montel operator are closely related to the (uniform) mean ergodicity (see, e.g., [4] and the rerences therein), the aim of this paper is to investigate and to characterize the continuity, the boundedness, the compactness and the property of being Montel or reflexive for weighted composition operators W u,ϕ in sequence (LF)-spaces of type l p (V) and in sequence (PLB)-spaces of type a p (V), with p ∈ [1, ∞]∪{0} and V a system of weights on N. Köthe echelon spaces and Köthe co-echelon spaces are spaces of type a p (V) and l p (V), respectively, for particular systems V of weights.
The paper is organized as follows.In Sect.2, we recall general definitions and results on (LF)-and (PLB)-spaces and on operators acting on these spaces.Section 3 is devoted to the study of the topological properties of weigthed composition operators.In particular, in Sect.3.1 we introduce the sequence (LF)-and (PLB)-spaces and give their relevant properties.In Sect.3.2 we establish when the weighted composition operator W u,ϕ acts continuously or compactly on the sequence Banach spaces l p (v), for p ∈ [1, ∞]∪{0} (Theorems 3.4 and 3.12).The continuity, the boundedness and the compactness of the operator W u,ϕ in the sequence spaces l p (V) and a p (V), for p ∈ [1, ∞] ∪ {0}, are characterized in Sect.3.3 (Theorems 3.14, 3.15 and 3. 16 for the (LF)case; Theorems 3.17, 3.18 and 3.19 for the (PLB)-case).Sects.3.5 and 3.6 are devoted to establish when the weighted composition operator W u,ϕ acting either on Köthe echelon spaces or on sequence (LF)-spaces of type l p (V), with p ∈ [1, ∞] ∪ {0}, is Montel or reflexive, respectively.

Definitions and General Results on (LF)-and (PLB)-Spaces
Let E and F be two locally convex Hausdorff spaces (briefly, lcHs for locally convex Hausdorff space).We denote by L(E, F ) the space of all continuous linear operators from E into F .In particular, L s (E, F ) (L b (E, F ), resp.)denotes L(E, F ) endowed with the strong operator topology τ s (L(E, F ) endowed with the topology τ b of the uniform convergence on bounded subsets of E, resp.).In case F = E, we simply write L(E), L s (E) and L b (E).
Let E and F be two lcHs and T be a linear operator from E into F .The operator T is called bounded if T maps some 0-neighborhood of E into a bounded subset of F .The operator T is called compact if T maps some 0-neighborhood of E into a relatively compact subset of F .We denote by K(E, F ) the space of all compact linear operators from E into F .We observe that if T is a bounded or compact operator from E into F , then it is necessarily continuous, i.e., T ∈ L(E, F ).Moreover, an operator T ∈ L(E, F ) is called Montel (reflexive, resp.) if T maps bounded subsets of E into relatively compact (relatively weakly compact, resp.)subsets of F .In case E is a bornological lcHs, the assumption on the continuity of T is not necessary because in such a case every linear operator from E into F mapping bounded subsets of E into relatively (weakly) compact subsets of F is continuous.If F is a reflexive lcHs, then every T ∈ L(E, F ) is reflexive.If E and F are Banach spaces, then a linear operator T : E → F is Montel if, and only if, it is compact.We refer the reader to [27] for more details.
In the following we recall some necessary definitions and collect some results on (LF)-or (PLB)-spaces and on operators acting in such spaces.We first consider the case of (LF)-spaces.
A lcHs E is called an (LF)-space if there exists a sequence {E n } n∈N of Fréchet spaces with E n → E n+1 continuously such that E = n∈N E n and the topology of E coincides with the finest locally convex topology for which each inclusion E n → E is continuous.In such a case, we simply write E = ind n∈N E n .The sequence {E n } n∈N is called a defining inductive spectrum for E. In this paper the (LF)-spaces are Hausdorff by definition.The space E = ind n∈N E n is called an (LB)-space if E n is a Banach space for all n ∈ N.An (LF)-space E = ind n∈N E n is called regular if every bounded subset B of E is contained and bounded in E n for some n ∈ N. Every complete (LF)-space is always regular.
An (LF)-space can satisfy stronger regularity conditions.Let E = ind n∈N E n be an (LF)-space and τ (τ n , resp.) denote the locally convex topology of E (of E n , for n ∈ N, resp.).The (LF)-space E is said to satisfy the condition (M) ((M 0 ), resp.) of Retakh if there exists an increasing sequence {U n } n∈N of subsets of E such that U n is an absolutely convex 0neighborhood of E n for all n ∈ N satisfying ∀n ∈ N ∃m ≥ n ∀μ ≥ m : τ μ and τ m induce the same topology on U n , ).An (LF)-space satisfying the condition (M) ((M 0 ), resp.) is called acyclic (weakly acyclic, resp.).Every acyclic (LF)-space is weakly acyclic and also complete (see [41,Corollary 6.5]).
The (LF)-space E = ind n∈N E n is called compactly retractive if every compact subset K of E is contained and compact in E n for some n ∈ N. The (LF)-space E = ind n∈N E n is called boundedly retractive if every bounded subet B of E is contained and bounded in some step E n and the topologies of E and E n coincide on B. While, the (LF)-space E is called sequentially retractive if every convergent sequence in E is contained in some step E n and converges there.We observe that, in view of Grothendieck's factorization theorem [22, p.147], all conditions above do not depend on the defining inductive spectrum of E.
Recall the following deep result due to Wengenroth [41].
The characterization of the continuity of operators between (LF)-spaces is well-known and due to Grothendieck.The characterization of the boundedness or the compactness as well as the property to being Montel or reflexive for operators acting between (LF)-spaces has been given in [31] (see also [16]) as it follows.

Theorem 2.2 ([31, §2.2])
. Let E = ind m∈N E m and F = ind n∈N F n be two (LF)spaces.Let T : E → F be a linear operator.The following assertions hold true: (1) Assume that F is regular.A lcHs E is called a (PLB)-space if there exists a sequence {E n } n∈N of (LB)-spaces with E n+1 → E n continuously, for n ∈ N, such that E = n∈N E n and the topology of E is the coarsest locally convex topology for which each inclusion E → E n is continuous.In such a case, we simply write E = proj n∈N E n .Clearly, a (PLB)-space E = proj n∈N E n is complete whenever E n is a complete (LB)-space for an infinite number of indices n.
The characterization of the continuity as well as the boundedness and the compactness for operators acting between (PLB)-spaces has been given in [6].We collect these characterizations in the following result.Theorem 2.3 [6, §2].Let E = proj n∈N E n be a (PLB)-space such that the continuous inclusion E → E n has dense range for all n ∈ N. Let F = proj k∈N F k be a (PLB)-space such that F k is a complete (LB)-space for all k ∈ N. Let T : E → F be a linear operator.Then the following assertions hold true: (1) The operator T is continuous if, and only if, for all k ∈ N there exists n ∈ N such that the operator T admits a unique linear continuous extention The operator T is bounded (compact, resp.)if, and only if, there exists n ∈ N such that for all k ∈ N the operator T admits a unique linear extension T n k : E n → F k which is bounded (compact, resp.).
We recall from [6] the following remarks, which are useful for the next sections.
Remark 2.4 Let E = proj n∈N E n be a (PLB)-space.Let τ n denote the locally convex topology of E n , for n ∈ N.
(1) From the proof of Theorem 2.3(1), it follows that for all k ∈ N there exists n ∈ N such the operator T : (E, τ n ) → F k is continuous also in the case E = proj n∈N E n is a (PLB)-space with no dense inclusion in E n for any n ∈ N. (2) From the proof of Theorem 2.3(2), it follows that there exists n 0 ∈ N such that the operator T : (E, τ n0 ) → F k is bounded (compact, resp.) for all k ∈ N also in the case that E = proj n∈N E n is a (PLB)-space with no dense inclusion in E n for any n ∈ N.

Sequence (LF)-and (PLB)-Spaces
Throughout the paper, ω := K N (where K ∈ {R, C}) denotes the space of all K-valued sequences, endowed with the locally convex (briefly, lc) topology of the coordinate convergence.Therefore, ω is a reflexive Fréchet space whose topological dual is the space ω = K (N) of all K-valued sequences with only a finite number of not-zero coordinates.In particular, ω is an (LB)-space when it is endowed with the strong topology.For all n ∈ N, let V n = (v n,k ) k∈N be a countable family of (strictly) positive sequences, called weights, on N. We denote by V the sequence (V n ) n∈N and we assume that the following two conditions are satisfied: ( The family V is called a system of weights on N.
Given a system V of weights on N, for n, k ∈ N and 1 ≤ p ≤ ∞, we define as usual where • p denotes the l p norm.For p = 0, we set Clearly, (l p (v n,k ), • p,v n,k ), 1 ≤ p ≤ ∞, are Banach spaces, and c 0 (v n,k ) is a Banach space with the norm of l ∞ (v n,k ).Since l p (v n,k+1 ) is continuously included into l p (v n,k ), the sequence {l p (v n,k )} k∈N of Banach spaces forms a projective spectrum.Hence, for all n ∈ N and 1 ≤ p ≤ ∞, we can consider the echelon spaces

Endowed with the projective topologies λ
), these spaces are Fréchet spaces with the topology defined by the corresponding seminorms.We point out that these spaces are Köthe echelon spaces.
The sequence {λ p (V n )} n∈N of Fréchet spaces forms an inductive spectrum.Thus, the spaces We say that the system V of weights on N satisfies the condition While, we say that the system V satisfies the condition (Q The properties of regularity of the (LF)-space l p (V) and the conditions (Q) and (WQ) are related, as the following theorem of Vogt [39] shows.Theorem 3.1 Let V = (V n ) n∈N be a system of weights on N. Then the following properties hold true: (1) For 1 < p < ∞, the following conditions are equivalent: (2) For p = 1, ∞, the following conditions are equivalent: (i) V satisfies the condition (WQ); ) For p = 0, the following conditions are equivalent: Vogt [39] also characterized when the (LF)-spaces l p (V) satisfy the condition (M) and (M 0 ), as stated in the following result.

satisfies the condition (M) if, and only if, V satisfies the condition (Q).
Moreover, if p = 1, ∞, the (LF)-space l p (V) satisfies the condition (M 0 ) if, and only if, V satisfies the condition (WQ).The (LF)-space l 1 (V) satisfies the condition (M 0 ) if, and only if, V satisfies the condition (Q).

Given a system of weights
and {c 0 (v n,k )} n∈N of Banach spaces form an inductive spectrum.Hence, we can consider the co-echelon spaces which are (LB)-spaces when they are endowed with the inductive topologies, i.e., a p ( ).We point out that these spaces are Köthe co-echelon spaces.
The sequence {a p (V k )} k∈N of (LB)-spaces forms a projective spectrum.Hence, the spaces endowed with the projective topologies, i.e., a p (V) = proj k∈N a p (V k ) and a 0 (V) = proj k∈N a 0 (V k ) are (PLB)-spaces.We observe that by [13, Theorem 2.3 and Corollary 2.8], the co-echelon spaces a p (V k ) are complete (LB)-spaces for every 1 ≤ p ≤ ∞.Accordingly, a p (V) = proj k∈N a p (V k ) is a complete (PLB)-space for every 1 ≤ p ≤ ∞.The (LB)-space a 0 (V k ), for k ∈ N, need not be regular.The regularity is ensured by a stronger condition on the system V k of weights.To see this, we recall that, given a sequence (v n ) n∈N of decreasing weights on N, the sequence (v n ) n∈N is called regularly decreasing if given n ∈ N, there exists m ≥ n such that, on each subset of N on which the quotient vm vn is bounded away from zero, also all quotients v k vn , k ≥ m, are bounded away from zero.By [13,Theorem 3.7], the co-echelon space a 0 (V k ), for k ∈ N, is regular if, and only if, it is complete if, and only if, it satisfies condition (M) if, and only if, it is (strongly) boundedly retractive if, and only if, the sequence V k = (v n,k ) n∈N is regularly decreasing.Furthermore, every co-echelon space a p (V k ), for k ∈ N and 1 ≤ p ≤ ∞, satisfies condition (M) if, and only if, it is (strongly) boundedly retractive if, and only if, the sequence Finally, we point out that the spaces introduced above are all continuously included in ω with dense range.

Weighted Composition Operators or Pseudo Shifts
we can define the weighted composition operator W u,ϕ acting on ω with symbols u, ϕ by setting Observe that this operator is obtained by composition of two well-known operators: the multiplication operator M u and the composition operator C ϕ .In fact, when ϕ is the identity map on N, W u,ϕ becomes a multiplication operator which is defined pointwise by Remark 3.3 Let X be a non complete lcHs, Y be a complete lcHs and u ∈ ω, ϕ ∈ N N .If X and Y are continuously included in ω (here, X denotes the completion of X) and W u,ϕ ∈ L(X, Y ), then the continuous linear extension W u,ϕ : X → Y coincides with W u,ϕ .Indeed, if we denote by j Throughout the paper, we denote by e n , for n ∈ N, the element (δ n,i ) i∈N of ω.We observe that the sequence (e n ) n∈N forms an unconditional basis for ω.

The Operator W u,ϕ Acting on Weighted l p Sequence Banach Spaces
We start by studying the continuity and the compactness of the weighted composition operator W u,ϕ when it acts from l p (v) into l p (w), for 1 ≤ p ≤ ∞ and v, w two weights on N. We first characterize the continuity as follows.For p = 2 and p = ∞ the result is given in [26,Theorem 2.3] and in [18, Theorem 2.1], respectively.
where the sum is defined equal to Proof Suppose that W u,ϕ ∈ L(l p (v), l p (w)).Then there exists M > 0 such that for every x ∈ l p (v) Therefore, applying (3.2) with x = e n , we get that Conversely, suppose that (3.1) is satisfied.Then for every x ∈ l p (v) we have This means that W u,ϕ ∈ L(l p (v), l p (w)).
The proof follows as in [6, Proposition 4] with some obvious changes.
In a similar way, one shows for p = ∞ that Moreover, we observe that: (1) If ϕ is one-to-one, then W u,ϕ ∈ L(l p (v), l p (w)) if, and only if, there exists vn ≤ M , for all n ∈ N. In such a case, we have (2) Suppose that there exists L > 0 such that λ(ϕ −1 (n)) ≤ L for all n ∈ N, where λ denotes the counting measure on N. If there exists M > 0 such We now deal with the study of the compactness of weighted composition operators W u,ϕ acting on weighted l p sequence Banach spaces.To obtain a characterization of the compactness of the operator W u,ϕ , we need some auxiliary results about the dual operator W u,ϕ of W u,ϕ which acts from (l p (w), Moreover, the following representation for the dual operator W u,ϕ is valid.
where p is the conjugate exponent of Proof Suppose 1 ≤ p < ∞.Then the assumption implies that W u,ϕ ∈ L . Moreover, for every y ∈ l p 1 w and x ∈ l p (v) we have for every y ∈ l p 1 w .For p = 0 the proof is analogous.
To obtain the desired characterization for the compactness of W u,ϕ we will require the following two results.Remark 3.9 Let ϕ : N → N be a map.Then for all J ∈ N there exists N ∈ N such that for all n > N and j ∈ ϕ −1 (n) we have j > J.
Indeed, for a fixed J ∈ N, set N := max 1≤j≤J ϕ(j).Fixed n > N and On the other hand, by Theorem 3.4 the continuity of W u,ϕ implies the existence of M > 0 such that Now, for fixed y ∈ c 0 1 w and ε > 0, there exists j 0 ∈ N such that for all j ≥ j 0 .On the other hand, by Remark 3.9 there exists n 0 ∈ N such that for all n > n 0 and j ∈ ϕ −1 (n) we have j > j 0 .Therefore, we get for all n > n 0 that By the arbitrariness of ε > 0, this means that W u,ϕ (y It is well-known that there are no compact composition operator from l 2 into itself.On the other hand, Singh and Manhas [38] established necessary and sufficient conditions in order to have a compact composition operator acting on l 2 (v), with v a weight on N.An analogous result was given in [26].In [18] the authors characterized the compactness of weighted composition operators in l ∞ (v).In the next result we extend this characterization in the setting of l p (v) spaces, for 1 ≤ p < ∞, without any addditional assumptions on the multiplier u and on the map ϕ.Theorem 3.12 Let u = (u i ) i∈N ∈ ω, ϕ = (ϕ i ) i∈N ∈ N N , let v, w be two weights on N and 1 ≤ p < ∞.Then W u,ϕ ∈ K(l p (v), l p (w)) if, and only if, Proof We distinguish the cases p = 1 and 1 < p < ∞.
Case: 1 < p < ∞.Suppose that the operator W u,ϕ is compact.As en en p,v : n ∈ N is a bounded subset of l p (v), it then follows that the set Wu,ϕ(en) en p,v : n ∈ N is relatively compact in l p (w).On the other hand, the sequence en en p,v n∈N weakly converges to 0 in l p (v), as it is easy to show.

Wu,ϕ(en) en p,v n∈N
weakly converges to 0 in l p (w), thereby implying that the set Wu,ϕ(en) en p,v : n ∈ N is relatively weakly compact in l p (w). Accordingly, the norm topology of l p (w) and the weak topology σ l p (w), l p ( 1 w ) necessarily coincide on the set Wu,ϕ(en) en p,v : n ∈ N .Hence, the thesis follows.Now, assume that 1 this condition implies that W u,ϕ ∈ L(l p (v), l p (w)) with In order to show that W u,ϕ ∈ K(l p (v), l p (w)), we fix a bounded sequence (x i ) i∈N of l p (v) and set L := sup i∈N x i p,v .Since l p (v) is a reflexive Banach space, there exists a subsequence of (x i ) i∈N , denoted again by (x i ) i∈N for the sake of simplicity, such that (x i ) i∈N weakly converges in l p (v) to some x ∈ l p (v). Accordingly, x p,v ≤ L. Since W u,ϕ : l p (v) → l p (w) is also weakly continuous, it follows that the sequence (W u,ϕ (x i )) i∈N weakly converges to W u,ϕ (x).Now, for a fixed ε > 0, by assumption there exists for all n > n 0 .Therefore, we get for all n > n 0 and i ∈ N that Since x i → x weakly in l p (v) and hence, pointwise, there is i 0 ∈ N such that for all i ≥ i 0 .Summing up, we obtain for all i ≥ i 0 that This means that W u,ϕ (x i ) → W u,ϕ (x) in l p (w).So, the proof is complete.
and hence, by Lemma 3.10, the dual operator ) continuous, i.e., w*-w* continuous (see Remark 3.11).Moreover, T = (W u,ϕ | c0( 1w ) ) = W u,ϕ , as it easily follows by using standard duality arguments.So, since the sequence en en 1,v : n ∈ N is a relatively compact subset of l 1 (w).So, we get that the norm topology of l 1 (w) and the weak* topology σ(l 1 (w), c 0 ( 1 w )) necessarily coincide on the set In order to prove that W u,ϕ ∈ K(l 1 (v), l 1 (w)), we fix a bounded sequence (x i ) i∈N of l 1 (v) and set L := sup i∈N x i 1,v .Since l 1 (v) → ω continuously and ω is a Fréchet Montel space, we have that (x i ) i∈N is a bounded sequence in ω and hence, it contains a subsequence convergent in ω to some x ∈ ω.For the sake of simplicity, we still denote the subsequence by (x i ) i∈N .Since This implies that x 1,v ≤ L and hence, x ∈ l 1 (v).Now, to get the thesis it suffices to proceed as in the proof of the case 1 < p < ∞ (just to put 1 instead of p).

The Operator W u,ϕ Acting on Sequence (LF)-and (PLB)-Spaces
Thanks to the results in Sect. 2 and in Sect.3.3, we can characterize the continuity, the boundedness and the compactness of weighted composition operators in sequence (LF)-spaces of type l p (V) and in sequence (PLB)-spaces of type a p (V), for p ∈ [1, ∞] ∪ {0}.
Concerning the weighted composition operator W u,ϕ in sequence (LF)spaces of type l p (V) we have the following results.In the first one we characterize the continuity.Theorem 3.14 Let V, W be two systems of weights on N and ϕ = (ϕ i ) i∈N ∈ N N , u = (u i ) i∈N ∈ ω.For 1 ≤ p < ∞, the following properties are equivalent: where the sum is defined equal to 0 if ϕ −1 (i) = ∅ for some i ∈ N. If p = ∞, the following properties are equivalent: (1) (3) For all m ∈ N there exists n ∈ N such that for all k ∈ N there exist l ∈ N, M > 0 for which Clearly, ( 2) implies ( 1) and ( 1) implies ( 2) by the Closed Graph theorem (see, f.i., [27, p.57]).Indeed, if (x α ) α ⊂ l p (V) is a net convergent to x in l p (V) and (W u,ϕ (x α )) α is convergent to y in l p (W), then (x α ) α and (W u,ϕ (x α )) α converge in ω to x and y respectively.Since W u,ϕ ∈ L(ω), it follows that W u,ϕ (x) = y.This proves that the graph of W u,ϕ is closed.
(2)⇔( 3).The weighted composition operator W u,ϕ : l p (V) → l p (W) is continuous if, and only if, for all m ∈ N the operator W u,ϕ : λ p (V m ) → l p (W) is continuous.By Grothendieck's factorization theorem [22, p.147], it follows that W u,ϕ is continuous if, and only if, for all m ∈ N there exists n ∈ N such that W u,ϕ : λ p (V m ) → λ p (W n ) is well-defined and continuous.Since each space l p (v m,l ) is dense in λ p (V m ), by Theorem 2.3(1), this holds if, and only if, for all k ∈ N there exists l ∈ N such that the operator W u,ϕ admits a unique continuous linear extension (W u,ϕ ) l k : l p (v m,l ) → l p (w n,k ).Since W u,ϕ ∈ L(ω) and the spaces l p (v m,l ) and l p (w n,k ) are continuously included in ω, (W u,ϕ ) l k = W u,ϕ (see Remark 3.3), thereby implying that W u,ϕ : l p (v m,l ) → l p (w n,k ) is continuous.The thesis now follows by applying Theorem 3.4.
For p = ∞, it suffices to observe that W u,ϕ : λ ∞ (V m ) → λ ∞ (W n ) is continuous if, and only if, for all k ∈ N there exist l ∈ N, M > 0 such that (3.4) (3.4) for some fixed i ∈ N, we get that sup Since i ∈ N is arbitrary, we can then conclude that (2)⇒(3) also for p = ∞.Conversely, suppose that (3) holds true.Then by Remark 3.5, we get that W u,ϕ ∈ L(l ∞ (v m,l ), l ∞ (w n,k )) and hence, the thesis follows in view of Theorem 2.3 (1).
For p = 0, we can argue as in the proof of the case 1 ≤ p < ∞, by obtaining that W u,ϕ : l 0 (V) → l 0 (W) is continuous if, and only if, for all m ∈ N there exists n ∈ N such that for all k ∈ N there exist l ∈ N, M > 0 for which The proof of the following characterization of the boundedness of W u,ϕ in l p (V) is an application of Theorems 2.2(1), 2.3(2) and 3.4, and Remark 3.5.

Theorem 3.15 Let V, W be two systems of weights on N and ϕ
The following assertions hold true: (1) If 1 ≤ p < ∞ and l p (W) is regular, then W u,ϕ : l p (V) → l p (W) is bounded if, and only if, there exists n ∈ N such that for all m ∈ N there exists l ∈ N such that for all k ∈ N there exists M > 0 for which where the sum is defined equal to if, and only if, there exists n ∈ N such that for all m ∈ N there exists l ∈ N such that for all k ∈ N there exists M > 0 for which ( the proof follows by arguing as in the proof of Theorem 3.14 in view of Theorems 2.2(1), 2.3(2) and 3.4, and Remark 3.6.In particular, for p = 0 one shows that W u,ϕ : l 0 (V) → l 0 (W) is bounded if, and only if, the condition in ( 2) is satisfied.
For p = ∞ we observe that W u,ϕ : l 0 (V) → l 0 (W) is bounded if, and only if, there exists n ∈ N such that for all m ∈ N the restriction and only if, there exists l ∈ N such that for all k ∈ N the operator W u,ϕ : (λ ∞ (V m ), τ m,l ) → l ∞ (w n,k ) is continuous, where τ m,l denotes the lc-topology of l ∞ (v m,l ), i.e., there exists M > 0 such that In view of the inequality above, we can argue as in the proof of Theorem 3.14 to conclude that this is equivalent to require that the conditon (2) is satisfied.
In the next result we characterize the compactness of weighted composition operators in sequence (LF)-spaces of type l p (V). Theorem 3.16 Let V, W be two system of weights on N and ϕ = (ϕ i ) i∈N ∈ N N , u = (u i ) i∈N ∈ ω.The following assertions hold true: (1) If 1 ≤ p < ∞ and l p (W) satisfies condition (M), then W u,ϕ : l p (V) → l p (W) is compact if, and only if, there exists n ∈ N such that for all m ∈ N there exists l ∈ N such that for all k ∈ N and only if, there exists n ∈ N such that for all m ∈ N there exists l ∈ N such that for all k ∈ N (3) If p = 0, l 0 (W) satisfies condition (M) and ϕ : On the other hand, by Theorem 2.3(2), this holds true if, and only if, there exists l ∈ N such that for all k ∈ N the operator W u,ϕ admits a unique linear extension (W u,ϕ ) l k : l p (v m,l ) → l p (w n,k ) which is compact.Since W u,ϕ ∈ L(ω) and the space l p (v m,l ) and l p (w n,k ) are continuously included in ω, necessarily, (W u,ϕ ) l k = W u,ϕ (see Remark 3.3), i.e., W u,ϕ ∈ K(l p (v m,l ), l p (w n,k )).Accordingly, the thesis now follows by applying Theorem 3.12.
For p = 0, ∞ the proof is analogous and so, it is omitted.
We now turn our attention on the study of weighted composition operators W u,ϕ in sequence (PLB)-spaces of type a p (V).In view of Theorems 2.3(1) and 3.4, we can characterize the continuity of W u,ϕ as follows.
Theorem 3.17 Let V, W be two systems of weights on N and ϕ = (ϕ i ) i∈N ∈ N N , u = (u i ) i∈N ∈ ω.The following assertions hold true:

and only if,
for all k ∈ N there exists l ∈ N such that for all m ∈ N there exist n ∈ N, M > 0 for which ( is continuous if, and only if, for all k ∈ N there exists l ∈ N such that for all m ∈ N there exist n ∈ N, M > 0 for which (3) If p = 0, ϕ : N → N is a proper map and the sequence Proof For 1 ≤ p < ∞ or p = 0, the characterization of the continuity follows by arguing as in the proof of Theorem 3.14 in view of Theorems 2.3(1) and 3.4 and Remarks 3.5 and 3.6.In particular, for p = 0 one shows that the operator W u,ϕ : a 0 (V) → a 0 (W) is continuous if, and only if, the condition in (2) is satisfied.
For p = ∞, the space a ∞ (V) could be not dense in each a ∞ (V l ).So, to show the statement, we proceed as follows.
By Remark 2.4(1), the operator ) and bounded there.Indeed, for all i ∈ N, we have Accordingly, B is a bounded subset of (a is satisfied.Conversely, if (3.5) is satisfied, then by Remark 3.5, this implies that the operator W u,ϕ ∈ L(l ∞ (v m,l ), l ∞ (w n,k )) and hence, the thesis follows.
The characterization of the boundedness of weighted composition operators in sequence (PLB)-spaces of type a p (V) is contained in the following result.The proof relies on Theorems 2.2(1), 2.3(2) and 3.4, and Remark 3.5.

Theorem 3.18 Let V, W be two systems of weights on N and ϕ
The following assertions hold true:

and only if,
there exists l ∈ N such that for all k ∈ N there exists n ∈ N such that for all m ∈ N there exist M > 0 for which ( is bounded if, and only if, there exists l ∈ N such that for all k ∈ N there exists n ∈ N such that for all m ∈ N there exist M > 0 for which (3) If p = 0, ϕ : N → N is a proper map and the sequence W k = (w n,k ) n∈N is regularly decreasing for all k ∈ N, then W u,ϕ : a 0 (V) → a 0 (W) is bounded if, and only if, W u,ϕ : a ∞ (V) → a ∞ (W) is bounded.
Proof For p ∈ [1, ∞) ∪ {0} the proof follows as in the proof of Theorem 3.14 in view of Theorems 2.2(1), 2.3(2) and 3.4, and Remarks 3.5 and 3.6.In particular, for p = 0 one shows that the operator W u,ϕ : a 0 (V) → a 0 (W) is bounded if, and only if, the condition in (2) is satisfied.Let p = ∞.By Theorem 2.3(2) and Remark 2.4, the operator W u,ϕ : a ∞ (V) → a ∞ (W) is bounded if, and only if, there exists l ∈ N such that for all k ∈ N the operator W u,ϕ : (a ∞ (V), τ l ) → a ∞ (W k ) is bounded, where τ l denotes the lc-topology of the (LB)-space a ∞ (V l ). Fix ) and bounded there (see the proof of Theorem 3.14).Accordingly, B is a bounded subset of (a ∞ (V), τ l ).Thus, there exists i.e., the condition in (2) is satisfied.Conversely, if the condition in ( 2) is satisfied, then by Remark 3.5 the operator W u,ϕ ∈ L(l ∞ (v m,l ), l ∞ (w n,k )).So, the thesis follows.
In the final result of this section, we characterize the compactness of weighted composition operators in sequence (PLB)-spaces of type a p (V). Theorem 3.19 Let V, W be two systems of weights on N and ϕ = (ϕ i ) i∈N ∈ N N , u = (u i ) i∈N ∈ ω.The following assertions hold true: (1) If 1 ≤ p < ∞, then W u,ϕ : a p (V) → a p (W) is compact if, and only if, there exists l ∈ N such that for all k ∈ N there exists n ∈ N such that for all m ∈ N Proof The thesis follows by arguing as in the proof of Theorem 3.16 in view of Theorems 2.2(2), 2.3(2) and 3.12, and of the remark thereafter.
Remark 3. 20 The results of this subsection extend to the case p ∈ [1, ∞) the characterization of the continuity, the boundedness and of the compactness of composition operators acting either on sequence (LF)-spaces of type l p (V) or on sequence (PLB)-spaces of type a p (V) for p = 0, ∞ given in [6].The results above also extend to the case of weighted composition operators the characterization of the continuity, the boundedness and of the compactness of multiplication operators acting on sequence (LF)-spaces of type l p (V), for p ∈ [1, ∞] ∪ {0}, given in [31].

Montel Weighted Composition Operators Acting on Köthe Echelon Spaces and on Sequence (LF)-Spaces
In this section we give necessary and sufficient conditions in order that a weighted composition operator acting on Köthe echelon spaces and on sequence (LF)-spaces of type l p (V) is Montel.To this end, we recall a known result about the relative compactness of subsets of the spaces l p (v), 1 ≤ p < ∞, and c 0 (v) (see, f.i., [30,Chapter 15]), where v is a weight on N. For 1 ≤ p < ∞, a subset K of l p (v) is relatively compact if, and only if, for every ε > 0 there exists j 0 ∈ N such that ∞ j=j0+1 |x j | p v p j < ε p for every x ∈ K.A subset K of c 0 (v) is relatively compact if, and only if, for every ε > 0 there exists j 0 ∈ N such that sup j≥j0+1 |x j |v j < ε for every x ∈ K.
Let A = (a n ) n∈N be a Köthe matrix, i.e., a n ∈ ω for all n ∈ N and 0 < a n (i) ≤ a n+1 (i) for all i, n ∈ N. Denote by The following useful description of the bounded sets in a Köthe echelon space is due to Bierstedt, Meise and Summers [13].

Proposition 3.21 Let
In the following result we characterize Montel weighted composition operators acting on Köthe echelon spaces.
where we used the fact that ϕ is increasing.
Remark 3.23 If ϕ is an increasing self-map on N, i.e., ϕ(i) ≤ ϕ(i + 1) for all i ∈ N, the map ϕ could not be proper.For example, let ϕ(i) = 1 for all i ∈ N.
The case p < ∞ is completely characterized.So, it remains to prove that the same characterization holds for p = ∞.In order to do this, we observe what follows.Remark 3.24 Let X be the family of all sequence lcHs X satisfying the following properties: (a) The inclusion j : X → ω is continuous with dense range; (b) The dual operator j : ω β → X β has dense range.We point out that, for any X ∈ X , by (b), the bidual operator j : X → ω is a continuous inclusion.We observe that, for fixed X, Y ∈ X and ϕ ∈ N N , if the composition operator C ϕ ∈ L(X, Y ) (i.e., C ϕ (x) = x • ϕ, for x ∈ X), then the bidual operator C ϕ ∈ L(X β , Y β ) is given by C ϕ (x ) = x • ϕ for every x ∈ X .Indeed, if we denote by Φ the composition operator by ϕ acting on ω and by j X : X → ω (j Y : Y → ω, resp.) the inclusion of X (Y , resp.) into ω, we have that j Y • C ϕ = Φ • j X .Passing to the bidual operators, we obtain that j Y • C ϕ = Φ • j X .Since ω is reflexive, Φ coincides with Φ on ω.Since j X and j Y are inclusion maps, it follows that C ϕ (x ) = x • ϕ for every x ∈ X .
In the next result, we characterize when a weighted composition operator acting on sequence (LF)-spaces of type l p (V) is Montel.The proof is an application of Theorem 2.2(3), and of Propositons 3.22 and 3.25, taking into account that for a system V = (V n ) n∈N of weights on N we have that l p (V) = ind n∈N λ p (V n ), for 1 ≤ p ≤ ∞ or p = 0, where each λ p (V n ) is a Köthe echelon space.

Theorem 3.26 Let V, W be two systems of weights on N and let
is regular and that l p (W) satisfies the condition (M).Moreover, suppose that the operator W u,ϕ : l p (V) → l p (W) is continuous.Then the following assertions hold true:

Reflexive Weighted Composition Operators Acting on Köthe Echelon Spaces and on Sequence (LF)-Spaces
In the following, we give necessary and sufficient conditions in order that a weighted composition operator acting either on Köthe echelon spaces or on sequence (LF)-spaces of type l p (V) is reflexive.
For p = 1, 0, ∞, we will show that a weighted composition operator acting on Köthe echelon spaces is Montel if, and only if, it is reflexive.In order to see this, we observe what follows.
Let A = (a n ) n∈N , B = (b m ) m∈N be two Köthe matrices and fix ϕ = (ϕ i ) i∈N ∈ N N , u = (u i ) i∈N ∈ ω.For p = 1, 0, ∞, assume that W u,ϕ : λ p (A) → λ p (B) is continuous.Then we have: (i) If p = 1, by Schur's Theorem (see [42]) a bounded subset B of λ 1 (A) is weakly (relatively) compact if, and only if, it is (relatively) compact.Accordingly, W u,ϕ : λ 1 (A) → λ 1 (B) reflexive if, and only if, it is Montel; (ii) If p = 0 and ϕ : N → N is a proper increasing map, we claim that W u,ϕ : λ 0 (A) → λ 0 (B) is reflexive if, and only if, it is Montel.We only have to show that the condition is necessary.So, suppose that W u,ϕ : λ 0 (A) → λ 0 (B) is reflexive.By a result of Grothendieck [22] (see also [27, p.204]), this implies that W u,ϕ = W u,ϕ (see Remark Therefore, we can give a first characterization.The proof is an application of Theorem 2.2(3)-( 4) and the considerations above, taking into account that for a system V of weights on N we have l p (V) = ind n∈N λ p (V n ), for 1 ≤ p ≤ ∞ or p = 0, where each λ p (V n ) is a Köthe sequence space.
Theorem 3.27 Let V, W be two systems of weights on N and let ϕ = (ϕ i ) i∈N ∈ N N , u = (u i ) i∈N ∈ ω, with ϕ an increasing sequence.Let p = 1, 0, ∞.Suppose that l p (V) is regular and that l p (W) satisfies the condition (M 0 ).Furthermore, for p = 1, suppose also that ϕ is a proper map.If W u,ϕ ∈ L(l p (V), l p (W)), then W u,ϕ is reflexive if, and only if, W u,ϕ is Montel.
We now consider the case 1 < p < ∞.Since λ p (A) and λ p (B) are reflexive Fréchet spaces ([12, Proposition 9]), the weighted composition operator W u,ϕ : λ p (A) → λ p (B) is clearly reflexive.In this case the following characterization is valid.The proof is an obvious consequence of Theorem 3.1.Theorem 3.28 Let V, W be two systems of weights on N and let ϕ = (ϕ i ) i∈N ∈ N N , u = (u i ) i∈N ∈ ω.Let 1 < p < ∞.Suppose that l p (W) is regular.The weighted composition operator W u,ϕ : l p (V) → l p (W) is continuous if, and only if, it is reflexive.Theorems 3.27 and 3.28 extend to the case of composition operators the characterization of reflexive multiplication operators acting on sequence (LF)-spaces of type l p (V), for 1 ∈ [1, ∞] ∪ {0}, given in [31,Theorem 4.13] and [31,Proposition 4.14], respectively.
Funding Open access funding provided by Università del Salento within the CRUI-CARE Agreement.

Conflict of interest
The author has no relevant financial or non-financial interests to disclose.

Proposition 3 .
22 Let A = (a n ) n∈N , B = (b m ) m∈N be two Köthe matrices and let ϕ = (ϕ i ) i∈N ∈ N N , u = (u i ) i∈N ∈ ω, with ϕ increasing.The following assertions hold true:

( 2 )
is Montel if, and only if, for all m ∈ N there exists n ∈ N such that for everyv m ∈ λ ∞ (V m ) + and k ∈ N we have lim n→∞ v p m (n) j∈ϕ −1 (n) w p n,k (j)|u j | p = 0.If ϕ : N → N is a proper map, then W u,ϕ : l ∞ (V) → l ∞ (W) is Montel if, and only if, W u,ϕ : l 0 (V) → l 0 (W) is Montel if, and only if, for all m ∈ N there exists n ∈ N such that for every v m ∈ λ ∞ (V m ) + and k ∈ N we have lim n→∞ v m (n) sup j∈ϕ −1 (n) w n,k (j)|u j | = 0.Theorem 3.26 extends to the case of weighted composition operators the characterization of when a multiplication operator acting on sequence (LF)spaces of type l p (V), for p ∈ [1, ∞] ∪ {0} is Montel given in [31, Theorem 4.12].
The operator T is bounded if, and only if, there exists n ∈ N such that for all m ∈ N we have that T (E m ) ⊂ F n and the restriction T : E m → F n is bounded.(2) Assume that F satisfies the condition (M).The operator T is compact if, and only if, there exists n ∈ N such that for all m ∈ N we have that T (E m ) ⊂ F n and the restriction T : E m → F n is compact.(3) Assume that E is regular and F satisfies the condition (M).The operator T is Montel if, and only if, for all m ∈ N there exists n ∈ N such that T (E m ) ⊂ F n and the restriction T : E m → F n is Montel.(4) Assume that E is regular and F satisfies the condition (M 0 ).The operator T is reflexive if, and only if, for all m ∈ N there exists n ∈ N such that T (E m ) ⊂ F n and the restriction T : E m → F n is reflexive.
Let X be a locally compact Hausdorff topological space.A continuous map ϕ : X → X is called proper if the preimage of every compact set K in X is also a compact set in X.If ϕ : N → N, then ϕ is proper if, and only if, lim i→∞ ϕ i = ∞, as it is easy to show.If we assume that ϕ : N → N is a proper map, then the operator W u,ϕ belongs to L(c 0 (v), c 0 (w)) if, and only if, and only if, there exists l ∈ N such that for all k ∈ N there exists n ∈ N such that for all m ∈ N If p = 0, ϕ : N → N is a proper map and the sequence W k = (w n,k ) n∈N is regularly decreasing for all k ∈ N, then W u,ϕ : a 0 (V) → a 0 (W) is compact if, and only if, W u,ϕ : a ∞