Locally Convex Spaces with Sequential Dunford–Pettis Type Properties

Abstract

Let $p,q,q^{\prime }\in [1,\infty ]$, $q^{\prime }\le q$. Several new characterizations of locally convex spaces with the sequential Dunford–Pettis property of order $(p,q)$ are given. We introduce and thoroughly study the sequential Dunford–Pettis* property of order $(p,q)$ of locally convex spaces (in the realm of Banach spaces, the sequential $D{P}_{(p,\infty )}^{*}$ property coincides with the well-known $D{P}_p^{*}$ property). Being motivated by the coarse p-$D{P}^{*}$ property and the p-Dunford–Pettis relatively compact property for Banach spaces, we define and study the coarse sequential $D{P}_{(p,q)}^{*}$ property, the coarse $D{P}_p^{*}$ property and the p-Dunford–Pettis sequentially compact property of order $(q^{\prime },q)$ in the class of all locally convex spaces.

1. Introduction

All locally convex spaces are assumed to be Hausdorff and over the field $\mathbb{F}$ of real or complex numbers. We denote by $E^{\prime }$ the topological dual of a locally convex space (lcs for short) E.

In [1], Grothendieck defined the Dunford–Pettis property and the strict Dunford–Pettis property in the realm of locally convex spaces. For more details and historical remarks, we refer the reader to Section 9.4 of [2].

Definition 1

([1]). A locally convex space E is said to have

• The Dunford–Pettis property (the $DP$ property) if each operator from E into a Banach space L, which transforms bounded sets into relatively weakly compact sets, transforms each absolutely convex weakly compact set into a relatively compact subset of L;
• The strict Dunford–Pettis property (the strict $DP$ property) if each operator from E into a Banach space L, which transforms bounded sets into relatively weakly compact sets, transforms each weakly Cauchy sequence in E into a convergent sequence in L.

To show that every Banach space $C\left(K\right)$ has the $DP$ property (see Théorème 1 of [1]), Grothendieck proved in Proposition 2 of [1] that a Banach space E has the $DP$ property if and only if for all weakly null sequences ${\left\{x_n\right\}}_{n\in \omega }$ and ${\left\{{\chi }_n\right\}}_{n\in \omega }$ in E and the Banach dual $E_{\beta }^{\prime }$ of E, respectively, it follows that ${\lim }_{n\to \infty }\langle {\chi }_n,x_n\rangle =0$. It was shown in [3] that an analogous assertion holds true for a wider class of locally convex spaces, including strict $\left(LF\right)$-spaces. These results motivate us to introduce in [4] the following “sequential” version of the $DP$ property in the class of all locally convex spaces.

Definition 2

([4]). A locally convex space E is said to have the sequential Dunford–Pettis property (the sequential $DP$ property) if for all weakly null sequences ${\left\{x_n\right\}}_{n\in \omega }$ and ${\left\{{\chi }_n\right\}}_{n\in \omega }$ in E and the strong dual $E_{\beta }^{\prime }$ of E, respectively, it follows that ${lim}_{n\to \infty }\langle {\chi }_n,x_n\rangle =0$.

Let $p\in [1,\infty ]$, and let E be a locally convex space. Recall (see Section 19.4 in [5]) that a sequence ${\left\{x_n\right\}}_{n\in \omega }$ in E is called weakly p-summable if for every $\chi \in E^{\prime }$ it follows that $\left(\langle \chi ,x_n\rangle \right)\in {\mathcal{l}}_p$ if $p\in [1,\infty )$ and $\left(\langle \chi ,x_n\rangle \right)\in c_0$ if $p=\infty$.

Unifying the notion of unconditional convergent operator and the notion of completely continuous operators (i.e., they transform weakly null sequences into norm null), Castillo and Sánchez selected in [6] the class of p-convergent operators. An operator $T:X\to Y$ between Banach spaces X and Y is called p-convergent if it transforms weakly p-summable sequences into norm null sequences. Using this notion they introduced and studied Banach spaces with the Dunford–Pettis property of order p for every $p\in [1,\infty ]$.

Definition 3

([6]). Let $p\in [1,\infty ]$. A Banach space X is said to have the Dunford–Pettis property of order p (the $D{P}_p$ property) if every weakly compact operator from X into a Banach space Y is p-convergent.

Therefore, a Banach space has the $DP$ property if and only if it has the $D{P}_{\infty }$ property. In [6], numerous distinguished examples of Banach spaces with or without the $D{P}_p$ property are also constructed. The Dunford–Pettis property of order p for Banach spaces and especially Banach lattices was intensively studied by many authors; see, for example, [7,8,9,10,11].

Being motivated by the above-mentioned notions, we introduced in [12] the following Dunford–Pettis type properties (in which extending the aforementioned notion of p-convergent operators between Banach spaces and following [13], an operator $T:E\to L$ between locally convex spaces E and L is said to be p-convergent if T sends weakly p-summable sequences of E into null-sequences of L).

Definition 4

([12]). Let $p,q\in [1,\infty ]$. A locally convex space E is said to have

• the quasi Dunford–Pettis property of order p (the quasi $D{P}_p$ property) if for each Banach space L, every operator $T:E\to L$, which transforms bounded sets into relatively weakly compact sets, is p-convergent;
• the sequential Dunford–Pettis property of order $(p,q)$ (the sequential $D{P}_{(p,q)}$ property) if ${\lim }_{n\to \infty }\langle {\chi }_n,x_n\rangle =0$ for every weakly p-summable sequence ${\left\{x_n\right\}}_{n\in \omega }$ in E and each weakly q-summable sequence ${\left\{{\chi }_n\right\}}_{n\in \omega }$ in the strong dual $E_{\beta }^{\prime }$ of E. If $p=q$, we shall say that E has the sequential $D{P}_p$ property.

It is clear that E has the quasi $D{P}_{\infty }$ property if and only if it has the strict $DP$ property, and E has the sequential $D{P}_{\infty }$ property if and only if it has the sequential $DP$ property. The reason for replacing “strict” with “quasi” is that there are locally convex spaces with the strict $DP$ property but without the $DP$ property, see Example 4.11 of [12].

The aforementioned notions also motivate us to introduce and study other sequential types of the Dunford–Pettis property in the realm of all locally convex spaces. This is the main purpose of the article.

Now we describe the content of the article and provide additional explanations for introducing sequential types of the Dunford–Pettis property, which come from the Banach space theory. In Section 2, we fix basic notions and recall some necessary results frequently used in the article.

In Section 3 (see Theorem 2), we give new characterizations of the sequential $D{P}_{(p,q)}$ property being motivated by some results obtained by Ghenciu in [14,15]. Taking into account Proposition 3.2 of [6], a Banach space X has the $D{P}_p$ property if and only if it has the sequential $D{P}_{(p,\infty )}$ property. This fact motivates the study of the special case when $q=\infty$. In Corollaries 1 and 2, we obtain numerous characterizations of locally convex spaces with the sequential $D{P}_{(p,\infty )}$ property, which in particular generalize the corresponding results from [16].

In Section 4, we study locally convex space with the following *-version of the sequential $D{P}_{(p,q)}$ property.

Definition 5.

Let $p,q\in [1,\infty ]$. A locally convex space E is said to have the sequential Dunford–Pettis* property of order $(p,q)$ (the sequential $D{P}_{(p,q)}^{*}$ property) if ${\lim }_{n\to \infty }\langle {\chi }_n,x_n\rangle =0$ for every weakly p-summable sequence ${\left\{x_n\right\}}_{n\in \omega }$ in E and each weak* q-summable sequence ${\left\{{\chi }_n\right\}}_{n\in \omega }$ in $E^{\prime }$. If $p=q$ and $p=q=\infty$, we shall say that E has the sequential $D{P}_p^{*}$ property or the sequential $D{P}^{*}$ property, respectively.

In Theorem 3, we give numerous characterizations of the sequential $D{P}_{(p,q)}^{*}$ property. A sufficient condition to have the sequential $D{P}_{(p,q)}^{*}$ property is given in Proposition 5. Following Carrión, Galindo, and Laurenço [17], a Banach space X has the $D{P}^{*}$ property if every weakly compact set in X is limited. For $p\in [1,\infty ]$, the $D{P}^{*}$ property was generalized by Fourie and Zeekoei [18] as follows: X has the $D{P}_p^{*}$ property if all weakly sequentially p-compact sets in X are limited. Taking into account a characterization of Banach spaces with the $D{P}_p^{*}$ property given in Theorem 2.4 of [18], Corollary 6 shows that in the realm of Banach spaces the $D{P}_p^{*}$ property in the sense of [17,18] coincides with the sequential $D{P}_{(p,\infty )}^{*}$ property. Note that Corollary 6 also generalizes Proposition 2.1 of [17] and Proposition 2.8 of [18]. In Corollary 7, we generalize Corollary 2.12 of [19] and Corollaries 20 and 21 of [14]. The class of spaces with the sequential $D{P}_{(p,q)}^{*}$ property is stable under taking direct products and direct sums; see Proposition 7. However, dense subspaces and closed subspaces of a space with the sequential $D{P}_{(p,q)}^{*}$ property may not have this property, see Examples 1 and 2.

Let $p\in [1,\infty ]$. Generalizing the notion of a coarse p-limited subset of a Banach space introduced by Galindo and Miranda [20] and following [21], a non-empty subset A of a locally convex space E is called a coarse p-limited set if for every operator T from E to ${\mathcal{l}}_p$ (or $T:E\to c_0$ if $p=\infty$), the set $T\left(A\right)$ is relatively compact. Following [20], a Banach space X is said to have the coarse p-$D{P}^{*}$ property if every relatively weakly compact set in E is coarse p-limited. This notion can be naturally generalized and extended to all locally convex spaces as follows.

Definition 6.

Let $p,q\in [1,\infty ]$. A locally convex space E is said to have

(i)

The coarse sequential $D{P}_{(p,q)}^{*}$ property if every relatively weakly sequentially p-compact set in E is coarse q-limited;

(ii)

The coarse $D{P}_p^{*}$ property if every relatively weakly compact set in E is coarse p-limited.

If $p=q$ and $p=q=\infty$, we shall say that E has the coarse sequential $D{P}_p^{*}$ property and the coarse sequential $D{P}^{*}$ property or the coarse $D{P}^{*}$ property, respectively.

In Section 5, generalizing the corresponding results from [20], we characterize locally convex spaces with the coarse sequential $D{P}_{(p,q)}^{*}$ property, see Theorems 5 and 7. The classes of locally convex spaces with the coarse sequential $D{P}_{(p,q)}^{*}$ property and the coarse $D{P}_p^{*}$ property are closed under taking dense subspaces, direct products and direct sums (see Propositions 11 and 14), but they are not stable under taking closed subspaces and quotients (see Remark 2).

In Section 6, we introduce a new type of the Dunford–Pettis property being motivated by the following. In [22], Emmanuele defined a Banach space E to have the Dunford–Pettis relatively compact property ($DPrcP$) if every weakly null sequence in E, which is an ∞-$\left(V^{*}\right)$ set (=a Dunford–Pettis set) is norm null. It turns out (see [22]) that if $E=X^{*}$ is a dual Banach space, then E has the $DPprP$ if and only if it has the weak Radon–Nikodym property. Several characterizations of Banach spaces with the $DPprP$ were obtained by Wen and Chen [23]. For $1\le p<\infty$, the p-Dunford–Pettis relatively compact property (p-$DPprP$) was introduced by Ghenciu in [24] and studied also in [15]: the space E has the p-$DPrcP$ if every weakly p-summable sequence that is an ∞-$\left(V^{*}\right)$ set is norm null. Below, we generalize this notion to all locally convex spaces.

Definition 7.

Let $p,q,q^{\prime }\in [1,\infty ]$, $q^{\prime }\le q$. A locally convex space $(E,\tau )$ is said to have the p-Dunford–Pettis sequentially compact property of order $(q^{\prime },q)$ (the p-$DPsc{P}_{(q^{\prime },q)}$ for short) if every weakly p-summable sequence, which is a $(q^{\prime },q)$-$\left(V^{*}\right)$ set is τ-null. If $q=\infty$, $q^{\prime }=q=\infty$ or $p=q^{\prime }=q=\infty$, we shall say simply that E has the p-$DPsc{P}_{q^{\prime }}$, the p-$DPscP$ or the $DPscP$, respectively.

Banach spaces with the $DPscP$ are characterized in Proposition 16 of [22], Theorem 1.4 of [23] and in Corollary 13(i) of [15]. We essentially generalize and extend those results in Theorems 8 and 10. In Propositions 17 and 18, we show that the class of locally convex spaces with the p-$DPsc{P}_{(q^{\prime },q)}$ is closed under taking arbitrary subspaces, direct products and direct sums.

2. Preliminaries Results

We start with some necessary definitions and notations used in the article. Set $\omega :=\{0,1,2,\dots \}$. All topological spaces are assumed to be Tychonoff (=completely regular and $T_1$). The closure of a subset A of a topological space X is denoted by $\overline{A}$. The space $C\left(X\right)$ of all continuous functions on X endowed with the pointwise topology is denoted by $C_p\left(X\right)$. A subset A of X is functionally bounded if $f\left(A\right)$ is a bounded subset of the field $\mathbb{F}$ for every $f\in C\left(X\right)$. A Tychonoff space X is called Fréchet–Urysohn if for any cluster point $a\in X$ of a subset $A\subseteq X$ there is a sequence ${\left\{a_n\right\}}_{n\in \omega }\subseteq A$ that converges to a. A Tychonoff space X is called an angelic space if (1) every relatively countably compact subset of X is relatively compact, and (2) any compact subspace of X is Fréchet–Urysohn. Note that any subspace of an angelic space is angelic, and a subset A of an angelic space X is compact if and only if it is countably compact if and only if A is sequentially compact.

Let E be a locally convex space. The span of a subset A of E and its closure are denoted by $E_A:=\mathsf{span}\left(A\right)$ and $\overline{\mathsf{span}}\left(A\right)$, respectively. We denote by ${\mathcal{N}}_0\left(E\right)$ (resp., ${\mathcal{N}}_0^c\left(E\right)$) the family of all (resp., closed absolutely convex) neighborhoods of zero of E. The family of all bounded subsets of E is denoted by $\mathsf{Bo}\left(E\right)$. The value of $\chi \in E^{\prime }$ on $x\in E$ is denoted by $\langle \chi ,x\rangle$ or $\chi \left(x\right)$. A sequence ${\left\{x_n\right\}}_{n\in \omega }$ in E is said to be Cauchy if for every $U\in {\mathcal{N}}_0\left(E\right)$ there is $N\in \omega$ such that $x_n-x_m\in U$ for all $n,m\ge N$. If E is a normed space, $B_E$ denotes the closed unit ball of E. The family of all operators from E to an lcs L is denoted by $\mathcal{L}(E,L)$.

For an lcs E, we denote by $E_w$ and $E_{\beta }$ the space E endowed with the weak topology $\sigma (E,E^{\prime })$ and with the strong topology $\beta (E,E^{\prime })$, respectively. The topological dual space $E^{\prime }$ of E endowed with weak* topology $\sigma (E^{\prime },E)$ or with the strong topology $\beta (E^{\prime },E)$ is denoted by $E_{w^{*}}^{\prime }$ or $E_{\beta }^{\prime }$, respectively. The polar of a subset A of E is denoted by

$$A^{\circ }:=\{\chi \in E^{\prime }{:\parallel \chi \parallel }_A\le {1\},\mathrm{where}\parallel \chi \parallel }_A=sup\left\{\left|\chi \right(x\left)\right|:x\in A\cup \left\{0\right\}\right\}.$$

A subset B of $E^{\prime }$ is equicontinuous if $B\subseteq U^{\circ }$ for some $U\in {\mathcal{N}}_0\left(E\right)$. If ${\mathfrak{S}}^{\prime }$ (resp., $\mathfrak{S}$) is a directed family of subsets of $E^{\prime }$ (resp., of E) such that $\bigcup {\mathfrak{S}}^{\prime }=E^{\prime }$ ($\bigcup \mathfrak{S}=E$), then the topology on E (resp., on $E^{\prime }$) of uniform convergence on the sets of ${\mathfrak{S}}^{\prime }$ (resp., $\mathfrak{S}$) is denoted by ${\mathcal{T}}_{{\mathfrak{S}}^{\prime }}$ (resp., ${\mathcal{T}}_{\mathfrak{S}}$).

A subset A of a locally convex space E is called

• Precompact if for every $U\in {\mathcal{N}}_0\left(E\right)$ there is a finite set $F\subseteq E$ such that $A\subseteq F+U$;
• Sequentially precompact if every sequence in A has a Cauchy subsequence;
• Weakly (sequentially) compact if A is (sequentially) compact in $E_w$;
• Relatively weakly compact if its weak closure ${\overline{A}}^{\sigma (E,E^{\prime })}$ is compact in $E_w$;
• Relatively weakly sequentially compact if each sequence in A has a subsequence weakly converging to a point of E;
• Weakly sequentially precompact if each sequence in A has a weakly Cauchy subsequence.

Note that each sequentially precompact subset of E is precompact, but the converse is not true in general; see Lemma 2.2 of [13]. We shall use the next lemma repeatedly; see Lemma 4.4 in [12].

Lemma 1.

Let τ and $\mathcal{T}$ be two locally convex vector topologies on a vector space E such that $\tau \subseteq \mathcal{T}$. If $S={\left\{x_n\right\}}_{n\in \omega }$ is τ-null and $\mathcal{T}$-precompact, then S is $\mathcal{T}$-null. Consequently, if S is weakly $\mathcal{T}$-null and $\mathcal{T}$-precompact, then S is $\mathcal{T}$-null.

Recall that a locally convex space E is

• Quasi-complete if each closed bounded subset of E is complete;
• Sequentially complete if each Cauchy sequence in E converges;
• Locally complete if the closed absolutely convex hull of a null sequence in E is compact;
• (Quasi)barrelled if every $\sigma (E^{\prime },E)$-bounded (resp., $\beta (E^{\prime },E)$-bounded) subset of $E^{\prime }$ is equicontinuous;
• $c_0$-(quasi)barrelled if every $\sigma (E^{\prime },E)$-null (resp., $\beta (E^{\prime },E)$-null) sequence is equicontinuous.

It is well-known that $C_p\left(X\right)$ is quasibarrelled for every Tychonoff space X.

Denote by ${⨁}_{i\in I}{E}_i$ and ${\prod }_{i\in I}{E}_i$ the locally convex direct sum and the topological product of a non-empty family ${\left\{E_i\right\}}_{i\in I}$ of locally convex spaces, respectively. If $0\ne \mathbf{x}=\left(x_i\right)\in {⨁}_{i\in I}{E}_i$, then the set $\mathrm{supp}\left(\mathbf{x}\right):=\{i\in I:x_i\ne 0\}$ is called the support of $\mathbf{x}$. The support of a subset A, $\left\{0\right\}⊊A$, of ${⨁}_{i\in I}{E}_i$ is the set $\mathrm{supp}\left(A\right):={\bigcup }_{a\in A}\mathrm{supp}\left(a\right)$. We shall also consider elements $\mathbf{x}=\left(x_i\right)\in {\prod }_{i\in I}{E}_i$ as functions on I and write $\mathbf{x}\left(i\right):=x_i$.

Denote by ${\mathsf{ind}}_{n\in \omega }{E}_n$ the inductive limit of a (reduced) inductive sequence ${\left\{(E_n,{\tau }_n)\right\}}_{n\in \omega }$ of locally convex spaces. If, in addition, ${\tau }_m{\upharpoonright }_{E_n}={\tau }_n$ for all $n,m\in \omega$ with $n\le m$, the inductive limit ${\mathsf{ind}}_{n\in \omega }{E}_n$ is called strict and is denoted by $\underrightarrow{\mathrm{s}-{\mathsf{ind}}_n}{E}_n$. In the partial case, when all spaces $E_n$ are Fréchet, the strict inductive limit is called a strict $\left(LF\right)$-space.

Let E and L be locally convex spaces. Recall that an operator $T\in \mathcal{L}(E,L)$ is called compact (resp., sequentially compact, precompact, sequentially precompact, weakly compact, weakly sequentially compact, weakly sequentially precompact, bounded) if there is $U\in {\mathcal{N}}_0\left(E\right)$ such that $T\left(U\right)$ a relatively compact (relatively sequentially compact, precompact, sequentially precompact, relatively weakly compact, relatively weakly sequentially compact, weakly sequentially precompact or bounded) subset of E.

Let $p\in [1,\infty ]$. Then $p^{*}$ is defined to be the unique element of $[1,\infty ]$, which satisfies $\frac{1}{p}+\frac{1}{p^{*}}=1$. For $p\in [1,\infty )$, the space ${\mathcal{l}}_{p^{*}}$ is the dual space of ${\mathcal{l}}_p$. We denote by ${\left\{e_n\right\}}_{n\in \omega }$ the canonical basis of ${\mathcal{l}}_p$, if $1\le p<\infty$, or the canonical basis of $c_0$, if $p=\infty$. The canonical basis of ${\mathcal{l}}_{p^{*}}$ is denoted by ${\left\{e_n^{*}\right\}}_{n\in \omega }$. In what follows, we usually identify ${\mathcal{l}}_{1^{*}}$ with $c_0$. Denote by ${\mathcal{l}}_p^0$ and by $c_0^0$ the linear span of ${\left\{e_n\right\}}_{n\in \omega }$ in ${\mathcal{l}}_p$ or in $c_0$ endowed with the induced norm topology, respectively. We shall use also the following well-known description of relatively compact subsets of ${\mathcal{l}}_p$ and $c_0$, see ([25], p. 6).

Proposition 1.

(i) A bounded subset A of ${\mathcal{l}}_p$, $p\in [1,\infty )$, is relatively compact if and only if

$$\underset{m\to \infty }{\lim }sup\left\{\sum _{m\le n}{\left|x_n\right|}^p:x=\left(x_n\right)\in A\right\}=0.$$

(ii) A bounded subset A of $c_0$ is relatively compact if and only if ${\lim }_{n\to \infty }sup\left\{\right|x_n|:x=\left(x_n\right)\in A\}=0.$

Let $p\in [1,\infty ]$. A sequence ${\left\{x_n\right\}}_{n\in \omega }$ in a locally convex space E is called

• Weakly p-convergent to $x\in E$ if ${\{x_n-x\}}_{n\in \omega }$ is weakly p-summable;
• Weakly p-Cauchy if for each pair of strictly increasing sequences $\left(k_n\right),\left(j_n\right)\subseteq \omega$, the sequence ${(x_{k_n}-x_{j_n})}_{n\in \omega }$ is weakly p-summable.

A sequence ${\left\{{\chi }_n\right\}}_{n\in \omega }$ in $E^{\prime }$ is called weak* p-summable (resp., weak* p-convergent to $\chi \in E^{\prime }$ or weak* p-Cauchy) if it is weakly p-summable (resp., weakly p-convergent to $\chi \in E^{\prime }$ or weakly p-Cauchy) in $E_{w^{*}}^{\prime }$. Following [13], E is called p-barrelled (resp., p-quasibarrelled) if every weakly p-summable sequence in $E_{w^{*}}^{\prime }$ (resp., in $E_{\beta }^{\prime }$) is equicontinuous.

Generalizing the corresponding notions in the class of Banach spaces introduced in [6,9], the following p-versions of weakly compact-type properties are defined in [13]. Let $p\in [1,\infty ]$. A subset A of a locally convex space E is called

• (relatively) Weakly sequentially p-compact if every sequence in A has a weakly p-convergent subsequence with the limit in A (resp., in E);
• Weakly sequentially p-precompact if every sequence from A has a weakly p-Cauchy subsequence.

Following [12] an lcs E is said to have the (weak) Glicksberg property if E and $E_w$ have the same compact (resp., absolutely convex compact) sets. Let $p\in [1,\infty ]$. The p-Schur property of Banach spaces was defined in [26,27]. Generalizing this notion and following [13], an lcs E is said to have the p-Schur property if every weakly p-summable sequence is a null-sequence. In particular, E has the Schur property if and only if it is an ∞-Schur space.

The following classes of subsets of an lcs E were introduced and studied in [13,28] where they generalize the notions of p-$\left(V^{*}\right)$, p-limited and coarse p-limited subsets of Banach spaces defined in [29], [30] and [20], respectively. Let $p,q\in [1,\infty ]$. A non-empty subset A of a locally convex space E is called

• A $(p,q)$-$\left(V^{*}\right)$ set if

  $$\left(\underset{a\in A}{sup}\left|\langle {\chi }_n,a\rangle \right|\right)\in {\mathcal{l}}_q\mathrm{if} q<\infty ,\mathrm{or}\left(\underset{a\in A}{sup}\left|\langle {\chi }_n,a\rangle \right|\right)\in c_0\mathrm{if} q=\infty ,$$

  for every weakly p-summable sequence ${\left\{{\chi }_n\right\}}_{n\in \omega }$ in $E_{\beta }^{\prime }$. $(p,\infty )$-$\left(V^{*}\right)$ sets and $(1,\infty )$-$\left(V^{*}\right)$ sets will be called simply p-$\left(V^{*}\right)$ sets and $\left(V^{*}\right)$ sets, respectively.
• a $(p,q)$-limited set if

  $$\left(\parallel {\chi }_n{\parallel }_A\right)\in {\mathcal{l}}_q\mathrm{if} q<\infty ,\mathrm{or}{\parallel {\chi }_n\parallel }_A\to 0\mathrm{if} q=\infty ,$$

  for every weak* p-summable sequence ${\left\{{\chi }_n\right\}}_{n\in \omega }$ in $E^{\prime }$. $(p,p)$-limited sets and $(\infty ,\infty )$-limited sets will be called simply p-limited sets and limited sets, respectively.

Following [13], a non-empty subset B of $E^{\prime }$ is called a $(p,q)$-$\left(V\right)$ set if

$$\left(\underset{\chi \in B}{sup}\left|\langle \chi ,x_n\rangle \right|\right)\in {\mathcal{l}}_q\mathrm{if} q<\infty ,\mathrm{or}\left(\underset{\chi \in B}{sup}\left|\langle \chi ,x_n\rangle \right|\right)\in c_0\mathrm{if} q=\infty ,$$

for every weakly p-summable sequence ${\left\{x_n\right\}}_{n\in \omega }$ in E. $(p,\infty )$-$\left(V\right)$ sets and $(1,\infty )$-$\left(V\right)$ sets will be called simply p-$\left(V\right)$ sets and $\left(V\right)$ sets, respectively.

Generalizing the Gelfand–Phillips property of order p defined in [19] and the coarse Gelfand–Phillips property of order p introduced in [20], the following notions are defined and studied in [21]. Let $p,q\in [1,\infty ]$. An lcs E is said to have

• The precompact $(p,q)$-Gelfand–Phillips property (the $prG{P}_{(p,q)}$ property) if every $(p,q)$-limited set in E is precompact;
• The coarse p-Gelfand–Phillips property (the coarse $G{P}_p$ property) if every coarse p-limited set in E is relatively compact.

Following [4], a sequence $A={\left\{a_n\right\}}_{n\in \omega }$ in an lcs E is said to be equivalent to the standard unit basis $\{e_n:n\in \omega \}$ of ${\mathcal{l}}_1$ if there exists a linear topological isomorphism R from $\overline{\mathsf{span}}\left(A\right)$ onto a subspace of ${\mathcal{l}}_1$ such that $R\left(a_n\right)=e_n$ for every $n\in \omega$ (we do not assume that the closure $\overline{\mathsf{span}}\left(A\right)$ of the $\mathsf{span}\left(A\right)$ of A is complete or that R is onto a supspace). We shall also say that A is an ${\mathcal{l}}_1$-sequence. A locally convex space E is said to have the Rosenthal property if every bounded sequence in E has a subsequence which either (1) is Cauchy in the weak topology, or (2) is equivalent to the unit basis of ${\mathcal{l}}_1$. The following remarkable extension of the celebrated Rosenthal ${\mathcal{l}}_1$-theorem was proved by Ruess [31]: each locally complete locally convex space E whose every separable bounded set is metrizable has the Rosenthal property. Thus every strict $\left(LF\right)$-space has the Rosenthal property. Being motivated by these results, we introduce in [21] the following class of locally convex spaces. Let $p\in [1,\infty ]$. A locally convex space E is said to have the weak Cauchy subsequence property of order p (the $wCS{P}_p$ for short) if every bounded sequence in E has a weakly p-Cauchy subsequence. If $p=\infty$, we shall say simply that E has the $wCSP$. It is proved in Proposition 2.9 of [21] that if $1<p<\infty$, then ${\mathcal{l}}_p$ has the $wCS{P}_p$ if and only if $p\ge 2$. In [21], we proved the following generalization of Odell–Stegall’s theorem (which states that any ∞-$\left(V^{*}\right)$ set of a Banach space is weakly sequentially precompact, see ([32], p. 377)).

Theorem 1.

Let $2\le p\le q\le \infty$, and let E be a locally convex space with the Rosenthal property. Then every $(p,q)$-$\left(V^{*}\right)$ subset of E is weakly sequentially precompact. Consequently, each $(p,q)$-limited subset of E is weakly sequentially precompact.

Let $p,q,q^{\prime }\in [1,\infty ]$, $q^{\prime }\le q$, and let E and L be locally convex spaces. Generalizing the corresponding notions for Banach spaces defined in [19,33] and following [34], a linear map $T:E\to L$ is called

• $(q^{\prime },q)$-$\left(V^{*}\right)$ p-convergent if $T\left(x_n\right)\to 0$ for every weakly p-summable sequence ${\left\{x_n\right\}}_{n\in \omega }$ in E which is a $(q^{\prime },q)$-$\left(V^{*}\right)$ subset of E;
• $(p,q)$-$\left(V^{*}\right)$ if $T\left(U\right)$ is a $(p,q)$-$\left(V^{*}\right)$ subset of L for some $U\in {\mathcal{N}}_0\left(E\right)$; if $q=\infty$ or $p=1$ and $q=\infty$, we shall say that T is p-$\left(V^{*}\right)$ or $\left(V^{*}\right)$, respectively;
• weakly sequentially p-(pre)compact if $T\left(U\right)$ is a relatively weakly sequentially p-compact (resp., weakly sequentially p-precompact) subset of L for some $U\in {\mathcal{N}}_0\left(E\right)$;
• $(p,q)$-limited if $T\left(U\right)$ is a $(p,q)$-limited subset of L for some $U\in {\mathcal{N}}_0\left(E\right)$; if $p=q$ or $p=q=\infty$, we shall say that T is p-limited or limited, respectively;
• coarse p-limited if there is $U\in {\mathcal{N}}_0\left(E\right)$ such that $T\left(U\right)$ is a coarse p-limited subset of L;
• weakly $(p,q)$-convergent if ${\lim }_{n\to \infty }\langle {\eta }_n,T\left(x_n\right)\rangle =0$ for every weakly q-summable sequence ${\left\{{\eta }_n\right\}}_{n\in \omega }$ in $L_{\beta }^{\prime }$ and each weakly p-summable sequence ${\left\{x_n\right\}}_{n\in \omega }$ in E; if $q=\infty$, we shall say simply that T is weakly p-convergent.

3. The Sequential $D{P}_{(p,q)}$ Property

The next theorem complements numerous characterizations of the sequential $D{P}_{(p,q)}$ property given in Theorem 4.9 of [12]. If $1<p<\infty$, $q=\infty$, and E is a Banach space, it is proved in Theorem 1 of [14] and Corollary 15 of [15].

Theorem 2.

Let $p,q\in [1,\infty ]$, and let E be a locally convex space. Then the following assertions are equivalent:

(i)

E has the sequential $D{P}_{(p,q)}$ property;

(ii)

For each weakly p-summable sequence ${\left\{x_n\right\}}_{n\in \omega }$ in E and for each weakly q-Cauchy sequence ${\left\{{\chi }_n\right\}}_{n\in \omega }$ in $E_{\beta }^{\prime }$, it follows $\langle {\chi }_n,x_n\rangle \to 0$;

(iii)

For each weakly p-Cauchy sequence ${\left\{x_n\right\}}_{n\in \omega }$ in E and for each weakly q-summable sequence ${\left\{{\chi }_n\right\}}_{n\in \omega }$ in $E_{\beta }^{\prime }$, it follows $\langle {\chi }_n,x_n\rangle \to 0$.

Proof. 

(i)⇒(ii) Suppose for a contradiction that there are $a>0$, a weakly p-summable sequence ${\left\{x_n\right\}}_{n\in \omega }$ in E, and a weakly q-Cauchy sequence ${\left\{{\chi }_n\right\}}_{n\in \omega }$ in $E_{\beta }^{\prime }$ such that $|\langle {\chi }_n,x_n\rangle |>4a$. Taking into account that ${\left\{x_n\right\}}_{n\in \omega }$ is weakly null, for every $n\in \omega$ there is $i_n>n$ such that $|\langle {\chi }_n,x_{i_n}\rangle |<a$. We can assume that $i_0<i_1<\cdots$. Since ${\left\{{\chi }_n\right\}}_{n\in \omega }$ is weakly q-Cauchy, the sequence ${\{{\chi }_{i_n}-{\chi }_n\}}_{n\in \omega }$ is weakly q-summable. By (i), there is $N\in \omega$ such that $|\langle {\chi }_{i_n}-{\chi }_n,x_{i_n}\rangle |<a$ for every $n\ge N$. Therefore, for every $n\ge N$, we obtain

$$4a<|\langle {\chi }_{i_n},x_{i_n}\rangle |\le |\langle {\chi }_{i_n}-{\chi }_n,x_{i_n}\rangle |+|\langle {\chi }_n,x_{i_n}\rangle |\le 2a.$$

This is a contradiction.

The implication (i)⇒(iii) can be proved analogously to (i)⇒(ii) replacing ${\chi }_n$ with $x_n$, and the implications (ii)⇒(i) and (iii)⇒(i) are trivial. □

Below, we give a sufficient condition to have the sequential $D{P}_{(p,q)}$ property.

Proposition 2.

Let $1\le p\le q\le \infty$, and let $(E,\tau )$ be a q-quasibarrelled space. If E has the p-Schur property, then E has the sequential $D{P}_{(p,q)}$ property.

Proof. 

Since E is q-quasibarrelled, Lemma 4.8 of [12] implies that the topology ${\mathcal{T}}_{{\mathcal{B}}_{E^{\prime }}}={\tau }_{S_q}$ on E of uniform convergence on all weakly p-summable sequences of $E_{\beta }^{\prime }$ satisfies the inclusions $\sigma (E,E^{\prime })\subseteq {\tau }_{S_q}\subseteq \tau$. Therefore, by the equivalence (vii)⇔(xi) of Theorem 4.9 of [12], it suffices to show that the space $(E,{\tau }_{S_q})$ has the p-Schur property. However, since $(E,\tau )$ has the p-Schur property, the above inclusions trivially imply that $(E,{\tau }_{S_q})$ has the p-Schur property, as desired. □

As we noticed in the introduction, in the realm of Banach spaces the $DP$-property of order p coincides with the sequential $D{P}_{(p,\infty )}$ property. This provides motivation to additionally consider the case $q=\infty$ (not only as an important partial case). If $1<p<\infty$ and E is a Banach space, the equivalences (i)⇔(iv)⇔(vi) of the next corollary are proved in Theorem 1 of [16].

Corollary 1.

Let $p\in [1,\infty ]$, and let E be a locally convex space. Consider the following conditions:

(i) 

E has the sequential $D{P}_{(p,\infty )}$ property;

(ii) 

Each (relatively) weakly sequentially p-compact subset of E is an ∞-$\left(V^{*}\right)$ set;

(iii) 

Each weakly p-summable sequence in E is an ∞-$\left(V^{*}\right)$ set;

(iv) 

Every weakly sequentially p-precompact subset of E is an ∞-$\left(V^{*}\right)$ set;

(v) 

Every weakly sequentially precompact subset of $E_{\beta }^{\prime }$ is a p-$\left(V\right)$ set;

(vi) 

For every lcs L and for each operator $S:X\to E$, which transforms bounded sets into weakly sequentially p-precompact sets, the adjoint operator $S^{*}:E_{\beta }^{\prime }\to X_{\beta }^{\prime }$ is completely continuous;

(vii) 

For every normed space X and each weakly sequentially p-precompact operator S from X to E, the adjoint operator $S^{*}:E_{\beta }^{\prime }\to X_{\beta }^{\prime }$ is completely continuous;

(viii) 

For each operator $R\in \mathcal{L}({\mathcal{l}}_{p^{*}}^0,E)$ (each weakly sequentially p-precompact operator $R\in \mathcal{L}({\mathcal{l}}_1^0,E)$ if $p=\infty$, or $R\in \mathcal{L}(c_0^0,E)$ if $p=\infty$), the adjoint operator $S^{*}$ is completely continuous.

(ix) 

For each operator $R\in \mathcal{L}({\mathcal{l}}_{p^{*}},E)$ (each weakly sequentially p-precompact operator $R\in \mathcal{L}({\mathcal{l}}_1,E)$ if $p=\infty$, or $R\in \mathcal{L}(c_0,E)$ if $p=\infty$), the adjoint operator $S^{*}$ is completely continuous.

Then, (i)⇔(ii)⇔(iii)⇔(iv)⇔(v)⇒(vi)⇒(vii)⇒(viii) and (v)⇒(ix). If, in addition, $1<p<\infty$, then the conditions (i)–(viii) are equivalent. If $1<p<\infty$ and E is sequentially complete, then the conditions (i)–(ix) are equivalent.

Proof. 

The equivalences (i)⇔(ii)⇔(iii) immediately follow from Theorem 4.9 of [12].

(i)⇒(iv) Suppose for a contradiction that there is a weakly sequentially p-precompact subset A of E, which is not an ∞-$\left(V^{*}\right)$ set. Then, there are $a>0$ and a weakly null sequence ${\left\{{\chi }_n\right\}}_{n\in \omega }$ in $E_{\beta }^{\prime }$ such that $\parallel {\chi }_n{\parallel }_A>2a$ for every $n\in \omega$. For every $n\in \omega$, choose $a_n\in A$ such that $|\langle {\chi }_n,a_n\rangle |>a$. Since A is weakly sequentially p-precompact, passing to a subsequence if needed, we can assume that the sequence $S={\left\{a_n\right\}}_{n\in \omega }$ is weakly p-Cauchy. By Theorem 2, we have $|\langle {\chi }_n,a_n\rangle |\to 0$, which contradicts the choice of S.

(iv)⇒(iii) is trivial.

(i)⇒(v) Suppose for a contradiction that there is a weakly sequentially precompact subset B of $E_{\beta }^{\prime }$ that is not a p-$\left(V\right)$ set. Then, there are $a>0$ and a weakly p-summable sequence ${\left\{x_n\right\}}_{n\in \omega }$ in E such that ${sup}_{\chi \in B}\left|\langle \chi ,x_n\rangle \right|>2a$ for every $n\in \omega$. For every $n\in \omega$, choose ${\chi }_n\in B$ such that

$$|\langle {\chi }_n,x_n\rangle |>a.$$

(1)

Since B is weakly sequentially precompact, without loss of generality, we can assume that the sequence ${\left\{{\chi }_n\right\}}_{n\in \omega }$ is weakly Cauchy in $E_{\beta }^{\prime }$. However, (1) then contradicts the equivalence (i)⇔(ii) of Theorem 2 in which $q=\infty$.

(v)⇒(i) immediately follows from the definition of p-$\left(V\right)$ sets and the equivalence (i)⇔(ii) of Theorem 2 (because each weakly null sequence in $E_{\beta }^{\prime }$ is weakly sequentially precompact).

(i)⇒(vi) Suppose for a contradiction that there are an lcs X and an operator $S:X\to E$, which transforms bounded sets into weakly sequentially p-precompact sets, such that $S^{*}:E_{\beta }^{\prime }\to X_{\beta }^{\prime }$ is not completely continuous. Therefore, there are a weakly null sequence ${\left\{{\chi }_n\right\}}_{n\in \omega }$ in $E_{\beta }^{\prime }$ and a bounded set $A\subseteq X$ such that $S^{*}\left({\chi }_n\right)\notin A^{\circ }$ for every $n\in \omega$. For every $n\in \omega$, choose $x_n\in A$ such that

$$|\langle {\chi }_n,S\left(x_n\right)\rangle |=|\langle S^{*}\left({\chi }_n\right),x_n\rangle |>1.$$

(2)

Since $S\left(A\right)$ is weakly sequentially p-precompact, passing to a subsequence if needed, we can assume that the sequence ${\left\{S\left(x_n\right)\right\}}_{n\in \omega }$ is weakly p-Cauchy. Then, by (i) and the equivalence (i)⇔(iii) of Theorem 2, we obtain $\langle {\chi }_n,S\left(x_n\right)\rangle \to 0$, which contradicts (2).

(vi)⇒(vii)⇒(viii) and (v)⇒(ix) are obvious because if $1<p<\infty$, then each operator $R\in \mathcal{L}({\mathcal{l}}_{p^{*}}^0,E)$ or $R\in \mathcal{L}({\mathcal{l}}_{p^{*}},E)$ is weakly sequentially p-precompact, see Corollary 13.11 of [13].

(viii)⇒(i) and (ix)⇒(i): Assume that $1<p<\infty$ (and additionally E is sequentially complete for the implication (ix)⇒(i)). Let ${\left\{x_n\right\}}_{n\in \omega }$ be a weakly p-summable sequence in E, and let ${\left\{{\chi }_n\right\}}_{n\in \omega }$ be a weakly null sequence in $E_{\beta }^{\prime }$. For every $n\in \omega$, set $S\left(e_n^{*}\right):=x_n$. Then, by Proposition 4.14 of [13], S defines an operator from ${\mathcal{l}}_p^0$ to E (or from ${\mathcal{l}}_p$ to E in the case when E is sequentially complete). Moreover, for every $\chi \in E^{\prime }$, we have $S^{*}\left(\chi \right)=\left(\langle \chi ,x_n\rangle \right)$. Since, by (viii) or (ix), the adjoint operator $S^{*}$ is completely continuous, we have

$${|\langle {\chi }_n,x_n\rangle |}^p\le \sum _{i\in \omega }{|\langle {\chi }_n,x_i\rangle |}^p={\parallel S^{*}\left({\chi }_n\right)\parallel }_{{\mathcal{l}}_p}^p\to 0.$$

Thus, E has the sequential $D{P}_{(p,\infty )}$ property. □

Following [34], a locally convex space E is weakly sequentially locally p-complete if the closed absolutely convex hull of a weakly null sequence is weakly sequentially p-precompact. In the partial case when $p=\infty$, E is weakly sequentially locally ∞-complete if and only if the closed absolutely convex hull of a weakly null sequence is weakly sequentially precompact. For Banach spaces, the next corollary extends and generalizes Theorem 1 and Corollary 3 of [16].

Corollary 2.

Let $1<p<\infty$, and let E be a sequentially complete locally convex space. Consider the following conditions:

(i) 

E has the sequential $D{P}_{(p,\infty )}$ property;

(ii) 

Each (relatively) weakly sequentially p-compact subset of E is an ∞-$\left(V^{*}\right)$ set;

(iii) 

Each weakly p-summable sequence in E is an ∞-$\left(V^{*}\right)$ set;

(iv) 

Every weakly sequentially p-precompact subset of E is an ∞-$\left(V^{*}\right)$ set;

(v) 

Every weakly sequentially precompact subset of $E_{\beta }^{\prime }$ is a p-$\left(V\right)$ set;

(vi) 

The identity map ${\mathsf{id}}_E:E\to E$ is weakly p-convergent;

(vii) 

For every normed (the same Banach) space Z, each weakly sequentially p-precompact operator R from Z to E is an ∞-$\left(V^{*}\right)$ map;

(viii) 

Each operator $T\in \mathcal{L}({\mathcal{l}}_{p^{*}},E)$ is an ∞-$\left(V^{*}\right)$ operator;

(ix) 

For each operator $R\in \mathcal{L}({\mathcal{l}}_{p^{*}},E)$, the adjoint operator $S^{*}$ is completely continuous;

(x) 

For any Banach space Z and each $R\in \mathcal{L}(E,Z)$ with weakly sequentially precompact adjoint $R^{*}:Z_{\beta }^{\prime }\to E_{\beta }^{\prime }$, the operator R is p-convergent;

(xi) 

R is p-convergent for each $R\in \mathcal{L}(E,c_0)$ with weakly sequentially precompact adjoint $R^{*}:{\mathcal{l}}_1\to E_{\beta }^{\prime }$.

Then (i)⇔(ii)⇔(iii)⇔(iv)⇔(v)⇔(vi)⇔(vii)⇔(viii)⇔(ix)⇒(x)⇒(xi). If, in addition, E is a Mackey $c_0$-barrelled space and $E_{\beta }^{\prime }$ is weakly sequentially angelic, then all conditions (i)–(xi) are equivalent.

Proof. 

The equivalences (i)⇔(ii)⇔(iii)⇔(iv)⇔(v)⇔(ix) follow from Corollary 1.

The equivalences (iii)⇔(vi)⇔(vii)⇔(viii) follow from (E) of Theorem 3.14 of [34] applied to the identity operator $T={\mathsf{id}}_E:E\to E$.

The implications (vi)⇒(x)⇒(xi) follow from (B) of Theorem 3.14 of [34] applied to the identity operator $T={\mathsf{id}}_E:E\to E$.

(xi)⇒(vi) Assume in addition that E is a Mackey $c_0$-barrelled space such that $E_{\beta }^{\prime }$ is a weakly sequentially angelic space. Then, by Theorem 12.1.4 of [5], the space $E_{\beta }^{\prime }$ is locally complete and hence so is ${\left(E_{\beta }^{\prime }\right)}_w$. Let now $S={\left\{{\chi }_n\right\}}_{n\in \omega }$ be a weakly null sequence in $E_{\beta }^{\prime }$. Then, the local completeness of ${\left(E_{\beta }^{\prime }\right)}_w$ implies that $\overline{\mathrm{acx}}\left(S\right)$ is a weakly compact subset of $E_{\beta }^{\prime }$. As $E_{\beta }^{\prime }$ is weakly sequentially angelic, we obtain that $\overline{\mathrm{acx}}\left(S\right)$ is a weakly sequentially compact subset of $E_{\beta }^{\prime }$. Therefore, $E_{\beta }^{\prime }$ is weakly sequentially locally ∞-complete. Now, the implication (xi)⇒(vi) follows from $\left(B\right)$ of Theorem 3.14 of [34]. □

The sequential $D{P}_{(p,q)}$ property of the range of operators implies some strong additional properties as the next assertion shows.

Proposition 3.

Let $p,q\in [1,\infty ]$, and let E and L be locally convex spaces. If L has the sequential $D{P}_{(p,q)}$ property (for instance, L is a quasibarrelled locally complete space with the Dunford–Pettis property, e.g., $L={\mathcal{l}}_{\infty }$). Then, each operator $T\in \mathcal{L}(E,L)$ is weakly $(p,q)$-convergent.

Proof. 

Let ${\left\{{\eta }_n\right\}}_{n\in \omega }$ be a weakly q-summable sequence in $L_{\beta }^{\prime }$, and let ${\left\{x_n\right\}}_{n\in \omega }$ be a weakly p-summable sequence in E. Then, ${\left\{T\left(x_n\right)\right\}}_{n\in \omega }$ is a weakly p-summable sequence in L. Now the sequential $D{P}_{(p,q)}$ property of L implies $\langle {\eta }_n,T\left(x_n\right)\rangle \to 0$. Thus, T is weakly $(p,q)$-convergent.

If L is a quasibarrelled locally complete space with the Dunford–Pettis property, Corollary 5.13 of [12] implies that L has the sequential $D{P}_{(p,q)}$ property. □

4. The Sequential $D{P}_{(p,q)}^{*}$ Property

In this section, we characterize and study locally convex spaces with the sequential $D{P}_{(p,q)}^{*}$ property. Recall that an lcs E has the sequential $D{P}_{(p,q)}^{*}$ property if ${\lim }_{n\to \infty }\langle {\chi }_n,x_n\rangle =0$ for every weakly p-summable sequence ${\left\{x_n\right\}}_{n\in \omega }$ in E and each weak* q-summable sequence ${\left\{{\chi }_n\right\}}_{n\in \omega }$ in $E^{\prime }$. First, we select the next assertion.

Proposition 4.

Let $p,q\in [1,\infty ]$, and let E be a locally convex space. If E has the sequential $D{P}_{(p,q)}^{*}$ property, then it has the sequential $D{P}_{(p,q)}$ property. The converse is true if E is semi-reflexive, but not in general.

Proof. 

We need to show only that there is E, which has the sequential $D{P}_{(p,q)}$ property but without the sequential $D{P}_{(p,q)}^{*}$ property (other assertions follow from the corresponding definitions). Let $E=c_0$. Then, E has the $DP$ property, and hence, by the Grothendieck theorem, it has the sequential $DP$ property. Therefore, $c_0$ has the sequential $D{P}_{(p,q)}$ property for all $p,q\in [1,\infty ]$. On the other hand, it is clear that the canonical unit basis ${\left\{e_n\right\}}_{n\in \omega }$ of $c_0$ is weakly p-summable for all $p\in [1,\infty ]$, and the canonical unit basis ${\left\{e_n^{*}\right\}}_{n\in \omega }$ of ${\mathcal{l}}_1$ is weak* null. Since $\langle e_n^{*},e_n\rangle =1\nrightarrow 0$, the Banach space $c_0$ does not have the sequential $D{P}_{(p,\infty )}^{*}$ property for all $p\in [1,\infty ]$. □

Remark 1.

In Example 4.11, we constructed a semi-reflexive lcs H with the sequential $D{P}_{(p,q)}$ property for each $p,q\in [1,\infty ]$ such that H does not have the $DP$ property. Taking into account Proposition 4, it follows that there are locally convex spaces with the sequential $D{P}_{(p,q)}^{*}$ property but without the $DP$ property.

We shall use below the following generalization of the Grothendieck property.

Definition 8.

Let $p\in [1,\infty ]$. A locally convex space E is said to have the p-Grothendieck property if the identity map ${\mathsf{id}}_{E^{\prime }}:E_{w^{*}}^{\prime }\to {\left(E_{\beta }^{\prime }\right)}_w$ is p-convergent.

It is clear that the ∞-Grothendieck property is exactly the Grothendieck property.

Let $(E,\tau )$ be a locally convex space. Denote by ${\Sigma }^{\prime }\left(E^{\prime }\right)$ the family of all absolutely convex, equicontinuous, weakly compact subsets of $E_{\beta }^{\prime }$, and let ${\tau }_{{\Sigma }^{\prime }}$ be the Grothendieck topology on E of uniform convergence on the elements of ${\Sigma }^{\prime }\left(E^{\prime }\right)$. For $q\in [1,\infty ]$, denote by ${\tau }_{S_q^{*}}$ the polar topology on E of uniform convergence on weak* q-summable sequences in $E^{\prime }$. Below we list some basic properties of the “sequentially-open” topology ${\tau }_{S_q^{*}}$, which will be used repeatedly in what follows.

Lemma 2.

Let $q\in [1,\infty ]$, and let $(E,\tau )$ be a locally convex space. Then:

(i) 

$\sigma (E,E^{\prime })\subseteq {\tau }_{S_q^{*}}$.

(ii) 

E is a q-barrelled space if and only if ${\tau }_{S_q^{*}}\subseteq \tau$.

(iii) 

${\tau }_{S_q^{*}}\subseteq \mu (E,E^{\prime })$ if and only if for every weak* q-summable sequence $S=\left({\chi }_n\right)$ in $E^{\prime }$, the absolutely convex hull of S is relatively weak* compact if and only if $E_{w^{*}}^{\prime }$ is locally complete (for example, E is barrelled).

(iv) 

${\tau }_{S_q^{*}}\subseteq {\tau }_{{\Sigma }^{\prime }}$ if and only if E is a q-barrelled q-Grothendieck space whose strong dual $E_{\beta }^{\prime }$ is locally complete.

Proof. 

(i) Let $\{{\chi }_0,\dots ,{\chi }_k\}$ be a finite subset of $E^{\prime }$. For every $n>k$, set ${\chi }_n=0$. It is clear that ${\left\{{\chi }_n\right\}}_{n\in \omega }$ is a weak* q-summable sequence in $E^{\prime }$. Now it is evident that $\sigma (E,E^{\prime })\subseteq {\tau }_{S_q^{*}}$.

(ii) Assume that E is a q-barrelled space. Let $S={\left\{{\chi }_n\right\}}_{n\in \omega }$ be a weak* q-summable sequence in $E^{\prime }$. Since E is q-barrelled, S is equicontinuous. Take a closed absolutely convex neighborhood U of zero in E such that $S\subseteq U^{\circ }$. Then, $U^{\circ \circ }=U\subseteq S^{\circ }$. Thus, ${\tau }_{S_q^{*}}\subseteq \tau$.

Conversely, assume that ${\tau }_{S_q^{*}}\subseteq \tau$. To show that E is q-barrelled, let $S={\left\{{\chi }_n\right\}}_{n\in \omega }$ be a weak* q-summable sequence in $E_{\beta }^{\prime }$. Then, the inclusion ${\tau }_{S_q^{*}}\subseteq \tau$ implies that there is $U\in {\mathcal{N}}_0\left(E\right)$ such that $U\subseteq S^{\circ }$. Then, $S\subseteq U^{\circ }$, and hence, the sequence S is equicontinuous. Thus, E is a q-barrelled space.

(iii) By the Mackey–Arens theorem, the inclusion ${\tau }_{S_q^{*}}\subseteq \mu (E,E^{\prime })$ holds if and only if for every weak* q-summable sequence $S=\left({\chi }_n\right)$ in $E^{\prime }$, there is a weak* compact, absolutely convex subset K of $E^{\prime }$ such that $K^{\circ }\subseteq S^{\circ }$, and hence, if and only if $S^{\circ \circ }\subseteq K^{\circ \circ }=K$, as desired. The last assertion is equivalent to the second one by the fact that $E_{w^{*}}^{\prime }$ carries its weak topology and Theorem 10.2.4 of [5]. If E is barrelled, then by Proposition 11.1.4 of [5], $E_{w^{*}}^{\prime }$ is quasi-complete and hence locally complete.

(iv) Assume that ${\tau }_{S_q^{*}}\subseteq {\tau }_{{\Sigma }^{\prime }}$. Let $S=\left({\chi }_n\right)$ be a weak* q-summable sequence in $E^{\prime }$. Then, there is $K\in {\Sigma }^{\prime }\left(E^{\prime }\right)$ such that $K^{\circ }\subseteq S^{\circ }$, and hence, $S\subseteq S^{\circ \circ }\subseteq K$. Since K is equicontinuous, it follows that also S is equicontinuous and hence E is q-barrelled. Since K is weakly compact and absolutely convex in $E_{\beta }^{\prime }$, we obtain that the closed, absolutely convex hull of S is a weakly compact subset of $E_{\beta }^{\prime }$. Since every weakly q-summable sequence in $E_{\beta }^{\prime }$ is weak* q-summable, Theorem 10.2.4 of [5] implies that $E_{\beta }^{\prime }$ is locally complete. As $S\subseteq K$, it follows that S is weakly precompact in $E_{\beta }^{\prime }$. Since the weak topology of $E_{\beta }^{\prime }$ is finer than the weak* topology, Lemma 1 implies that ${\chi }_n\to 0$ in the weak topology of $E_{\beta }^{\prime }$. Thus, E has the q-Grothendieck property.

Conversely, assume that E is a q-barrelled q-Grothendieck space whose strong dual $E_{\beta }^{\prime }$ is locally complete. If $S=\left({\chi }_n\right)$ is a weak* q-summable sequence in $E^{\prime }$, then the q-Grothendieck property implies that S is weakly null in $E_{\beta }^{\prime }$. Whence, by the local completeness of $E_{\beta }^{\prime }$, the closed absolutely convex hull $K:=\overline{\mathrm{acx}}\left(S\right)$ of S is a weakly compact subset of $E_{\beta }^{\prime }$. Since E is q-barrelled, S and hence also K are equicontinuous. Therefore, $K\in {\Sigma }^{\prime }\left(E^{\prime }\right)$. It follows that $K^{\circ }\subseteq S^{\circ }$ and hence ${\tau }_{S_q^{*}}\subseteq {\tau }_{{\Sigma }^{\prime }}$, as desired. □

Below we characterize locally convex spaces with the sequential $D{P}_{(p,q)}^{*}$ property.

Theorem 3.

Let $p,q\in [1,\infty ]$, $(E,\tau )$ be a locally convex space, ${\mathcal{B}}_E={\mathcal{l}}_p^w\left(E\right)$ (or $c_0^w\left(E\right)$ if $p=\infty$), ${\mathcal{B}}_{E^{\prime }}={\mathcal{l}}_q^{w^{*}}\left(E^{\prime }\right)$ (or $c_0^{w^{*}}\left(E^{\prime }\right)$ if $q=\infty$), and let $\mathsf{id}:E\to E$ be the identity map. Then, the following assertions are equivalent:

(i) 

For each $A=\left(x_n\right)\in {\mathcal{B}}_E$, the sequence A is precompact (in fact, null) For ${\mathcal{T}}_{{\mathcal{B}}_{E^{\prime }}}$;

(ii) 

For each $B=\left({\chi }_n\right)\in {\mathcal{B}}_{E^{\prime }}$, the sequence B is precompact (in fact, null) for ${\mathcal{T}}_{{\mathcal{B}}_E}$;

(iii) 

For each $A\in {\mathcal{B}}_E$, $\mathsf{id}{\upharpoonright }_A:\left(A,\sigma (E,E^{\prime }){\upharpoonright }_A\right)\to \left(E,{\mathcal{T}}_{{\mathcal{B}}_{E^{\prime }}}\right)$ is uniformly continuous;

(iv) 

For each $B\in {\mathcal{B}}_{E^{\prime }}$, ${\mathsf{id}}^{*}{\upharpoonright }_B:\left(B,\sigma (E^{\prime },E){\upharpoonright }_B\right)\to \left(E^{\prime },{\mathcal{T}}_{{\mathcal{B}}_E}\right)$ is uniformly continuous;

(v) 

For each $A=\left(x_n\right)\in {\mathcal{B}}_E$ and every $B=\left({\chi }_n\right)\in {\mathcal{B}}_{E^{\prime }}$, the restriction to $B\times A$ of $\langle \eta ,x\rangle$ is uniformly continuous for the product topology $\beta (E^{\prime },E){\upharpoonright }_B\times \sigma (E,E^{\prime }){\upharpoonright }_A$ (or vice versa for $\sigma (E^{\prime },E){\upharpoonright }_B\times \beta (E,E^{\prime }){\upharpoonright }_A$);

(vi) 

For each $A=\left(x_n\right)\in {\mathcal{B}}_E$ and every $B=\left({\chi }_n\right)\in {\mathcal{B}}_{E^{\prime }}$, the restriction to $B\times A$ of $\langle \eta ,x\rangle$ is uniformly continuous for the product topology $\sigma (E^{\prime },E){\upharpoonright }_B\times \sigma (E,E^{\prime }){\upharpoonright }_A$;

(vii) 

E has the sequential $D{P}_{(p,q)}^{*}$ property;

(viii) 

Each relatively weakly sequentially p-compact set in E is a $(q,\infty )$-limited set;

(ix) 

Each weakly sequentially p-compact set in E is a $(q,\infty )$-limited set;

(x) 

Each weakly p-summable sequence in E is a $(q,\infty )$-limited set;

(xi) 

For each weakly p-summable sequence ${\left\{x_n\right\}}_{n\in \omega }$ in E and for each weak* q-Cauchy sequence ${\left\{{\chi }_n\right\}}_{n\in \omega }$ in $E^{\prime }$, it follows $\langle {\chi }_n,x_n\rangle \to 0$;

(xii) 

For each weakly p-Cauchy sequence ${\left\{x_n\right\}}_{n\in \omega }$ in E and for each weak* q-summable sequence ${\left\{{\chi }_n\right\}}_{n\in \omega }$ in $E^{\prime }$, it follows $\langle {\chi }_n,x_n\rangle \to 0$.

(xiii) 

Each weakly sequentially p-precompact set in E is a $(q,\infty )$-limited set;

Moreover, if ${\mathcal{T}}_{{\mathcal{B}}_{E^{\prime }}}$ is compatible with τ (i.e., if $E_{w^{*}}^{\prime }$ is locally complete; for example, E is barrelled), then (i)-(xii) are equivalent to

(xiv) 

$\left(E,{\mathcal{T}}_{{\mathcal{B}}_{E^{\prime }}}\right)$ has the p-Schur property.

Proof. 

Set $L:=E$ and define $T:E\to L$ by $T:=\mathsf{id}$.

By (i) of Lemma 2, we have $\sigma (E,E^{\prime })\subseteq {\mathcal{T}}_{{\mathcal{B}}_{E^{\prime }}}$. Hence, by Lemma 1, if $A\in {\mathcal{B}}_E$ is ${\mathcal{T}}_{{\mathcal{B}}_{E^{\prime }}}$-precompact, then $A\cup \left\{0\right\}$ is ${\mathcal{T}}_{{\mathcal{B}}_{E^{\prime }}}$-null. Analogously, it is clear that $\sigma (E^{\prime },E)\subseteq {\mathcal{T}}_{{\mathcal{B}}_E}$. Since each $B=\left({\chi }_n\right)\in {\mathcal{B}}_{E^{\prime }}$ is $\sigma (E^{\prime },E)$-null, Lemma 1 implies that B is ${\mathcal{T}}_{{\mathcal{B}}_E}$-precompact if and only if $B\cup \left\{0\right\}$ is ${\mathcal{T}}_{{\mathcal{B}}_E}$-null. Then, the equivalences (i)⇔(ii)⇔(iii)⇔(iv)⇔(v)⇔(vi) follow from Theorem 9.2.1 of [2] in which $\mathfrak{S}={\mathcal{B}}_E$ and ${\mathfrak{S}}^{\prime }={\mathcal{B}}_{E^{\prime }}$.

(vi)⇒(vii) immediately follows from the continuity of $\langle \eta ,x\rangle$ at zero $(0,0)$ with respect to $\sigma (E^{\prime },E){\upharpoonright }_B\times \sigma (E,E^{\prime }){\upharpoonright }_A$.

(vii)⇒(vi) Assume that E has the sequential $D{P}_{(p,q)}^{*}$ property. We claim that the bilinear map $\langle \eta ,x\rangle$ is weak*–weak continuous at $(0,0)$ for every $\left(x_n\right)\in {\mathcal{B}}_E$ and each $\left({\chi }_n\right)\in {\mathcal{B}}_{E^{\prime }}$. Indeed, suppose for a contradiction that there are $\left(x_n\right)\in {\mathcal{B}}_E$ and $\left({\chi }_n\right)\in {\mathcal{B}}_{E^{\prime }}$ such that $\langle \eta ,x\rangle$ is weak*–weak discontinuous at $(0,0)$. Then, there exists $\epsilon >0$ such that for every $i\in \omega$ there are $n_i>i$ and $m_i>i$ such that $|\langle {\eta }_{n_i},x_{m_i}\rangle |\ge \epsilon$. Without loss of generality, we can assume that ${\left\{n_i\right\}}_{i\in \omega }$ and ${\left\{m_i\right\}}_{i\in \omega }$ are strictly increasing. Then, $\left(x_{n_i}\right)\in {\mathcal{B}}_E$ and $\left({\chi }_{n_i}\right)\in {\mathcal{B}}_{E^{\prime }}$ but $\langle {\eta }_{n_i},x_{m_i}\rangle \nrightarrow 0$, which contradicts the sequential $D{P}_{(p,q)}^{*}$ property of E.

Since all sequences $A=\left(x_n\right)\in {\mathcal{B}}_E$ are weakly null and all sequences $B=\left({\chi }_n\right)\in {\mathcal{B}}_{E^{\prime }}$ are weak* null, the claim implies that the bilinear map $\langle \eta ,x\rangle$ is continuous on the (weak*-weak) compact space $B\times A$. Therefore, $\langle \eta ,x\rangle$ is uniformly continuous on $B\times A$ for the product topology $\sigma (E^{\prime },E){\upharpoonright }_B\times \sigma (E,E^{\prime }){\upharpoonright }_A$.

(vii)⇒(viii) Assume that E has the sequential $D{P}_{(p,q)}^{*}$ property. Suppose for a contradiction that there is a relatively weakly sequentially p-compact subset A of E, which is not a $(q,\infty )$-limited set. Then, there exists a weak* q-summable sequence ${\left\{{\chi }_n\right\}}_{n\in \omega }$ in $E^{\prime }$ and $\epsilon >0$ such that ${sup}_{a\in A}\left|\langle {\chi }_n,a\rangle \right|\ge 2\epsilon$ for every $n\in \omega$. For each $n\in \omega$, choose $a_n\in A$ such that $|\langle {\chi }_n,a_n\rangle |\ge \epsilon$. Since A is relatively weakly sequentially p-compact, the sequence ${\left\{a_n\right\}}_{n\in \omega }$ has a subsequence ${\left\{a_{n_k}\right\}}_{k\in \omega }$, which weakly p-converges to a point $z\in E$. Then

$$\epsilon \le |\langle {\chi }_{n_k},a_{n_k}\rangle |\le |\langle {\chi }_{n_k},a_{n_k}-z\rangle |+|\langle {\chi }_{n_k},z\rangle |\to 0\mathrm{as} k\to \infty ,$$

a contradiction.

The implications (viii)⇒(ix)⇒(x) are clear because every weakly p-summable sequence in E is a weakly sequentially p-compact set.

(x)⇒(vii) Assume that each weakly p-summable sequence in E is a $(q,\infty )$-limited set. Let ${\left\{x_n\right\}}_{n\in \omega }$ be a weakly p-summable sequence in E, and let ${\left\{{\chi }_n\right\}}_{n\in \omega }$ be a weak* q-summable sequence in $E_{\beta }^{\prime }$. By assumption, the set $S:={\left\{x_n\right\}}_{n\in \omega }$ is a $(q,\infty )$-limited set. Therefore, by the definition of $(q,\infty )$-limited sets, we have

$$0\le \underset{n\to \infty }{\lim }|\langle {\chi }_n,x_n\rangle |\le \underset{n\to \infty }{\lim }\underset{i\in \omega }{sup}\left|\langle {\chi }_n,x_i\rangle \right|=0.$$

Thus, E has the sequential $D{P}_{(p,q)}^{*}$ property.

(vii)⇒(xi) Suppose for a contradiction that there are $a>0$, a weakly p-summable sequence ${\left\{x_n\right\}}_{n\in \omega }$ in E, and a weak* q-Cauchy sequence ${\left\{{\chi }_n\right\}}_{n\in \omega }$ in $E^{\prime }$ such that $|\langle {\chi }_n,x_n\rangle |>4a$. Taking into account that ${\left\{x_n\right\}}_{n\in \omega }$ is weakly null, for every $n\in \omega$ there is $i_n>n$ such that $|\langle {\chi }_n,x_{i_n}\rangle |<a$. We can assume that $i_0<i_1<\cdots$. Since ${\left\{{\chi }_n\right\}}_{n\in \omega }$ is weak* q-Cauchy, the sequence ${\{{\chi }_{i_n}-{\chi }_n\}}_{n\in \omega }$ is weak* q-summable. By (vii), there is $N\in \omega$ such that $|\langle {\chi }_{i_n}-{\chi }_n,x_{i_n}\rangle |<a$ for every $n\ge N$. Therefore, for every $n\ge N$, we obtain

$$4a<|\langle {\chi }_{i_n},x_{i_n}\rangle |\le |\langle {\chi }_{i_n}-{\chi }_n,x_{i_n}\rangle |+|\langle {\chi }_n,x_{i_n}\rangle |\le 2a.$$

This is a contradiction.

(xi)⇒(vii) follows from the fact that every weak* q-summable sequence is weak* q-Cauchy.

(vii)⇒(xii) and (xii)⇒(vii) can be proved analogously to (vii)⇒(xi) and (xi)⇒(vii).

(xii)⇒(xiii) Suppose for a contradiction that there is a weakly sequentially p-precompact subset A of E that is not a $(q,\infty )$-limited set. Then, there exists a weak* q-summable sequence ${\left\{{\chi }_n\right\}}_{n\in \omega }$ in $E^{\prime }$ and $\epsilon >0$ such that ${sup}_{a\in A}\left|\langle {\chi }_n,a\rangle \right|\ge 2\epsilon$ for every $n\in \omega$. For each $n\in \omega$, choose $a_n\in A$ such that $|\langle {\chi }_n,a_n\rangle |\ge \epsilon$. Since A is weakly sequentially p-precompact, the sequence ${\left\{a_n\right\}}_{n\in \omega }$ has a subsequence ${\left\{a_{n_k}\right\}}_{k\in \omega }$ that is weakly p-Cauchy. Then, (xii) implies

$$\epsilon \le |\langle {\chi }_{n_k},a_{n_k}\rangle |\to 0\mathrm{as} k\to \infty ,$$

a contradiction.

(xiii)⇒(xii) is evident.

Below we assume that ${\mathcal{T}}_{{\mathcal{B}}_{E^{\prime }}}$ is compatible with $\tau$ (which is equivalent to the condition that $E_{w^{*}}^{\prime }$ is locally complete, see (iii) of Lemma 2). Therefore, $\sigma (E,E^{\prime })$ is also the weak topology of $\left(E,{\mathcal{T}}_{{\mathcal{B}}_{E^{\prime }}}\right)$.

(iii)⇒(xiv) Let $\left(x_n\right)\in {\mathcal{l}}_p^w\left(E,{\mathcal{T}}_{{\mathcal{B}}_{E^{\prime }}}\right)$ (or $\in c_0^w\left(E,{\mathcal{T}}_{{\mathcal{B}}_{E^{\prime }}}\right)$ if $p=\infty$). Since ${\mathcal{T}}_{{\mathcal{B}}_{E^{\prime }}}$ is compatible with $\tau$, it follows that $\left(x_n\right)\in {\mathcal{B}}_E$. Then (iii) implies $x_n\to 0$ in ${\mathcal{T}}_{{\mathcal{B}}_{E^{\prime }}}$, that is, $\left(E,{\mathcal{T}}_{{\mathcal{B}}_{E^{\prime }}}\right)$ has the p-Schur property.

(xiv)⇒(iii) Let $A=\left(x_n\right)\in {\mathcal{B}}_E$. Since ${\mathcal{T}}_{{\mathcal{B}}_{E^{\prime }}}$ and $\tau$ are compatible, it follows that $A\in {\mathcal{l}}_p^w\left(E,{\mathcal{T}}_{{\mathcal{B}}_{E^{\prime }}}\right)$ (or $\in c_0^w\left(E,{\mathcal{T}}_{{\mathcal{B}}_{E^{\prime }}}\right)$ if $p=\infty$). Then, the p-Schur property of $\left(E,{\mathcal{T}}_{{\mathcal{B}}_{E^{\prime }}}\right)$ implies that $\sigma (E,E^{\prime }){\upharpoonright }_{A\cup \left\{0\right\}}={\mathcal{T}}_{{\mathcal{B}}_{E^{\prime }}}{\upharpoonright }_{A\cup \left\{0\right\}}$. Taking into account that $A\cup \left\{0\right\}$ is weakly compact, it follows that the identity map $\left(A,\sigma (E,E^{\prime }){\upharpoonright }_{A\cup \left\{0\right\}}\right)\to \left(E,{\mathcal{T}}_{{\mathcal{B}}_{E^{\prime }}}\right)$ is uniformly continuous, and hence, so is the identity map $\left(A,\sigma (E,E^{\prime }){\upharpoonright }_A\right)\to \left(E,{\mathcal{T}}_{{\mathcal{B}}_{E^{\prime }}}\right)$. □

Setting $p=q=\infty$ in Theorem 3, we obtain the following corollary, which generalizes a characterization of Banach spaces with the $D{P}^{*}$ property obtained in [17].

Corollary 3.

A locally convex space E has the sequential $D{P}^{*}$ property if and only if every weakly sequentially (pre)compact subset of E is limited if and only if each weakly null sequence in E is limited.

Corollary 4.

Let $p\in [1,\infty ]$, and let E be a p-barrelled space. If E has the p-Schur property, then E has the sequential $D{P}_p^{*}$ property.

Proof. 

Let $S={\left\{x_n\right\}}_{n\in \omega }$ be a weakly p-summable sequence in E. By the p-Schur property, S is a compact subset of E. Therefore, by (ii) of Proposition 3.6 of [28], S is a $(p,\infty )$-limited set. Thus, by the equivalence (vii)⇔(x) of Theorem 3, E has the sequential $D{P}_p^{*}$ property. □

Corollary 5.

Let $p,q\in [1,\infty ]$, and let E be a locally convex space such that the identity map ${\mathsf{id}}_{E^{\prime }}:E_{w^{*}}^{\prime }\to E_{\beta }^{\prime }$ is q-convergent. Then, E has the sequential $D{P}_{(p,q)}^{*}$ property.

Proof. 

Since ${\mathsf{id}}_{E^{\prime }}:E_{w^{*}}^{\prime }\to E_{\beta }^{\prime }$ is q-convergent, Corollary 5.7 of [28] implies that every bounded subset of E is a $(q,\infty )$-limited set. Now the equivalence (vii)⇔(viii) of Theorem 3 applies. □

Below, we give another sufficient condition to have the sequential $D{P}_{(p,q)}^{*}$ property.

Proposition 5.

Let $p,q\in [1,\infty ]$, and let $(E,\tau )$ be a q-barrelled locally complete space such that $E_{w^{*}}^{\prime }$ is locally complete. If E has the $DP$ property, then it has the sequential $D{P}_{(p,q)}^{*}$ property.

Proof. 

Since $E_{w^{*}}^{\prime }$ is locally complete, by the equivalence (vii)⇔(xiv) of Theorem 3, to show that the space E has the sequential $D{P}_{(p,q)}^{*}$ property, it suffices to prove that the space $(E,{\tau }_{S_q^{*}})$ has the p-Schur property. Since E is q-barrelled, (i) and (ii) of Lemma 2 imply $\sigma (E,E^{\prime })\subseteq {\tau }_{S_q^{*}}\subseteq {\tau }_{{\Sigma }^{\prime }}$. By (i) of Lemma 4.1 of [12], we also have ${\tau }_{{\Sigma }^{\prime }}\subseteq \tau$.

Since E is locally complete and has the $DP$ property, (i) of Proposition 5.12 of [12] implies that E has the quasi $D{P}_p$ property. Therefore, by Theorem 4.5 of [12], the space $\left(E,{\tau }_{{\Sigma }^{\prime }}\right)$ has the p-Schur property. Then, the proved inclusions $\sigma (E,E^{\prime })\subseteq {\tau }_{S_q^{*}}\subseteq {\tau }_{{\Sigma }^{\prime }}$ immediately imply that the space $(E,{\tau }_{S_q^{*}})$ has the p-Schur property. □

Let $p,q\in [1,\infty ]$, and let E and L be locally convex spaces. Following [34], a linear map $T:E\to L$ is called weak* $(p,q)$-convergent if ${\lim }_{n\to \infty }\langle {\eta }_n,T\left(x_n\right)\rangle =0$ for every weak* q-summable sequence ${\left\{{\eta }_n\right\}}_{n\in \omega }$ in $L^{\prime }$ and each weakly p-summable sequence ${\left\{x_n\right\}}_{n\in \omega }$ in E. The next assertion is similar to Proposition 3.

Proposition 6.

Let $p,q\in [1,\infty ]$, and let E and L be locally convex spaces. If L has the sequential $D{P}_{(p,q)}^{*}$ property, then each operator $T\in \mathcal{L}(E,L)$ is weak* $(p,q)$-convergent.

Proof. 

Let ${\left\{{\eta }_n\right\}}_{n\in \omega }$ be a weak* q-summable sequence in $L_{\beta }^{\prime }$, and let ${\left\{x_n\right\}}_{n\in \omega }$ be a weakly p-summable sequence in E. Then, ${\left\{T\left(x_n\right)\right\}}_{n\in \omega }$ is a weakly p-summable sequence in L. Now, the sequential $D{P}_{(p,q)}^{*}$ property of L implies $\langle {\eta }_n,T\left(x_n\right)\rangle \to 0$. Thus, T is weak* $(p,q)$-convergent. □

As we noticed in the introduction, in the realm of Banach spaces the $D{P}^{*}$-property of order p coincides with the sequential $D{P}_{(p,\infty )}^{*}$ property. This motivates additionally to consider the case $q=\infty$. We start from the following characterization of locally convex spaces with the sequential $D{P}_{(p,\infty )}^{*}$ property.

Corollary 6.

Let $p\in [1,\infty ]$. For a locally convex space E, consider the following assertions:

(i) 

E has the sequential $D{P}_{(p,\infty )}^{*}$ property;

(ii) 

Each (relatively) weakly sequentially p-compact subset of E is limited;

(iii) 

Every weakly sequentially p-precompact subset of E is limited;

(vi) 

Each weakly p-summable sequence in E is limited;

(v) 

Every operator $T\in \mathcal{L}(E,c_0)$ is p-convergent.

Then, (i)⇔(ii)⇔(iii)⇔(iv)⇒(v). If, additionally, E is barrelled, then all assertions (i)–(v) are equivalent and they are equivalent to the following condition:

(vi) 

the identity operator ${\mathsf{id}}_E:E\to E$ is weak* p-convergent.

Proof. 

The equivalences (i)⇔(ii)⇔(iii)⇔(iv) immediately follow from Theorem 3.

(iv)⇒(v) Let $S={\left\{x_n\right\}}_{n\in \omega }$ be a weakly p-summable sequence in E. Then, S is a limited subset of E. Therefore, $T\left(S\right)$ is a limited subset of $c_0$. Since $c_0$ has the $GP$ property, $T\left(S\right)$ is relatively compact in $c_0$. As $T\left(S\right)$ is also a weakly null sequence, Lemma 1 implies $T\left(x_n\right)\to 0$ in $c_0$.

(v)⇒(iv) Assume that E is barrelled. Let $S={\left\{x_n\right\}}_{n\in \omega }$ be a weakly p-summable sequence in E. We have to show that S is a limited subset of E. Suppose for a contradiction that S is not limited. Then, there is a weak* null sequence ${\left\{{\chi }_n\right\}}_{n\in \omega }$ in $E^{\prime }$ such that ${sup}_{k\in \omega }\left|\langle {\chi }_n,x_k\rangle \right|\nrightarrow 0.$ Passing to a subsequence of ${\left\{{\chi }_n\right\}}_{n\in \omega }$ if needed, we assume that ${sup}_{k\in \omega }\left|\langle {\chi }_n,x_k\rangle \right|>\epsilon$ for some $\epsilon >0$. For every $n\in \omega$, choose $k_n\in \omega$ such that $|\langle {\chi }_n,x_{k_n}\rangle |\ge \epsilon$.

Define an operator $T:E\to {\left(c_0\right)}_p$ by $T\left(x\right):={\left(\langle {\chi }_n,x\rangle \right)}_n$ ($x\in E$), where ${\left(c_0\right)}_p$ denotes the Banach space $c_0$ endowed with the topology induced from ${\mathbb{F}}^{\omega }$. By the choice of the sequence ${\left\{x_{k_n}\right\}}_{n\in \omega }$, we have $\parallel T\left(x_{k_n}\right){\parallel }_{c_0}\ge \epsilon$ for every $n\in \omega$. Since E is barrelled, we apply Lemma 2.8 of [35] to get that T is also continuous as a linear map from E to the Banach space $c_0$. By (v), T is p-convergent. In particular, we have $\parallel T\left(x_{k_n}\right){\parallel }_{c_0}\to 0$, a contradiction.

If E is barrelled, the equivalence (v)⇔(vi) follows from (B) of Theorem 3.12 of [34]. □

If $1<p<\infty$, we can extend Corollary 6.

Corollary 7.

Let $1<p<\infty$. For a sequentially complete locally convex space E, the following assertions are equivalent:

(i) 

E has the sequential $D{P}_{(p,\infty )}^{*}$ property;

(ii) 

Each (relatively) weakly sequentially p-compact subset of E is limited;

(iii) 

Every weakly sequentially p-compact operator from a Banach space Z to E is limited;

(iv) 

Each $T\in \mathcal{L}({\mathcal{l}}_{p^{*}},E)$ is a limited operator;

(v) 

Every weakly sequentially p-precompact subset of E is limited;

(vi) 

For every normed (the same Banach) space Z, each weakly sequentially p-compact operator S from Z to E is limited;

(vii) 

The identity operator ${\mathsf{id}}_E:E\to E$ is weak* p-convergent.

Proof. 

The equivalence (i)⇔(ii) is proved in Corollary 6, and the implication (ii)⇒(iii) is trivial.

(iii)⇒(iv) follows from the fact that each operator $T=T\circ {\mathsf{id}}_{{\mathcal{l}}_{p^{*}}}\in \mathcal{L}({\mathcal{l}}_{p^{*}},E)$ is weakly sequentially p-compact by Proposition 1.4 of [6] (or Corollary 13.11 of [13]).

(iv)⇒(i) Let $S={\left\{x_n\right\}}_{n\in \omega }$ be a weakly p-summable sequence in E, and let ${\left\{{\chi }_n\right\}}_{n\in \omega }$ be a weak* null sequence in $E^{\prime }$. Then, by Proposition 4.14 of [13], there is a bounded operator $T:{\mathcal{l}}_{p^{*}}\to E$ such that

$$T(a_0{e}_0^{*}+\cdots +a_n{e}_n^{*}):=a_0{x}_0+\cdots +a_n{x}_n,for\left(a_n\right)\in {\mathcal{l}}_{p^{*}}^0,$$

Therefore, by (iv), T is a limited operator and hence the sequence $S={\left\{T\left(e_n^{*}\right)\right\}}_{n\in \omega }$ is a limited subset of E. Whence

$$0\le \underset{n\to \infty }{\lim }|\langle {\chi }_n,x_n\rangle |\le \underset{n\to \infty }{\lim }\underset{x\in S}{sup}\left|\langle {\chi }_n,x\rangle \right|=0$$

which means that E has the sequential $D{P}_{(p,\infty )}^{*}$ property.

The equivalences (iv)⇔(v)⇔(vi)⇔(vii) follow from (A) and (D) of Theorem 3.12 of [34] applied to the identity operator ${\mathsf{id}}_E:E\to E$. □

The next corollary generalizes Corollary 23 of [15].

Corollary 8.

Let $1<p<\infty$, and let E and L be locally convex spaces.

(i) 

If either E or L is sequentially complete and has the sequential $D{P}_{(p,\infty )}$ property, then each operator $T:E\to L$ is weakly p-convergent.

(ii) 

If either E or L is sequentially complete and has the sequential $D{P}_{(p,\infty )}^{*}$ property, then each operator $T:E\to L$ is weak* p-convergent.

Proof. 

(i) By Corollary 2, either the identity operator ${\mathsf{id}}_E$ or ${\mathsf{id}}_L$ is weakly p-convergent. Therefore, $T=T\circ {\mathsf{id}}_E={\mathsf{id}}_L\circ T$ is weakly p-convergent.

(ii) The proof is similar to that of (i) using Corollary 7. □

The next proposition shows that the class of locally convex spaces with the sequential $D{P}_{(p,q)}^{*}$ property is stable under taking direct products and direct sums.

Proposition 7.

Let $p,q\in [1,\infty ]$, and let ${\left\{E_i\right\}}_{i\in I}$ be a nonempty family of locally convex spaces.

(i) 

$E={\prod }_{i\in I}{E}_i$ has the sequential $D{P}_{(p,q)}^{*}$ property if and only if for every $i\in I$, the factor $E_i$ has the sequential $D{P}_{(p,q)}^{*}$ property.

(ii) 

$E={⨁}_{i\in I}{E}_i$ has the sequential $D{P}_{(p,q)}^{*}$ property if and only if for every $i\in I$, the summand $E_i$ has the sequential $D{P}_{(p,q)}^{*}$ property.

Proof. 

The proposition immediately follows from (i)-(ii) and (iii)-(iv) of Lemma 4.25 of [13], respectively, and the definition of the sequential $D{P}_{(p,q)}^{*}$ property. □

We need some definitions. The free locally convex space $L\left(X\right)$ over a Tychonoff space X is a pair consisting of a locally convex space $L\left(X\right)$ and a continuous map $i:X\to L\left(X\right)$ such that every continuous map f from X to a locally convex space E gives rise to a unique continuous linear operator ${\Psi }_E\left(f\right):L\left(X\right)\to E$ with $f={\Psi }_E\left(f\right)\circ i$. The free locally convex space $L\left(X\right)$ always exists and is essentially unique. For $\chi =a_1{x}_1+\cdots +a_n{x}_n\in L\left(X\right)$ with distinct $x_1,\dots ,x_n\in X$ and nonzero $a_1,\dots ,a_n\in \mathbb{F}$, we set $\chi \left[x_i\right]:=a_i$ and

$$\parallel \chi \parallel :=\left|a_1\right|+\cdots +|a_n|,\mathrm{and}\mathrm{supp}\left(\chi \right):=\{x_1,\dots ,x_n\}.$$

From the definition of $L\left(X\right)$, it easily follows the well-known fact that the dual space $L{\left(X\right)}^{\prime }$ of $L\left(X\right)$ is linearly isomorphic to the space $C\left(X\right)$ with the pairing

$$\langle f,\chi \rangle =a_{1}f\left(x_1\right)+\cdots +a_{n}f\left(x_n\right)\mathrm{for} f\in C\left(X\right).$$

Below we show that the sequential $D{P}_{(p,q)}^{*}$ property is not preserved by taking dense subspaces and closed subspaces. This example is interesting also because it gives a $C_p$-example of a space without the sequential $D{P}_{(p,\infty )}^{*}$ property, although any space $C_p\left(X\right)$ has the sequential $D{P}_{(p,q)}$ property for all $p,q\in [1,\infty ]$, see Corollary 5.3 of [12].

Example 1.

Let X be a Tychonoff space containing a non-trivial convergent sequence ${\left\{x_n\right\}}_{n\le \omega }$. Then, the dense subspace $C_p\left(X\right)$ of ${\mathbb{F}}^X$ does not have the sequential $D{P}_{(p,\infty )}^{*}$ property for every $p\in [1,\infty ]$.

Proof. 

Passing to a subsequence in needed, for every $n\in \omega$, choose a neighborhood $U_n$ of $x_n$ such that $U_n\cap U_m=\varnothing$ and $x_{\omega }\notin U_n$ for all distinct $n,m\in \omega$ (recall that $x_n\to x_{\omega }$). For every $n\in \omega$, choose a continuous function $f_n:X\to [0,1]$ such that $f_n(X\setminus U_{2n})=\left\{0\right\}$ and $f_n\left(x_{2n}\right)=1$. Since $C_p{\left(X\right)}^{\prime }=L\left(X\right)$, the construction of $f_n$ implies that the sequence ${\left\{f_n\right\}}_{n\in \omega }$ is weakly p-summable for every $p\in [1,\infty ]$. For every $n\in \omega$, let ${\chi }_n:={\delta }_{x_{2n}}-{\delta }_{x_{2n+1}}\in L\left(X\right)$. Since $x_n\to x_{\omega }$, it follows that the sequence ${\left\{{\chi }_n\right\}}_{n\le \omega }$ is weak* null in $L\left(X\right)$. By construction, $\langle {\chi }_n,f_n\rangle =1$ for all $n\in \omega$. Therefore, $C_p\left(X\right)$ does not have the sequential $D{P}_{(p,\infty )}^{*}$ property. It remains to note that ${\mathbb{F}}^X$ has the sequential $D{P}_{(p,\infty )}^{*}$ property by Proposition 7. □

We do not know a characterization of Tychonoff spaces X for which $C_p\left(X\right)$ has the sequential $D{P}_{(p,q)}^{*}$ property. However, we note the following.

Proposition 8.

A barrelled space $C_p\left(X\right)$ has the sequential $D{P}_{(p,q)}^{*}$ property for all $p,q\in [1,\infty ]$.

Proof. 

Since $C_p\left(X\right)$ is barrelled, the Buchwalter–Schmets theorem implies that X has no infinite functionally bounded subsets. Let ${\left\{f_n\right\}}_{n\in \omega }\subseteq C_p\left(X\right)$ be a weakly p-summable sequence and let ${\left\{{\chi }_n\right\}}_{n\in \omega }\subseteq L\left(X\right)$ be a weak* q-summable sequence. Since ${\left\{{\chi }_n\right\}}_{n\in \omega }$ is a bounded subset of $\left(L\left(X\right),\sigma \left(L\right(X),C(X\left)\right)\right)$, Proposition 2.7 of [36] implies that there are a finite subset $F=\{x_1,\dots ,x_m\}$ of X and $C>0$ such that for every $n\in \omega$, the functional ${\chi }_n$ has a decomposition

$${\chi }_n=a_{1,n}{x}_1+\cdots +a_{m,n}{x}_m\mathrm{with}|a_{1,n}|+\cdots +|a_{m,n}|\le C.$$

Moreover, since ${\left\{{\chi }_n\right\}}_{n\in \omega }$ is weak* q-summable, it is easy to see that ${\sum }_{i=1}^m{\sum }_n{\left|a_{i,n}\right|}^q<\infty$ (or ${\sum }_{i=1}^m\left|a_{i,n}\right|\to 0$ if $q=\infty$). Since ${\left\{f_n\right\}}_{n\in \omega }$ is bounded, there is $K>0$ such that $|f_n\left(x_i\right)|\le K$ for all $n\in \omega$ and $1\le i\le m$. Therefore

$$|\langle {\chi }_n,f_n\rangle |\le \sum _{i=1}^m|a_{i,n}|·|f_n\left(x_i\right)|\le K·\sum _{i=1}^m\left|a_{i,n}\right|\to 0\mathrm{as} n\to \infty ,$$

which means that $C_p\left(X\right)$ has the sequential $D{P}_{(p,q)}^{*}$ property. □

Example 2.

Let $p\in [1,\infty ]$. There is a barrelled space $E=C_p\left(Z\right)$ and a closed subspace H of E such that E has the sequential $D{P}_{(p,\infty )}^{*}$ property, but H does not have the sequential $D{P}_{(p,\infty )}^{*}$ property.

Proof. 

Let X be a Tychonoff space containing a non-trivial convergent sequence ${\left\{x_n\right\}}_{n\le \omega }$, and let $Z=\mathcal{R}\left(X\right)$ be the compact-finite resolution of X defined in ([37], p. 27). Then, by Theorem 4.5 of [37], $C_p\left(X\right)$ is a closed subspace of $C_p\left(Z\right)$ and the space $C_p\left(Z\right)$ is barrelled. Therefore, by Proposition 8, $C_p\left(Z\right)$ has the sequential $D{P}_{(p,\infty )}^{*}$ property. However, by Example 1, its closed subspace $C_p\left(X\right)$ does not have the sequential $D{P}_{(p,\infty )}^{*}$ property. □

Below, we characterize free locally convex spaces with the sequential $D{P}_{(p,q)}^{*}$ property.

Theorem 4.

Let $p,q\in [1,\infty ]$. Then, the free locally convex space $L\left(X\right)$ over a Tychonoff space X has the sequential $D{P}_{(p,q)}^{*}$ property if and only if X has no infinite functionally bounded subsets.

Proof. 

Assume that $L\left(X\right)$ has the sequential $D{P}_{(p,q)}^{*}$ property, and suppose for a contradiction that X has an infinite functionally bounded subset A. Since A is infinite, one can find a sequence ${\left\{a_n\right\}}_{n\in \omega }$ in A and a sequence ${\left\{U_n\right\}}_{n\in \omega }$ of open subsets of X such that $a_n\in U_n$ and $U_n\cap U_m=\varnothing$ for all distinct $n,m\in \omega$.

For every $n\in \omega$, set ${\chi }_n:=\frac{1}{n^2}·a_n$. To show that the sequence ${\left\{{\chi }_n\right\}}_{n\in \omega }$ is weakly p-summable, fix an arbitrary $f\in C\left(X\right)$. Since A is functionally bounded, there is $C>0$ such that $\left|f\right(a\left)\right|\le C$ for every $a\in A$. Taking into account that $|\langle f,{\chi }_n\rangle |=\frac{1}{n^2}\left|f\left(a_n\right)\right|\le \frac{C}{n^2}$, it follows that the sequence ${\left\{{\chi }_n\right\}}_{n\in \omega }$ is weakly p-summable. Now, for every $n\in \omega$, choose a continuous function $f_n:X\to [0,n^2]$ such that $f_n\left(a_n\right)=n^2$ and $f(X\setminus U_n)=\left\{0\right\}$. Since $U_n$ are pairwise disjoint and the support of any $\chi \in L\left(X\right)$ is finite, the sequence ${\left\{f_n\right\}}_{n\in \omega }$ is weak* q-summable. As $\langle f_n,{\chi }_n\rangle =1\nrightarrow 0$ it follows that $L\left(X\right)$ has no the sequential $D{P}_{(p,q)}^{*}$ property, a contradiction.

Conversely, assume that X has no infinite functionally bounded subsets. Let $S={\left\{{\chi }_n\right\}}_{n\in \omega }\subseteq L\left(X\right)$ be weakly p-summable and ${\left\{f_n\right\}}_{n\in \omega }$ be a weak* q-summable sequence in $L{\left(X\right)}^{\prime }=C\left(X\right)$. Since S is bounded, Proposition 2.7 of [36] implies that the support $\mathrm{supp}\left(S\right)$ of S is finite, i.e., there are distinct $x_1,\dots ,x_m\in X$ such that for every $n\in \omega$, ${\chi }_n$ has a representation

$${\chi }_n=a_{n,1}{x}_1+\cdots +a_{n,m}{x}_m\mathrm{where}{a}_{n,1},\dots ,a_{n,m}\in \mathbb{F}.$$

Since S is weakly null it follows that $a_{n,i}\to 0$ for each $1\le i\le m$. Choose $C>0$ such that $|f_n\left(x_i\right)|\le C$ for all $n\in \omega$ and $1\le i\le m$. Then

$$|\langle f_n,{\chi }_n\rangle |\le \sum _{i=1}^m|a_{n,i}|·|f_n\left(x_i\right)|\le C·\sum _{i=1}^m\left|a_{n,i}\right|\to 0.$$

Thus, $L\left(X\right)$ has the sequential $D{P}_{(p,q)}^{*}$ property. □

Theorem 1.7 of [36] implies that if X is a metrizable space, then $L\left(X\right)$ has the sequential $DP$ property if and only if X is discrete. This result and Theorem 4 motivate the following problem.

Problem 1.

Let $p,q\in [1,\infty ]$. Characterize Tychonoff spaces X for which the free locally convex space $L\left(X\right)$ has the sequential $D{P}_{(p,q)}$ property.

It is known (see Proposition 5.2 of [12]) that the sequential $D{P}_{(p,q)}$ property is the property of the duality $(E,E^{\prime })$. Since weakly p-summable sequences and weak* q-summable sequences depend only on the duality $(E,E^{\prime })$, an analogous result holds true also for the sequential $D{P}_{(p,q)}^{*}$ property.

Proposition 9.

Let $p,q\in [1,\infty ]$, and let $(E,\tau )$ be a locally convex space. If $\mathcal{T}$ is a locally convex topology on E compatible with τ, then the spaces $(E,\tau )$ and $(E,\mathcal{T})$ have the sequential $D{P}_{(p,q)}^{*}$ property simultaneously.

5. The Coarse Sequential $D{P}_{(p,q)}^{*}$ Property and the Coarse $D{P}_p^{*}$ Property

We start this section with the next characterization of spaces with the coarse sequential $D{P}_{(p,q)}^{*}$ property; it extends and generalizes Theorems 1 and 2 of [20] and has a similar proof.

Theorem 5.

Let $p,q\in [1,\infty ]$. Then, for a locally convex space E, the following assertions are equivalent:

(i) 

E has the coarse sequential $D{P}_{(p,q)}^{*}$ property;

(ii) 

Each weakly sequentially p-precompact subset of E is coarse q-limited;

(iii) 

Each weakly p-summable sequence in E is coarse q-limited;

(iv) 

Each operator $T:E\to {\mathcal{l}}_q$ (or $T:E\to c_0$ if $q=\infty$) is p-convergent.

Proof. 

For simplicity, we consider only the case $q<\infty$ because the case $q=\infty$ can be considered analogously.

(i)⇒(ii) Assume that E has the coarse sequential $D{P}_{(p,q)}^{*}$ property, and suppose for a contradiction that there is a weakly sequentially p-precompact subset A of E that is not coarse q-limited. Then, there is an operator $T:E\to {\mathcal{l}}_q$ such that $T\left(A\right)$ is not relatively compact in ${\mathcal{l}}_q$. For every $n\in \omega$, set ${\chi }_n:=T^{*}\left(e_n^{*}\right)\in E^{\prime }$. Then, by (i) of Proposition 4.17 of [13], the sequence ${\left\{{\chi }_n\right\}}_{n\in \omega }$ is weak* q-summable and $T\left(x\right)=\left(\langle {\chi }_n,x\rangle \right)$. Therefore, by Proposition 1, there is $\epsilon >0$ such that

$$sup\left\{\sum _{m\le n}{\left|\langle {\chi }_n,x\rangle \right|}^q:x\in A\right\}>{\left(2\epsilon \right)}^q\mathrm{for} \mathrm{all}m\in \omega .$$

For every $m\in \omega$, choose $x_m\in A$ such that ${\sum }_{m\le n}{\left|\langle {\chi }_n,x_m\rangle \right|}^q\ge {\left(2\epsilon \right)}^q$. Since A is weakly sequentially p-precompact, we can find a weakly p-Cauchy subsequence ${\left\{x_{m_k}\right\}}_{k\in \omega }$ of ${\left\{x_m\right\}}_{m\in \omega }$. For every $k\in \omega$, choose $i_k>k$ such that ${\sum }_{m_{i_k}\le n}{\left|\langle {\chi }_n,x_{m_k}\rangle \right|}^q<{\epsilon }^q$. Then, by the triangle inequality, we obtain

$${\left(\sum _{m_{i_k}\le n}{\left|\langle {\chi }_n,x_{m_{i_k}}-x_{m_k}\rangle \right|}^q\right)}^{1/q}\ge {\left(\sum _{m_{i_k}\le n}{\left|\langle {\chi }_n,x_{m_{i_k}}\rangle \right|}^q\right)}^{1/q}-{\left(\sum _{m_{i_k}\le n}{\left|\langle {\chi }_n,x_{m_k}\rangle \right|}^q\right)}^{1/q}\ge \epsilon .$$

(3)

On the other hand, since the sequence $S={\{x_{m_{i_k}}-x_{m_k}\}}_{m\in \omega }$ is weakly p-summable, it is weakly sequentially p-compact. Therefore, S must be coarse q-limited and hence

$$\underset{j\to \infty }{\lim }sup\left\{\sum _{j\le n}{\left|\langle {\chi }_n,x_{m_{i_k}}-x_{m_k}\rangle \right|}^q:k\in \omega \right\}=0$$

which contradicts (3).

(ii)⇒(iii) is trivial.

(iii)⇒(iv) Let $T:E\to {\mathcal{l}}_q$ be an operator, and let $S={\left\{x_n\right\}}_{n\in \omega }$ be a weakly p-summable sequence in E. By (iii), S is a coarse q-limited subset of E. Therefore, the sequence $T\left(S\right)$ is a relatively compact subset of ${\mathcal{l}}_q$. On the other hand, $T\left(S\right)$ is also a weakly null sequence. Whence, by Lemma 1, $T\left(x_n\right)\to 0$ in ${\mathcal{l}}_q$. Thus, T is a p-convergent operator.

(iv)⇒(i) Assume that each operator $T:E\to {\mathcal{l}}_q$ is p-convergent. Let A be a relatively weakly sequentially p-compact set in E. To show that A is coarse q-limited, fix an arbitrary operator $T:E\to {\mathcal{l}}_q$. If $S={\left\{x_n\right\}}_{n\in \omega }$ is a sequence in A, take an $x\in E$ and a subsequence ${\left\{x_{n_k}\right\}}_{k\in \omega }$ of S which weakly p-converges to x. Since T is p-convergent, we obtain that $T\left(x_{n_k}\right)\to T\left(x\right)$ in ${\mathcal{l}}_q$. Therefore, $T\left(A\right)$ is relatively compact in ${\mathcal{l}}_q$. Thus, A is coarse q-limited, and hence E has the coarse sequential $D{P}_{(p,q)}^{*}$ property. □

Corollary 9.

Let $q\in [1,\infty ]$, and let E be a locally convex space with the $wCSP$. If E has the coarse sequential $D{P}_{(\infty ,q)}^{*}$ property, then every bounded subset of E is a coarse q-limited set.

Proof. 

Let A be a bounded subset of E. Since E has the $wCSP$, each sequence in A has a weakly Cauchy subsequence, i.e., A is a weakly sequentially (∞-)precompact subset of E. Thus, by Theorem 5, A is a coarse q-limited set. □

Corollary 10.

For every $p\in [1,\infty ]$, each locally convex space E has the coarse sequential $D{P}_{(p,1)}^{*}$ property.

Proof. 

Let $S={\left\{x_n\right\}}_{n\in \omega }$ be weakly p-summable sequence in E, and let $T:E\to {\mathcal{l}}_1$ be an operator. Since T is weakly continuous and ${\mathcal{l}}_1$ is a Schur space, we obtain $T\left(x_n\right)\to 0$ in ${\mathcal{l}}_1$. Therefore, S is a coarse 1-limited set. Thus, by Theorem 5, E has the coarse sequential $D{P}_{(p,1)}^{*}$ property. □

Since in angelic spaces, the class of relatively compact sets coincides with the class of relatively sequentially compact sets, we note the following assertion.

Proposition 10.

Let $p\in [1,\infty ]$, and let E be a weakly angelic locally convex space. Then, E has the coarse $D{P}_p^{*}$ property if and only if it has the coarse sequential $D{P}_{(\infty ,p)}^{*}$ property.

The next proposition shows that dense subspaces inherit the coarse $D{P}^{*}$ type properties.

Proposition 11.

Let $p,q\in [1,\infty ]$, and let H be a dense subspace of a locally convex space E. If E has the coarse $D{P}_p^{*}$ property (resp., the coarse sequential $D{P}_{(p,q)}^{*}$ property), then also H has the same property.

Proof. 

Let A be a relatively weakly compact (resp., relatively weakly sequentially p-compact) subset of H and hence of E. Therefore, by assumption, A is a coarse p-limited (resp., coarse q-limited) set in E. Let T be an operator from H to ${\mathcal{l}}_p$ or to $c_0$ if $p=\infty$ (resp., to ${\mathcal{l}}_q$ or to $c_0$ if $q=\infty$). Since H is dense in E, T can be extended to an operator $\overline{T}$ from E. Then, $T\left(A\right)=\overline{T}\left(A\right)$ is relatively compact in ${\mathcal{l}}_p$ (resp., in $c_0$ or ${\mathcal{l}}_q$). Hence, A is a coarse p-limited (resp., coarse q-limited) set in H. Thus, H has the coarse $D{P}_p^{*}$ property (resp., the coarse sequential $D{P}_{(p,q)}^{*}$ property). □

It is known (see Proposition 3.4 of [4]) that a barrelled space E has the Schur property if and only if every weak* bounded subset of $E^{\prime }$ is an ∞-$\left(V\right)$ set. We know (see [21]) that there is a natural relationship between the $spG{P}_{(1,\infty )}$ property and the Schur property. For Banach spaces, an analogous relationship exists also between the coarse $G{P}_p$ property, the coarse $D{P}_p^{*}$ property and the Schur property, see Corollary 2 of [20]. Below, we generalize this result.

Proposition 12.

Let $p,q\in [1,\infty ]$, and let $(E,\tau )$ be a locally convex space.

(i) 

If E has both the coarse $D{P}_p^{*}$ property and the coarse $prG{P}_p$ property, then E has the p-Schur property.

(ii) 

If E has both the coarse sequential $D{P}_{(p,q)}^{*}$ property and the coarse $prG{P}_q$ property, then E has the p-Schur property.

(iii) 

If E has the p-Schur property, then E has the coarse sequential $D{P}_{(p,q)}^{*}$ property.

(iv) 

If $2\le p\le \infty$ and E is a weakly angelic locally convex space with the Rosenthal property (for example, E is a strict $\left(LF\right)$-space), then E has the Schur property if and only if it has the coarse $D{P}_p^{*}$ property and the coarse $prG{P}_p$ property.

(v) 

If E has the Glicksberg property, then E has the coarse $D{P}_p^{*}$ property.

Proof. 

(i) Let $S={\left\{x_n\right\}}_{n\in \omega }$ be a weakly p-summable sequence in E. Then, by the coarse $D{P}_p^{*}$ property, S is a coarse p-limited set. Therefore, by the coarse $prG{P}_p$ property, S is precompact in E. Then, by Lemma 1, S is $\tau$-null. Thus E has the p-Schur property.

(ii) Let $S={\left\{x_n\right\}}_{n\in \omega }$ be a weakly p-summable sequence in E. Then, by the coarse sequential $D{P}_{(p,q)}^{*}$ property, S is a coarse q-limited set. Therefore, by the coarse $prG{P}_q$ property, S is precompact in E. Then, by Lemma 1, S is $\tau$-null. Thus E has the p-Schur property.

(iii) Let A be a relatively weakly sequentially p-compact set in E. To show that A is coarse q-limited, let $T\in \mathcal{L}(E,{\mathcal{l}}_q)$ (or $T\in \mathcal{L}(E,c_0)$ if $q=\infty$). We have to prove that the image $T\left(A\right)$ is precompact. To this end, let ${\left\{a_n\right\}}_{n\in \omega }$ be a sequence in A. Since A is relatively weakly sequentially p-compact, there is a subsequence ${\left\{a_{n_k}\right\}}_{k\in \omega }$ of ${\left\{a_n\right\}}_{n\in \omega }$, which weakly p-converges to some $x\in E$. By the p-Schur property, we have $a_{n_k}\to x$ in E. Therefore, $T\left(a_{n_k}\right)\to T\left(x\right)$, which means that $T\left(A\right)$ is relatively sequentially compact and hence precompact in ${\mathcal{l}}_q$ (or in $c_0$), as desired.

(iv) To prove the necessity, we prove first that E has the coarse $D{P}_p^{*}$ property. Let A be a relatively weakly compact subset of E. Since E is weakly angelic, A is a relatively weakly sequentially compact subset of E. Then, every sequence ${\left\{a_n\right\}}_{n\in \omega }$ in A has a subsequence ${\left\{a_{n_k}\right\}}_{k\in \omega }$ that weakly converges to some $x\in E$. To show that A is coarse p-limited, let $T\in \mathcal{L}(E,{\mathcal{l}}_p)$ (or $T\in \mathcal{L}(E,c_0)$ if $p=\infty$). Then, the Schur property of E implies that $a_{n_k}\to x$ in E, and hence $T\left(a_{n_k}\right)\to T\left(x\right)$ in ${\mathcal{l}}_p$ (or in $c_0$). Thus, $T\left(A\right)$ is a relatively sequentially compact set, and hence, E has the coarse $D{P}_p^{*}$ property. To show that E has the coarse $prG{P}_p$ property, let ${\left\{x_n\right\}}_{n\in \omega }$ be a weakly null coarse p-limited sequence in E. By the Schur property, we have $x_n\to 0$ in E. Therefore, by (iv) of Theorem 4.5 of [21], the space E has the coarse $prG{P}_p$ property.

To prove the sufficiency, let $S={\left\{x_n\right\}}_{n\in \omega }$ be a weakly null sequence in E. Since S is relatively weakly compact, the coarse $D{P}_p^{*}$ property implies that S is a coarse p-limited set. Then, the coarse $prG{P}_p$ property implies that S is precompact in E. Applying Lemma 1, we obtain that S is $\tau$-null. Thus, E has the Schur property.

(v) Let $T\in \mathcal{L}(E,{\mathcal{l}}_p)$ (or $T\in \mathcal{L}(E,c_0)$ if $p=\infty$), and let K be a weakly compact subset of E. By the Glicksberg property, K is a compact subset of E, and hence, $T\left(K\right)$ is a compact subset of ${\mathcal{l}}_p$ (or $c_0$). Thus, K is a coarse p-limited set. □

Proposition 13.

Let $p,q\in [1,\infty ]$, and let E be a weakly angelic space. If E has the coarse $D{P}_q^{*}$ property, then E has the coarse sequential $D{P}_{(p,q)}^{*}$ property.

Proof. 

Let A be a relatively weakly sequentially p-compact set in E. Then A is relatively weakly sequentially compact, and hence, by the weak angelicity of E, A is a relatively weakly compact set in E. By the coarse $D{P}_q^{*}$ property of E, A is coarse q-limited. Thus, E has the coarse sequential $D{P}_{(p,q)}^{*}$ property. □

Theorem 6.

Let $s,q\in [1,\infty ]$ and $1<p<\infty$.

(i) 

${\mathcal{l}}_p$ has the coarse $D{P}_s^{*}$ property if and only if $s<p$.

(ii) 

${\mathcal{l}}_p$ has the coarse sequential $D{P}_{(s,q)}^{*}$ property if and only if either $q<p$ or $q\ge p$ and $s<p^{*}$.

Proof. 

(i) Observe that $B_{{\mathcal{l}}_p}$ is a weakly compact subset of the reflexive space ${\mathcal{l}}_p$. If $s\ge p$ and $I_s:{\mathcal{l}}_p\to {\mathcal{l}}_s$ is the identity inclusion, then $I_s\left(B_{{\mathcal{l}}_p}\right)$ is not relatively compact in ${\mathcal{l}}_s$. Therefore, ${\mathcal{l}}_p$ does not have the coarse $D{P}_s^{*}$ property. If $s<p$, then, by the Pitt theorem, each operator $T:{\mathcal{l}}_p\to {\mathcal{l}}_s$ is compact and hence $B_{{\mathcal{l}}_p}$ is coarse s-limited. Thus, ${\mathcal{l}}_p$ has the coarse $D{P}_s^{*}$ property.

(ii) Assume that $q<p$. Then, by (i), ${\mathcal{l}}_p$ has the coarse $D{P}_q^{*}$ property. Thus, by Proposition 13, ${\mathcal{l}}_p$ has the coarse sequential $D{P}_{(s,q)}^{*}$ property.

Assume that $q\ge p$ and $s\ge p^{*}$. By Proposition 1.4 of [6] (or by Corollary 13.11 of [13]), $B_{{\mathcal{l}}_p}$ is weakly sequentially $p^{*}$-compact. Since $s\ge p^{*}$, it follows that $B_{{\mathcal{l}}_p}$ is weakly sequentially s-compact. As $q\ge p$, it follows from the proof of (i) that $B_{{\mathcal{l}}_p}$ is not coarse q-limited. Thus, ${\mathcal{l}}_p$ does not have the coarse sequential $D{P}_{(s,q)}^{*}$ property.

Assume that $q\ge p$ and $s<p^{*}$. To show that ${\mathcal{l}}_p$ has the coarse sequential $D{P}_{(s,q)}^{*}$ property, it suffices to prove that each relatively weakly sequentially s-compact subset A of ${\mathcal{l}}_p$ is (norm) precompact. Suppose for a contradiction that there is a relatively weakly sequentially s-compact subset A of ${\mathcal{l}}_p$ that is not precompact. Then, there is a sequence $S={\left\{x_n\right\}}_{n\in \omega }$ in A and $\epsilon >0$ such that ${\parallel x_n-x_m\parallel }_{{\mathcal{l}}_p}\ge \epsilon$ for all distinct $n,m\in \omega$. Without loss of generality, we assume that ${\left\{x_n\right\}}_{n\in \omega }$ weakly s-converges to some $x\in {\mathcal{l}}_p$. Hence,

$${\parallel (x_n-x)-(x_m-x)\parallel }_{{\mathcal{l}}_p}\ge \epsilon$$

for all distinct $n,m\in \omega$. For every $n\in \omega$, set $b_n:={\parallel x_n-x\parallel }_{{\mathcal{l}}_p}$. Observe that if ${\parallel x_{n_k}-x\parallel }_{{\mathcal{l}}_p}\to 0$ for some sequence $\left(n_k\right)\subseteq \omega$, then

$${\parallel x_{n_k}-x_{n_j}\parallel }_{{\mathcal{l}}_p}\le {\parallel x_{n_k}-x\parallel }_{{\mathcal{l}}_p}+{\parallel x_{n_j}-x\parallel }_{{\mathcal{l}}_p}\to 0$$

which contradicts the choice of S. Therefore, there is $\lambda >1$ such that

$$\frac{1}{\lambda }\le b_n={\parallel x_n-x\parallel }_{{\mathcal{l}}_p}\le \lambda \mathrm{for} \mathrm{every} n\in \omega .$$

(4)

Then (4) implies that the normalized sequence ${\left\{\frac{1}{b_n}(x_n-x)\right\}}_{n\in \omega }$ is weakly s-summable.

Proposition 2.1.3 of [38] implies that there are a basic subsequence ${\{x_{n_k}-x\}}_{k\in \omega }\subseteq {\mathcal{l}}_p$ of ${\{x_n-x\}}_{n\in \omega }$ and a linear topological isomorphism $R:{\overline{{\{x_{n_k}-x\}}_{k\in \omega }}}^{{\mathcal{l}}_p}\to {\mathcal{l}}_p$ such that

$$R(x_{n_k}-x)=a_k{e}_k\mathrm{for} \mathrm{every} k\in \omega , \mathrm{where}{a}_k:=b_{n_k}={\parallel x_{n_k}-x\parallel }_{{\mathcal{l}}_p},$$

and such that the subspace ${\overline{{\{x_{n_k}-x\}}_{k\in \omega }}}^{{\mathcal{l}}_p}$ is complemented in ${\mathcal{l}}_p$. In particular, the canonical basis ${\{\frac{1}{a_k}R(x_{n_k}-x)=e_k\}}_{k\in \omega }$ of ${\mathcal{l}}_p$ is weakly s-summable. However, since $s<p^{*}$, ${\left\{e_k\right\}}_{k\in \omega }$ is not weakly s-summable (see Example 4.4 of [13]). This contradiction finishes the proof. □

Remark 2.

(i) Quotients of spaces with the coarse (sequential) $D{P}_p^{*}$ property may not have this property. Indeed, let $1<p\le q<\infty$, and consider the Banach spaces $E={\mathcal{l}}_1$ and $H={\mathcal{l}}_p$. Then H is a quotient of E. By (iii) and (v) of Proposition 12, the space E has the coarse sequential $D{P}_{(p^{*},q)}^{*}$ property and the coarse $D{P}_p^{*}$ property. However, by Theorem 6, the space H has neither the coarse $D{P}_p^{*}$ property nor the coarse sequential $D{P}_{(p^{*},q)}^{*}$ property.

(ii) Closed subspaces of spaces with the coarse $D{P}_p^{*}$ property or the coarse sequential $D{P}_{(s,p)}^{*}$ property may not have these properties. Indeed, let $p,s\in [2,\infty ]$ and let $E=L_1[0,1]$. It was noticed after Proposition 7 of [20] that E has the coarse $D{P}_p^{*}$ property (however, E does not have the $D{P}^{*}$ property). Therefore, by Proposition 13, E has the coarse sequential $D{P}_{(s,p)}^{*}$ property. On the other hand, by Proposition 6.4.2 of [38], E contains a closed subspace H isomorphic to ${\mathcal{l}}_2$. If, in addition, $s\ge 2$, Theorem 6 implies that H has neither the coarse $D{P}_p^{*}$ property nor the coarse sequential $D{P}_{(s,p)}^{*}$ property.

(iii) The coarse $D{P}_p^{*}$ property and the coarse sequential $D{P}_{(p,q)}^{*}$ property depend on the duality $(E,E^{\prime })$ (cf. Proposition 9). Indeed, let $p,r\in (1,\infty )$. Consider the spaces $H={\mathcal{l}}_p$ and $H_w$. Then, by (i), H has neither the coarse $D{P}_p^{*}$ property nor the coarse sequential $D{P}_{(p^{*},q)}^{*}$ property. On the other hand, since any operator $T:H_w\to {\mathcal{l}}_r$ is finite-dimensional it follows that any bounded subset of $H_w$ is coarse r-limited. Thus, $H_w$ has the coarse $D{P}_p^{*}$ property and the coarse sequential $D{P}_{(p^{*},q)}^{*}$ property.

(iv) Let $1<p<2$ (so $p<p^{*}$) and $q\in [1,\infty ]$. Then, by Proposition 5.10 of [12], ${\mathcal{l}}_p$ has the quasi $D{P}_p$ property and the sequential $D{P}_{(p,q)}$ property. Hence, by the reflexivity, ${\mathcal{l}}_p$ has the sequential $D{P}_{(p,q)}^{*}$ property. By Theorem 6, ${\mathcal{l}}_p$ has the coarse sequential $D{P}_{(p,q)}^{*}$ property. However, if additionally $q\ge p$, Theorem 6 implies that ${\mathcal{l}}_p$ does not have the coarse $D{P}_q^{*}$ property.

(v) Let $2<r<\infty$, $r^{*}\le p<r$ and $q<r$. Then, by Proposition 5.10 of [12], ${\mathcal{l}}_r$ has neither the quasi $D{P}_p$ property nor the sequential $D{P}_{(p,q)}$ property. On the other hand, by Theorem 6, the Banach space ${\mathcal{l}}_r$ has the coarse $D{P}_p^{*}$ property and the coarse sequential $D{P}_{(p,q)}^{*}$ property.

Below we show that the classes of locally convex spaces with the coarse sequential $D{P}_{(p,q)}^{*}$ property and the coarse $D{P}_p^{*}$ property are stable with respect to direct products and direct sums.

Proposition 14.

Let $p,q\in [1,\infty ]$, and let ${\left\{E_i\right\}}_{i\in I}$ be a nonempty family of locally convex spaces.

(i) 

$E={\prod }_{i\in I}{E}_i$ has the coarse $D{P}_p^{*}$ property (resp., the coarse sequential $D{P}_{(p,q)}^{*}$ property) if and only if for every $i\in I$, the factor $E_i$ has the same property.

(ii) 

$E={⨁}_{i\in I}{E}_i$ has the coarse $D{P}_p^{*}$ property (resp., the coarse sequential $D{P}_{(p,q)}^{*}$ property) if and only if for every $i\in I$, the summand $E_i$ has the same property.

Proof. 

Let E has the coarse $D{P}_p^{*}$ property (resp., the coarse sequential $D{P}_{(p,q)}^{*}$ property). Fix an arbitrary $j\in I$, and let $A_j$ be a relatively weakly compact (resp., relatively weakly sequentially p-compact) subset of $E_j$. Considering $E_j$ as a direct summand of E, we see that $A_j$ is relatively weakly compact (resp., relatively weakly sequentially p-compact) in E. Therefore, by the coarse $D{P}_p^{*}$ property (resp., the coarse sequential $D{P}_{(p,q)}^{*}$ property), the set $A_j$ is coarse p-limited (resp., coarse q-limited) in E and hence also in $E_j$ (see (iii) of Lemma 4.1 of [28]). Thus, $E_j$ has the coarse $D{P}_p^{*}$ property (resp., the coarse sequential $D{P}_{(p,q)}^{*}$ property).

Conversely, assume that all spaces $E_i$ have the coarse $D{P}_p^{*}$ property (resp., the coarse sequential $D{P}_{(p,q)}^{*}$ property). Let A be a relatively weakly compact (resp., relatively weakly sequentially p-compact) subset of E. Then, each projection $A_i$ of A onto $E_i$ is relatively weakly compact (resp., relatively weakly sequentially p-compact) in $E_i$, and for the case (ii), all but finitely many of $A_i$ are equal to zero. By assumption, all $A_i$ are coarse p-limited (resp., coarse q-limited). Therefore, by Proposition 4.3 of [28], the set A is coarse p-limited (resp., coarse q-limited). Thus, E has the coarse $D{P}_p^{*}$ property (resp., the coarse sequential $D{P}_{(p,q)}^{*}$ property). □

Now, we consider the coarse $D{P}_p^{*}$ property separately. We start from the next proposition, which shows that the case $p=1$ is not of interest.

Proposition 15.

Each locally convex space E has the coarse $D{P}_1^{*}$ property.

Proof. 

Let A be a relatively weakly compact subset of E. To show that A is coarse 1-limited, let $T\in \mathcal{L}(E,{\mathcal{l}}_1)$. Since T is weak-weak continuous, $T\left(A\right)$ is relatively weakly compact in the Schur space ${\mathcal{l}}_1$, and hence, $T\left(A\right)$ is a relatively compact subset of ${\mathcal{l}}_1$. Thus, A is coarse 1-limited. □

Following [4], an lcs E has the Krein property if $\overline{\mathrm{acx}}\left(K\right)$ is weakly compact for every weakly compact subset K of E. By Proposition 2.12 of [4], E is a Krein space if and only if $(E^{\prime },\mu (E^{\prime },E))$ is a subspace of $C_k\left(E_w\right)$. Note also that, by the Krein theorem ([39], § 24.5(4)), if $(E,\mu (E,E^{\prime }))$ is quasi-complete, then E is a Krein space. In particular, every quasibarrelled quasi-complete space (for example, each strict $\left(LF\right)$-space) is a Krein space. Below we characterize locally convex spaces with the coarse $D{P}_p^{*}$ property; this result extends and generalizes Theorem 4 of [20].

Theorem 7.

Let $1<p\le \infty$. For a locally convex space E with the Krein property, the following assertions are equivalent:

(i) 

E has the coarse $D{P}_p^{*}$ property;

(ii) 

For every locally convex space L, each operator $T:L\to E$, which transforms bounded subsets of L into relatively weakly compact sets in E and transforms bounded sets in L into coarse p-limited subsets of E;

(iii) 

For every normed space L, each weakly compact operator $T:L\to E$ is coarse p-limited;

(iv) 

each weakly compact operator $T:{\mathcal{l}}_1^0\to E$ is coarse p-limited.

If, in addition, E is locally complete, then (i)-(iv) are equivalent to the following

(v) 

Each weakly compact operator $T:{\mathcal{l}}_1\to E$ is coarse p-limited.

Proof. 

(i)⇒(ii) Assume that E has the coarse $D{P}_p^{*}$ property, and let $T:L\to E$ be an operator that transforms bounded subsets of L into relatively weakly compact sets in E. Fix an arbitrary bounded subset A of L. Then, $T\left(A\right)$ is a relatively weakly compact subset of E, and hence, by the coarse $D{P}_p^{*}$ property, $T\left(A\right)$ is a coarse p-limited set.

The implications (ii)⇒(iii)⇒(iv) and (iii)⇒(v) are obvious.

(iv)⇒(i) and (v)⇒(i): Let A be a relatively weakly compact subset of E. We have to prove that A is coarse p-limited. By Lemma 4.1(iv) of [28], we can assume that $A={\left\{x_n\right\}}_{n\in \omega }$ is countable. Since A is a bounded sequence, Proposition 14.9 of [13] implies that the linear map $T:{\mathcal{l}}_1^0\to E$ (or $T:{\mathcal{l}}_1\to E$ if E is locally complete) defined by

$$T(a_0{e}_0+\cdots +a_n{e}_n):=a_0{x}_0+\cdots +a_n{x}_n(n\in \omega ,a_0,\dots ,a_n\in \mathbb{F})$$

which is continuous. It is clear that $T\left(B_{{\mathcal{l}}_1^0}\right)\subseteq \overline{\mathrm{acx}}\left(A\right)$ (or $T\left(B_{{\mathcal{l}}_1}\right)\subseteq \overline{\mathrm{acx}}\left(A\right)$ if E is locally complete). Since ${\overline{A}}^w$ is weakly compact, the Krein property of E implies that the set $\overline{\mathrm{acx}}\left(A\right)$ is weakly compact as well. Therefore, T is a weakly compact operator, and hence, by (iv) or (v), T is a coarse p-limited operator. Thus, the set $T\left({\left\{e_n\right\}}_{n\in \omega }\right)=A$ is coarse p-limited, as desired. □

6. p-Dunford–Pettis Sequentially Compact Property of Order $(q^{\prime },q)$

We start from the following characterization of spaces with the p-$DPsc{P}_{(q^{\prime },q)}$.

Theorem 8.

Let $p,q,q^{\prime }\in [1,\infty ]$, $q^{\prime }\le q$. Then for a locally convex space $(E,\tau )$, the following assertions are equivalent:

(i) 

E has the p-$DPsc{P}_{(q^{\prime },q)}$;

(ii) 

Each operator $T\in \mathcal{L}(E,{\mathcal{l}}_{\infty })$ is $(q^{\prime },q)$-$\left(V^{*}\right)$ p-convergent;

(iii) 

Each weakly $(p,q)$-convergent operator is $(q^{\prime },q)$-$\left(V^{*}\right)$ p-convergent.

Proof. 

(i)⇒(ii) Assume that E has the p-$DPsc{P}_{(q^{\prime },q)}$, and let ${\left\{x_n\right\}}_{n\in \omega }$ be weakly p-summable sequence in E which is a $(q^{\prime },q)$-$\left(V^{*}\right)$ set. By the p-$DPsc{P}_{(q^{\prime },q)}$, we have $x_n\to 0$ in E. Therefore, also $T\left(x_n\right)\to 0$ in ${\mathcal{l}}_{\infty }$. Thus, T is a $(q^{\prime },q)$-$\left(V^{*}\right)$p-convergent operator.

(ii)⇒(i) Assume that each operator $T\in \mathcal{L}(E,{\mathcal{l}}_{\infty })$ is $(q^{\prime },q)$-$\left(V^{*}\right)$p-convergent. To show that E has the p-$DPsc{P}_{(q^{\prime },q)}$, let ${\left\{x_n\right\}}_{n\in \omega }$ be a weakly p-summable sequence in E which is a $(q^{\prime },q)$-$\left(V^{*}\right)$ set. Assuming that $x_n\nrightarrow 0$ in E and passing to a subsequence if needed, we can assume that there is $U\in {\mathcal{N}}_0^c\left(E\right)$ such that $x_n\notin U$ for all $n\in \omega$. For every $n\in \omega$, choose ${\chi }_n\in U^{\circ }$ such that $\langle {\chi }_n,x_n\rangle >1$. Define a linear map $T:E\to {\mathcal{l}}_{\infty }$ by

$$T\left(x\right):={\left(\langle {\chi }_n,x\rangle \right)}_n(x\in E).$$

Since $T\left(U\right)\subseteq B_{{\mathcal{l}}_{\infty }}$, the map T is bounded and hence continuous. As $\parallel T\left(x_n\right){\parallel }_{{\mathcal{l}}_{\infty }}\ge \langle {\chi }_n,x_n\rangle >1\nrightarrow 0$, it follows that T is not $(q^{\prime },q)$-$\left(V^{*}\right)$p-convergent. This is a contradiction.

(ii)⇔(iii) immediately follows from Proposition 3. □

Theorem 8 motivates solving the problem of characterizing $(q^{\prime },q)$-$\left(V^{*}\right)$ p-convergent operators. If E and L are Banach spaces and $q^{\prime }=q=\infty$, the next theorem is proved in Theorem 1.1 of [23].

Theorem 9.

Let $2\le q^{\prime }\le q\le \infty$, and let E be a locally convex space with the Rosenthal property. Then, for an operator T from E to a locally convex space L, the following assertions are equivalent:

(i) 

T is $(q^{\prime },q)$-$\left(V^{*}\right)$ ∞-convergent;

(ii) 

For each $(q^{\prime },q)$-$\left(V^{*}\right)$ set $A\subseteq E$, the image $T\left(A\right)$ is sequentially precompact in L;

(iii) 

For every locally convex (the same, normed) space H and each $(q^{\prime },q)$-$\left(V^{*}\right)$ operator $R:H\to E$, the operator $T\circ R$ is sequentially precompact;

(iv) 

For each $(q^{\prime },q)$-$\left(V^{*}\right)$ operator $R:{\mathcal{l}}_1^0\to E$, the operator $T\circ R$ is sequentially precompact.

If, in addition, E is locally complete, then (i)–(iv) are equivalent to the following:

(v) 

For each $(q^{\prime },q)$-$\left(V^{*}\right)$ operator $R:{\mathcal{l}}_1\to E$, the operator $T\circ R$ is sequentially precompact.

Proof. 

(i)⇒(ii) Assume that $T\in \mathcal{L}(E,L)$ is $(q^{\prime },q)$-$\left(V^{*}\right)$∞-convergent, and let A be a $(q^{\prime },q)$-$\left(V^{*}\right)$ subset of E. To show that $T\left(A\right)$ is sequentially precompact in L, let ${\left\{a_n\right\}}_{n\in \omega }$ be a sequence in A. Since, by Theorem 1, A is weakly sequentially precompact, we can assume that ${\left\{a_n\right\}}_{n\in \omega }$ is weakly Cauchy. Therefore, for every strictly increasing sequence ${\left\{n_k\right\}}_{k\in \omega }$ in $\omega$, the sequence ${\{a_{n_{k+1}}-a_{n_k}\}}_{k\in \omega }$ is weakly null and also a $(q^{\prime },q)$-$\left(V^{*}\right)$ set. Since T is $(q^{\prime },q)$-$\left(V^{*}\right)$∞-convergent it follows that $T\left(a_{n_{k+1}}\right)-T\left(a_{n_k}\right)\to 0$ in L, and hence the sequence ${\left\{T\left(a_{n_k}\right)\right\}}_{k\in \omega }$ is Cauchy in L. Thus, $T\left(A\right)$ is sequentially precompact in E.

(ii)⇒(iii) Take $U\in {\mathcal{N}}_0\left(H\right)$ such that $R\left(U\right)$ is a $(q^{\prime },q)$-$\left(V^{*}\right)$ subset of E. By (ii), we have $T\left(R\right(U\left)\right)$ is sequentially precompact in L. Thus, $T\circ R$ is sequentially precompact.

(iii)⇒(iv) and (iii)⇒(v) are obvious.

(iv)⇒(i) and (v)⇒(i): Let $S={\left\{x_n\right\}}_{n\in \omega }$ be a weakly null sequence in E which is a $(q^{\prime },q)$-$\left(V^{*}\right)$ set. Since S is bounded, by Proposition 14.9 of [13], the linear map $R:{\mathcal{l}}_1^0\to E$ (or $R:{\mathcal{l}}_1\to E$ if E is locally complete) defined by

$$R(a_0{e}_0+\cdots +a_n{e}_n):=a_0{x}_0+\cdots +a_n{x}_n(n\in \omega ,a_0,\dots ,a_n\in \mathbb{F}),$$

which is continuous. It is clear that $R\left(B_{{\mathcal{l}}_1^0}\right)\subseteq \overline{\mathrm{acx}}\left(S\right)$ (or $R\left(B_{{\mathcal{l}}_1}\right)\subseteq \overline{\mathrm{acx}}\left(S\right)$ if E is locally complete). Observe that $\overline{\mathrm{acx}}\left(S\right)$ is also a $(q^{\prime },q)$-$\left(V^{*}\right)$ set. Therefore, the operator R is $(q^{\prime },q)$-$\left(V^{*}\right)$, and hence, by (iv) or (v), $T\circ R$ is sequentially precompact. In particular, the weakly null sequence $T\left(S\right)$ is (sequentially) precompact in L. Therefore, by Lemma 1, $T\left(x_n\right)\to 0$ in L. Thus T is $(q^{\prime },q)$-$\left(V^{*}\right)$ ∞-convergent. □

Below, we obtain a sufficient condition on locally convex spaces to have the p-$DPsc{P}_q$.

Proposition 16.

Let $p,q\in [1,\infty ]$, and let E be a locally convex space. Then, E has the p-$DPsc{P}_q$ if one of the following conditions holds:

(i) 

For every locally convex space X and for each $T\in \mathcal{L}(X,E)$ whose adjoint $T^{*}:E_{\beta }^{\prime }\to X_{\beta }^{\prime }$ is q-convergent, the operator T transforms bounded subsets of X into sequentially precompact sets in E;

(ii) 

For every normed space X and for each $T\in \mathcal{L}(X,E)$ whose adjoint $T^{*}:E_{\beta }^{\prime }\to X_{\beta }^{\prime }$ is q-convergent, the operator T is sequentially precompact;

(iii) 

The same as (ii) with $X={\mathcal{l}}_1^0$;

(iv) 

If E is locally complete, the same as (ii) with X a Banach space;

(v) 

If E is locally complete, the same as (ii) with $X={\mathcal{l}}_1$;

Proof. 

Since the implications (i)⇒(ii)⇒(iii) and (i)⇒(ii)⇒(iv)⇒(v) are obvious, it suffices to prove that (iii) and (v) imply the p-$DPsc{P}_q$. Suppose for a contradiction that E has no the p-$DPsc{P}_q$. Then there is a weakly p-summable sequence $S={\left\{x_n\right\}}_{n\in \omega }$ in E which is a q-$\left(V^{*}\right)$ set such that $x_n\nrightarrow 0$ in E. Without loss of generality, we assume that $x_n\notin U$ for some $U\in {\mathcal{N}}_0\left(E\right)$ and all $n\in \omega$.

Since S is a q-$\left(V^{*}\right)$ set, Proposition 14.9 of [13] implies that the linear map $T:{\mathcal{l}}_1^0\to E$ (or $T:{\mathcal{l}}_1\to E$ if E is locally complete) defined by

$$T(a_0{e}_0+\cdots +a_n{e}_n):=a_0{x}_0+\cdots +a_n{x}_n(n\in \omega ,a_0,\dots ,a_n\in \mathbb{F}),$$

is continuous and its adjoint $T^{*}:E_{\beta }^{\prime }\to {\mathcal{l}}_{\infty }$ is q-convergent. Therefore, by (iii) or (v), the operator T is sequentially precompact. In particular, the set $T\left({\left\{e_n\right\}}_{n\in \omega }\right)=S$ is (sequentially) precompact in E. Since S is also weakly null, Lemma 1 implies that $x_n\to 0$ in E. However, this contradicts the choice of S. □

Theorem 10.

Let $2\le q\le \infty$. Then for a locally convex space E with the Rosenthal property, the following assertions are equivalent:

(i) 

E has the $DPsc{P}_q$;

(ii) 

For every normed space X and each $T\in \mathcal{L}(X,E)$ whose adjoint $T^{*}:E_{\beta }^{\prime }\to X_{\beta }^{\prime }$ is q-convergent, the operator T is sequentially precompact;

(iii) 

The same as (ii) with $X={\mathcal{l}}_1^0$;

If, in addition, E is locally complete, then (i)–(iii) are equivalent to

(iv) 

The same as (ii) with X a Banach space;

(v) 

The same as (ii) with $X={\mathcal{l}}_1$;

Proof. 

By (the proof of) Proposition 16, we only have to prove the implication (i)⇒(ii). Therefore, let X be a normed space, and let $T\in \mathcal{L}(X,E)$ be such that the adjoint $T^{*}:E_{\beta }^{\prime }\to X_{\beta }^{\prime }$ is q-convergent. We have to show that the set $T\left(B_X\right)$ is sequentially precompact in E. To this end, let ${\left\{{\chi }_n\right\}}_{n\in \omega }$ be a weakly q-summable sequence in $E_{\beta }^{\prime }$. Since $T^{*}$ is q-convergent, we have

$$\underset{y\in B_X}{sup}|\langle {\chi }_n,T\left(y\right)\rangle |=\underset{y\in B_X}{sup}|\langle T^{*}\left({\chi }_n\right),y\rangle |=\parallel T^{*}\left({\chi }_n\right)\parallel \to 0\mathrm{as} n\to \infty .$$

Therefore, $T\left(B_X\right)$ is a q-$\left(V^{*}\right)$ set in E. Since $q\ge 2$ and E has the Rosenthal property, Theorem 1 implies that $T\left(B_X\right)$ is weakly sequentially precompact. To show that $T\left(B_X\right)$ is sequentially precompact in E, it suffices to prove that for any sequence $S={\left\{x_n\right\}}_{n\in \omega }$ in $B_X$, the image $T\left(S\right)$ has a Cauchy subsequence. To this end, taking into account that $T\left(B_X\right)$ is weakly sequentially precompact, we can assume that $T\left(S\right)$ is weakly Cauchy. For any strictly increasing sequence ${\left\{n_k\right\}}_{k\in \omega }$ in $\omega$, the sequence ${\{T\left(x_{n_k}\right)-T\left(x_{n_{k+1}}\right)\}}_{k\in \omega }$ is weakly null and a q-$\left(V^{*}\right)$ set. Therefore, by the $DPsc{P}_q$ of E, we obtain $T\left(x_{n_k}\right)-T\left(x_{n_{k+1}}\right)\to 0$ in E. Therefore, ${\left\{T\left(x_{n_k}\right)\right\}}_{k\in \omega }$ is Cauchy in E. □

Although, by Example 2 and (i) of Remark 2, the classes of spaces with the sequential $D{P}_{(p,q)}^{*}$ property and with the coarse (sequential) $D{P}_p^{*}$ property are not closed under taking even closed subspaces, and the class of spaces with the p-$DPsc{P}_{(q^{\prime },q)}$ is stable under taking arbitrary subspaces.

Proposition 17.

Let $p,q,q^{\prime }\in [1,\infty ]$, $q^{\prime }\le q$, and let E be a locally convex space with the p-$DPsc{P}_{(q^{\prime },q)}$. Then any subspace H of E has the p-$DPsc{P}_{(q^{\prime },q)}$.

Proof. 

Let ${\left\{x_n\right\}}_{n\in \omega }$ be a weakly p-summable sequence in H which is a $(q^{\prime },q)$-$\left(V^{*}\right)$ set. Then, it is also a weakly p-summable sequence in E, which is a $(q^{\prime },q)$-$\left(V^{*}\right)$ set (see (iii) of Lemma 4.6 and (iv) of Lemma 7.2 of [13]). Therefore, $x_n\to 0$ in E, and hence $x_n\to 0$ also in H. Thus, H has the p-$DPsc{P}_{(q^{\prime },q)}$. □

The class of locally convex spaces with the p-$DPsc{P}_{(q^{\prime },q)}$ is stable also under taking direct products and direct sums.

Proposition 18.

Let $p,q,q^{\prime }\in [1,\infty ]$, $q^{\prime }\le q$, and let ${\left\{E_i\right\}}_{i\in I}$ be a non-empty family of locally convex spaces. Then, the following assertions are equivalent:

(i) 

${\prod }_{i\in I}{E}_i$ has the p-$DPsc{P}_{(q^{\prime },q)}$;

(ii) 

${⨁}_{i\in I}{E}_i$ has the p-$DPsc{P}_{(q^{\prime },q)}$;

(iii) 

For every $i\in I$, the space $E_i$ has the p-$DPsc{P}_{(q^{\prime },q)}$.

Proof. 

(i)⇒(ii) Let $S={\left\{x_n\right\}}_{n\in \omega }$ be a weakly p-summable sequence in ${⨁}_{i\in I}{E}_i$, which is a $(q^{\prime },q)$-$\left(V^{*}\right)$ set. Then, S has finite support F. By (i) and Proposition 17, the subspace ${\prod }_{j\in F}{E}_j$ of ${\prod }_{i\in I}{E}_i$ has the p-$DPsc{P}_{(q^{\prime },q)}$. Therefore, $x_n\to 0$ in ${\prod }_{j\in F}{E}_j$ and hence also in ${⨁}_{i\in I}{E}_i$. Thus, ${⨁}_{i\in I}{E}_i$ has the p-$DPsc{P}_{(q^{\prime },q)}$.

(ii)⇒(iii) Since $E_i$ is isomorphic to a subspace of ${⨁}_{i\in I}{E}_i$, it has the p-$DPsc{P}_{(q^{\prime },q)}$ by Proposition 17.

(iii)⇒(i) Let ${\{x_n={\left(x_{i,n}\right)}_{i\in I}\}}_{n\in \omega }$ be a weakly p-summable sequence in ${\prod }_{i\in I}{E}_i$, which is a $(q^{\prime },q)$-$\left(V^{*}\right)$ set. Then, by (iii) of Lemma 4.6 and (iv) of Lemma 7.2 of [13], for every $i\in I$, the sequence ${\left\{x_{i,n}\right\}}_{n\in \omega }$ is a weakly p-summable sequence in $E_i$, which is a $(q^{\prime },q)$-$\left(V^{*}\right)$ set. Therefore, by (iii), $x_{i,n}\to 0_i$ for every $i\in I$. Hence, $x_n\to 0$ in E. Thus ${\prod }_{i\in I}{E}_i$ has the p-$DPsc{P}_{(q^{\prime },q)}$. □

Propositions 17 and 18 immediately imply the next corollary.

Corollary 11.

Let $p,q,q^{\prime }\in [1,\infty ]$, $q^{\prime }\le q$, and let E be a dense subspace of ${\mathbb{F}}^{\kappa }$ for some cardinal κ. Then E has the p-$DPsc{P}_{(q^{\prime },q)}$. In particular, for every locally convex space L and for each Tychonoff space X, the spaces $L_w$ and $C_p\left(X\right)$ have the p-$DPsc{P}_{(q^{\prime },q)}$.

Let $p,q,q^{\prime }\in [1,\infty ]$, $q^{\prime }\le q$. Following [21], a locally convex space E has the p-$GPsc{P}_{(q^{\prime },q)}$, if any weakly p-summable sequence in E which is a $(q^{\prime },q)$-limited set is a null sequence in E.

Proposition 19.

Let $p,q,q^{\prime }\in [1,\infty ]$, $q^{\prime }\le q$, and let E be a locally convex space.

(i) 

If E has the p-Schur property (for example, $E=E_w$), then E has the p-$DPsc{P}_{(q^{\prime },q)}$.

(ii) 

If E has the p-$DPsc{P}_{(q^{\prime },q)}$, then it has the p-$GPsc{P}_{(q^{\prime },q)}$. The converse is true if E is semi-reflexive, but not in general.

Proof. 

(i) is trivial.

(ii) follows from the two easy facts that any $(q^{\prime },q)$-limited set is a $(q^{\prime },q)$-$\left(V^{*}\right)$ set, and if E is semi-reflexive, then the classes of $(q^{\prime },q)$-limited sets and $(q^{\prime },q)$-$\left(V^{*}\right)$ sets are coincide.

To show that in general the converse is not true, let $q=q^{\prime }=\infty$ and $E=c_0$. We claim that E does not have the p-$DPsc{P}_{(q,\infty )}$. Indeed, first we observe that $B_E$ is a q-$\left(V^{*}\right)$ set because any weakly null sequence in $E_{\beta }^{\prime }={\mathcal{l}}_1$ is norm null. Therefore, the unit canonical basis $S={\left\{e_n\right\}}_{n\in \omega }$ is also a q-$\left(V^{*}\right)$ set. Observe also that S is weakly p-summable (if $\chi =\left(a_n\right)\in {\mathcal{l}}_1$, then ${\sum }_{n\in \omega }|\langle \chi ,e_n\rangle {|}^p={\sum }_{n\in \omega }{\left|a_n\right|}^p<\infty$ or $|\langle \chi ,e_n\rangle |=|a_n|\to 0$ if $p=\infty$). Since $e_n\nrightarrow 0$ in E, we obtain that E does not have the p-$DPsc{P}_{(q,\infty )}$. On the other hand, since E has the Gelfand–Phillips property, any weakly p-summable sequence Q that is limited is precompact in E, and hence, by Lemma 1, Q is a null sequence in E. Therefore, E has the p-$GPscP$. □

Remark 3.

Note that Lemma 1 implies that an lcs E has the p-$DPsc{P}_{(q^{\prime },q)}$ or the p-$GPsc{P}_{(q^{\prime },q)}$ if and only if every weakly p-summable sequence, which is a $(q^{\prime },q)$-$\left(V^{*}\right)$ set or a $(q^{\prime },q)$-limited set, respectively, is precompact in E.

7. Conclusions

In this work, we obtained several new characterizations of locally convex spaces with the sequential Dunford–Pettis property of order $(p,q)$, where $p,q,q^{\prime }\in [1,\infty ]$, $q^{\prime }\le q$. Being motivated by known Dunford–Pettis type properties widely studied in the Banach Space Theory, we introduced and studied new types of the sequential Dunford–Pettis property in the realm of all locally convex spaces. Numerous characterizations of the introduced notions have been given. For future research, we suggest studying the introduced notions in some important subclasses of Banach, Fréchet or strict $\left(LF\right)$-spaces as well as in the classes of function spaces or free locally convex spaces.