# Full invariants on certain class of abstract dual systems

## Abstract

In this article, we study the convergence of sequences of operators on some classical vector-valued sequence spaces in the frame of abstract dual systems. Several consequences of full invariants are obtained.

## 1 Introduction

A dual system in linear analysis consists of a linear space and a collection of linear functionals defined on the linear space. Theory of locally convex spaces is exactly about theory of dual systems which plays a crucial role in many fields of mathematical analysis. In fact, many people working in different fields of mathematics have been devoting themselves on the research of some special dual systems such as measure system (Î£,Ca(Î£,X)), abstract function system (Î©,C(Î©,X)) and operator system (X,L(X,Y)) as well as fuzzy system (U,F(U)) etc.

In recent years, a few consequences have enlarged the known invariant ranges of boundedness, subseries convergence, and sequential-evaluation convergence etc., and theory of spaces has achieved substantial development. It is no doubtful that invariant principles make great influence on the trend of different fields of mathematical analysis.

This article is motivated by the problems considered by the authors in [1â€“7]. And the purpose of this article is to study full invariant of the convergence in $\left({Y}^{{l}^{p}\left(X\right)},\phantom{\rule{2.77695pt}{0ex}}{l}^{p}\left(X\right)\right)$-topology on the dual system $\left({Y}^{{l}^{p}\left(X\right)},\phantom{\rule{2.77695pt}{0ex}}{l}^{p}\left(X\right)\right)$, (0 < p â‰¤ âˆž). We obtain that the above mentioned convergence is full invariant. Throughout the article, we adapt the definitions and notations from [8].

We denote (X, Y) is a dual system as usual.

Definition 1.1[8]]. Let Ï„ be a locally convex topology on X. If (X, Ï„)* = Y, then the topology Ï„ is called a compatible topology on X with respect to the dual system (X, Y).

It is easy to know that the weakest compatible topology on X is the weak topology Ïƒ(X, Y) on X and the strongest compatible topology is Mackey topology [1].

Definition 1.2[8]. Let â„¬ be a family of Ïƒ(Y, X)-bounded sets of X, and let Î²(X, Y) be a â„¬ convergent topology on X, Ïƒ(X, Y) be the weak topology on X. If Î²(X, Y) âŠ‡ Ïƒ(X, Y), then Î²(X, Y) is called an admissible polar topology on X with respect to the dual system (X,Y).

It is not difficult to know that not every admissible polar topology Î²(X,Y) is a compatible topology on X wrt the dual system (X, Y).

Definition 1.3[9]. If a property P of X is shared by all admissible polar topologies lying between Ïƒ(X,Y) and Î²(X,Y), then P is called a full invariant.

We denote (E, F) an abstract dual system, where , F âŠ‚ XE and X is a locally convex space.

A topology Ï„ on E is called a (E, F)-topology if there exists â„± âŠ‚ 2Fsuch that âˆªM âˆˆ â„±M = F and Ï„ is a topology of uniform convergence on each set M âˆˆ â„±, which means that a sequence {u n } âŠ‚ (E,Ï„) is said to converge to a point u âˆˆ (E,Ï„) if and only if for every M âˆˆ â„±, {f(u n )} converges uniformly to f(u) for all f âˆˆ M[10]. We use Ïƒ(E,F) to represent the weakest (E,F)-topology, i.e., in the topological space (E,Ïƒ(E,F)), a sequence {u n } âŠ‚ (E,Ïƒ(E,F)) converges to a point u âˆˆ (E, Ïƒ(E, F)) if and only if for every f âˆˆ F, {f(u n )} converges to f(u).

Similarly, for an abstract dual system (F,E), we can also give the concept of (F, E)-topology, denoted by Ï„*(F, E). The weakest (F, E)-topology is denoted by Ïƒ*(F, E), called weak star topology. For the convenience, the sequence {f n } converges to f in (F, Ïƒ*(F, E)) and in (F, Ï„*(F, E)) is denoted by ${f}_{n}\underset{{\mathrm{Ïƒ}}^{*}\left(F,E\right)}{\overset{}{â†’}}f$ and ${f}_{n}\underset{{\mathrm{Ï„}}^{*}\left(F,E\right)}{\overset{}{â†’}}f$, respectively. In addition, (F, E)-topology Î²*(F,E) is called strong star topology if ${f}_{n}\underset{{\mathrm{Î²}}^{*}\left(F,E\right)}{\overset{}{â†’}}f$ implies that f n â†’ f for all (F, E)-topology, say Ï„*(F, E) on F. Obviously, Î²*(F, E) is the strongest (F, E)-topology on F. Full invariant of (F, E) are analog to those of (E,F).

## 2 Full invariant on the dual system $\left({Y}^{{l}^{p}\left(X\right)},\phantom{\rule{2.77695pt}{0ex}}{l}^{p}\left(X\right)\right)$(0< p <âˆž)

In the sequel, X and Y will always denote Banach spaces unless specified otherwise.

Let XN be the set of all X-valued sequences,

${l}^{p}\left(X\right)=\left\{\left({x}_{j}\right)âˆˆ{X}^{N}:\underset{j}{âˆ‘}{âˆ¥{x}_{j}âˆ¥}^{p}<+\mathrm{âˆž}\right\},$

YX and ${Y}^{{l}^{p}\left(X\right)}$ represent the sets of Y - valued operators with domains X and lp (X), respectively. Let

${l}^{p}{\left(X\right)}^{\mathrm{Î²}Y}=\left\{\left({A}_{j}\right)âŠ‚{Y}^{X}:\underset{j}{âˆ‘}{A}_{j}\left({x}_{j}\right)\phantom{\rule{2.77695pt}{0ex}}\mathsf{\text{is}}\phantom{\rule{2.77695pt}{0ex}}\mathsf{\text{convergent}}\phantom{\rule{2.77695pt}{0ex}}\mathsf{\text{for}}\phantom{\rule{2.77695pt}{0ex}}\mathsf{\text{all}}\phantom{\rule{2.77695pt}{0ex}}\left({x}_{j}\right)âˆˆ{l}^{p}\left(X\right)\right\},$

lp (X)Î²Yis called the Î²-dual space of lp (X) [4].

Suppose that (A j ) âˆˆ lp (X)Î²Y, for each (x j ) âˆˆ lp (X), we define ${{f}_{\left({A}_{j}\right)}}_{,n}:{l}^{p}\left(X\right)â†’Y,nâˆˆN$ and ${f}_{\left({A}_{j}\right)}:{l}^{p}\left(X\right)â†’Y$ by

${f}_{\left({A}_{j}\right),n}\left[\left({x}_{j}\right)\right]=\underset{1â‰¤jâ‰¤n}{âˆ‘}{A}_{j}\left({x}_{j}\right),$

and

${f}_{\left({A}_{j}\right)}\left[\left({x}_{j}\right)\right]=\underset{j}{âˆ‘}{A}_{j}\left({x}_{j}\right).$

Obviously, $\left\{{f}_{\left({A}_{j}\right),n}\right\}âŠ‚{Y}^{{l}^{p}\left(X\right)}$, ${f}_{\left({A}_{j}\right)}âˆˆ{Y}^{{l}^{p}\left(X\right)}$ and

${f}_{\left({A}_{j}\right)}{,}_{n}\underset{{\mathrm{Ïƒ}}^{*}\left({Y}^{{l}^{p}\left(X\right)},{l}^{p}\left(X\right)\right)}{\overset{}{â†’}}{f}_{\left({A}_{j}\right)}\left(nâ†’\mathrm{âˆž}\right)$

in the dual system $\left({Y}^{{l}^{p}\left(X\right)},\phantom{\rule{2.77695pt}{0ex}}{l}^{p}\left(X\right)\right)$.

In the following, we shall first characterize a collection of sets in lp (X) generating strong star topology ${\mathrm{Î²}}^{*}\left({Y}^{{l}^{p}\left(X\right)},\phantom{\rule{2.77695pt}{0ex}}{l}^{p}\left(X\right)\right)$.

Definition 2.1[2]. If M âŠ‚ lp (X) and $\underset{nâ†’\mathrm{âˆž}}{\text{lim}}{âˆ‘}_{jâ‰¥n}{âˆ¥{x}_{j}âˆ¥}^{p}=0$ uniformly for (x j ) âˆˆ M, that is, for all Îµ > 0, there exists j Îµ âˆˆ N such that

$\underset{\left({x}_{j}\right)âˆˆM}{\text{sup}}\underset{jâ‰¥{j}_{\mathrm{Îµ}}}{âˆ‘}{âˆ¥{x}_{j}âˆ¥}^{p}â‰¤\mathrm{Îµ},$

then M is called uniformly exhaustive set.

Denote M[lp (X)] = {M âŠ‚ lp (X) : M is uniformly exhaustive}.

Lemma 2.1[2]. Let M âŠ‚ lp (X), 0 < p < âˆž, (A j ) âˆˆ lp (X)Î²Y. If Î£ j A j (x j ) is uniformly convergent for all (x j ) âˆˆ M, then M is uniformly exhaustive.

Theorem 2.1. Let $\left({Y}^{{l}^{p}\left(X\right)},\phantom{\rule{2.77695pt}{0ex}}{l}^{p}\left(X\right)\right)$ be a dual system, ${\mathrm{Ï„}}^{*}\left({Y}^{{l}^{p}\left(X\right)},\phantom{\rule{2.77695pt}{0ex}}{l}^{p}\left(X\right)\right)$ be a topology on ${Y}^{{l}^{p}\left(X\right)}$ generated by â„³[lp (X)]. Then for every (A j ) âˆˆ lp (X)Î²Y, ${f}_{\left({A}_{j}\right),n}\underset{{\mathrm{Ïƒ}}^{*}\left({Y}^{{l}^{p}\left(X\right)},{l}^{p}\left(X\right)\right)}{\overset{}{â†’}}{f}_{\left({A}_{j}\right)}\left(nâ†’\mathrm{âˆž}\right)$ if and only if

${f}_{\left({A}_{j}\right),n}\underset{{\mathrm{Ï„}}^{*}\left({Y}^{{l}^{p}\left(X\right)},{l}^{p}\left(X\right)\right)}{\overset{}{â†’}}{f}_{\left({A}_{j}\right)}\left(nâ†’\mathrm{âˆž}\right).$

Proof Necessity. Otherwise, we suppose that

${f}_{\left({A}_{j}\right),n}\underset{{\mathrm{Ïƒ}}^{*}\left({Y}^{{l}^{p}\left(X\right)},{l}^{p}\left(X\right)\right)}{\overset{}{â†’}}{f}_{\left({A}_{j}\right)}\left(nâ†’\mathrm{âˆž}\right)$

but

${f}_{\left({A}_{j}\right),n}\underset{{\mathrm{Ï„}}^{*}\left({Y}^{{l}^{p}\left(X\right)},{l}^{p}\left(X\right)\right)}{\overset{}{â†’}}{f}_{\left({A}_{j}\right)}$

doesn't hold. By the definition of $\left({Y}^{{l}^{p}\left(X\right)},\phantom{\rule{2.77695pt}{0ex}}{l}^{p}\left(X\right)\right)$-topology, there must exist M âˆˆ â„³[lp (X)] such that $\underset{n}{\text{lim}}{f}_{\left({A}_{j}\right),n}\left[\left({x}_{j}\right)\right]={f}_{\left({A}_{j}\right)}\left[\left({x}_{j}\right)\right]$ not uniformly for all (x j ) âˆˆ M, i.e., the series âˆ‘ j A j (x j ) is not uniformly convergent with respect to all (x j ) âˆˆ M. Thus, there is Îµ > 0 such that for any m0 âˆˆ N, there exist m > m0 and (x j ) âˆˆ M satisfying

$âˆ¥\underset{jâ‰¥m}{âˆ‘}{A}_{j}\left({x}_{j}\right)âˆ¥â‰¥2\mathrm{Îµ}.$

Since (A j ) âˆˆ lp (X)Î²Y, Î£ j A j (x j ) is convergent and there exists n > m such that

$âˆ¥\underset{jâ‰¥n+1}{âˆ‘}{A}_{j}\left({x}_{j}\right)âˆ¥<\mathrm{Îµ}.$

Hence

$\begin{array}{ll}\hfill âˆ¥\underset{mâ‰¤jâ‰¤n}{âˆ‘}{A}_{j}\left({x}_{j}\right)âˆ¥& =âˆ¥\underset{jâ‰¥m}{âˆ‘}{A}_{j}\left({x}_{j}\right)-\underset{jâ‰¥n+1}{âˆ‘}{A}_{j}\left({x}_{j}\right)âˆ¥\phantom{\rule{2em}{0ex}}\\ â‰¥âˆ¥\underset{jâ‰¥m}{âˆ‘}{A}_{j}\left({x}_{j}\right)âˆ¥-âˆ¥\underset{jâ‰¥n+1}{âˆ‘}{A}_{j}\left({x}_{j}\right)âˆ¥\phantom{\rule{2em}{0ex}}\\ >2\mathrm{Îµ}-\mathrm{Îµ}=\mathrm{Îµ}.\phantom{\rule{2em}{0ex}}\end{array}$

Since M is uniformly exhaustive, there exists j1 âˆˆ N such that for every (x j ) âˆˆ M,

$\underset{jâ‰¥{j}_{1}}{âˆ‘}{âˆ¥{x}_{j}âˆ¥}^{p}<\frac{1}{2}.$

Thus, there exist integers n1> m1> j1 and (x1j) âˆˆ M such that

$âˆ¥\underset{{m}_{1}â‰¤jâ‰¤{n}_{1}}{âˆ‘}{A}_{j}\left({x}_{1j}\right)âˆ¥>\mathrm{Îµ}.$

Again using the uniform exhaustion of M, we can get j2> n1 such that for every (x j ) âˆˆ M,

$\underset{jâ‰¥{j}_{2}}{âˆ‘}{âˆ¥{x}_{j}âˆ¥}^{p}<\frac{1}{{2}^{2}}.$

So there exist n2> m2> j2 and (x 2j ) âˆˆ M such that

$âˆ¥\underset{{m}_{2}â‰¤jâ‰¤{n}_{2}}{âˆ‘}{A}_{j}\left({x}_{2j}\right)âˆ¥>\mathrm{Îµ}.$

In the same procedure, we can get a sequence of integers m1< n1< m2< n2< ... and $\left\{{\left({x}_{kj}\right)}_{j=1}^{\mathrm{âˆž}}:kâˆˆN\right\}âŠ‚M$: satisfying

$\underset{{m}_{k}â‰¤jâ‰¤{n}_{k}}{âˆ‘}{âˆ¥{x}_{kj}âˆ¥}^{p}â‰¤\underset{jâ‰¥{j}_{k}}{âˆ‘}{âˆ¥{x}_{kj}âˆ¥}^{p}<\frac{1}{{2}^{k}}$

and

$âˆ¥\underset{{m}_{k}â‰¤jâ‰¤{n}_{k}}{âˆ‘}{A}_{j}\left({x}_{kj}\right)âˆ¥>\mathrm{Îµ},\phantom{\rule{2.77695pt}{0ex}}k=1,2,â€¦$

Let

${y}_{j}=\left\{\begin{array}{cc}{x}_{kj},\hfill & {m}_{k}â‰¤jâ‰¤{n}_{k},k=1,2,â€¦,\hfill \\ 0,\hfill & \mathsf{\text{otherwise}}\mathsf{\text{.}}\hfill \end{array}\right\$

Then (y j ) âˆˆ lp (X). In fact,

$\underset{j}{âˆ‘}{âˆ¥{y}_{j}âˆ¥}^{p}=\underset{k}{âˆ‘}\underset{{m}_{k}â‰¤jâ‰¤{n}_{k}}{âˆ‘}{âˆ¥{x}_{kj}âˆ¥}^{p}<\underset{k}{âˆ‘}\frac{1}{{2}^{k}}=1$

However

$âˆ¥\underset{{m}_{k}â‰¤jâ‰¤{n}_{k}}{âˆ‘}{A}_{j}\left({y}_{j}\right)âˆ¥=âˆ¥\underset{{m}_{k}â‰¤jâ‰¤{n}_{k}}{âˆ‘}{A}_{j}\left({x}_{kj}\right)âˆ¥>\mathrm{Îµ},\phantom{\rule{2.77695pt}{0ex}}k=1,2,â€¦.$

This is a contradiction with (A j ) âˆˆ lp (X)Î²Y.

Sufficiency. It is trivial, we omit it.

Remark. For any $\left({Y}^{{l}^{p}\left(X\right)},\phantom{\rule{2.77695pt}{0ex}}{l}^{p}\left(X\right)\right)$-topology, let $\mathcal{N}\left[{l}^{p}\left(X\right)\right]$ be a collection of sets generating the topology. Then by Lemma 2.1 we can show that for any $Nâˆˆ\mathcal{N}\left[{l}^{p}\left(X\right)\right]$, N is uniformly exhaustive, that is, $\mathcal{N}\left[{l}^{p}\left(X\right)\right]âŠ‚\mathrm{â„³}\left[{l}^{p}\left(X\right)\right]$. So ${\mathrm{Ï„}}^{*}\left({Y}^{{l}^{p}\left(X\right)},\phantom{\rule{2.77695pt}{0ex}}{l}^{p}\left(X\right)\right)$-topology is exactly the strongest ${\mathrm{Î²}}^{*}\left({Y}^{{l}^{p}\left(X\right)},\phantom{\rule{2.77695pt}{0ex}}{l}^{p}\left(X\right)\right)$-topology. Therefore, the following consequence of Theorem 2.1 is immediate.

Corollary 2.1. Let $\left({Y}^{{l}^{p}\left(X\right)},\phantom{\rule{2.77695pt}{0ex}}{l}^{p}\left(X\right)\right)$ be a dual system, ${\mathrm{Ï„}}^{*}\left({Y}^{{l}^{p}\left(X\right)},\phantom{\rule{2.77695pt}{0ex}}{l}^{p}\left(X\right)\right)$ a $\left({Y}^{{l}^{p}\left(X\right)},\phantom{\rule{2.77695pt}{0ex}}{l}^{p}\left(X\right)\right)$-topology on ${Y}^{{l}^{p}\left(X\right)}$ generated by â„³[lp (X)],(A j ) âˆˆ lp (X)Î²Y, then ${f}_{\left({A}_{j}\right),n}\underset{{\mathrm{Ï„}}^{*}\left({Y}^{{l}^{p}\left(X\right)},{l}^{p}\left(X\right)\right)}{\overset{}{â†’}}{f}_{\left({A}_{j}\right)}\left(nâ†’\mathrm{âˆž}\right)$ if and only if

${f}_{\left({A}_{j}\right),n}\underset{{\mathrm{Î²}}^{*}\left({Y}^{{l}^{p}\left(X\right)},{l}^{p}\left(X\right)\right)}{\overset{}{â†’}}{f}_{\left({A}_{j}\right)}\left(nâ†’\mathrm{âˆž}\right).$

The Corollary 2.1 shows that the convergence of ${\mathrm{Ï„}}^{*}\left({Y}^{{l}^{p}\left(X\right)},\phantom{\rule{2.77695pt}{0ex}}{l}^{p}\left(X\right)\right)$ is equivalent to that of ${\mathrm{Î²}}^{*}\left({Y}^{{l}^{p}\left(X\right)},\phantom{\rule{2.77695pt}{0ex}}{l}^{p}\left(X\right)\right)$. Combining this with Theorem 2.1, we obtain the next consequence which means that the convergence of $\left\{{f}_{\left({A}_{j}\right),n}\right\}$ is full invariant.

Theorem 2.2. Let $\left({Y}^{{l}^{p}\left(X\right)},\phantom{\rule{2.77695pt}{0ex}}{l}^{p}\left(X\right)\right)$ be a dual system, ${\mathrm{Ï„}}^{*}\left({Y}^{{l}^{p}\left(X\right)},\phantom{\rule{2.77695pt}{0ex}}{l}^{p}\left(X\right)\right)$ be a $\left({Y}^{{l}^{p}\left(X\right)},\phantom{\rule{2.77695pt}{0ex}}{l}^{p}\left(X\right)\right)$-topology on ${Y}^{{l}^{p}\left(X\right)}$ generated by â„³[lp (X)], (A j ) âˆˆ lp (X)Î²Y, then ${f}_{\left({A}_{j}\right),n}\underset{{\mathrm{Ïƒ}}^{*}\left({Y}^{{l}^{p}\left(X\right)},{l}^{p}\left(X\right)\right)}{\overset{}{â†’}}{f}_{\left({A}_{j}\right)}\left(nâ†’\mathrm{âˆž}\right)$ if and only if

${f}_{\left({A}_{j}\right),n}\underset{{\mathrm{Î²}}^{*}\left({Y}^{{l}^{p}\left(X\right)},{l}^{p}\left(X\right)\right)}{\overset{}{â†’}}{f}_{\left({A}_{j}\right)}\left(nâ†’\mathrm{âˆž}\right).$

## 3 Full invariant on the dual system (${Y}^{{l}^{\mathrm{âˆž}}\left(X\right)}$, lâˆž(X))

Let XN be the set of all X-valued sequences,

${l}^{\mathrm{âˆž}}\left(X\right)=\left\{\left({x}_{j}\right)âˆˆ{X}^{N}:\underset{jâˆˆN}{\text{sup}}âˆ¥{x}_{j}âˆ¥<+\mathrm{âˆž}\right\}$

and YX, ${Y}^{{l}^{\mathrm{âˆž}}\left(X\right)}$ represent the sets of Y-valued operators with domains X and lâˆž(X), respectively.

Let

then lâˆž(X)Î²Yis called the Î²-dual space of lâˆž(X) [4].

Suppose that (A j ) âˆˆ lâˆž(X)Î²Y, for every (x j ) âˆˆ lâˆž(X), we define ${f}_{\left({A}_{j}\right),n}:{l}^{\mathrm{âˆž}}\left(X\right)â†’Y$, n âˆˆ N and ${f}_{\left({A}_{j}\right)}:{l}^{\mathrm{âˆž}}\left(X\right)â†’Y$by

${f}_{\left({A}_{j}\right),n}\left[\left({x}_{j}\right)\right]=\underset{1â‰¤jâ‰¤n}{âˆ‘}{A}_{j}\left({x}_{j}\right)$

and

${f}_{\left({A}_{j}\right)}\left[\left({x}_{j}\right)\right]=\underset{j}{âˆ‘}{A}_{j}\left({x}_{j}\right).$

Obviously, $\left\{{f}_{\left({A}_{j}\right),n}\right\}âŠ‚{Y}^{{l}^{\mathrm{âˆž}}\left(X\right)}$, ${f}_{\left({A}_{j}\right)}âˆˆ{Y}^{{l}^{\mathrm{âˆž}}\left(X\right)}$, and

${f}_{\left({A}_{j}\right),n}\underset{{\mathrm{Ïƒ}}^{*}\left({Y}^{{l}^{\mathrm{âˆž}}\left(X\right)},{l}^{\mathrm{âˆž}}\left(X\right)\right)}{\overset{}{â†’}}{f}_{\left({A}_{j}\right)}\left(nâ†’\mathrm{âˆž}\right)$

in the dual system $\left({Y}^{{l}^{\mathrm{âˆž}}\left(X\right)},{l}^{\mathrm{âˆž}}\left(X\right)\right)$.

Next we shall first find a collection of sets in lâˆž(X) generating strong star topology ${\mathrm{Î²}}^{*}\left({Y}^{{l}^{\mathrm{âˆž}}\left(X\right)},{l}^{\mathrm{âˆž}}\left(X\right)\right)$. And then we prove that ${f}_{\left({A}_{j}\right),n}\underset{{\mathrm{Î²}}^{*}\left({Y}^{{l}^{\mathrm{âˆž}}\left(X\right)},{l}^{\mathrm{âˆž}}\left(X\right)\right)}{\overset{}{â†’}}{f}_{\left({A}_{j}\right)}\phantom{\rule{0.3em}{0ex}}\left(nâ†’\mathrm{âˆž}\right)$. Furthermore, we specify that ${f}_{\left({A}_{j}\right),n}â†’{f}_{\left({A}_{j}\right)}\left(nâ†’\mathrm{âˆž}\right)$ (${Y}^{{l}^{\mathrm{âˆž}}\left(X\right)}$, lâˆž(X))-topology admit full invariant.

Definition 3.1[2]. M âŠ‚ lâˆž(X) is called essential bounded set if there is j0 âˆˆ N such that

$\underset{\left({x}_{j}\right)âˆˆM,jâ‰¥j\mathsf{\text{o}}}{\text{sup}}âˆ¥{x}_{j}âˆ¥<\mathrm{âˆž}$

Denote â„³[lâˆž(X)] = {M âŠ‚ lâˆž(X) : M is essential bounded}.

Lemma 3.1 [2]. Let X and Y be Banach spaces, M âŠ‚ lâˆž(X), (A j ) âˆˆ lâˆž(X) Î²Y. If âˆ‘ j A j (x j ) is uniformly convergent for all (x j ) âˆˆ M, then M is essential bounded.

Theorem 3.1. Let (${Y}^{{l}^{\mathrm{âˆž}}\left(X\right)}$, lâˆž(X)) be a dual system, ${\mathrm{Ï„}}^{*}\left({Y}^{{l}^{\mathrm{âˆž}}\left(X\right)},{l}^{\mathrm{âˆž}}\left(X\right)\right)$ be a $\left({Y}^{{l}^{\mathrm{âˆž}}\left(X\right)},{l}^{\mathrm{âˆž}}\left(X\right)\right)$-topology on ${Y}^{{l}^{\mathrm{âˆž}}\left(X\right)}$ generated by â„³[lâˆž(X)], (A j ) âˆˆ lâˆž(X)Î²Y, then ${f}_{\left({A}_{j}\right),n}\underset{{\mathrm{Ïƒ}}^{*}\left({Y}^{{l}^{\mathrm{âˆž}}\left(X\right)},{l}^{\mathrm{âˆž}}\left(X\right)\right)}{\overset{}{â†’}}{f}_{\left({A}_{j}\right)}\left(nâ†’\mathrm{âˆž}\right)$ if and only if

${f}_{\left({A}_{j}\right),n}\underset{{\mathrm{Ï„}}^{*}\left({Y}^{{l}^{\mathrm{âˆž}}\left(X\right)},{l}^{\mathrm{âˆž}}\left(X\right)\right)}{\overset{}{â†’}}{f}_{\left({A}_{j}\right)}\left(nâ†’\mathrm{âˆž}\right).$

Proof. Necessity. Otherwise, we suppose that

${f}_{\left({A}_{j}\right),n}\underset{{\mathrm{Ïƒ}}^{*}\left({Y}^{{l}^{\mathrm{âˆž}}\left(X\right)},{l}^{\mathrm{âˆž}}\left(X\right)\right)}{\overset{}{â†’}}{f}_{\left({A}_{j}\right)}\left(nâ†’\mathrm{âˆž}\right)$

but

${f}_{\left({A}_{j}\right),n}\underset{{\mathrm{Ï„}}^{*}\left({Y}^{{l}^{\mathrm{âˆž}}\left(X\right)},{l}^{\mathrm{âˆž}}\left(X\right)\right)}{\overset{}{â†’}}{f}_{\left({A}_{j}\right)}\left(nâ†’\mathrm{âˆž}\right)$

doesn't hold. Then there must exist M âˆˆ â„³[lâˆž(X)] such that $\underset{n}{\text{lim}}{f}_{\left({A}_{j}\right),n}\left[\left({x}_{j}\right)\right]={f}_{\left({A}_{j}\right)}\left[\left({x}_{j}\right)\right]$ not uniformly for all (x j ) âˆˆ M, i.e., the series âˆ‘ j A j (x j ) is not uniformly convergent with respect to (x j ) âˆˆ M. Thus, there exist Îµ > 0, a sequence of integers m1< n1< m2< n2< ... and {(x kj ) : k âˆˆ N} âŠ‚ M satisfying

$âˆ¥\underset{{m}_{k}â‰¤jâ‰¤{n}_{k}}{âˆ‘}{A}_{j}\left({x}_{kj}\right)âˆ¥â‰¥\mathrm{Îµ},\phantom{\rule{2.77695pt}{0ex}}k=1,2,â€¦.$

Let

${y}_{j}=\left\{\begin{array}{cc}{x}_{kj},\hfill & {m}_{k}â‰¤jâ‰¤{n}_{k},k=1,2,â€¦,\hfill \\ 0,\hfill & \mathsf{\text{otherwise}}\mathsf{\text{.}}\hfill \end{array}\right\$

Since M is essential bounded, there is j0 âˆˆ N such that

$\underset{jâ‰¥{j}_{0}}{\text{sup}}âˆ¥{y}_{j}âˆ¥â‰¤\underset{\left({z}_{j}\right)âˆˆM,jâ‰¥{j}_{0}}{\text{sup}}âˆ¥{z}_{j}âˆ¥<+\mathrm{âˆž}.$

Then (y j ) âˆˆ lâˆž(X). But we have

$âˆ¥\underset{{m}_{k}â‰¤jâ‰¤{n}_{k}}{âˆ‘}{A}_{j}\left({y}_{i}\right)âˆ¥=âˆ¥\underset{{m}_{k}â‰¤jâ‰¤{n}_{k}}{âˆ‘}{A}_{j}\left({x}_{kj}\right)âˆ¥â‰¥\mathrm{Îµ},k=1,2,â€¦.$

This is a contradiction with (A j ) âˆˆ lâˆž(X)Î²Y.

Necessary. Trivial.

The Lemma 3.1 leads us to the following consequences.

Corollary 3.1. Let (${Y}^{{l}^{\mathrm{âˆž}}\left(X\right)}$, lâˆž(X)) be a dual system, ${\mathrm{Ï„}}^{*}\left({Y}^{{l}^{\mathrm{âˆž}}\left(X\right)},{l}^{\mathrm{âˆž}}\left(X\right)\right)$ be a (${Y}^{{l}^{\mathrm{âˆž}}\left(X\right)}$, lâˆž(X))-topology on ${Y}^{{l}^{\mathrm{âˆž}}\left(X\right)}$ generated by â„³[lâˆž(X)], (A j ) âˆˆ lâˆž(X)Î²Y, then ${f}_{\left({A}_{j}\right),n}\underset{{\mathrm{Ï„}}^{*}\left({Y}^{{l}^{\mathrm{âˆž}}\left(X\right)},{l}^{\mathrm{âˆž}}\left(X\right)\right)}{\overset{}{â†’}}{f}_{\left({A}_{j}\right)}\left(nâ†’\mathrm{âˆž}\right).$ if and only if

${f}_{\left({A}_{j}\right),n}\underset{{\mathrm{Î²}}^{*}\left({Y}^{{l}^{\mathrm{âˆž}}\left(X\right)},{l}^{\mathrm{âˆž}}\left(X\right)\right)}{\overset{}{â†’}}{f}_{\left({A}_{j}\right)}\phantom{\rule{0.3em}{0ex}}\left(nâ†’\mathrm{âˆž}\right)$

Theorem 3.2. Let (${Y}^{{l}^{\mathrm{âˆž}}\left(X\right)}$, lâˆž(X)) be a dual system, ${\mathrm{Ï„}}^{*}\left({Y}^{{l}^{\mathrm{âˆž}}\left(X\right)},{l}^{\mathrm{âˆž}}\left(X\right)\right)$ be a (${Y}^{{l}^{\mathrm{âˆž}}\left(X\right)}$, lâˆž(X))-topology on ${Y}^{{l}^{\mathrm{âˆž}}\left(X\right)}$ generated by â„³[lâˆž(X)], (A j ) âˆˆ lâˆž(X)Î²Y, then ${f}_{\left({A}_{j}\right),n}\underset{{\mathrm{Ïƒ}}^{*}\left({Y}^{{l}^{\mathrm{âˆž}}\left(X\right)},{l}^{\mathrm{âˆž}}\left(X\right)\right)}{\overset{}{â†’}}{f}_{\left({A}_{j}\right)}\left(nâ†’\mathrm{âˆž}\right)$ if and only if

${f}_{\left({A}_{j}\right),n}\underset{{\mathrm{Î²}}^{*}\left({Y}^{{l}^{\mathrm{âˆž}}\left(X\right)},{l}^{\mathrm{âˆž}}\left(X\right)\right)}{\overset{}{â†’}}{f}_{\left({A}_{j}\right)}\left(nâ†’\mathrm{âˆž}\right).$

## 4 Conclusion

In a frame of some certain class of dual system, we discuss a few problems on convergence of the sequences of operators in classical vector-valued sequence spaces and we obtain some consequences on full invariants. Precisely, sequences of operators in the spaces ${Y}^{{l}^{p}\left(X\right)}$ and ${Y}^{{l}^{\mathrm{âˆž}}\left(X\right)}$ are studied, respectively. We not only find the strongest sequential-evaluation convergence but also obtain a series of theorems about full invariants on the sequential evaluation convergence.

## References

1. Junde W, Ronglu L: An Orlicz-Pettis theorem with applications to A-spaces. Studia Sci Math 1999, 35: 353â€“358.

2. Ronglu L, Fubin W, Shuhui Z: The strongest intrinsic meaning of sequential-evaluation convergence. Topol Appl 2007, 154: 1195â€“1205. 10.1016/j.topol.2006.12.002

3. Ronglu L, Junming W: Invariants in abstract mapping pairs. Austral Math Soc 2004, 76: 369â€“381. 10.1017/S1446788700009927

4. Ronglu L, Yunyan Y, Swartz C: A general Orlicz-Pettis theorem. Studia Sci Math Hungar 2005, 42(4):63â€“76.

5. Fubin W, Hongzhang J, Ronglu L, Baoling W: The Matrix transformation theorem on a type of vector-valued sequence space. Adv Math 2011, 40(2):161â€“167.

6. Agarwal P, Ding S, Nolder CA: Inequalities for Differential Forms. Springer, New York; 2009.

7. Ding S: L Ï† (Î¼ )-averaging domains and the quasi-hyperbolic metric. Comput Math Appl 2004, 47(10â€“11):1611â€“1618. 10.1016/j.camwa.2004.06.016

8. Wilansky A: Modern methods in topologiacal vertor spaces. McGraw-Hill, New York; 1978.

9. Ronglu L, Longsuo L, Min Kang Shin: Invariants in duality. Indian J Pure Appl Math 2002, 33: 171â€“183.

10. Rolewicz S: On unconditional convergence of linear operators. Demostratio Math 1988, 21: 835â€“842.

## Acknowledgements

We would like to express our deep gratitude to the referee for meaningful advice which makes a great improvement of the original manuscript, and gave many thanks to professor Shusen Ding for his careful suggestions. FW was greatly supported by Heilongjiang College of Construction. CH was supported by a grant from Ministry of Education of Heilongjiang Province supporting overseas returned scholars (1055HZ003), and by a grant from Ministry of Education ofHeilongjiang Province (11551366).

## Author information

Authors

### Corresponding author

Correspondence to Fubin Wang.

### Competing interests

The authors declare that they have no competing interests.

### Authors' contributions

FW conceived of the study. FW and CH participated in the design of the proof and drafted the manuscript. All authors read and approved the final manuscript.

## Rights and permissions

Reprints and permissions

Wang, F., Hao, C. Full invariants on certain class of abstract dual systems. J Inequal Appl 2012, 71 (2012). https://doi.org/10.1186/1029-242X-2012-71